====== Modus Baroco ======

Form eines [[begriffe:syllogismus|Syllogismus]] auf Basis des [[logik:schlussformen:modus_barbara:hauptseite|Modus Barbara]] als Grundform, bei dem von einem [[begriffe:allsatz|Allsatz]] und einem negativen [[begriffe:existenzsatz|Existenzsatz]] auf einen weiteren negativen Existenzsatz geschlossen wird. 

<aside float-right>
<figure box>
<h3>Modus Baroco</h3>
{{modus_baroco.svg?nolink|Modus Baroco}}
<figcaption centered>Typ ''AOO'', Form ''2''<span noprint> [[app>#AO2O|In Syllogism-Finder App anzeigen]]</span> \\ Hauptform: [[hauptseite|Barbara]]</figcaption>
</figure>
</aside>

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

Zum Beispiel:

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

Der //Modus Baroco// ist (neben dem [[logik:schlussformen:modus_barbara:modus_bocardo|Modus Bocardo]]) einer von nur zwei Modi, die einen indirekten Beweis der Gültigkeit benötigen, um auf ihre Hauptform (den //Modus Barbara//) zurückgeführt werden können. Dabei sind diese beiden Modi im Wesentlichen identisch, außer dass die Prämissen in umgekehrter Reihenfolge auf­ge­führt werden.

===== Namensherkunft =====

Der Name „Baroco“ ist eine [[wpde>Eselsbrücke|Eselsbrücke]], welche helfen soll, die wichtigsten Eigenschaften dieses Modus in Erinnerung zu behalten: Dabei steht das „B“ am Wortanfang für die Verwandtschaft zum [[logik:schlussformen:modus_barbara:hauptseite|Modus Barbara]], das „a“ für einen [[begriffe:allsatz|Allsatz]] und die beiden „o“ für jeweils negative [[begriffe:existenzsatz|Existenzsätze]]. Das „c“ im Namen ist ein Hinweis darauf, dass die Umformung zur Grundform nur mit einem weiter gehenden Beweis der Gültigkeit geschehen kann.

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

  * [[logik:schlussformen:modus_barbara:hauptseite|Modus Barbara]]
  * [[begriffe:syllogismus|Syllogismus]]

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