Our objectives for this part of the logic section are for you to be able to:
(1) Identify: the major term, the minor term, the middle term, the major premise, the minor premise, and the conclusion of a syllogistic argument.
(2) Identify the mood and figure of a syllogism.
(3) Distinguish the following notions: legitimacy, validity, and soundness of an argument.
(4) State the dictum de omni.
(5) Distinguish regular and irregular syllogisms.
(6) Distinguish valid and invalid syllogisms.
(7) Use Sommers notation and literal diagrams to analyze syllogistic arguments.
We laid down most of the basics today; we’ll continue with (4) and with more development of (7) next class.
Those interested in further study of this topic may find the following resources handy.
* The Categorical Syllogism section of Lee Archie’s Introduction to Logic page.
* The biliteral diagram section of the Logic Game website. (Note that it is biliteral, not bilateral as the page keeps misspelling it.)
* You can read more about the history of the study of the syllogism in the Medieval Theories of the Syllogism article at the SEP.
Medieval logicians developed a mnemonic for the valid moods and figures. It was:
Barbara, Celarent, Darii, Ferioque prioris;
Cesare, Camestres, Festino, Baroco secundae;
Tertia Darapti, Disamis, Datisi, Felapton, Bocardo, Ferison habet;
Quarta insuper addit Bramantip, Camenses, Dimaris, Fesapo, Fresison.
Each name indicates a mood by its vowels. Thus Barbara is AAA; it’s in the first line, so it is first figure. Fesapo is EAO; it’s in the fourth line, so it’s fourth figure. In addition, s, m, c, and p within the word have special meaning. ’s’ indicates conversion, for instance, and for any syllogism whose name has an ’s’, you can transform it into the first-figure syllogism that starts with the same letter by converting the proposition symbolized by the preceding letter. For instance,
No Y are M
Some X are M
Therefore Some X are not Y
which is Festino, can be converted to Ferio by converting the E premise:
No M are Y
Some X are M
Therefore Some X are not Y.