Abstract

Logic Works is a critical and extensive introduction to logic. It asks questions about why systems of logic are as they are, how they relate to ordinary language and ordinary reasoning, and what alternatives there might be to classical logical doctrines. It considers how logical analysis can be applied to carefully represent the reasoning employed in academic and scientific work, better understand that reasoning, and identify its hidden premises. Aiming to be as much a reference work and handbook for further, independent study as a course text, it covers more material than is typically covered in an introductory course. Topics include: translation, proofs, and trees for sentential and predicate logic with identity, definite descriptions, and functional terms; normal forms; proofs and trees for the principal normal modal systems; an introduction to second order and quantified modal logic; formal syntax and semantics; mathematical induction; metatheory for many of these systems; semantics and trees for free logic, intuitionistic logic, and three-valued and paraconsistent logics. A companion website contains a detailed student solutions manual with a running commentary on all starred exercises and a set of editable slides for instructors to customize their courses.