# Software and Tutorials for Instruction in Symbolic Logic

###### 10/5/2021

## 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

- 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.*