A Plain-Language Field Guide · Part 1 of 7
Part I · The Foundations and the Human Mind
What logic is, what reasoning is, the many kinds of reasoning we use including cause and analogy, how to build a sound argument, and why the human mind does all of it in its own peculiar way.
Logic is the study of what makes a conclusion genuinely follow from what came before it.
Imagine someone tells you two things: every dog is an animal, and Rex is a dog. You instantly know a third thing without being told it: Rex is an animal. You did not check on Rex. You did not need to. The conclusion was already locked inside the first two statements. Logic is the set of rules that explain why that move is allowed, and why other moves that look similar are not.
The single most important idea in logic is this: it cares about form, not content. A good argument keeps working even when you rip out the words and pour in new ones, as long as the shape stays the same. That shape is called the form of the argument.
The skeleton below never changes. Press the button to pour different words into the same three slots and watch the argument stay valid no matter what.
This is why logicians often write arguments with letters instead of words. Stripped to All A are B; x is A; therefore x is B, the argument is obviously airtight, and you can see that the truth of the conclusion does not depend on what A, B, and x actually mean.
A subtle but vital point: an argument can be perfectly valid (correct in form) while being completely false in the real world. "All fish can fly; a salmon is a fish; therefore a salmon can fly" is a flawless piece of logic built on a false starting point. Logic guarantees that if your starting points are true, your conclusion must be true. It makes no promises about the starting points themselves. Checking those is someone else's job.
Logic is not one thing but a stack of systems, each adding expressive power:
Combines whole statements with and, or, not, and if-then. "If it rains, the match is cancelled."
Adds "all" and "some" and lets you talk about properties of things. "Every student passed."
Adds necessity and possibility. "It is possible that it rains; it is necessary that 2+2=4."
Studies real arguments in ordinary language, including the fallacies that trip people up.
Propositional logic is built from a tiny number of connectives, and each one is fully defined by a table of every possible case. Pick a connective below and read off exactly what it does. The only inputs are whether P and Q are true or false.
Predicate logic talks about "all" and "some." Centuries before symbols, people checked these arguments by drawing circles. Each argument below is a real categorical syllogism. Watch how the picture either forces the conclusion or quietly leaves a gap.
Reasoning is the actual mental act of moving from what you already believe to something new.
Here is the cleanest way to hold logic and reasoning apart in your head:
Every act of reasoning, good or bad, has the same basic anatomy. You begin with some premises (things you already accept), you apply some kind of inference (a mental move), and you land on a conclusion (something new you now accept). The diagram below is the engine that runs underneath every section that follows.
The whole drama of reasoning lives in that middle teal box. The kind of mental move you make there is exactly what separates the types of reasoning we turn to next. Some moves come with an ironclad guarantee. Most do not, and trade certainty for the ability to say something genuinely new.
There are a handful of distinct mental moves. Knowing which one you are making tells you how much to trust the result.
The three classical families are deductive, inductive, and abductive reasoning. A few others (analogical, causal, Bayesian, defeasible) are best understood as specialised cousins of these. Tap each tab to explore one, and watch the certainty meter: it is the single most useful thing to track. The first move guarantees its conclusion; the rest only make it more or less likely.
You start with a general rule and apply it to a specific case. If the rule and the facts are true, the conclusion cannot be false. This is the only family that comes with a guarantee. It is also "tight": it never tells you anything that was not already implied.
You generalise from repeated observations to a broader pattern or a future case. It can tell you genuinely new things (it is "ampliative"), but the conclusion is only ever probable. A single counterexample can break it. This is the engine of science and of everyday expectation.
You see a surprising fact and reach for the hypothesis that would best explain it. This is the logic of diagnosis, debugging, and detective work. It is the most creative and the least safe: a better explanation may always be waiting. Confirming it takes further evidence.
Carries a pattern from a case you understand to one you do not. "The heart is like a pump, so it can fail like a pump."
Works out what makes what happen, separating real causes from things that merely travel together.
Updates how confident you are in a belief as new evidence arrives, using probabilities rather than yes or no.
Reaches reasonable conclusions that you stand ready to take back. "Birds fly," until you meet a penguin.
Bayesian reasoning is just the disciplined way to update a belief when evidence arrives. The classic surprise: when something is rare, even a good test that "fires" usually fires falsely. Frame it as a diagnostic alarm. A fault is uncommon in the fleet, your detector is mostly accurate, the alarm goes off. How worried should you be? Drag the sliders.
Most everyday conclusions are held loosely. You accept them now and stand ready to drop them the moment a better fact shows up, all without any contradiction. Logicians call this non-monotonic: adding information can remove a conclusion rather than only adding to it. Watch a belief get withdrawn cleanly.
The clearest way to feel the difference: point all three kinds of reasoning at the same fact and watch them behave differently.
The scene: you walk outside and the grass is wet. That one observation can launch any of the three moves, and each answers a different question.
Notice that deduction reasons forward from a cause you already know to its certain effect. Abduction reasons backward from an effect to a likely cause. Induction reasons across time, from a pattern to its continuation. They are not better or worse than one another. They are answers to three different questions, and a skilled thinker keeps track of which question is on the table.
One kind of reasoning is so useful, and so easy to get wrong, that it deserves its own treatment: reasoning about cause. It is the kind your instinct reaches for first, and trusts far too much.
The trap is famous. When two things move together, there are three possible reasons, and the data alone cannot tell you which. One may cause the other, some third thing may cause both, or it may be coincidence. A vibration reading and a bearing fault that rise together might mean the wear drives the vibration, or that a load change drives both, or nothing at all. Watching, by itself, never settles it.
Judea Pearl organised causal questions into three rungs of a ladder, each harder than the one below and each demanding more than observation. Climb it.
This is why a pure classifier cannot do root-cause analysis. A classifier lives entirely on the first rung. It learns which patterns tend to accompany which faults from observation, and that is association, not cause. Ask it what to change to stop the fault and it has no ground to stand on, because that is a second-rung question and its training data never recorded an intervention. Detection can be statistical. Isolation and correction are causal. That is the half of diagnostics a correlation engine cannot reach, and the reason a fault-isolation system needs a causal model of the machine, not only a pattern matcher.
Deduction, induction, abduction, and cause are the headline modes, but the mind leans on a few others so constantly that we barely notice them.
Analogical reasoning maps the relations of a familiar situation onto a new one. What carries the inference is shared structure, not surface resemblance. The solar system maps onto the atom because the relations line up, a central body with smaller ones held in orbit, not because they look alike. This is how a solution is transferred across domains, as with the fortress and the tumour from the problem-solving section, and it is the basis of case-based reasoning, retrieving a past case whose structure matches the present one. Its danger is the inverse: a surface match hiding a different structure misleads with great confidence.
Much reasoning runs under a supposition: if this, then that. But "if" hides several meanings. The indicative conditional ("if the valve is stuck, the pressure is high") describes the actual world. The counterfactual ("if the valve had not stuck, the pressure would be normal") describes a world that did not happen, and to evaluate it you need the causal model from earlier. Treating one as the other is a common and costly mistake, and the Wason selection task already showed how badly people test even a plain conditional.
Some claims are not merely true but necessarily true, and others merely possible. Modal reasoning handles must, might, and cannot. Temporal reasoning handles before, after, until, and always. These can look like luxuries, but they are the backbone of verification: a safety property is a modal and temporal claim, that nothing bad can ever happen, on any sequence of events, which is a far stronger thing to establish than that nothing bad has happened yet.
Here is the twist: people do not reason the way the textbooks prescribe. We are brilliant practical reasoners and surprisingly poor formal ones.
If logic is so clean, why do smart people make logical errors all day long? Because the mind did not evolve to run a proof engine. It evolved to make fast, good-enough decisions in a messy world. Cognitive science has spent fifty years mapping the gap between how we ought to reason and how we do.
The most influential picture, popularised by Daniel Kahneman, is that thinking runs on two gears. System 1 is fast, automatic, effortless, and intuitive. System 2 is slow, deliberate, effortful, and logical. System 1 handles almost everything. System 2 is lazy and only wakes up when forced. The trouble is that System 1 has confident answers even when they are wrong.
This is the Cognitive Reflection Test. Most well-educated adults give the wrong answer on first read. The error is not lack of ability; it is System 2 failing to switch on.
To move fast, System 1 leans on mental shortcuts called heuristics. They are usually helpful, which is exactly why we keep them. But they misfire in predictable ways, and those predictable misfires are called cognitive biases. A few you have certainly experienced: confirmation bias (noticing evidence that fits what you already believe), availability (judging how common something is by how easily an example comes to mind), and anchoring (letting the first number you hear drag your estimate toward it). Amos Tversky and Daniel Kahneman documented dozens of these, and the catalogue keeps growing.
Nothing shows the gap better than Peter Wason's card puzzle from 1966. Try it yourself before reading on. Four cards each have a letter on one side and a number on the other.
Which cards must you turn over to check whether the rule holds? Click to select, then submit.
Only about one person in ten gets the abstract version right. Yet here is the punchline that changed cognitive science: take the identical logic and dress it as a social rule, and almost everyone solves it instantly. "If a person is drinking alcohol, they must be over 18." Which do you check? Obviously the person drinking, and the person who is 16. Same logical structure, effortless answer. The mind seems to carry special-purpose machinery for catching cheaters that it simply does not bring to abstract symbols.
Why the difference? One leading answer is Philip Johnson-Laird's mental models theory. It proposes that people do not apply formal rules at all. Instead we build a small concrete picture of the situation in our heads, imagine how it could play out, and read the answer off that picture. This explains both our strengths and our errors: when the picture is easy to build, we shine; when the situation has many invisible possibilities to juggle, we miss some and go wrong.
The heuristics-and-biases tradition treats mental shortcuts as a catalogue of error. A second tradition, led by Gerd Gigerenzer, argues nearly the opposite: under real limits of time, information, and computation, fast and frugal heuristics are often not just adequate but optimal, and can beat elaborate models that overfit noisy, sparse data. A rule as simple as "go with the option you recognize" can outperform regression in the right setting. The resolution is that rationality is ecological. A rule is not good or bad in the abstract, only relative to the environment it runs in. The honest picture holds both views at once: the mind is neither broken nor perfect, but tuned, sometimes well and sometimes badly, to the world it evolved to handle.
A fallacy is an argument that feels persuasive but does not actually deliver its conclusion. Knowing the common shapes is the cheapest upgrade to your thinking.
Fallacies are the informal-logic counterpart to bugs. Some are errors of form (the logic simply does not hold) and some are errors of relevance (true-sounding moves that dodge the real question). Tap each card to see an example and, more usefully, why it slips past us.
"If the server is down, the page fails. The page failed, so the server is down."
Why it fools us: it borrows the shape of valid deduction but runs it backwards. The page could fail for many other reasons. This is a deductive error of form.
"You can ignore her safety analysis. She has never even worked on the line."
Why it fools us: it swaps the claim for the claimant. Whether the analysis is right does not depend on who made it. An error of relevance.
"You want more testing? So you want to ship nothing, ever." Then the exaggeration gets attacked.
Why it fools us: knocking down a distorted copy feels like winning. The original, weaker claim was never addressed.
"The alarm is 95% accurate and it fired, so the fault is almost certainly real."
Why it fools us: it ignores how rare the fault is to begin with. The Bayesian widget above shows exactly how badly this reasoning fails when the base rate is low.
"Failures rose the same month we changed suppliers, so the supplier caused them."
Why it fools us: two things moving together is easy to see; a hidden third cause, or pure coincidence, is not. Timing is suggestive, not conclusive.
"If we allow one manual override, soon no one will trust the automation at all."
Why it fools us: it treats a chain of "and then" steps as inevitable without showing any link is actually forced. Each step needs its own evidence.
The fallacy gallery showed how arguments fail. The harder and more useful skill is building one that stands, and knowing what to look for in someone else's.
Stephen Toulmin gave the anatomy of a real argument, well beyond the textbook pair of premise and conclusion. It has six parts. The claim is what you want accepted. The grounds are the data you offer for it. The warrant is the principle that licenses the leap from grounds to claim. The backing is what supports the warrant itself. The qualifier states how strongly the claim holds, probably or almost certainly or always. And the rebuttal names the conditions under which it would not hold. Most weak arguments are not outright false. They are missing the warrant, so the grounds do not actually reach the claim, or missing the qualifier, so they are stated with more confidence than the grounds permit, or missing the rebuttal, so they pretend nothing could defeat them.
A worked case in this shape: the grounds are a vibration signature, the claim is a bearing fault, the warrant is that this signature accompanies bearing wear, the backing is the physics plus fleet history, the qualifier is "probably," and the rebuttal is "unless a loose sensor mount is mimicking it." Laid out this way, the weak point is obvious and testable: confirm the warrant and rule out the rebuttal.