1. Read the model first
Each lesson opens with a guided explanation so the learner sees what the core move is before any saved response is required.
Categorical Logic
Categorical Logic: Terms, Classes, and Syllogistic Form
How class statements support traditional deductive reasoning
Students learn to analyze standard-form categorical propositions, master quantity and quality, use the square of opposition, represent class claims with Venn diagrams, map syllogisms by major/minor/middle terms, and evaluate categorical syllogisms by distribution rules and diagrammatic tests.
Study Flow
How to work through this unit without overwhelm
2. Study an example on purpose
The examples are there to show what strong reasoning looks like and where the structure becomes clearer than ordinary language.
3. Practice with a target in mind
Activities work best when the learner already knows what the answer needs to show, what rule applies, and what mistake would make the response weak.
Lesson Sequence
What you will work through
Lesson 1
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.
Start with a short reading sequence, study 2 worked examples, then use 15 practice activitys to test whether the distinction is actually clear.
Guided reading2 worked examples15 practice activitys
Lesson 2
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.
Start with a short reading sequence, study 2 worked examples, then use 15 practice activitys to test whether the distinction is actually clear.
Guided reading2 worked examples15 practice activitys
Lesson 3
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.
Use the reading and examples to learn what the standards demand, then practice applying those standards explicitly in 15 activitys.
Guided reading2 worked examples15 practice activitysstandards focus
Lesson 4
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.
Read for structure first, inspect how the example turns ordinary language into cleaner form, then complete 15 formalization exercises yourself.
Guided reading2 worked examples15 practice activitystranslation support
Lesson 5
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.
This lesson is set up like coached reps: read the sequence, compare yourself with the model, and then work through 15 supported activitys.
Guided reading2 worked examples15 practice activityscoached reps
Lesson 6
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.
Each lesson now opens with guided reading, then moves through examples and 2 practice activitys so you are not dropped into the task cold.
Guided reading1 worked example2 practice activitys
Rules And Standards
What counts as good reasoning here
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
How arguments get translated into structure
Categorical Standard-Form Analysis
Input form
natural_language_categorical_claim
Output form
A_E_I_O_classification
Steps
- 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.
Common errors
- Misidentifying quantity because of ordinary-language wording ('a' can be universal or particular depending on context).
- Ignoring hidden negation such as 'only' or 'except.'
- Switching subject and predicate when rephrasing into standard form.
Syllogism Term Map
Input form
categorical_syllogism
Output form
major_minor_middle_structure
Steps
- 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.
Common errors
- Labeling the middle term wrong because the student starts from the first premise instead of the conclusion.
- Checking distribution only for the middle term and missing illicit major or minor.
- Skipping the quality check and missing a negative-premise error.
Three-Circle Venn Validity Test
Input form
categorical_syllogism
Output form
validity_judgment
Steps
- 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.
Common errors
- Drawing both premises as shading and then forgetting that the conclusion is a particular claim.
- Placing an 'x' in a single region when the premise does not specify which region.
- Interpreting the shaded diagram as asserting emptiness beyond what the premise actually said.
Concept Map
Key ideas in the unit
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.
Assessment
How to judge your own work
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.
Mastery requirements
- Classify Categorical Propositions
- Apply Square Of Opposition
- Draw Two Circle Venn Diagrams
- Map Syllogistic Terms
- Evaluate Categorical Syllogisms
History Links
How earlier logicians shaped modern tools
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.
Medieval Logicians
Refined term logic, distribution theory, and the mnemonic names (Barbara, Celarent, Darii, Ferio, and so on) that encode valid syllogistic moods.
John Venn
Introduced the two- and three-circle diagrams that now bear his name, giving categorical logic a visual decision procedure.