Directory of Logik Resources

Subcategories

Begriffslogik

http://www.begriffslogik.de/
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.
Beweisbauer

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

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

http://logik.phl.univie.ac.at/~chris/gateway/formular.html
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ädikatenlogische Beweise.
Schweizerische Gesellschaft für Logik und Philosophie der Wissenschaften

http://www.sslps.unibe.ch/
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 Konferenz, sonstige Vorlesungen sowie internationale Zusammenarbeit. Im Normalfall steht die Gesellschaft allen offen, die Interesse für ihre Tätigkeit bekunden.

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us