====== Modus Darii ======

[[begriffe:syllogismus|Syllogismus]], bei dem aus jeweils einem positiven [[begriffe:allsatz|All]]- und [[begriffe:existenzsatz|Existenzsatz]] ein neuer positiver //Existenzsatz// abgeleitet wird.

<aside float-right>
<figure box>
<h3>Modus Darii</h3>
{{modus_darii.svg?nolink|Modus Darii}}
<figcaption centered>Typ ''AII'', Form ''1''<span noprint> [[app>#AI1I|Modus Darii in Syllogismus-Finder App öffnen]]</span></figcaption>
</figure>
</aside>

> Alle <abbr "Mittelbegriff">M</abbr> sind <abbr "Oberbegriff">O</abbr>.
> Einige <abbr "Unterbegriff">U</abbr> sind <abbr "Mittelbegriff">M</abbr>.
> <span conclusio><span "Daraus folgt:">∴</span> Einige <abbr "Unterbegriff">U</abbr> sind <abbr "Oberbegriff">O</abbr>.</span>

Zum Beispiel:

> Alle //Quadrate// sind //Rechtecke//.
> Einige //Rhomben// sind //Quadrate//.
> <span conclusio>Daraus folgt: Einige //Rhomben// sind //Rechtecke//.</span>

===== Herkunft des Names =====

Der Name „Darii“ ist eine [[wpde>Eselsbrücke|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 [[begriffe:allsatz|Allsatz]] ist („a“) ist, die zweite ein positiver [[begriffe:existenzsatz|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 <abbr "Unterbegriff">U</abbr> und <abbr "Mittelbegriff">M</abbr> impliziert.

Für mehr Informationen zur Namensbildung und zu Syllogismen im Allgemeinen, siehe die Seite zu [[begriffe:syllogismus|Syllogismen]] in der Rubrik [[begriffe:hauptseite|Begriffe]].

===== Varianten =====

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

  * [[logik:schlussformen:modus_darii:modus_dimatis|Modus Dimatis]]
  * [[logik:schlussformen:modus_darii:modus_datisi|Modus Datisi]]
  * [[logik:schlussformen:modus_darii:modus_disamis|Modus Disamis]]
  * [[logik:schlussformen:modus_darii:modus_darapti|Modus Darapti]]

===== Siehe auch =====

  * [[logik:schlussformen:modus_barbara:hauptseite|Modus Barbara]]
  * [[logik:schlussformen:modus_celarent:hauptseite|Modus Celarent]]
  * [[logik:schlussformen:modus_ferio:hauptseite|Modus Ferio]]

{{page>templates:banner#Short-BG-Logic&noheader&nofooter}}