Recommended resources
The freely available resources this lesson will direct you to.
Introduction
Welcome back. In our previous lesson, we examined Aristotle's powerful critique of Plato's Theory of Forms and explored his alternative: a "down-to-earth" metaphysics where form and matter are inseparable components of the individual substances we encounter in the world. This marked a major shift from Plato's pure rationalism toward a philosophy more grounded in empirical reality.
Today, we delve into another of Aristotle's monumental achievements: his invention of formal logic. For over two millennia, the system we will study today was considered the definitive account of correct reasoning. Our goal is to identify the basic structure of Aristotelian syllogistic logic. This involves breaking down his specific type of argument—the categorical syllogism—into its fundamental components.
Understanding this structure is not just a historical exercise. It provides the essential vocabulary for formal argumentation and is the direct ancestor of the modern symbolic logic developed by Frege and Russell, which became the central tool of analytic philosophy. Given your background in mathematics, you will likely appreciate the systematic and formal nature of Aristotle's project.
1. From Sentences to Propositions
Aristotle’s logic is a term logic, meaning it focuses on the relationships between categories or classes of things. The fundamental building blocks of his system are categorical propositions, which are statements that affirm or deny that one category is included in another.
Every categorical proposition has a precise structure. Let's break it down.
This video from 'A Little Bit of Philosophy' provides a concise explanation of the components of a categorical proposition and the four standard forms they can take.
Please watch the video from 04:56 to 10:56 and again from 16:18 to 17:50. Focus on understanding: The three core components: the subject term (S), the predicate term (P), and the copula. The two dimensions of variation: quantity (universal vs. particular) and quality (affirmative vs. negative). The resulting four types of propositions and their standard letter names: A, E, I, O.
As the video explains, by combining the dimensions of quantity and quality, we get exactly four standard forms of categorical propositions. It's essential to be familiar with them:
| Type | Name | Form | Quantity & Quality |
|---|---|---|---|
| A | Universal Affirmative | All S are P | Universal & Affirmative |
| E | Universal Negative | No S are P | Universal & Negative |
| I | Particular Affirmative | Some S are P | Particular & Affirmative |
| O | Particular Negative | Some S are not P | Particular & Negative |
The letters A and I (from the Latin Affirmo, "I affirm") are for affirmative propositions, while E and O (from nego, "I deny") are for negative propositions.
These four proposition types are the LEGO bricks from which every Aristotelian syllogism is constructed.
2. The Anatomy of a Syllogism
Aristotle's primary interest was in a specific kind of deductive argument he called a sullogismos. In the Prior Analytics, he defines it as an "argument in which, certain things being supposed, something else different from the things supposed results of necessity because of their being so."
While this is a general definition of a valid deduction, his analysis focuses on a specific structure: the categorical syllogism.
This section from the 'Fundamental Methods of Logic' textbook provides a very clear and formal definition of a categorical syllogism and its constituent parts.
Please read the first three paragraphs of this text, starting from the beginning and ending just before the heading 'Logical Form'. Pay close attention to the definition of a categorical syllogism and the specific terminology for its terms and premises.
Let's formalize the key vocabulary from that reading. Every standard-form categorical syllogism has exactly three terms, each playing a distinct role.
- Major Term (P): The predicate of the conclusion.
- Minor Term (S): The subject of the conclusion.
- Middle Term (M): The term that appears in both premises but not in the conclusion. It acts as the logical link connecting the major and minor terms.
Based on these terms, the premises are also given special names:
- Major Premise: The premise containing the major term (P) and the middle term (M).
- Minor Premise: The premise containing the minor term (S) and the middle term (M).
Finally, a syllogism is in standard form when its propositions are ordered correctly:
- Major Premise
- Minor Premise
- Conclusion
Consider the example from the image:
- All mammals are tail-havers. (Major Premise: P = 'tail-havers', M = 'mammals')
- All dogs are mammals. (Minor Premise: S = 'dogs', M = 'mammals')
- Therefore, all dogs are tail-havers. (Conclusion: S = 'dogs', P = 'tail-havers')
Notice the middle term 'mammals' provides the crucial link between 'dogs' and 'tail-havers'.
3. Logical Form: Mood and Figure
The power of Aristotle's logic lies in its ability to abstract away from the content of an argument (dogs, mammals, etc.) and analyze its pure form. The logical form of a syllogism is precisely determined by two features: its mood and its figure.
Mood
The mood of a syllogism is simply the sequence of the three categorical propositions (A, E, I, or O) when the argument is in standard form.
For our example:
- All mammals are tail-havers. (A proposition)
- All dogs are mammals. (A proposition)
- Therefore, all dogs are tail-havers. (A proposition)
The mood of this syllogism is AAA.
Figure
The figure of a syllogism is determined by the arrangement of the middle term (M) in the two premises. Since the middle term can be either the subject or predicate of each premise, there are four possible arrangements.
Aristotle's Logic - Stanford Encyclopedia of Philosophy
The Stanford Encyclopedia of Philosophy and the 'Fundamental Methods of Logic' both offer clear schematic representations of the four figures. This table synthesizes their presentations.
You don't need to read the full resource now, but simply study the table below, which is based on the schematics found in section 5.1 ('The Figures') of the SEP article and the 'Fundamental Methods of Logic' text. This shows how the position of the Middle Term (M) defines each figure.
Here are the four figures, with S as the minor term, P as the major term, and M as the middle term:
| Figure 1 | Figure 2 | Figure 3 | Figure 4 |
|---|---|---|---|
| M — P | P — M | M — P | P — M |
| S — M | S — M | M — S | M — S |
| S — P | S — P | S — P | S — P |
(Note: Aristotle only discussed the first three figures. The fourth was added by later logicians.)
Let's determine the figure of our example: "All mammals (M) are tail-havers (P). All dogs (S) are mammals (M)."
- In the major premise, M is the subject and P is the predicate (M — P).
- In the minor premise, S is the subject and M is the predicate (S — M).
This matches the arrangement of Figure 1.
Therefore, the complete logical form of our example syllogism is AAA-1. Any syllogism with this form, regardless of its content, is known by the medieval mnemonic "Barbara".
By specifying the mood and figure, we can classify any of the 256 possible forms of categorical syllogisms. This systematic classification was a revolutionary step in analyzing arguments.
Test your understanding!
Consider the following argument:
"No geniuses are bloggers, since all geniuses are intellectuals and no intellectuals are bloggers."
- Identify the conclusion, major premise, and minor premise.
- Identify the major term (P), minor term (S), and middle term (M).
- Rewrite the argument in standard form.
- Determine its mood and figure. What is its complete logical form?
Show answer
-
Conclusion: "No geniuses are bloggers." (The word "since" indicates that what follows is a reason/premise).
Major Premise: "No intellectuals are bloggers." (Contains the predicate of the conclusion, 'bloggers').
Minor Premise: "All geniuses are intellectuals." (Contains the subject of the conclusion, 'geniuses'). -
Major Term (P): bloggers
Minor Term (S): geniuses
Middle Term (M): intellectuals -
Standard Form:
- (Major Premise) No intellectuals are bloggers.
- (Minor Premise) All geniuses are intellectuals.
- (Conclusion) Therefore, no geniuses are bloggers.
-
Mood and Figure:
- Mood: The sequence of propositions is E, A, E. So the mood is EAE.
- Figure: In the major premise, the middle term 'intellectuals' is the subject (M — P). In the minor premise, the middle term 'intellectuals' is the predicate (S — M). This arrangement matches Figure 1.
- Complete Logical Form: EAE-1. (This valid form is known as "Celarent").
Conclusion
In this lesson, we have dissected the anatomy of the Aristotelian categorical syllogism, laying the formal groundwork for analyzing deductive arguments. This system, with its precision and structure, dominated Western thought and represents a significant step towards formalizing reason.
Key Takeaways:
- Aristotelian logic is built from categorical propositions, which come in four forms: A, E, I, and O.
- A categorical syllogism is a three-proposition argument with a specific structure defined by its terms: the major (P), minor (S), and middle (M) terms.
- The complete logical form of a syllogism is specified by its mood (the sequence of A, E, I, O propositions) and its figure (the arrangement of the middle term in the premises).
- Identifying the Mood-Figure combination (e.g., EAE-1) allows us to classify any syllogism and analyze its structure independent of its content.
Preview of the next lesson:
Now that we can identify the structure of a syllogism, the next logical question is: what makes it a good argument? In our next lesson, we will learn how to apply Aristotelian rules and the Venn diagram method to determine the validity of simple arguments. This will move us from simply describing the structure to actively evaluating its logical strength.