Zum Inhalt springen

Moderne Termlogik: Syllogistische Basen: Die direkten Basen

Aus Wikibooks

Syllogistische Basen

[Bearbeiten]

Die direkten Basen

[Bearbeiten]

In seinem Buch "The Syllogism" hat Paul Thom im Jahr 1981 ein System angegeben, das ohne indirekte Beweise auskommt.[1] Dieses System hat die folgenden Bestandteile:

  • Das System D (mit allein direkter Ableitung):
  1. Bausteine: Bildung von Sätzen (oder Urteilen)
    1. Die vier logischen Konstanten A, I, E, O
    2. Endlich oder abzählbar unendlich viele Termkonstanten
    3. Formationsregel für Sätze: für eine beliebige logische Konstante und beliebige Termkonstanten mit
  2. Transformationsregeln
2.1 Die "direkten" Regeln
Regel Name der Regel
E-conv.
I-conv.
A-subalt.
E-subalt
2.2 Die Syllogismen
Regel Name der Regel Figur
Barbara 1. Figur
Celarent 1. Figur
Darii 1. Figur
Ferio 1. Figur
Baroco 2. Figur
Bocardo 3. Figur

3. Die logische Ableitung

Direkte Ableitung von aus durch eine Sequenz . Hierbei ist jedes Element rechts von entweder
3.1 die Wiederholung eines vorhergehenden Elements oder
3.2 mit Hilfe der Transformationsregeln aus zwei früheren Elementen abgeleitet

Es soll nun gezeigt werden, dass dieses System D äquivalent zum Ursprungssystem I (mit indirektem Beweis) aus den vorigen Abschnitten ist.

Beweis. a) Die eine Richtung des Beweises ist relativ einfach: Aus dem System I lassen sich nämlich alle Transformationsregeln des Systems D herleiten; das bedeutet, dass alle Folgerungen, die mit D gezogen werden können, auch mit Hilfe von I gewonnen werden können.

In Formeln ausgedrückt: Sei eine Menge von Voraussetzungen und I() der Abschluss von bzgl. des Systems I, d.h. zusammen mit allen Folgerungen, die mit Hilfe des Systems I gewonnen werden können. Entsprechend sei D() definiert. Dann gilt

D( I()

b) Die andere Richtung des Beweises, nämlich I( D(), ist aufwändiger. Man zeigt zuerst, dass die Methode des indirekten Beweises äquivalent ist zur Anwendung der folgenden Regel:

  • Transposition: Aus folgt .[2]

Dann zeigt man, dass diese Regel aus dem System D abgeleitet werden kann.[3] Beide Schritte sind relativ kompliziert und sollen später in einem Anhang bewiesen werden.

Quellen

[Bearbeiten]
  1. Paul Thom: The Syllogism. Philosophia Verlag, München 1981
  2. John N. Martin. Aristotle's Natural Deduction Reconsidered. History and Philosophy of Logic, 18 (1997), 1-15, p.6
  3. Paul Thom, p. 102