Syllogism

1The four statement types

Every syllogism premise is one of four shapes, and each shape is a force on the groups, not a hint about wording. 'All A are B' puts every member of A inside B — every pen is a book, in the running chain this topic uses. 'No A is B' keeps the two sets disjoint: they share nothing. 'Some A are B' forces an overlap — at least one shared member — without saying how large, and without saying that anything sits outside. 'Some A are not B' forces at least one member of A to sit outside B — an outsider in A exists.

The exam question is almost never 'which wording is which'. It is 'what does this wording force on every diagram you could still draw'. Learn the four forces first; the Venn sketch is only a reminder of the force. Whatever the wording does not force stays possible: after 'Some teachers are poets' you still do not know whether every teacher is a poet, and after 'All A are B' you still do not know whether anything in B sits outside A.

Name the type by stripping the nouns: All / No / Some / Some-not. Then state the force in one clause (inclusion, disjoint, overlap exists, outsider exists) and leave the rest open — including All under a Some premise, which the later concept treats as a named trap rather than a surprise.

Figure. Four forces as relation edges, not circles: subset, disjoint, some (dashed), and outsider (dashed).

Read the force

1. Name the typeStrip the nouns and match the stem to All / No / Some / Some-not. 'Some teachers are poets' is Some; 'All pens are books' is All. The nouns wait; the force comes from the quantifier.
2. State the forceAll → inclusion; No → disjoint; Some → overlap exists; Some-not → an outsider in A exists. Say that force in a clause before you draw anything — the drawing is only a reminder.
3. Leave the rest openWhatever the wording does not force stays possible — including All under a Some premise. 'Some A are B' does not block 'All A are B'; it also does not prove it.

2Valid means true in every diagram

Hold two sentences for the rest of this concept: All pens are books. All books are red. A conclusion 'definitely follows' only when it survives every diagram still consistent with the statements — not the one convenient sketch you drew first. If you can redraw the sets, keep every premise true, and break the conclusion, the conclusion does not follow.

Chain the inclusions first. All pens are books puts every pen inside books. All books are red puts every book inside red. So every pen sits inside red in every remaining diagram: All pens are red follows, and it does not depend on how much extra red you draw around the books. A looser red — extra red things that are not books — is still allowed, and All pens are red still holds there. A counter-sketch that parks a pen outside red would have to park a book outside red, which the second premise forbids, so that counter-diagram cannot be drawn.

The same nest gives the conversion Some red are pens, once pens are treated as a non-empty exam set: if every pen is red, at least one red thing is a pen. Both conclusions survive every remaining diagram, so both follow. The practical attack is the restrictive end of that test: draw the most constrained reading the premises allow, and reject any conclusion that already fails there. A conclusion that needs a looser redraw to look true was never definite.

Order of attack

1. Lay the inclusionsTranslate each All / No into the forced nesting or split before touching Some. All pens are books; All books are red — two subset edges, no overlap guesswork yet.
2. Chain the nestIf A sits inside B and B sits inside C, A sits inside C in every remaining diagram. Pens sit inside books sit inside red, so pens sit inside red whether or not extra red things exist.
3. Test the conclusionAsk whether the conclusion can fail while the premises stay true. One counter-diagram kills a 'definitely follows' claim. Parking a pen outside red would break All books are red, so All pens are red cannot be killed.

3Conversion that keeps truth

Conversion swaps subject and predicate — it flips the two nouns and asks whether the new sentence is still forced. Some and No convert cleanly: 'Some A are B' is the same claim as 'Some B are A', and 'No A is B' is the same claim as 'No B is A'. All does not convert to All — 'All A are B' never gives 'All B are A' — but it does give the weaker 'Some B are A' whenever A is treated as a non-empty exam set. That is why All pens are red, from the nest above, yields Some red are pens, and never All red are pens.

The invalid twin is the one the options love. From 'All judges are lawyers' the valid conversion is 'Some lawyers are judges'; 'All lawyers are judges' is the converse that syllogism never gives. When a conclusion looks like a restatement with the nouns flipped, test the conversion explicitly before marking it as a fresh claim — match the row (Some stays Some, No stays No, All weakens to Some) and reject All-to-All on sight.

Only conversions that keep truth flip All into Some on the other side, or swap the ends of a Some. No converts to No; Some-not does not flip cleanly.

Flip then check

1. Flip the nounsWrite the conclusion with subject and predicate swapped. All judges are lawyers flips to a claim about lawyers and judges; Some A are B flips to Some B are A.
2. Match the rowSome and No keep their wording; All weakens to Some on the flipped side. All pens are red converts to Some red are pens, not to All red are pens.
3. Reject All-to-AllIf the flipped claim still says All, it is asking for the converse that syllogism never gives. All lawyers are judges does not follow from All judges are lawyers.

4Definite versus possibility

Exam stems use two wordings that look similar and score differently. A 'definitely follows' / 'conclusions that follow' stem needs a claim true in every diagram still allowed by the premises — the every-diagram test you just used on All pens are red. A 'possibility' / 'which of the following is possible' stem needs only one consistent diagram in which the claim holds. Mixing the two keys is the quiet error: a conclusion that can be drawn is not the same as a conclusion that must be drawn.

