Article A1 ended with a question: knowing that Socrates is mortal because all humans are mortal — are you as certain of that as you are certain that the next stone you drop will fall? Both feel like solid, obvious conclusions. But are they produced by the same kind of reasoning?
The answer, it turns out, is no. And the difference between them is one of the most consequential distinctions in the history of human thought. It separates mathematics from science, proof from evidence, certainty from probability. It is the difference that David Hume thought undermined the rational foundations of everything we believe about the physical world — a conclusion so disturbing that Kant said it woke him from a philosophical sleep that had lasted decades.
Consider the two pieces of reasoning carefully:
Reasoning A: All humans are mortal. Socrates is a human. Therefore Socrates is mortal.
Reasoning B: Every stone that has ever been dropped has fallen. Therefore, the next stone I drop will fall.
Both feel compelling. But ask yourself: in Reasoning A, could the conclusion be false if both premises are true? No — it is impossible. If it really is true that all humans are mortal, and Socrates really is human, then Socrates simply cannot be immortal. The conclusion is guaranteed.
Now ask the same question about Reasoning B: could the conclusion be false even if the premise is true? Yes — in principle. No matter how many stones have fallen, there is no logical impossibility in the next one floating upward. The premise makes the conclusion very likely. It does not make it certain.
This is the question this article answers. The two kinds of reasoning have names: the first is deductive, the second is inductive. Almost every significant argument you will encounter in philosophy, in science, in law, and in ordinary life belongs to one of these two categories. Learning to tell them apart — and understanding what each can and cannot do — is the foundation of serious critical thinking.
Deductive reasoning: the guarantee
A deductive argument is one in which the truth of the premises is supposed to guarantee the truth of the conclusion. If a deductive argument is well-constructed, it is impossible for the premises to be true and the conclusion to be false. Logicians call such an argument valid (we explore this term in detail in Article A3).
The key phrase is "if the premises are true." A deductive argument does not promise that its premises are actually true — only that if they are, the conclusion follows necessarily. Consider:
There is something philosophically remarkable about deduction: the conclusion is always already contained within the premises. The argument from Socrates' mortality does not tell you anything about the world that was not already implicit in what you knew. If you already accepted that all humans are mortal and that Socrates is human, you were already committed to Socrates' mortality — you just might not have noticed. Deduction makes explicit what was already implicit.
This is why deduction is the primary method of mathematics. A mathematical proof does not discover new facts about the world in the way a scientific experiment does; it unfolds the logical consequences of what was already assumed in the axioms. The Pythagorean theorem was always true, given Euclidean geometry's axioms. The proof revealed it.
Inductive reasoning: the leap
An inductive argument is one in which the premises are meant to make the conclusion probable or likely, but do not guarantee it. No matter how strong an inductive argument, the conclusion always goes beyond what the premises strictly establish. There is always, in principle, a gap.
Inductive arguments typically move from the specific to the general — from a collection of observed instances to a conclusion about all instances, including unobserved ones:
Induction is the lifeblood of empirical inquiry. Every time a scientist draws a general conclusion from experimental data, they are reasoning inductively. Every time a doctor diagnoses a patient based on observed symptoms, they are reasoning inductively. Every time you assume the chair will hold your weight because it always has before, you are reasoning inductively. We cannot function without it. And yet, as Hume showed, it cannot be rationally justified in any non-circular way. This is the problem of induction, and it is one of the deepest unsolved problems in the philosophy of knowledge.
The fundamental asymmetry — a comparison
A third kind? Abduction
Before leaving this conceptual map, it is worth noting that some philosophers recognise a third form of reasoning: abduction, or inference to the best explanation. Where deduction derives conclusions necessarily and induction generalises from observation, abduction asks: given these observations, what hypothesis would best explain them?
A doctor who observes symptoms and concludes that a patient has a particular illness is reasoning abductively — not merely inducing a general pattern, but hypothesising the best explanation for a specific set of facts. Sherlock Holmes's famous "deductions" are actually almost always abductions. When Holmes concludes from a man's tan and posture that he has recently returned from Afghanistan, he is not deducing (no premise guarantees the conclusion) or inducing (he has observed only one case). He is inferring the best explanation of the available evidence.
Abduction is a genuinely important form of reasoning, and we will return to it in Package I (Philosophy of Science) in the context of scientific explanation. For now, the essential distinction to master is the deductive/inductive one.
Francis Bacon and the inductive method
Before examining the problem with induction, it is worth understanding why induction came to seem so important in the first place. In the early seventeenth century, the English philosopher Francis Bacon argued that philosophy and natural inquiry had been dominated for too long by the deductive method — by reasoning from general principles laid down by authority rather than from careful observation of the world.
Bacon's intervention was historically decisive. The seventeenth century saw the birth of the experimental sciences, and inductive reasoning — reasoning from careful observation to general conclusions — became the method of empirical inquiry. Physics, chemistry, biology, medicine: all depend on it. The problem, which Bacon did not fully confront, is that Hume identified over a century later: what exactly justifies the inductive leap?
Hume and the problem of induction
David Hume, writing in the eighteenth century, posed what is still considered the most important philosophical problem about induction. His question was devastatingly simple: what reason do we have for believing that the future will resemble the past?
We use inductive reasoning constantly because we assume that patterns observed in the past will continue into the future: the sun has risen every day in recorded history, so it will rise tomorrow; water has always boiled at 100°C at sea level, so it will again; medicines that reduced pain in clinical trials will reduce pain in future patients. But what justifies this assumption?
There are only two possible types of justification, and Hume argued that neither works:
Option 1: Logical justification. We might try to argue that induction is logically guaranteed — that it is self-evidently rational to expect the future to resemble the past. But this fails immediately: we can perfectly well imagine a world in which the future does not resemble the past. There is no logical contradiction in the sun failing to rise tomorrow. Induction is not deductively valid, and no amount of past instances logically entails a future one.
Option 2: Inductive justification. We might try to argue that induction is justified because it has worked reliably in the past — we have used it before and it has served us well, so we are inductively justified in trusting it. But this is circular: we are using inductive reasoning to justify inductive reasoning. It assumes exactly what it is trying to prove.
Hume's conclusion was stark: our reliance on inductive reasoning is a matter of custom and habit, not of rational justification. We expect the future to resemble the past because that is how our minds are built, not because we have good logical grounds for it. This is not a small claim. It means that the entire edifice of empirical science — everything we think we know about the physical world through observation and experiment — rests on a foundation that cannot be rationally justified in any non-circular way.
The black swan: one counter-example and a universal claim collapses
Hume's problem is abstract. The black swan story is its most famous concrete illustration — and it has a particular resonance for Australian students.
The black swan story demonstrates a crucial asymmetry in inductive reasoning: while no number of confirming instances can prove a universal inductive generalisation, a single disconfirming instance can refute one. You cannot prove "all swans are white" by observing white swans — no matter how many you find. But one black swan disproves it definitively.
This asymmetry was central to Karl Popper's philosophy of science (which we examine in Package I). Popper's response to Hume was to argue that good scientific reasoning should be structured so that it can be refuted — falsified — by a single counter-example. Science progresses not by accumulating confirmations, but by eliminating false hypotheses through falsification. The method Popper had in mind is actually deductive: "If my theory is true, then X will happen under these conditions. X did not happen. Therefore my theory is not true." This is a logically valid deductive argument. Popper's hope was to ground scientific reasoning in deduction rather than induction — but whether he succeeded is deeply contested.
The test for distinguishing deductive from inductive arguments is this: ask yourself whether, if the premises are all true, the conclusion must be true — or whether it is merely probably true. If the conclusion follows necessarily from the premises, you have a deductive argument. If the premises make the conclusion likely but do not guarantee it, you have an inductive argument.
In practice, two additional clues help: the language of the conclusion (words like "probably," "likely," "in most cases," and "tends to" signal induction; absolute claims with no hedging signal deduction), and the direction of reasoning (deduction moves from general principles to specific cases; induction typically moves from specific observations to general claims).
Apply these tests to the arguments below before reading the verdicts.
These examples reveal something important: the type of argument is often not obvious from the surface features of the prose. Whether an argument is deductive or inductive depends on the logical relationship it claims between premises and conclusion — not on its subject matter, its length, or how confident the author sounds. A very confident inductive argument is still inductive. A logically valid deductive argument with absurd premises is still deductive.
This also explains why the deductive/inductive distinction matters for argument evaluation. Accusing an inductive argument of failing to guarantee its conclusion is not a good objection — it was never trying to. The right criticism of a weak inductive argument is that its premises do not make the conclusion sufficiently probable, or that the sample is too small or biased. The right criticism of an invalid deductive argument is that the conclusion does not follow from the premises — that it is possible to accept the premises and still coherently deny the conclusion. You need to know which kind of argument you are evaluating before you can evaluate it fairly.
Why mathematics can prove, and science can only show
One of the most striking consequences of the deductive/inductive distinction is what it tells us about the different epistemic statuses of mathematical and scientific knowledge — that is, about what kind of certainty each kind of knowledge can achieve.
Mathematical knowledge is deductive. When a mathematician proves a theorem, they construct a valid deductive argument from axioms — premises accepted as the foundation of the system — to the theorem as conclusion. Once proven, a mathematical theorem is certain in the strongest sense possible: given the axioms, the theorem must be true. This is why 2 + 2 = 4 is not a matter of opinion, and why no amount of new empirical evidence could ever refute it. It is not an empirical claim about the world; it is a logical consequence of the definitions and axioms of arithmetic.
Scientific knowledge is primarily inductive. A scientific law — Newton's law of gravitation, the germ theory of disease, the theory of evolution by natural selection — is an inductive generalisation from observed evidence. This means scientific knowledge is always, in principle, provisional. No amount of confirming evidence makes a scientific theory certain. The black swan can always appear. Einstein's general relativity did not refute Newton's gravity because Newton was lying; it revealed that Newton's theory was an excellent inductive approximation for most conditions, which broke down at relativistic speeds and scales.
This is not a weakness of science — it is what makes science progressive. A theory that can be overturned by new evidence is one that is genuinely attempting to describe the world, rather than merely elaborating logical consequences of its own assumptions. But it does mean that when you say "science has proven X," you are being imprecise in a philosophically important way. Science has provided very strong inductive evidence for X. The difference matters.
The Theory of Knowledge connection
For students studying IB Theory of Knowledge, the deductive/inductive distinction maps directly onto several of TOK's central questions. How do different Areas of Knowledge establish their claims? What kinds of certainty are available in mathematics versus the natural sciences? What is the relationship between evidence and knowledge?
TOK asks students to reflect on the "methods" of different disciplines. The core insight this article provides is that those methods differ in their logical structure — and that difference determines what kind of certainty each discipline can offer. Mathematics proves its conclusions deductively and achieves a kind of necessity that science, for all its power, cannot match. Science reasons inductively from evidence and achieves a kind of breadth and applicability that pure mathematics, for all its rigour, cannot reach on its own. Both are genuine forms of knowledge; they are simply different kinds.
Connecting to the rest of this package
In Article A3, you will take the concepts from A1 and A2 and combine them into a complete evaluative toolkit. An argument is not simply deductive or inductive — it is also valid or invalid (if deductive), or strong or weak (if inductive), and sound or unsound (depending on whether the premises are actually true). These are the terms that allow you to say not just what kind of argument you have, but whether it is a good one. That is the final step in equipping yourself to evaluate any philosophical argument you encounter.
And beyond this package, the problem of induction — Hume's challenge — will surface again in Package B (Epistemology), where it connects to broader questions about the nature and limits of human knowledge. Hume's conclusion that inductive reasoning cannot be rationally justified is not just a result about logic; it is one of the most radical claims in the history of epistemology. When you arrive at Package B and ask "What can we know?", you will find that Hume's shadow has arrived before you.