forall x: Calgary. An Introduction to Formal Logic
Open Logic Project (2021)
Abstract
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.Author Profiles
ISBN(s)
9798527349504 1077319851
Analytics
Added to PP
2019-04-04
Downloads
511 (#17,203)
6 months
149 (#4,447)
2019-04-04
Downloads
511 (#17,203)
6 months
149 (#4,447)
Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?