Modern Logic: A Text in Elementary Symbolic Logic

Introduction Part I: Classical Sentential Logic 1. What is logic? 2. First steps in symbolization 3. Semantics for sentential logic Part II: Monadic Predicate Logic 5. Predication and quantification in English 6. Validity and provability in monadic predicate logic Part III: First-Order Logic with Identity 7. Advanced symbolizations 8. Validity and provability in first-order logic with identity Part IV: Extensions and Alternatives 9. An extension to classical logic: Modal logic 10. Alternatives to classical logic (I): Intuitionism 11. Alternatives to classical logic (II): Fuzzy logic Solutions to selected exercises Bibliography Index