Nicole Wyatt and I have been awarded a University of Calgary Teaching and Learning Grant for the Open Logic Project. […]
News
Open Logic Quick Start Guide
[Chad and Samara have documented the steps required to download and compile the Open Logic Text, and written a “quick […]
Summary of Options for Converting the OLP to Other Formats
[Chad is investigating options for converting the OLT to formats other than PDF. Other open textbook projects, especially in mathematics, […]
Wiki Now Part of Git Repository
The Github Wiki we use to document aspects of the project is now a submodule in the OpenLogic repository. If […]
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/