User Tools

Modus Baroco

Form of a syllogism based on the Modus Barbara, in which a negative existential proposition is inferred from an affirmative universal and a negative existential proposition.

All P are M.
Some S are not M.

Some S are not P.

For example:

All squares are rectangles.
Some polygons are not rectangles.

Some polygons are not squares.

The Modus Baroco and the Modus Bocardo are the only two modes that require an indirect proof of validity in order to be reducible to their general form (the Modus Barbara). In fact, these two modes are practically identical, the only difference is that the premises are in reverse order.


The name “Baroco” is a mnemonic term that helps to remember the most important characteristics of this mode: The “B” at the beginning indicates that it is related to the Modus Barbara, the “a” for an affirmative universal and the two “o” for negative existential statements. The “c” in the name indicates that the transformation to the basic form can only happen with a further proof of validity.

See also

About this site

Ad Hominem Info is a project to explain and categorize the most common systematic fallacies and fallacies. On this page, you will find a background article that briefly explains an important logical concept, which may be needed to better understand another article in this area.
For more information, please see the main category “logic

This website uses cookies. By using the website, you agree with storing cookies on your computer. Also, you acknowledge that you have read and understand our Privacy Policy. If you do not agree, please leave the website.

More information