Software and Tutorials for Instruction in Symbolic Logic

Welcome

This site contains software and instruction for symbolic logic. Feel free use it. 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.] Much of the software on this site has been converted so as to run on a wider range of devices, in particular on tablets (with touchscreens and no mice or keyboards). The results should run quickly on any modern computers, tablets, and smartphones (iPads, iPhones, Android tablets, etc.). [There is some conversion work remaining, which should be completed early 2014.]

Enjoy!

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

Examples

[These, and the software, can be configured to accompany almost any text-- send us 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.