forall x: Calgary. An Introduction to Formal Logic

Download Edit this record How to cite View on PhilPapers
forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), translating (formalizing) English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as truth-functional completeness and modal logic. Exercises with solutions are available. It is provided in PDF (for screen reading, printing, and a special version for dyslexics) and in LaTeX source code.
PhilPapers/Archive ID
Revision history
First archival date: 2019-04-04
Latest version: 2 (2019-11-27)
View upload history
References found in this work BETA
On Denoting.Russell, Bertrand
A New Introduction to Modal Logic.Cresswell, M. J. & Hughes, G. E.

View all 10 references / Add more references

Citations of this work BETA
Evaluation of a Student-Oriented Logic Course.Thomas-Bolduc, Aaron & Zach, Richard

Add more citations

Added to PP index

Total views
115 ( #30,902 of 50,121 )

Recent downloads (6 months)
45 ( #13,494 of 50,121 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.