Modus Barbara
Modus Barbara ist ein Syllogismus einer bestimmten Form. Der Name „Barbara“ rührt vom lateinischen Merkwort für diesen Syllogismus her. Die Folge der drei Vokale „a“ im Merkwort bedeutet, dass sowohl beide Voraussetzungen als auch die Folgerung bejahend und allgemein gültig (allquantifiziert, aber nicht verneint) sind. („A“ ist der erste Vokal des lateinischen „affirmare“, das mit „bejahen“ übersetzt werden kann.)
Folgendes Beispiel zeigt die Gestalt des Modus Barbara:
- Alle Griechen (G) sind Menschen (M) – in traditioneller Schreibweise: GaM
- Alle Menschen (M) sind sterblich (S) – in traditioneller Schreibweise: MaS
- Daraus folgt: Alle Griechen (G) sind sterblich (S) – in traditioneller Schreibweise: GaS
In der Kurzschreibweise der traditionellen Syllogistik (siehe den Syllogismus-Artikel oder für einen kurzen Überblick Kategorisches Urteil):
- GaM
- MaS
- Daraus folgt: GaS
In der Schreibweise der modernen Prädikatenlogik:
- Daraus folgt:
Modus Barbara und der Kettenschluss
In der traditionellen Logik wird jeder Schluss der Form
- Alle A1 sind A2.
- …
- Alle An-1 sind An.
- Daraus folgt: Alle A1 sind An
als Kettenschluss oder Sorites bezeichnet. Der Modus Barbara ist damit der Spezialfall des traditionellen Kettenschlusses mit n=3.
In der modernen Logik wird als Kettenschluss ein aussagenlogischer Schluss der folgenden Form bezeichnet:
- Daraus folgt:
Ein Beispiel für einen Kettenschluss ist folgender Schluss:
- Wenn es regnet, dann ist die Straße nass.
- Wenn die Straße nass ist, dann besteht Schleudergefahr.
- Daraus folgt: Wenn es regnet, dann besteht Schleudergefahr.
Trotz optischer Ähnlichkeit handelt es sich beim traditionellen und beim modernen Kettenschluss um unterschiedliche Dinge. Die englische Terminologie wird der Unterschiedlichkeit beider Konzepte besser gerecht, indem sie den traditionellen Kettenschluss als sorites und den modernen Kettenschluss als chain inference bezeichnet.
Siehe auch
- Transitivität (Mathematik)
- Weitere traditionelle Schlussweisen:
