You are visitor number to this page.

Wenn Sie diesen Satz verstehen, finden Sie auf der deutschen Fassung dieser Seite auch deutsche Ressourcen.

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.

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

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

- 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@univie.ac.at