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.).
- 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 978-0-473-22587-2
- Tree Tutorials: Propositional, Predicate, Identity, and Modal Logic Trees. ISBN 978-0-473-21899-7
Content as Books of Notes
- Easy Deriver Tutorials [Propositional and Predicate Logic]
- Deriver Tutorials [Functional terms, Identity, First Order Theories, Set Theory.]
- Modal Logic
- Lambda Calculus
- Game-theoretical 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.]
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.