INTRODUCTIONBACKGROUND1 Formal Logic2 Classical Propositional Logic3 Formal Theories of Reasoning Well and Limitations of Propositional Logic4 The Language of Predicate Logic5 Semantics for Classical Predicate Logic6 An Axiomatization of Classical Predicate Logic7 Classical Predicate Logic with Equality8 Formalizing in Classical Predicate LogicTHE INTERNAL STRUCTURE OF PREDICATESRESTRICTORS of UNARY PREDICATES9 Adverbs as Predicate Restrictors10 Adjectives as Predicate Restrictors11 A Formal Logic of Simple Predicate Restrictors for Unary Predicates12 Examples of Formalizing13 Are Predicate Restrictors Extensional?14 Multiple Predicate Restrictors15 Variable Predicate Restrictors16 A Formal Theory of Classical Predicate Logic with Predicate Restrictors of Unary Predicates17 Examples of FormalizingOTHER PREDICATE MODIFIERS18 Predicate Negators19 Other Kinds of Predicate Modifiers?20 Modifiers of Modifiers21 The Pure Negator "Not"22 Examples of FormalizingINTERNAL CONJUNCTIONS and DISJUNCTIONS23 "And" Joining Terms24 "And" Joining Predicates25 "And" Joining Modifiers26 "Or" Joining Pre