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.] Many of the 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.
This site uses Java, and we use primarily Macintoshes for development and use. But the combination of Java and the Macintosh Safari browser (especially on MacOSX 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 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.
Enjoy!
Content as Books of Notes
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 Example [Propositional and Predicate Logic Trees. Takes 20 seconds to load.]
- Modal Logic
- Modal Tree [Girle] Example [Modal Logic Trees. Takes 20 seconds to load.]
- Lambda Calculus
- Miscellaneous
- Game-theoretical Semantics [The Henkin Hintikka game. Takes 20 seconds to load.]
- Easy Deriver
[These, and the software, can be configured to accompany almost any text-- send us an email.]
