Software and Tutorials for Instruction in Symbolic Logic

1/12/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 (Second Edition) [This book is not symbolic logic.] (1/11/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)