# Philosophy 112

The following interactive supplements are designed to be used along with David Kaplan’s Logic 2010 and Terry Parsons’ *An Exposition to Symbolic Logic* (i.e., the “Logic Text” that is included with the Logic 2010 software).

This is a work in progress. Please let me know about any typos, mistakes, or bugs.

# Chapter 0: Introduction

# Chapter 1: Sentential Logic with ‘If’ and ‘Not’

- 1.1 and 1.2: Introducing Negations and Conditionals
- 1.3: Symbolization
- 1.4 and 1.5: Introducing Derivations
- 1.6 and 1.7: Conditional and Indirect Derivations
- 1.8 and 1.9: Subderivations and Shortcuts
- 1.10, 1.11, and 1.12: Strategies and Theorems
- Addendum: Arguments

# Chapter 2: Sentential Logic with ‘and’, ‘or’, and ‘if and only if’

- 2.1: New Connectives
- 2.2: English Equivalents
- 2.10 and 2.11: Truth Tables
- 2.3: Complex Symbolization
- 2.4: New Rules
- 2.5: Derivations
- 2.6, 2.7, and 2.8: Theorems and Derived Rules
- 2.9: Using Derived Rules
- Addendum: Arguments
- Addendum: Metatheory

# Chapter 3: Monadic Predicate Logic

- 3.1 and 3.2: New Symbols
- 3.3 and 3.4: Semantics
- 3.5 Symbolization
- 3.6 and 3.7: UI, EG, EI, UD
- 3.8 and 3.9: Quantifier Negation
- 3.10: Invalidity
- Addendum: Arguments