Software and Tutorials for Instruction in Symbolic Logic
7/29/2023
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 [This book is not symbolic logic.] (7/29/23)
 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 subproofs 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 9780473225872
 Tree Tutorials: Propositional, Predicate, Identity, and Modal Logic Trees. ISBN 9780473218997
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
 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 me an email mfricke@arizona.edu.]
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.