Logic Resources

Gateway to Logic

My Gateway to Logic displays truth tables, expression trees, alpha graphs, normal forms and so on, both in a server side and a client side version. It proves theorems of propositional and predicate logic and contains a proof checker and a Lemmon-style proof builder as well as a Fitch-style proof builder and even a proof builder of the Alpha Part of Peirce's Existential Graphs. In 1996, Jars has rated the Gateway "Top 25%", and Gamelan considered it "cool".

Part of the Gateway requires a Java-capable browser, part works with virtually any browser, even with text-based programs like Lynx.

Resource lists

There are several lists of logical web resources. The following are among the best:

• The resource list at Texas A & M University.
• Dr. Martindale's Reference Desk is an extremely comprehensive (probably complete) list of online software (including logic-related programs).
• "What are the best philosophy resources?" at encyclopaedia.com
• Spanish Pagina sobre filosofia by Francisco Conde
• Episteme Links, another compilation of philosophy-related resources.
• The Logic & Set Theory chapter of the Math Archives at the University of Tennessee, Knoxville
• A list of very thoroughly selected logical resources (University of Düsseldorf)
• Martin Flashman's Logic and Set Theory Web Surfing Page
• Mathematical Logic around the world
• Logical resources from Finland
• Mariusz Grygianiec's und Piotr Lajeczko's Philosophia Analytica in Polonia, a collection of information on Polish logic and analytical philosophy
• Peter Suber's Logic topics
• The chapter on philosophy in Yale University's Internet library contains several entries on logic.
• The new Mining Co. index contains a growing collection of logical links.
• Jose Emilio Labra Gayo's very useful page Logic for Computer Science

Logicians

• Gottlob Frege
• Bertrand Russell
• Alan Turing
• C. S. Peirce

Texts

• Bertrand Russell, On Denoting
• My introductory textbook Einführung in die Logik (German)
• An English introductory text by Garth Kemerling

Programs

• The Logic Daemon by Colin Allen is a very good proof checker.
• Part of my Gateway to Logic (the server side) works online.
• Metamath Solitaire is a Java applet that allows to interactively construct proofs in predicate logic and set theory; it uses an axiomatic approach.
• Interactively practice truth tables (California State University)
• A theorem prover for linear logic (by Naoyuki Tamura)
• At TU Vienna there is an interesting Default Logic Java applet.
• John Kennedy's Propositional Logic Program displays truth tables and expression trees, converts propositions to Polish notation and optimizes using the algorithm of Karnaugh/Veitch. This text-mode MS-DOS program works well with Windows and with any DOS emulator (e.g. Linux Dosemu).
• Otter is one of the most well-known theorem provers.
• Prover9 is intended to be Otter's successor.
• Sadly, I had to replace the link to Peter Gibbins' excellent proof checkers for Lemmon's calculus and for quantum logic by a link to an obituary.

2012-03-31 01:19:44
christian.gottschall@posteo.de