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.
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;
Tertia, Darapti, Disamis, Datisi, Felapton,
Bokardo, Ferison, habet; Quarta in super addit
Bramantip, Camenes, Dimaris, Fesapo, Fresison