forall x: Calgary. An Introduction to Formal Logic (4th edition)

Calgary: Open Logic Project (2023)
  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), symbolizing 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 modal logic, soundness, and functional completeness. Exercises with solutions are available. It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, 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

2,595 (#2,992)

6 months
1,629 (#515)

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?