A form of syllogism in scholastic logic. The name is from a medieval mnemonic poem, where its vowels reflect the syllogism's standard form of OAO-3

Some M are not P. O - particular negative
All M are S. A - universal affirmative
Therefore, some S are not P.  O - particular negative

Bocardo shares its name with a prison in Oxford, England. Some have suggested the prison's name playfully references Bocardo being a particularly awkward form to 'get out of', in that it cannot be directly reduced to the first figure and must instead be proven indirectly by special means

Barbara, Celarent, Darii, Ferio que prioris;
Cesare, Camestres, Festino, Baroko secundae;
, Darapti, Disamis, Datisi, Felapton,
Bokardo, Ferison, habet; Quarta in super addit
Bramantip, Camenes, Dimaris, Fesapo, Fresison