An Open-Source, Collaborative Logic Text

The Open Logic Project is a collection of teaching materials on mathematical logic aimed at a non-mathematical audience, intended for use in advanced logic courses as taught in many philosophy departments. It is open-source: you can download the LaTeX code. It is open: you’re free to change it whichever way you like, and share your changes. It is collaborative: a team of people is working on it, using the GitHub platform, and we welcome contributions and feedback. And it is written with configurability in mind. Learn more below:

Find out about the coverage, plans, publishing framework, availability, and license terms of the Open Logic Text.

Find out where and how to get the source code and PDFs of the Open Logic Text.

The Open Logic Text is authored and edited by an international team of logicians, and is open to contributions by the community.