Logik-
Übergang
There is an English version of
this page.
Sie sind die 485427. Besucherin des Logik-Übergangs.
Gliederung
- Einleitung
- Zentral
- Dezentral
- Beweise bauen
- Beweise prüfen
- Theorembeweiser
- Wahrheitstafelwidget
- Impressum
There is an English version of
this page.
Sie sind die 485427. Besucherin des Logik-Übergangs.
Der Logikübergang stellt viele logische Funktionen zur Verfügung, die nach inhaltlichen und technischen Gesichtspunkten in vier Gruppen gegliedert sind. Leider wirkt die Vielfalt der verfügbaren Funktionen zu Beginn etwas verwirrend. Wenn Sie neu beim Logikübergang sind, experimentieren Sie daher am Besten mit allen vier Verarbeitungen. Sie können von jeder Verarbeitung über den Link Andere Programme zu dieser Seite zurück kehren. Wenn Sie nicht sicher sind, mit welcher Verarbeitungsgruppe Sie beginnen möchten, versuchen Sie bitte zuerst die zentralen Verarbeitungen. Diese stellen die geringsten Anforderungen an den verwendeten Browser.
Mit den zentralen Verarbeitungen stellt der Logikübergang eine Reihe von Funktionen zur Verfügung, die mit jedem Browser problemlos arbeiten. Die zentralen Verarbeitungen arbeiten rein aussagenlogisch und sind -mit Ausnahme der Prüfung auf intuitionistische Gültigkeit- auf die klassische, zweiwertige Logik beschränkt. Wenn Sie eine Wahrheitstabelle oder einen Ausdrucksbaum angezeigt erhalten möchten oder wenn Sie eine Aussage beweisen, vereinfachen oder zu einer Normalform umformen möchten, sind Sie bei den zentralen Verarbeitungen am Besten aufgehoben.
Die dezentralen Verarbeitungen ähneln vom Funktionsumfang her weitgehend den zentralen Verarbeitungen. Im Gegensatz zu jenen unterstützen sie jedoch etliche mehrwertige Logiken und bieten sie eine grafische Benutzeroberfläche. Da sie Java-basiert realisiert sind, erfordern sie einen Java-fähigen Browser.
Der Beweisbauer erlaubt es, interaktiv mit Tastatur und Maus logische Beweise zu konstruieren. Er ist in drei Varianten verfügbar, die für unterschiedliche wichtige oder interessante Kalküle ausgelegt sind:
Die Verwendung all dieser Varianten ist gut dokumentiert, erfordert aber Grundkenntnisse im jeweiligen logischen Kalkül, die Sie z.B. durch Studium von E.J. Lemmon's Beginning Logic oder durch Besuch der Vorlesung "Einführung in die Logik" bei Dr. Klaus Dethloff bzw. der Nachfolge-Vorlesung bei Dr. Esther Ramharter erwerben können. Der Beweisbauer arbeitet nur mit Java-fähigen Browsern. Es gibt ihn auch zu kaufen.
Der Beweisprüfer prüft aussagen- und prädikatenlogische Beweise, die Sie selbst geführt haben. Als kleiner Bruder des Beweisbauers im Lemmon-Stil arbeitet er Java-los, erfordert deshalb aber, dass Sie den zu prüfenden Beweis über die Tastatur eingeben. Die Syntax der Beweise ist angelehnt an den Kalkül des natürlichen Schließens, der in E. J. Lemmon's Buch Beginning Logic vorgestellt wird. Der Beweisprüfer wird nur dann für Sie von Interesse sein, wenn Sie bereits über Grundkenntnisse in diesem Kalkül verfügen.
Der Theorembeweiser leitet selbstständig prädikatenlogische Argumente her, vor allem gültige. Auch er ist ein serverseitiges Programm und kommt ohne Java aus. Die Syntax entspricht der des Beweisprüfers.
Der Unterschied des Theorembeweisers zu den zentralen Verarbeitungen besteht darin, dass er die volle Prädikatenlogik unterstützt, während die zentralen Verarbeitungen sich auf die Aussagenlogik beschränken.
Nicht Teil des Logikübergangs, aber dennoch praktisch, um unter MacOS X zwischendurch eine Wahrheitstafel aufzustellen: das Dashboard-Wahrheitstafelwidget.
Der Logikübergang wurde von Christian Gottschall entwickelt. Vom Logikübergang gelieferte logische Wahrheiten drücken nicht die Meinung des Instituts für Philosophie aus. Für Rückmeldungen, Fehlerberichte, Erweiterungs- und Autogrammwünsche benützen Sie bitte das Antwortformular.
2008/11/10 23:27:55
gottschall@gmx.de