Antony Eagle

Logic Textbooks

I’ve been involved with writing a couple of open source and open access logic textbooks. Everyone likes to teach logic in their own way, and so these works reflect my preferences and pedagogical judgements. I made them available open source and share them under a creative commons license so that others can see how it was all done, and make use of them in their own teaching, modified to reflect their own needs if need be.

Forall\(x\) Adelaide

This is my adaptation of Tim Button’s adaptation of P.D. Magnus’s open source free introductory logic textbook. This version, like the others, is available under a CC BY-SA 3.0 license. I’ve made pervasive changes, big and small, in content and formatting and arrangement of the material.

Elements of Deductive Logic

I’ve also produced an intermediate logic textbook called Elements of Deductive Logic. This was based on notes I used in teaching in the logic paper for Physics and Philosophy and Maths and Philosophy students at Oxford, and remains in a continual state of flux (though a few of my students may still have it in the form of a physical book). Now that Adelaide has gotten rid of its upper level logic course, and other projects have taken over my time, its progress towards completion is getting more and more glacial. I have made the book freely available, open source, and repurposable under the terms of the Creative Commons CC BY-SA 4.0 license. You can find the pdf and the source code at the GitHub repository for Elements of Deductive Logic.