This site contains PDFs built from the source LaTeX files of the most recent version of the Open Logic Text.
We have PDFs of the complete text in the Open Logic
master
branch, arranged in a somewhat sensible
manner, including editorial comments. It's not intended as a
textbook, but it shows what's there.
There are already a few textbooks that show how one might "remix" the material in the Open Logic Project to produce nice textbooks. These vary in the material that's included, the design, and the configuration options used. They may also include additional material specific to those courses.
A textbook on metalogic, developed for Calgary's
Logic II course: includes the material on set theory, first-order
logic (including both sequent calculus and natural deduction), and
Turing machines (including undecidability). Appendices cover proofs
and induction and biographies of some logicians. This text also
includes chapter summaries and a glossary. Problems are collected at
the end of chapters.
A textbook on
Gödel's incompleteness theorems and computability theory,
developed for Calgary's Logic III course: includes the material on
recursive functions, Gödel's incompleteness theorem, models of
arithmetic, second-order logic, and the lambda calculus. Appendices
cover basics of first-order logic with natural deduction, and
biographies of some logicians. This text also includes chapter
summaries.
A textbook for modal and other intensional logics based on the Open Logic Project; includes the material on normal modal logic,
intuitionistic logic, and counterfactuals, with appendices on basic
set theory and classical propositional logic.
A brief introduction
to the
philosophy of set theory; covers why set theory came about;
how to reduce large swathes of mathematics to set theory + arithmetic;
how to embed arithmetic in set theory;
what the cumulative iterative conception of set amounts to;
how one might try to justify the axioms of ZFC. Most of the material making up the text comes from Tim Button's Open Set Theory.
A textbook for McGill's Intermediate Logic (Phil 310) course:
includes the material on naïve set theory, first order logic through
the Completeness Theorem, recursive functions, Gödel's
incompleteness theorem, and models of arithmetic. Appendices cover
proofs and induction and biographies of some logicians. This text
also includes chapter summaries.
A textbook used for Calgary's Philosophy of Logic (Phil 473)
and Victoria's Non-Classical Logics (Phil 371) courses. It includes
the OLP material on propositional classical, many-valued, modal
(including epistemic, temporal, and conditional logics), and
intuitionistic logics. Appendices cover sets and relations, as well
as proofs and induction. This is currently an incomplete draft.
Material on epistemic and temporal logic is yet to be merged into
the main OLP repository.
The OLP main repository also includes two sample textbooks that serve just to illustrate how one might produce texts using different formatting conventions.
At any point, there may be active branches of the Open Logic
Project in GitHub. This branches may contain additional material, or
revisions of the material in the master
branch which
are being worked on or reviewed for inclusion. We provide PDFs of
the complete text as it looks in these branches.
Generated from Git revision
6891b66
(2024-12-01)