Read more
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.
List of contents
1. Introduction to the study of logic 2. Vocabulary and syntax 3. Semantics 4. Formalization 5. Working with SL semantics A-1. Advanced topics concerning SL semantics 6. Derivations A-2. Advanced topics concerning the soundness and completeness of Ds 7. Reduction Trees A-3: Advanced topics concerning the soundness and completeness of Ts 8. Vocabulary, syntax, formalization and derivations 9. Semantics and Trees for Modal and Intuitionistic Sentential Logic A-4: Advanced Topics concerning the "soundness" and "completeness" of Dm and Tm 10. Vocabulary, syntax, formalization, and derivations 11. Semantics and trees A-5: Advanced topics for PSL 12. Vocabulary, syntax, and formalization 13. Derivations 14. Trees and tree model semantics for QPL 15. Semantics for QPL without mixed multiple quantification 16. Semantics for QPL with mixed multiple quantification A-6: Advanced topics for QPL 17. Higher order logic Rule summaries
About the author
Lorne Falkenstein is Professor Emeritus at Western University in London, Canada, where he taught symbolic logic for many years. He has published on treatments of spatial representation, temporal awareness, and visual perception in the work of a number of 17th and 18th century philosophers, and continues to do work in that area.
Scott Stapleford is Professor of Philosophy at St. Thomas University in Fredericton, Canada. He is the author of Kant’s Transcendental Arguments: Disciplining Pure Reason (2008), coauthor (with Tyron Goldschmidt) of Berkeley’s Principles: Expanded and Explained (Routledge, 2016) and Hume’s Enquiry: Expanded and Explained (Routledge, 2021), coeditor (with Kevin McCain) of Epistemic Duties: New Arguments, New Angles (Routledge, 2020), and coeditor (with Kevin McCain and Matthias Steup) of Epistemic Dilemmas: New Arguments, New Angles (Routledge, 2021).
Molly Kao is Assistant Professor of Philosophy at the University of Montreal, in Montreal, Canada. Her primary area of research is philosophy of science, having worked on issues in the development of quantum theory as well as methodological questions involving unification and confirmation.
Summary
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.
Additional text
"Logic Works is a thorough treatment of core topics in elementary logic, and of several topics in intermediate logic. Its precision and rigor is a step above typical presentations of this material. It will be an invaluable resource for teachers, as well as for students of logic who want to go beyond the basics."Fabrizio Cariani, University of Maryland