Read the stem wording before you build cases. If the statements allow both 'All A are B' and a proper overlap of A with B, then 'All A are B' is possible (one remaining diagram has full inclusion) and is not definite (the overlap diagram is a counter-example). For definite, hunt a counter-diagram; for possibility, hunt a supporting diagram. The forced skeleton of All and No stays in both tests; only the Some regions flex.

Figure. Same premises leave both diagrams standing. Possibility needs only the All nest; definitely-follows dies on the overlap counter-diagram.

Pick the key first

1. Read the stem wordingDefinitely / follows → must hold in all diagrams. Possibility / can → holds in at least one. The same conclusion can pass one test and fail the other; the stem chooses which test you run.
2. Build the forced skeletonLay every All and No the premises force; leave Some regions flexible. All books are red is a nest; Some A are B is a floor on overlap, not a ceiling.
3. Apply the matching testFor definite, hunt a counter-diagram. For possibility, hunt a supporting diagram. If both All A are B and a proper overlap remain, All A are B is possible and not definite.

5Some does not block All

The everyday reading of 'some' is 'some but not all'. In syllogism that reading is wrong. 'Some A are B' is satisfied by a mere overlap and is also satisfied when every A is B. So a possibility conclusion 'All A are B' can still be live after a Some premise, and a definite conclusion 'Some A are not B' does not follow from Some alone. 'Some actors are singers' leaves both diagrams standing: a proper overlap of actors with singers, and the nest where every actor is a singer.

That is why a possibility stem can still accept All after Some, and why you must not mark Some-not as definite from Some by itself — Some never forced an outsider. The twin habit is forgetting conversion: once Some A are B is given, Some B are A is already in hand. Hear Some as a minimum — at least one shared member, a floor, not a 'not all' ceiling — and leave the All case alive unless a premise forces an outsider.

Figure. Both diagrams satisfy Some A are B. The everyday 'not all' reading is the terracotta trap; full inclusion stays possible.

Keep All open

1. Hear Some as minimumSome means at least one shared member — a floor, not a 'not all' ceiling. 'Some actors are singers' is true of a tiny overlap and true of a full nest.
2. Leave the All case aliveUnless a premise forces an outsider, All A are B stays a possible diagram. Some alone never proves Some-not, and never kills All.
3. Write the converseFrom Some A are B, note Some B are A before hunting new conclusions. That conversion is already in hand; it is not a fresh deduction.

6Either-or complementary pairs

When two conclusions share the same subject and predicate and are contradictory — typically Some versus No, or All versus Some-not — and neither is individually certain, the answer can be 'either I or II follows'. The pair exhausts the remaining cases: the groups either overlap or they do not; they cannot do both, and they cannot do neither. The gate before that answer is brutal: if either conclusion is already definite on its own, either-or is off the table. First prove uncertainty; only then check complementarity.

Watch the running chain of a different pair: Some cats are dogs. All dogs are pets. Conclusions: (I) Some cats are pets. (II) No cat is a pet. The overlap cats∩dogs is non-empty, and every dog sits inside pets, so every cat in that overlap sits inside pets. I is definite. II is then false, not 'still open'. Either-or does not fire — only I follows. Complementary shape is not enough if one side is already locked.

Figure. Schematic relations only: a dashed 'some' link forces a non-empty overlap of cats with dogs, and the subset edge drops that overlap inside pets — so Some cats are pets is definite.

Gate then pair

1. Test each conclusion aloneIf one already holds in every diagram, mark that one and stop — not either-or. Some cats are pets is already forced by Some cats are dogs plus All dogs are pets.
2. Confirm both are openEach must fail in some consistent diagram and succeed in another. If I is definite, II is not open, and the either-or gate never opens.
3. Check the complementary shapeSame terms, contradictory pair (Some + No, or All + Some-not). Then either-or applies — and only then. Complementary wording with one side already certain is a trap key.

7Premises that yield nothing definite

Two universal negatives together give no definite relation between their extremes: from 'No A is B' and 'No B is C' you cannot fix how A meets C. A and C may overlap, sit apart, or nest; every one of those pictures keeps both No's true, so none of them is forced. Two particular premises — Some with Some, or Some with Some-not — likewise refuse a definite conclusion between the extremes. There is no middle term that can chain.

When both premises are of those starved shapes, 'none follows' is often the honest key. Do not invent a nest the premises never forced. A fancy diagram that puts A inside C after two No's is a picture you chose, not a picture the statements chose. Classify each premise (All / No / Some / Some-not), check the starved pairs, and refuse any conclusion that needs an inclusion you were never given.

Figure. Two No premises fix only A–B and B–C. A versus C stays free — overlap, apart, or nest — so none of those conclusions is definite.

Spot the starve

1. Classify each premiseMark All / No / Some / Some-not on both lines. No A is B and No B is C is two universal negatives; Some A are B and Some B are C is two particulars.
2. Check the starved pairsTwo No's, or any two particulars with no universal affirmative to anchor them, yield no definite link between the extremes. A and C stay free after No A is B and No B is C.
3. Refuse the fancy diagramIf a conclusion needs an inclusion you were never given, it does not definitely follow. A nest you can draw is not a nest the premises forced.