1. Basic Concepts of Logic:.
Implication And Equivalence.
Logical Properties Of Sentences.
The Language Of Sentential Logic.
A Sentential Language.
Truth Tables for Formulas.
Truth Tables for Argument Forms.
Implication, Equivalence and Satisfiability.
3. Truth Trees:.
Constructing Truth Trees.
Negation, Conjunction, and Disjunction.
The Conditional and Biconditional.
4. Natural Deduction:.
Natural Deduction Systems.
Rules for Negation and Conjunction.
Rules for the Conditional and Biconditional.
Rules for Disjunction.
Constants and Quantifiers.
Categorical Sentence Forms.
The Language Q.
6. Quantified Truth Trees:.
Rules for Quantifiers.
Constructing Interpretations from Trees.
7. Quantified Natural Deduction:.
Deduction Rules for Quantifiers.
Derived Rules for Quantifiers.
8. Identity And Function Symbols:.
Truth Tree Rules for Identity.
Deduction Rules for Identity.
Modal Truth Trees.
Other Tree Rules.
Other Modal Systems.
10. Between Truth And Falsehood:.
Vagueness And Presupposition.
Many-Valued Truth Tables.
Deontic Truth Trees.
Moral and Practical Reasoning.
The Meaning of Counterfactuals.
Truth Tree Rules for Counterfactuals.
Deduction Rules for Counterfactuals.
Stalnaker's Semantics: System CS.
Lewis's Semantics: System CL.
13. Common-Sense Reasoning:.
When Good Arguments Go Bad.
Defeasible Deontic Logic.
14. Quantifiers And Modality:.
- Efficient and elegant presentation of classical first-order logic.
- Presents a truth tree system based on the work of Jeffrey, as well as a natural deduction system inspired by that of Kalish and Montague.
- Contains detailed, yet accessible chapters on extensions and revisions of classical logic: modal logic, many-valued logic, fuzzy logic, intuitionistic logic, counterfactuals, deontic logic, common sense reasoning, and quantified modal logic.
- Includes problem sets, designed to lead students gradually from easier to more difficult problems.