Ressourcen zur Logik

Sinn dieser Ressourcenliste

Diese Seite entstand als Ressourcenliste zu mehreren Lehrveranstaltungen. Im Lauf der Jahrzehnte verlor sie zunehmend an Sinn, weil die logischen Ressourcen im Internet immer zahlreicher und unüberschaubarer wurden. Im Augenblick sind nur mehr lokale logische Ressourcen verlinkt, so weit diese zu didaktischen Zwecken nützlich sein könn(t)en.

Logikübergang

Der Logikrechner bietet Ihnen die Möglichkeit, interaktiv Wahrheitstabellen, Ausdrucksbäume, Alfagrafen und dergleichen mehr zu erzeugen und Aussagen umzuformen und selbstgemachte Ableitungen auf ihre Korrektheit hin zu überprüfen.

Übungsbeispiele und Lösungen

Auf den beiden folgenden Seiten finden sich Übungsbeispiele mit Lösungen in Form der ersten Auflage meines Übungsskriptums zu Dr. Dethloffs ehemaliger Vorlesung "Einführung in die Logik" bzw. zu nachfolgenden Lehrveranstaltungen, weiters Lösungen zu einigen willkürlich gewählten Beispielen aus E.J. Lemmons Buch "Beginning Logic":

• Mein Übungsskriptum...
• Lösungen zu einigen Beispielen aus E.J. Lemmon, "Beginning Logic".

Texte

Von den in den Einführungsvorlesungen erwähnten Texten ist online nur mehr Einführung in die Logik, das Skriptum zu Dr. Klaus Dethloffs ehemaliger Vorlesung Einführung in die Logik, online verfügbar.

Wikipedia

Einige ausgewählte Wikipedia-Artikel:

• Logik, ein lesenswerter Übersichtsartikel
• Existential Graphs, ein graphisches logisches System des Charles S. Peirce
• Baumkalküle, ein intuitiver logischer Kalkül aus der Schule Beths, der (ersterer) sich zudem gut zum automatischen Beweisen eignet.
• Aussagenlogik, eine gar nicht ganz falsche Einführung in die Aussagenlogik
• Prädikatenlogik, ein ebenfalls ganz brauchbarer Überblick
• Logische Maschine, ein absolutes Nischenthema, das mir aber aus Gründen, die ich hier nicht nennen möchte, dennoch gefällt
• Syllogismus, ein inzwischen recht richtiger Einführungsartikel

2019-02-03
christian.gottschall@posteo.de