Modus Barbara

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche
Die Artikel Modus Barbara und Kettenschluss überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zusammenzuführen (→ Anleitung). Beteilige dich dazu an der betreffenden Redundanzdiskussion. Bitte entferne diesen Baustein erst nach vollständiger Abarbeitung der Redundanz und vergiss nicht, den betreffenden Eintrag auf der Redundanzdiskussionsseite mit {{Erledigt|1=~~~~}} zu markieren. --MfG: --FTH DISK 21:37, 10. Jul. 2007 (CEST)

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:

Kurzschreibweise[1] Prädikatenlogische Darstellung
Alle Griechen (G) sind Menschen (M)
Alle Menschen (M) sind sterblich (S)
Es folgt Alle Griechen (G) sind sterblich (S)
GaM
MaS
Es folgt GaS
Es folgt

Modus Barbara und der Kettenschluss[Bearbeiten | Quelltext bearbeiten]

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[Bearbeiten | Quelltext bearbeiten]

Einzelnachweise und Anmerkungen[Bearbeiten | Quelltext bearbeiten]

  1. Siehe Syllogismus und kategorisches Urteil