Deductive Logic

This text provides a straightforward, lively but rigorous, introduction to truth-functional and predicate logic, complete with lucid examples and incisive exercises, for which Warren Goldfarb is renowned. Contents: Preface. Introduction. PART I: TRUTH-FUNCTIONAL LOGIC A. Analysis: §1 Statements; §2 Conjunction; §3 Negation; §4 Disjunction; §5 Grouping; §6 Truth-functions; §7 Conditional; §8 Logical Paraphrase. B. Logical Assessment: §9 Schemata and Interpretation; §10 Validity and Satisfiability; §11 Implication; §12 Use and Mention; §13 Equivalence. C. Reflection: §14 General Laws; §15 Disjunctive Normal Form; §16 Expressive Adequacy; §17 Formal Systems. PART II: MONADIC QUANTIFICATION THEORY A. Analysis: §18 Monadic Predicates and Open Sentences; §19 The Existential Quantifier; §20 The Universal Quantifier; §21 Further Notes on Paraphrase; §22 Universe of Discourse. B. Logical Assessment: §23 Schemata and Interpretation; §24 Validity, Implication, and Equivalence; §25 Testing Monadic Schemata. C. Reflection: §26 Monadic Satisfiability; §27 General Laws. PART III: POLYADIC QUANTIFICATION THEORY A. Analysis: §28 Polyadic Predicates; §29 Paraphrase. B. Logical Assessment: §30 Schemata and Interpretation; §31 Validity, Implication, and Equivalence; §32 Instances; §33 Deduction; §34 Deduction Extended. C. Reflection: §35 Soundness; §36 Other Laws; §37 Prenex Form; §38 Completeness; §39 Further Consequences; §40 Decidability. PART IV: IDENTITY AND NAMES §41 Identity; §42 Inferences with Names; §43 Descriptions; §44 Elimination of Descriptions. Exercises. Index.

a Textbook For An Introductory Logic Course Covering Truth-functional Logic, Monadic And Polyadic Quantification Theory, And Identity And Names. Exercises Are At The End Of The Volume, Arranged By Chapter And Section. Annotation ©2004 Book News, Inc., Portland, Or