Software and Tutorials for Instruction in Symbolic Logic



This site contains software and instruction for symbolic logic. The content is relevant mainly  to philosophy, mathematics, or computer science. Most of the material is at about a level suitable for entire courses for second year undergraduates, or for sections of graduate courses. [Indeed it has been used for instruction in the University of Otago, New Zealand, the University of Arizona, in the US, and elsewhere.] The software on this site should run quickly on any modern computers, tablets, and smartphones (iPads, iPhones, Android tablets, etc.).


New material

eBooks available from iTunes and the iBookstore

These will run directly on suitable devices (e.g. iPads) without need for a web browser or an internet connection.

Content as Books of Notes


[These, and the software, can be configured to accompany almost any text— send me an email]

Legacy pages

Many of the old pages contain java applets, these can take 20-30 seconds to load initially (so you may find yourself looking briefly at a blank page when opening some material). There are only a few of these pages that are left. Viewing java applets through a web browser is not easy these days, but if you try it you might also want to look at Checking Your Computer is Configured Correctly.