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.

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.

Ein Java-Applet zum Lemmon-Kalkül des natürlichen Schließens.

Eine Erklärung der logischen Folgerungsbeziehung in der modernen Logik von Helmut Rüßmann.

Ein Skript von Wolfgang Lenzen. [PDF, 300 kB]

Zu einem Einführungskurs von Dr. Timm Lampert finden sich diverse Materialien.

Foliensätze zur Aussagenlogik und Prädikatenlogik zu einer Einführungsvorlesung an der Uni Hamburg.

Zu einem Kurs von Bertram Kienzle, Universität Rostock gibt es Skripte zur Aussagenlogik und Prädikatenlogik.

Auf der Seite beschäftigt sich der Autor mit der wissenschaftlichen Auseinandersetztung von Philosophie und Logik von Hegel.

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.

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.