forall x: Calgary. An Introduction to Formal Logic

Open Logic Project (2021)
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
Upload history
First archival date: 2019-04-04
Latest version: 5 (2021-07-31)
View other versions
Added to PP index

Total views
217 ( #27,074 of 2,440,223 )

Recent downloads (6 months)
49 ( #13,986 of 2,440,223 )

How can I increase my downloads?

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