Modus Barbara

Aus LexiDict

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:

<math>\forall x (Gx \rightarrow Mx)</math>

<math>\forall x (Mx \rightarrow Sx)</math>

Daraus folgt: <math>\forall x (Gx \rightarrow Sx)</math>

Dieser Artikel basiert auf dem Artikel Modus Barbara aus der freien Enzyklopädie Wikipedia und steht unter der GNU-Lizenz für freie Dokumentation. In der Wikipedia ist eine Liste der Autoren verfügbar.