forall x: UBC edition
forall x: UBC edition is an open-access introductory logic textbook. Professor Jonathan Ichikawa developed this text, based on P. D. Magnus's forall x, in 2017–18, for use in PHIL 220: Introduction to Formal Logic at UBC, a course that he has been teaching since 2011. This text is produced under a Creative Commons License, and is free for all students and instructors worldwide.
The full book is available for pdf download here. Professor Ichikawa plans to make a printed version available as well, work in progress. If you'd like to modify it and know LaTeX, you may issue a pull request.
This repo is maintaining a list of know errors here.
Here are a few points of information about the book:
- designed for a 13-week, introductory logic course with no prerequisites
- covers translation, proof systems, and some basic metatheory (soundness and completeness) for sentential and quantified logic, with identity
- covers both trees (analytic tableaux) and Fitch-style natural deduction systems, with its greater emphasis on trees
- emphasis on translation and laying the groundwork for metatheory; a lesser emphasis than some textbooks give on the ('puzzle-solving') details and mechanics of constructing proofs
- conversational style with fun examples; intended to be relatively accessible to the technically anxious
- free for anyone to use or modify
Thank you to Mavaddat Javid for creating this repository.