Software and Tutorials for Instruction in Symbolic Logic
8/9/2024
Welcome
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.).
Enjoy!
New material
-
Artificial Intelligence and Librarianship: Notes for Teaching (Third Edition) [This book is not symbolic logic.] (8/8/24)
- There is some new Source Code (10/5/21) on translating English into Logic
- Webswing: a valuable and trusted companion (9/1/2021)
- A reasonably advanced example of Deriver using tactics and sub-proofs on a First Order Theory with Identity and an Induction Schema (12/31/20)
- Deriver [Functional Terms, Identity, First Order Theories, Set Theory—Gentzen Syntax] (12/19/20)
- Tree Tutorials [Propositional, Predicate, Identity, and Modal Logic Trees—Default Syntax] (12/3/20)
- Deriver running in a web page in a web browser (no installation required) (5/21/22)
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 [Sentential and Predicate Logic—Bergmann Syntax]
- Easy Deriver [Propositional and Predicate Logic—Gentzen Syntax]
- Deriver [Functional Terms, Identity, First Order Theories, Set Theory—Gentzen Syntax]
- Documentation
- Instructional Software for Logic and Source Code
- Lambda Calculus and Combinatory Logic
- Lambda Calculus and Elementary Type Theory
- LP&L Trees [Tarski's World]
- Modal Logic [Girle Syntax]
- Symbolization into Propositional and Predicate Logic [Gentzen syntax]
- Tree Tutorials [Propositional, Predicate, Identity, and Modal Logic Trees—Default Syntax]
- Tree Tutorials [Propositional, Predicate, Identity, and Modal Logic Trees—Howson Syntax]
- Type Labels, Sorts, and Order Sorted Logic [Gentzen Syntax]
- Miscellaneous
- Older Books of Notes (that use Java applets)
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
- 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 me an email mfricke@arizona.edu.]
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.