Modus Darii

Syllogismus, bei dem aus jeweils einem positiven All- und Existenzsatz ein neuer positiver Existenzsatz abgeleitet wird.

Alle M sind O.
Einige U sind M.
∴ Einige U sind O.

Zum Beispiel:

Alle Quadrate sind Rechtecke.
Einige Rhomben sind Quadrate.
Daraus folgt: Einige Rhomben sind Rechtecke.

Der Name „Darii“ ist eine Eselsbrücke, in der die Vokale (a-i-i) auf die Typisierung der Aussagen hinweisen. In diesem Fall also, dass die erste Prämisse ein positiver Allsatz ist („a“) ist, die zweite ein positiver Existenzsatz („i“) und dass als Schlussfolgerung wiederum ein positiver Existenzsatz („i“) abgeleitet wird.

Obwohl hier in den Prämissen ein Allsatz und im Schluss­satz ein Existenzsatz steht, ist kein weiter gehender Existenzbeweis nötig, da der Untersatz bereits die Existenz in der Schnittmenge von U und M impliziert.

Für mehr Informationen zur Namensbildung und zu Syllogismen im Allgemeinen, siehe die Seite zu Syllogismen in der Rubrik Begriffe.

Die folgenden Modi sind Varianten des Modus Darii und lassen sich in diesen umformen:

• Modus Dimatis
• Modus Datisi
• Modus Disamis
• Modus Darapti

• Modus Barbara
• Modus Celarent
• Modus Ferio