ABSTRACT
This chapter shows that the values of symbols can be defined at various levels of generality, such that hierarchically superior ones can represent hierarchically inferior ones. Those hierarchical relationships will allow to ascertain relationships among different kinds of arguments. The chapter discusses a technique for deriving more general arguments from more specific ones. As the relationships among those symbols are still very simple, that operation can be performed mentally. Greater numbers of mental steps will be required in order to derive general arguments from more specific ones. It will be useful to have a technique for deriving arguments in written form. As postulates may be introduced in different orders, there will often be more than one way to derive an argument. As a result, the answers provided at the end of chapter will often represent only one approach.
