Moderne Termlogik: Syllogistische Basen: Die indirekten Basen

Syllogistische Basen

Bearbeiten

Die indirekten Basen

Bearbeiten

Die Methode des indirekten Beweises ist ein zentraler Bestandteil des Kalküls der Termlogik, wie wir ihn am Anfang dieses Buches eingeführt haben. Zur Erinnerung seien noch einmal alle Zutaten des Systems hier zusammengetragen; im folgenden Abschnitt werden dann wichtige Alternativen dargestellt.

  • Das System I (mit indirekter 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
    1. Die Konversionen  
    2. Die Syllogismen  
  3. Die logische Ableitung
    1. Direkte Ableitung von   aus   durch eine Sequenz  . Hierbei ist jedes Element rechts von   entweder
      1. die Wiederholung eines vorhergehenden Elements oder
      2. mit Hilfe der Transformationsregeln aus zwei früheren Elementen abgeleitet
    2. Indirekte Ableitung von   aus   durch eine Sequenz  . Hierbei ist  

Dieses System soll abgekürzt werden als I=I(E-Konv.,A-pKonv.;Barbara,Celarent;Dir.,Wiederh., Indir.).

Frage: Gibt es ein zu I äquivalentes System, das OHNE die indirekte Ableitung auskommt?