Modus Bocardo

Form eines Syllogismus auf Basis des Modus Barbara als Grundform, bei dem von einem Allsatz und einem negativen Existenzsatz auf einen weiteren negativen Existenzsatz geschlossen wird.

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

Zum Beispiel:

Einige Rechtecke sind nicht Quadrate.
Alle Rechtecke sind Vielecke.
Daraus folgt: Einige Vielecke sind nicht Quadrate.

Der Modus Bocardo ist ähnlich zum 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.

Der Name „Bocardo“ ist eine 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 Modus Barbara, die beiden „o“ für jeweils negative Existenzsätze und das „a“ für einen Allsatz. Das „c“ im Namen ist ein Hinweis darauf, dass die Umformung zur Grundform einen zusätzlichen Beweis der Gültigkeit benötigt.

• Modus Barbara
• Syllogismus