forall x: Calgary. An Introduction to Formal Logic

Open Logic Project (2021)
  Copy   BIBTEX


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

P. D. Magnus
State University of New York, Albany
Richard Zach
University of Calgary
Tim Button
University College London
2 more


Added to PP

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?