Medieval logicians memorized this most famous logic mnemonic:
Barbara, Celarent, Darii, Ferio ← direct first figure
Baralipton, Celantes, Dabitis, Fapesmo, Frisesomorum ← indirect first figure
Cesare, Camestres, Festino, Baroco ← second figure
Darapti, Felapton, Disamis, Datisi, Bocardo, Ferison ← third figure
The 3 vowels of each name tell what the major, minor, and conclusion are; each vowel corresponds to one of 4 possibilities from the square of opposition:
So Barbara is an AAA syllogism, e.g.:
- Every man is an animal.
- Every animal is a creature.
- ∴ Every man is a creature.
There is more to the mnemonic than this. Apparently the consonants in the names allow one to reduce the corresponding syllogism to that of a simpler figure.
Are there any references that overview how to fully use all that is packed into this very elaborate, well-thought-out mnemonic?