The Github Wiki we use to document aspects of the project is now a submodule in the OpenLogic repository. If […]
Author: rzach
Free Logic Textbooks
The Open Logic Text may be one of only two open source logic texts, but there are other open, and […]
What is Git and Why Use It?
The Open Logic Project is using Git to keep track of changes to the texts, facilitate collaborative authoring, and to […]
Git for Philosophers (pt. 1)
What is Git? When software developers work on complex programming projects, they use something called a revision control system. A […]
Made the Daily Nous!
The Daily Nous covered the Open Logic Project today, suggested an alternative logo that might fit better with the anarchical […]
Avigad’s Notes on Computability, Incompleteness
Jeremy Avigad’s notes in incompleteness and computability are now incorporated into the repository.
LaTeXML
This will come in handy: a LaTeX to XML converter http://dlmf.nist.gov/LaTeXML/
The Open Logic Project: Talk at DASHLab
Nicole Wyatt and Richard Zach presented the project at the DASHLab Talks in January 2014 at the University of Calgary. […]
Making your own Open Logic Textbook
I’ve started teaching Phil 310 (Intermediate Logic) at McGill, and am using the OLP for the first time myself. Here’s […]
Open Logic Project Profiled
The University of Calgary Faculty of Arts annual report for 2014 has a profile of the OLP on p. 24.