Software and Tutorials for Instruction in Symbolic Logic

10/21/2026

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

Derivation Planner as an app from App stores

• Easy Deriver [Sentential and Predicate Logic—Bergmann Syntax]
• Easy Deriver [Sentential and Predicate Logic—Copi Syntax]
• A playable version of the Henkin-Hintikka Game: Introductory Game Theoretical Semantics (GTS) [9/9/26]
• Deriver [Functional Terms, Identity, First Order Theories, Set Theory—Gentzen Syntax] (Refresh 8/15/26)
• Tree Tutorials [Propositional, Predicate, Identity, and Modal Logic Trees—Default Syntax] (Refresh 8/15/26)
• Running the Deriver application in a web browser (8/4/2026)
• Steven A. Stegeman, The Return of Rationality (7/9/2026)

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

• 
• Artificial Intelligence and Librarianship: Notes for Teaching (Third Edition) [This book is not symbolic logic.] (8/8/24)
• Easy Deriver [Sentential and Predicate Logic—Bergmann Syntax]
• Easy Deriver [Sentential and Predicate Logic—Copi Syntax]
• Easy Deriver [Sentential and Predicate Logic—Gentzen Syntax]
• Easy Deriver [Sentential and Predicate Logic—Hausman Syntax]
• Easy Deriver [Sentential and Predicate Logic—Herrick Syntax]
• Deriver [Functional Terms, Identity, First Order Theories, Set Theory—Gentzen Syntax] [Refresh 8/14/26]
• Documentation [Refresh 8/8/26]
• Exercises
• A playable version of the Henkin-Hintikka Game: Introductory Game Theoretical Semantics (GTS) [9/9/26]
• Instructional Software for Logic and Source Code
• Lambda Calculus and Combinatory Logic
• Lambda Calculus and Elementary Type Theory
• LP&L Trees [Tarski's World]
• Miscellaneous
• Modal Logic [Girle Syntax] [Refresh 8/17/26]
• Symbolization into Propositional and Predicate Logic [Gentzen syntax]
• Tree Tutorials [Propositional, Predicate, Identity, and Modal Logic Trees—Default Syntax] [Refresh, with lightweight input and output. 8/15/26]
• Tree Tutorials [Propositional, Predicate, Identity, and Modal Logic Trees—Howson Syntax] [Refresh, with lightweight input and output. 8/16/26]
• Type Labels, Sorts, and Order Sorted Logic [Gentzen Syntax] [Two new videos. 8/19/26]
• There is an archive of this site at https://mfricke1947.github.io (8/20/2025). There are no immediate plans to take the site down. AI coding, in particular Claude, has opened several areas of interest. Archiving this site (4/23/2025)