Formal logic has precise rules, and they exist for a reason: they are the scaffolding that keeps conclusions from outrunning their premises. Most of the time we reason informally and get by just fine. But sometimes an argument sounds perfectly convincing -- every word makes sense, the examples feel right -- and the whole thing is structurally broken in a way you can only see if you look at the machinery underneath. These entries are about learning to see that machinery, not because you need to become a logician, but because knowing where the joints are helps you notice when something has quietly come unhinged.
| That growing awareness of when an argument sounds right but something in its structure has shifted without you noticing |
| The ability to pause when words like 'necessarily,' 'all,' or 'some' change position in a sentence and feel the meaning shift underneath |
| A sense for when an argument is doing more than its author intended -- proving things nobody would actually accept |
| The habit of asking whether a conclusion's shape actually matches the shape of the premises that are supposed to support it |
There is a subtle feeling when someone makes an argument involving words like 'necessarily' or 'possibly' and the conclusion seems to follow -- until you realize the word quietly moved from modifying the whole sentence to modifying just one part of it. That shift is the Modal Scope Fallacy: the meaning changes entirely depending on what the word 'necessarily' or 'possibly' is governing, and the argument slides between two different claims as if they were the same.
There is a moment in certain arguments where the words 'every' and 'some' swap places and you barely notice -- but the meaning has changed completely. The Quantifier Shift Fallacy happens when someone moves from 'for every X there is some Y' to 'there is some Y for every X,' as if these say the same thing. They do not. The first allows Y to be different each time; the second demands a single Y that works universally.
Sometimes we hear an argument where both premises say something positive about how categories relate to each other -- 'all A are B,' 'all B are C' -- and then the conclusion suddenly introduces a 'not' or a 'no.' It feels like the conclusion might follow because the premises are true and the conclusion sounds true, but there is a structural gap: you cannot derive separation from premises that only establish connection. That gap is this fallacy.
We move constantly between talking about categories and talking about individual instances, and most of the time the shift is harmless. But sometimes a property that belongs to the category does not belong to any individual member, or a property of one member does not generalize to the whole group. That silent slide between the general and the specific -- treating what is true of the type as true of the token, or vice versa -- is where this fallacy lives.
There is a particular sinking feeling when you realize that an argument you found persuasive, if taken seriously, would also prove things that are obviously false or that even the person making the argument would reject. That is the hallmark of proving too much: the reasoning is too broad, too blunt, or too sweeping, and it captures far more than the arguer intended. If the same logic proves something absurd, the logic itself has a structural defect.