Web Directory

» Angewandte Logiken
   Zu einer Vorlesung von Bernd Mahr wird ein Skript in Postscript von Klaus Robering angeboten, welches auf den Konzepten von Kalkül und Folgerung basierende nicht-klassische Logiken wie die intuitionistische Logik sowie Modal- und Zeitlogiken vorstellt.
   http://flp.cs.tu-berlin.de/lehre/sose02/logiken.html

» Begriffslogik
   Darstellung der Begriffslogik, einer alten Logikform basierend auf Beziehungen zwischen Begriffsinhalten und -umfängen, anhand der Arbeiten von v. Freytag Löringhoff und v. Petzinger.
   http://www.begriffslogik.de

» Beweisbauer
   Ein Java-Applet zum Lemmon-Kalkül des natürlichen Schließens.
   http://logik.phl.univie.ac.at/~chris/gateway/formular-bau.html

» Deduktive Gültigkeit
   Eine Erklärung der logischen Folgerungsbeziehung in der modernen Logik von Helmut Rüßmann.
   http://ruessmann.jura.uni-sb.de/Lehre/WS96/Denken/Erlaeuterungen/deduktiv.htm

» Logik-Ãœbergang
   Vier von Christian Gottschall entwickelte Applets, um Aussagen beweisen, vereinfachen oder zu einer Normalform umzuformen, zur zwei- und mehrwertigen Logike, ferner Beweisbauer im Stil Lemmons und Fitchs und Beweisprüfer für aussagen- und prädikatenlog
   http://logik.phl.univie.ac.at/~chris/gateway/formular.html

» Logos - Reiner Winter
   Einige Texten aus den Gebieten Philosophie, Logik und Mathematik. Die Artikel liegen im PDF-Format vor.
   http://www.re-wi.de/

» Schweizerische Gesellschaft für Logik und Philosophie der Wissenschaften
   Die Gesellschaft bezweckt, die Entwicklung und das Studium der Logik und der Philosophie der Wissenschaften zu fördern und jene Personen zusammenzufassen, die sich für diese Aufgabe interessieren. In diesem Sinne organisiert sie eine jährliche Konferen
   http://www.sslps.unibe.ch/