====== Modus Bocardo ======

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 Bocardo</h3>{{modus_bocardo.svg?nolink|Modus Bocardo}}
<figcaption centered>Typ ''OAO'', Form ''3''<span noprint> [[app>#OA3O|In Syllogism-Finder App anzeigen]]</span> \\ Hauptform: [[hauptseite|Barbara]]</figcaption>
</figure>
</aside>

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

Zum Beispiel:

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

Der //Modus Bocardo// ist ähnlich zum [[logik:schlussformen:modus_barbara:modus_baroco|Modus Baroco]], außer dass die Formen der Prämissen in umgekehrter Reihenfolge auftauchen. Ebenso wie dieser benötigt der Modus Bocardo auch einen indirekten Beweis, um auf ihre Hauptform (den //Modus Barbara//) zurückgeführt werden können.

===== Namensherkunft =====

Der Name „Bocardo“ ist eine [[wpde>Eselsbrücke]], die hilft, die wichtigsten Eigenschaften dieses Modus in Erinner­ung zu behalten: Dabei steht das „B“ am Wortanfang für die Verwandtschaft zum [[logik:schlussformen:modus_barbara:hauptseite|Modus Barbara]], die beiden „o“ für jeweils negative [[begriffe:existenzsatz|Existenzsätze]] und das „a“ für einen [[begriffe:allsatz|Allsatz]]. Das „c“ im Namen ist ein Hinweis darauf, dass die Umformung zur Grundform einen zusätzlichen Beweis der Gültigkeit benötigt.

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

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

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