1. (1. Introduction 2. Direct and indirect evaluation . 3. Quantifier-matrix form of singular statements 4. An alternative formulation 5. Universes of discourse 6. Quantifier-matrix form of general statements 7. Predicate and argument 8. Predicate abbreviation and substitution 9. Quantificational form 10. The question of existential import 11. Definitions) 2. (1. Quantificational validity 2. Deduction 3. The rule EI*; dummy names 4. The rules EG*, UI* and UG* 5. The rules SD* and SQ*; the restriction in SQ* 6. Examples 7. Explanatory remarks about UG* 8. Replacement of starred rules by unstarred rules: EI, EG, UI, UG) 3. (1. List of rules 2. Interpretation of the rules 3. Principles of single quantification; deductions 4. Multiple quantification; introduction 5. Expressing multiply general statements in quantificational form 6. Principles of multiple quantification; deductions 7. Identity 8. Definite descriptions; the iota operator) 4. (1. Reformulated definitions of validity; proof of invalidity 2. Quantifier-free equivalents 3. Testing QFE’s for falsifiability 4. Predicate and subject 5. Special considerations relating to identity 6. Examples of invalidity proofs 7. Decision problems)
Biography
Faris\, J. A.
