An Open Source Logic Text

Posted on October 18, 2016 by

The Open Logic Project, initiated by my supervisor, Richard Zach, is a project to produce a comprehensive free and open source intermediate logic text. More recently, Richard and I have been putting together a Calgary remix of forallx, a free and open source text for introductory logic, originally written by PD Magnus. Below is the first paragraph of a post I wrote for the Open Logic Project about some of the main considerations we had in putting together forallx-YYC. I encourage anyone interested to read the full post (linked below).

For those who don’t know, an open source textbook is one that can be freely shared and modified by anyone, generally under a creative commons license. This is awesome for a number of reasons. First, the book is free to download, saving students from shelling out for expensive textbooks. Second, instructors can modify the text to fit their needs – maybe you prefer different notational conventions, or want add your own chapter on basic set theory..

I will be teaching our Logic I course beginning in January 2017, and we have decided to modify an existing free and open logic text for use in that and (hopefully) future sections of Logic I here in Calgary. We have decided to take Tim Button’s Cambridge Version of PD Magnus’s forallx as a starting point. This is part of a larger project aimed at updating that introductory logic course. In this post I’ll say a bit about why I made chose that remix of forallx, point to some changes we intend to make to that text, and a bit about the other texts I looked at.


See the full post here. (And check out the other cool Open Logic stuff while you’re there!)