Moderne Termlogik/ Die 24 Syllogismen

Moderne Termlogik

4. Syllogistik

4.3 Die 24 Syllogismen

In den letzten beiden Abschnitten haben wir einen speziellen Typ von 4×(4^3)=256 Regeln kennengelernt. Von diesen erweisen sich 4×6=24 (jeweils 6 in jeder Figur) als "gültige", d.h. aus dem Grundsystem $R_{1}, R_{2}, R_{3}, R_{4}$ abgeleitete Regeln - diese 24 Regeln werden Syllogismen genannt.

Wir haben einige dieser Syllogismen bereits durch spezielle Namen benannt. Zusätzlich zu den vier bisher abgeleiteten Syllogismen der ersten Figur, nämlich Barbara, Celarent, Darii und Ferio gibt es noch zwei weitere Syllogismen der ersten Figur: Barbari und Celaront. Barbari lässt sich ableiten aus der Grundregel Barbara und anschliessender Anwendung der (abgeleiteten) Regel der partiellen A-Konversion sowie dann der I-Konversion:

$A a b, A b c ⊢ A a c ⊢ I c a ⊢ I a c$

Übungsaufgabe: Beweise den Syllogismus Celaront, $A x y, E y z \to O x z$ unter Verwendung der bisher abgeleiteten Regeln. Hinweis: man leite zunächst die Regel Exy → Oxy ab (indirekter Beweis) und verwende dann Celarent, um Celaront abzuleiten.

Damit haben wir jetzt 6 Syllogismen der 1. Figur:

Regel	Name der Regel
$A x y, A y z \to A x z$	Barbara
$A x y, E y z \to E x z$	Celarent
$I x y, A y z \to I x z$	Darii
$I x y, E y z \to O x z$	Ferio
$A x y, A y z \to I x z$	Barbari
$A x y, E y z \to O x z$	Celaront

Analog lassen sich nun die Syllogismen der weiteren Figuren ableiten. Da die Lehre von den Syllogismen zwar jahrhundertelang als Forschungs- und Lehrgegenstand hochgehalten wurde, aber -soweit bekannt - keine praktischen Anwendungen hatte, soll hier nur das Ergebnis in Form von Tabellen dargestellt werden.

Die 6 Syllogismen der 2. Figur:

Regel	Name der Regel
$A x y, E z y \to E x z$	Cesare
$E x y, A z y \to E x z$	Camestres
$I x y, E z y \to O x z$	Festino
$O x y, A z y \to O x z$	Baroco
$A x y, E z y \to O x z$	Cesaro
$E x y, A z y \to O x z$	Camestrop

Die 6 Syllogismen der 3. Figur:

Regel	Name der Regel
$A y x, A y z \to I x z$	Darapti
$A y x, I y z \to I x z$	Disamis
$I y x, A y z \to I x z$	Datisi
$A y x, E y z \to O x z$	Felapton
$A y x, O y z \to O x z$	Bocardo
$I y x, E y z \to O x z$	Ferison

Die 6 Syllogismen der 4. Figur:

Regel	Name der Regel
$A y x, A z y \to I x z$	Bamalip
$E y x, A z y \to E x z$	Camenes
$A y x, I z y \to I x z$	Dimatis
$A y x, E z y \to O x z$	Fesapo
$I y x, E z y \to O x z$	Fresison
$E y x, A z y \to O x z$	Camenop

Moderne Termlogik/ Die 24 Syllogismen