Software and Tutorials for Instruction in Symbolic Logic

Welcome

This site contains software and instruction for symbolic logic. Feel free use it. 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.] Much of the software on this site is being converted so as to run on a wider range of devices, in particular on tablets (with touchscreens and no mice or keyboards). This conversion will take some to do but the results should run quickly on any modern computers, tablets, and smartphones (iPads, iPhones, Android tablets, etc.). Maybe a quarter to a third of this conversion will be done in Summer 2012. 

Enjoy!

New material

• Symbolization into Propositional and Predicate Logic [iPad friendly]
• Tree Tutorials [Propositional, Predicate, Identity, and Modal Logic Trees] [iPad friendly]

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

Many of the older 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). Many of the pages contain symbols. Every endeavour is made to ensure these display properly in all web browsers. But this is an ongoing battle.

As mentioned, the older pages use Java, and we use primarily Macintoshes for development and use. But the combination of Java and the Macintosh Safari browser (especially on MacOSX Lion, or Mountain Lion, the latest) is fraught. The iPads and iPhones do not have Java at all, so any browser on an iPad won't run much of the older material on this site. We are working to accommodate this. But if viewing is not good for you, try this site on the Google Chrome browser. You might also look at Checking Your Computer is Configured Correctly.

Examples

• Software
  • Index to applets and applications
• Tutorials
  • Easy Deriver
    • Easy Deriver Tutorials [Propositional and Predicate Logic]
  • Deriver
    • Deriver Tutorials [Functional terms, Identity, First Order Theories, Set Theory. Old, nearly iPad friendly]
  • Trees
    • Tree [Howson] Tutorials [Propositional,Predicate, and Modal Logic Trees. iPad friendly]
    • Tree Example [Propositional and Predicate Logic Trees.]
  • Modal Logic
    • Modal Tree Example
  • Lambda Calculus
    • The Lambda Calculus
  • Miscellaneous
    • Game-theoretical Semantics [The Henkin Hintikka game. Takes 20 seconds to load. Old, uses Java Applets]

[These, and the software, can be configured to accompany almost any text-- send us an email.]