forall x: Calgary: An Introduction to Formal Logic

Magnus, P. D.,Button, Tim,Thomas-Bolduc, Aaron,Zach, Richard,Loftis, J. Robert,Trueman, Robert

ISBN 13: 9798527349504

Published by Independently published, 2021

About this Item

Used items may not include media like access codes or CDs. Fast shipping! Expedited orders take 1-3 business days! Media mail may take up to 5 business days.

Seller Inventory # 3C-9798527349504-V

Bibliographic Details

• Title: forall x: Calgary: An Introduction to Formal Logic
• Publisher: Independently published
• Publication Date: 2021
• Language: English
• ISBN 13: 9798527349504
• Binding: Paperback
• Condition: very good

About this title

Synopsis

An introduction to formal logic, covering truth-functional (propositional) and first-order (predicate) logic. It deals with logical notions such as entailment and satisfiablity, symbolization of English sentences using connectives and quantifiers (including identity, e.g., definite descriptions), the semantics of TFL (truth tables) and FOL (first-order interpretations), and proofs (using a Fitch-style natural deduction system). Advanced topics discussed are the truth-functional completeness of propositional logic, normal forms, the soundness of the proof system, and the basics of modal logic. Available for free download at forallx.openlogicproject.org.

About the Author

Richard Zach is Professor of Philosophy at the University of Calgary, Canada. He works in logic, history of analytic philosophy, and the philosophy of mathematics. In logic, his main interests are non-classical logics and proof theory. He has also written on the development of formal logic and historical figures associated with this development such as Hilbert, Gödel, and Carnap. He has held visiting appointments at the University of California, Irvine, McGill University, and the University of Technology, Vienna.