Categorical Logic·Intermediate·6 lessons·77 practice activities·~300 min
Categorical Logic: Terms, Classes, and Syllogistic Form
How class statements support traditional deductive reasoning
What you'll learn
By the end of this unit, you can…
- Classify categorical propositions.
- Apply square of opposition.
- Draw two circle venn diagrams.
- Map syllogistic terms.
- Evaluate categorical syllogisms.
Lessons
Lesson sequence
- 1Open →
Categorical Propositions and the A, E, I, O Forms
Introduces categorical propositions as class-inclusion claims, distinguishes subject and predicate terms, explains quantity and quality, and teaches students to classify every standard-form proposition as A, E, I, or O.
- 2Student Pro
The Square of Opposition and Existential Import
Introduces the square of opposition, explains the relationships of contradiction, contrariety, subcontrariety, and subalternation among A, E, I, and O propositions, and distinguishes the traditional and modern treatments of existential import.
- 3Student Pro
Venn Diagrams for Categorical Propositions
Teaches students to represent single categorical propositions with two-circle Venn diagrams, introduces the conventions for shading and 'x' marks, and sets up the three-circle diagram used in the next lesson for syllogisms.
- 4Student Pro
Mapping Syllogisms: Major, Minor, and Middle Terms
Teaches students to analyze the structure of a categorical syllogism by identifying its major, minor, and middle terms and classifying each premise by form, as a prerequisite for evaluation.
- 5Student Pro
Evaluating Syllogisms by Rules and by Venn Diagrams
Applies the five classical rules of the syllogism to evaluate validity and introduces the three-circle Venn diagram as an alternative decision procedure, giving students two independent ways to check syllogistic arguments.
- 6Student Pro
Capstone: Diagnosing and Repairing Categorical Arguments
An integrative lesson that asks students to take mixed categorical arguments in ordinary language, put them into standard form, test them against the full rule set, and either validate or repair them.
How to study
Three moves that work for this unit
Read the explanation
Each lesson opens with a guided walkthrough — read it before the activity.
Study the worked example
Look at why each step follows, not just what the answer is.
Practice with the target in mind
Know which rule applies and what would make the response weak before you start.
Reference materials
Optional context for the unit. Each lesson surfaces the concepts and rules it uses — these are here when you want the bigger picture.
Concept map (11 terms)
Categorical Proposition
A proposition asserting inclusion or exclusion between two classes, namely the subject class and the predicate class.
Subject Term
The term in a categorical proposition that names the class about which something is being asserted.
Predicate Term
The term in a categorical proposition that names the class asserted to contain, exclude, or partially overlap with the subject class.
Quantity and Quality
Quantity is whether a proposition is universal (about every member) or particular (about at least one member); quality is whether it is affirmative or negative.
A, E, I, O Propositions
The four standard forms of categorical proposition: A (universal affirmative), E (universal negative), I (particular affirmative), and O (particular negative).
Distribution
A term is distributed in a categorical proposition if the proposition refers to every member of the class named by that term.
Square of Opposition
A diagram that represents the logical relationships among A, E, I, and O propositions sharing the same subject and predicate terms.
Existential Import
The question of whether a proposition, especially a universal one, carries the claim that its subject class has at least one member.
Venn Diagram
A diagram using overlapping circles to represent classes; shading indicates an empty region and an 'x' indicates at least one member.
Categorical Syllogism
A deductive argument consisting of exactly two categorical premises and a categorical conclusion involving exactly three terms.
Major, Minor, and Middle Terms
The major term is the predicate of the conclusion; the minor term is the subject of the conclusion; the middle term appears in both premises but not the conclusion.
Rules and standards (5)
- The Middle Term Must Be Distributed At Least Once. A valid categorical syllogism must distribute the middle term in at least one premise. Common failures: Both premises leave the middle term undistributed, so the subject and predicate of the conclusion are never connected through the whole middle class.; The student confuses the middle term with the major or minor term and overlooks its distribution..
- No Term Distributed in Conclusion Unless Distributed in Premises. No term may be distributed in the conclusion unless it was also distributed in the premise in which it appeared. Common failures: Illicit major: the major term is distributed in the conclusion but undistributed in the major premise.; Illicit minor: the minor term is distributed in the conclusion but undistributed in the minor premise..
- No Valid Conclusion from Two Negative Premises. If both premises are negative, no valid conclusion can be drawn. Common failures: Two E or O premises appear to support a conclusion but the structural connection is lost.; Students infer from 'no A are B' and 'no B are C' that 'no A are C,' which is not valid..
- Negative Premise Requires Negative Conclusion. If either premise is negative, the conclusion must be negative; if neither premise is negative, the conclusion must be affirmative. Common failures: The argument has a negative premise but an affirmative conclusion.; The argument has two affirmative premises but concludes negatively..
- No Particular Conclusion from Two Universal Premises (Modern Reading). Under the modern (Boolean) reading of existential import, a syllogism with two universal premises cannot yield a particular conclusion, because universal premises do not assert the existence of class members. Common failures: The argument infers 'some S are P' from two universal premises under the modern interpretation.; The student conflates traditional and modern existential import and draws inferences allowed only by the traditional reading..
Formalization patterns (3)
- Categorical Standard-Form Analysis. From natural_language_categorical_claim to A_E_I_O_classification — Identify the subject class and the predicate class.; Determine whether the claim is universal (every/no) or particular (some).; Determine whether the claim is affirmative or negative.; Classify the proposition as A, E, I, or O.; Record which terms are distributed under the resulting form..
- Syllogism Term Map. From categorical_syllogism to major_minor_middle_structure — Identify the conclusion and its subject (minor term) and predicate (major term).; Find the term that appears in both premises but not in the conclusion; that is the middle term.; Classify each premise as A, E, I, or O.; Note distribution of every term in every line.; Apply the five classical rules to determine validity..
- Three-Circle Venn Validity Test. From categorical_syllogism to validity_judgment — Draw three overlapping circles labeled with the subject, predicate, and middle terms.; Shade or mark the premises onto the diagram, using shading for universal premises and an 'x' for particular premises.; After drawing the premises, inspect the diagram to see whether the conclusion is already represented.; If the conclusion's information is already present in the diagram, the argument is valid; otherwise it is invalid.; When placing an 'x' that could go in more than one region, place it on the line between regions to represent the ambiguity..
Full mastery and assessment guidance
Mastery requirements
- Classify categorical propositions. Successful Classifications · 10_successful_classifications
- Apply square of opposition. Correct Inferences · 8_correct_inferences
- Draw two circle venn diagrams. Correct Diagrams · 8_correct_diagrams
- Map syllogistic terms. Successful Term Maps · 6_successful_term_maps
- Evaluate categorical syllogisms. Successful Evaluations With Named Fallacies · 8_successful_evaluations_with_named_fallacies
Assessment advice
- What are the subject and predicate classes in this proposition?
- Is the proposition universal or particular, affirmative or negative?
- Which terms are distributed according to the A/E/I/O pattern?
- Do not skip the standard-form rewrite; direct analysis of the English often gives the wrong answer.
- Do not try to derive distribution from meaning; use the memorized pattern.
- Which square relationship applies here?
- Am I using the traditional or the modern reading, and is the inference still valid under the reading I am using?
- Is there any doubt that the subject class is nonempty?
- Do not mix traditional and modern reasoning within a single analysis without saying so.
- Do not confuse contradictories with contraries; the contradictory is the exact denial.
- Did I use shading for universals and 'x' for particulars?
- Is the marked region the correct one for the form?
- Did I add information that was not in the proposition?
- Do not assert existence for a universal proposition; the modern reading forbids it.
- Do not swap the S and P circles when labeling.
- Did I identify the conclusion first?
- Does the term I called the middle term appear in both premises and in neither the subject nor the predicate of the conclusion?
- Is my distribution map consistent with the A/E/I/O form of each proposition?
- Do not assume the major premise is always listed first; check which premise contains the major term.
- Do not skip the distribution map.
- Have I checked every one of the five classical rules?
- Does my Venn diagram confirm or contradict my rule-based judgment?
- For any invalid argument, have I named the specific rule violation and fallacy?
- Do not treat the rules as a loose checklist; each one must be checked explicitly.
- Do not resolve a boundary 'x' into a single region without warrant from the premises.
- Did I translate every claim into standard form before checking any rule?
- Did I name the specific rule violated when I declared an argument invalid?
- Does my repair proposal actually preserve the meaning of the original argument?
- Letting ordinary-language phrasing decide the form of a proposition.
- Repairing an invalid argument by adding content that was not in the original.
Historical context (3)
- Aristotle. Invented the first formal system of deductive logic, built around the categorical syllogism, and introduced the foundational idea that validity is a property of argument form rather than subject matter. Term analysis, syllogistic figures, and the rules of distribution taught in this unit descend directly from Aristotle's Prior Analytics.
- Medieval Logicians. Refined term logic, distribution theory, and the mnemonic names (Barbara, Celarent, Darii, Ferio, and so on) that encode valid syllogistic moods. The memorable categorization of valid syllogisms used in traditional logic courses and in the structure of the distribution rules comes from this medieval work.
- John Venn. Introduced the two- and three-circle diagrams that now bear his name, giving categorical logic a visual decision procedure. Venn diagrams remain the standard diagrammatic method for testing categorical syllogisms and for teaching the modern interpretation of existential import.