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
 Deriver [Functional Terms, Identity, First Order Theories, Set Theory—Gentzen Syntax]
 Tree Tutorials [Propositional, Predicate, Identity, and Modal Logic Trees—Default Syntax]
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.
 Symbolization into Propositional and Predicate Logic. ISBN 9780473225872
 Tree Tutorials: Propositional, Predicate, Identity, and Modal Logic Trees. ISBN 9780473218997
Content as Books of Notes
Examples
 Software

Tutorials

Easy Deriver
 Easy Deriver Tutorials [Propositional and Predicate Logic]

Deriver
 Deriver Tutorials [Functional terms, Identity, First Order Theories, Set Theory.]

Trees
 Tree [Howson] Tutorials [Propositional,Predicate, and Modal Logic Trees]
 Tree Widget [Propositional and Predicate Logic Trees.]
 Modal Logic
 Lambda Calculus

Miscellaneous
 Gametheoretical Semantics [The Henkin Hintikka game. Takes 20 seconds to load. Old, uses Java Applets]

Easy Deriver
[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 2030 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.