Deductive Logic

✍ Scribed by Warren Goldfarb

• Publisher: Hackett
• Year: 2003
• Tongue: English
• Leaves: 309
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

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.