Read
Build the mental model
Move through the guided explanation first so the central distinction and purpose are clear before you evaluate your own work.
Categorical Logic
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.
Read the explanation sections first, then use the activities to test whether you can apply the idea under pressure.
Start Here
What this lesson is helping you do
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. The practice in this lesson depends on understanding Categorical Proposition, Distribution, and Existential Import and applying tools such as The Middle Term Must Be Distributed At Least Once and No Term Distributed in Conclusion Unless Distributed in Premises correctly.
How to approach it
Read the explanation sections first, then use the activities to test whether you can apply the idea under pressure.
What the practice is building
You will put the explanation to work through diagnosis practice and quiz activities, so the goal is not just to recognize the idea but to use it under your own control.
What success should let you do
Run the full categorical diagnostic pipeline on at least 3 mixed arguments, producing standard-form translation, term labels, rule checks, verdict, and repair where applicable.
Reading Path
Move through the lesson in this order
The page is designed to teach before it tests. Use this sequence to keep the reading, examples, and practice in the right relationship.
Study
Watch the move in context
Use the worked example to see how the reasoning behaves when someone else performs it carefully.
Do
Practice with a standard
Only then move into the activities, using the pause-and-check prompts as a final checkpoint before you submit.
Guided Explanation
Read this before you try the activity
These sections give the learner a usable mental model first, so the practice feels like application rather than guesswork.
Framing
Running the unit pipeline end-to-end
Earlier lessons taught the parts in isolation: standard-form A, E, I, and O propositions; the square of opposition; distribution; and the rules that classify a syllogism as valid or invalid. The capstone asks you to carry out the full diagnostic cycle on arguments in ordinary language.
Categorical arguments in the wild rarely appear in clean standard form. You will have to translate, identify the terms, check each rule, and — when the argument fails — say specifically which rule was violated and whether the argument can be repaired.
What to look for
- Translate before you evaluate.
- Label the major, minor, and middle terms before checking rules.
- State the verdict, the specific rule violated, and any repair.
Categorical evaluation is a pipeline; the capstone trains the full cycle from translation to repair.
Strategy
Choose the move that matches the case
Use a fixed pattern: (1) translate each claim into standard form, (2) identify the major, minor, and middle terms, (3) check each of the syllogistic rules in order, (4) if the argument is valid, say so; if invalid, name the specific rule that was violated, (5) consider whether a small repair would make the argument valid.
The repair step is what separates a diagnostician from a mere evaluator. When a syllogism is invalid because of illicit distribution, the usual repair is to weaken the conclusion to a particular claim. When it is invalid because of two negative premises, no repair is possible without adding new content.
What to look for
- Translate each claim into standard A, E, I, or O form.
- Check distribution of each term before applying the rules.
- Consider whether a repair weakens the conclusion into a valid form.
A disciplined rule-check, one rule at a time, catches invalid syllogisms that look plausible at a glance.
Error patterns
How integration failures actually look
The commonest failure is translating an ordinary-language claim into the wrong standard form — for example, turning 'Only adults can vote' into 'All adults can vote' when it should be 'All voters are adults'. Every subsequent rule check then fails silently because the argument the student evaluated is not the one the passage actually contained.
The second most common failure is declaring an argument invalid without naming the specific rule that was violated. A capstone-quality diagnosis always says which rule and why.
What to look for
- Do not translate surface grammar; translate the class-relation.
- Do not declare 'invalid' without naming the rule.
- Do not attempt a repair that changes the meaning of the argument.
Failed diagnosis usually begins at the translation step; checking translation carefully fixes most of the rest.
Before practice
What this lesson is testing
The cases below are mixed: some are valid, some invalid, and a few are invalid but repairable with a single change. Part of the exercise is telling these three situations apart.
A case is only complete when you have produced the standard-form translation, the term labels, the rule checks, the verdict, and — where applicable — the repair.
What to look for
- Produce the standard-form translation and term labels for every case.
- State the verdict with a specific rule reference when invalid.
- Propose a repair only when one is available without changing meaning.
The capstone measures how cleanly you can run the full categorical pipeline on arguments that have not been pre-formatted.
Core Ideas
The main concepts to keep in view
Use these as anchors while you read the example and draft your response. If the concepts blur together, the practice usually blurs too.
Categorical Proposition
A proposition asserting inclusion or exclusion between two classes, namely the subject class and the predicate class.
Why it matters: Categorical propositions are the basic units of syllogistic logic and define the framework within which validity is assessed.
Distribution
A term is distributed in a categorical proposition if the proposition refers to every member of the class named by that term.
Why it matters: Distribution is the decisive feature for evaluating syllogistic validity; most classical rules are stated in terms of it.
Existential Import
The question of whether a proposition, especially a universal one, carries the claim that its subject class has at least one member.
Why it matters: Traditional and modern logic disagree about existential import, and the disagreement affects which square-of-opposition inferences are valid.
Reference
Open these only when you need the extra structure
How the lesson is meant to unfold
Review
This step supports the lesson by moving from explanation toward application.
Guided Synthesis
This step supports the lesson by moving from explanation toward application.
Independent Synthesis
This step supports the lesson by moving from explanation toward application.
Reflection
This step supports the lesson by moving from explanation toward application.
Mastery Check
The final target tells you what successful understanding should enable you to do.
Reasoning tools and formal patterns
Rules and standards
These are the criteria the unit uses to judge whether your reasoning is actually sound.
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.
Patterns
Use these when you need to turn a messy passage into a cleaner logical structure before evaluating it.
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.
Watch for
- 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.
Watch for
- 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.
Watch for
- 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.
Worked Through
Examples that model the standard before you try it
Do not skim these. A worked example earns its place when you can point to the exact move it is modeling and the mistake it is trying to prevent.
Worked Example
Standard-Form Walkthrough
A careful rule-check catches undistributed middle even when the conclusion sounds plausible.
Repair
No repair is available without adding information: the argument needs the middle term distributed in at least one premise.
Passage
All employees who attended the training are certified. Some certified workers are on the safety committee. So some employees who attended the training are on the safety committee.
Verdict
Invalid.
Rule Check
The middle term C is undistributed in both premises. This is the fallacy of undistributed middle.
Term Labels
Major
S (on the safety committee)
Minor
A (employees who attended the training)
Middle
C (certified)
Standard Form
- All A are C.
- Some C are S.
- Some A are S.
Pause and Check
Questions to use before you move into practice
Self-check questions
- 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?
Practice
Now apply the idea yourself
Move into practice only after you can name the standard you are using and the structure you are trying to preserve or evaluate.
Diagnosis Practice
DeductiveFull-Cycle Categorical Diagnosis
For each argument, produce: (1) a standard-form translation of every claim, (2) major/minor/middle term labels, (3) a rule-by-rule check, (4) a valid/invalid verdict with the specific rule violated if invalid, and (5) a repair proposal if a single-change repair is available.
Integrative cases
Work one case at a time. These cases are deliberately mixed; part of the exercise is deciding which moves from the unit each case requires.
Case A
All mammals are warm-blooded. All whales are mammals. So all whales are warm-blooded.
A classic AAA-1 syllogism. Is every rule satisfied?
Case B
No reptiles are mammals. Some mammals are predators. So no predators are reptiles.
Check distribution and the number of negative premises.
Case C
All engineers are problem-solvers. Some problem-solvers are optimistic. So some engineers are optimistic.
Is the middle term distributed in at least one premise?
Case D
No bureaucrats are risk-takers. All entrepreneurs are risk-takers. So no entrepreneurs are bureaucrats.
A valid EAE-2. Verify each rule passes before signing off.
Case E
All musicians are creative. All poets are creative. So all poets are musicians.
Look for an undistributed middle term.
Proof Draft
LineStatementJustificationAction
1
2
3
Quiz
DeductiveCapstone Check Questions
Answer each short check question in one or two sentences. These questions test whether you can articulate the reasoning you just performed in your own words.
Check questions
Answer each question from memory in your own words. No answer should need more than two sentences.
Question 1
Why is translation to standard form the first move, before any rule check?
Rule checks are defined on standard-form propositions.
Question 2
Why does a single rule violation make a syllogism invalid, even when the other rules are satisfied?
Validity requires every rule to hold.
Question 3
When is a repair possible, and when is it not?
Depends on whether a single change preserves the argument's meaning.
Question 4
Why should you label the major, minor, and middle terms before checking distribution?
Distribution rules are defined over specific term roles.
Proof Draft
LineStatementJustificationAction
1
2
3
Venn Diagram Builder
Define your sets, then place items into the correct regions to visualize categorical relationships.
Diagram type
Set names
Add an item to a region
2 sets · 0 items placed
Animated Explainers
Step-by-step visual walkthroughs of key concepts. Click to start.
Read the explanation carefully before jumping to activities!
Further Support
Open these only if you need extra help or context
Mistakes to avoid before submitting
- Letting ordinary-language phrasing decide the form of a proposition.
- Repairing an invalid argument by adding content that was not in the original.
Where students usually go wrong
Translating ordinary-language claims into the wrong standard form.
Declaring an argument invalid without naming the specific rule violated.
Proposing a repair that silently changes the meaning of the argument.
Skipping term labeling and then confusing the major and middle terms.
Historical context for this way of reasoning
Aristotle
Aristotle's syllogistic was the first system to judge an argument by its structure rather than its topic. The capstone puts you in his shoes: strip the grammar, label the terms, and check the rules.