Deduction: Introductory Symbolic Logic
Daniel Bonevac, "Deduction: Introductory Symbolic Logic"
English | 2002 | ISBN: 063122713X | PDF | pages: 528 | 14.6 mb
English | 2002 | ISBN: 063122713X | PDF | pages: 528 | 14.6 mb
Deduction is an efficient and elegant presentation of classical first-order logic. It 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.
- 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.