Modus Barbara

Modus Barbara ist ein logischer Schluss (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: (rechts in Prädikatenlogik)

Alle Griechen (G) sind Menschen (M) Alle Menschen (M) sind sterblich (S) Es folgt Alle Griechen (G) sind sterblich (S)

$\mathrm{\forall }x(Gx\to Mx)$ $\mathrm{\forall }x(Mx\to Sx)$ Es folgt $\mathrm{\forall }x(Gx\to Sx)$

Der Modus Barbara ist der Spezialfall vom Kettenschluss mit n=3.

Siehe auch

• Modus polendo ponens - Artikel in der deutschen Wikipedia - oft unexakt zu Modus ponens abgekürzt
• Modus tollendo tollens - Artikel in der deutschen Wikipedia - oft unexakt zu Modus tollens abgekürzt
• Modus tollendo ponens - Artikel in der deutschen Wikipedia
• Modus ponendo tollens - Artikel in der deutschen Wikipedia
• Kettenschluss - Artikel in der deutschen Wikipedia
• Modus Barbara - Artikel in der deutschen Wikipedia