1 What is an argument?

In everyday speech, “argument” means a quarrel. In logic, it means something precise and technical: a set of propositions in which some (the premises) are offered as reasons to believe another (the conclusion). The confusion between these two senses is itself philosophically interesting — and tells us something about what distinguishes the logical enterprise from mere persuasion.

1.1 John Snow and the Broad Street Pump

In August 1854, cholera killed more than five hundred people within ten days in the Soho district of London. The prevailing medical theory — miasma, the idea that disease spread through foul-smelling air — had the support of the General Board of Health and most of the medical establishment. The physician John Snow was convinced the disease was waterborne but had no microscope and no germ theory. What he had was an argument. He mapped every death against its street address and found they clustered around a single water pump on Broad Street. He then examined the exceptions systematically: workers at a local brewery who drank only beer had not died; a widow in Hampstead who received Broad Street water by cart had died. Each exception, rather than refuting his hypothesis, reinforced it. Snow presented his evidence to the local Board of Guardians, who removed the pump handle on 8 September 1854 — famously regarded as one of the first acts of evidence-based public health.⁴ Snow’s case is the textbook illustration of the difference between a rhetorical performance and a genuine argument: his premises were independently verifiable, his conclusion followed from them, and the argument was structured so that a single clear counterexample could have destroyed it. The Surgisphere retraction shows what happens when an argument appears to have this structure but does not.

1.2 The Logical Skeleton of a Claim

Every genuine argument has a structure. Strip away the rhetoric, the examples, the tone, and what remains is a skeleton of premises and a conclusion. Logic is the study of what makes that skeleton strong or weak.

The simplest structure: modus ponens (Latin: “the way that affirms”):

1. If P, then Q.
3. Therefore, Q.

Example:

1. If the bacteria is sensitive to penicillin, the patient will recover.
2. The bacteria is sensitive to penicillin.
3. Therefore, the patient will recover.

This is valid. The conclusion must follow from the premises — if the premises are true, the conclusion cannot be false. The logical form guarantees the inference.

A small caveat for what follows: “valid” here means classically valid — valid in the system formalised by Frege, Russell, and Whitehead. Modus ponens is its central inference rule, but it is not the only candidate. Relevance logics weaken classical inference to block the so-called “paradoxes of material implication” (a contradiction does not entail every proposition). Intuitionistic logic, descended from Brouwer, denies the law of excluded middle and refuses double-negation elimination, with the result that some classical proofs cease to be proofs at all. Paraconsistent and dialetheic logics permit some contradictions without explosion.

These are not eccentric private alternatives — they are working systems used in mathematics, computer science, and the philosophy of vagueness. Graham Priest’s Logic: A Very Short Introduction is the most economical entry point.⁵

This structure appears everywhere, often hidden. “We should tax carbon because it damages the atmosphere and damaging the atmosphere is wrong” conceals:

1. (Implied) We should stop things that are wrong.
2. Damaging the atmosphere is wrong.
3. Carbon emissions damage the atmosphere.
4. Therefore, we should stop carbon emissions [i.e., tax them].

Making the structure explicit is the first philosophical move — and often reveals gaps, hidden assumptions, or questionable premises that were invisible in the original prose.

1.3 Deductive vs. Inductive Arguments

There are two fundamentally different types of inference:

Deductive: The conclusion is guaranteed by the premises. If the premises are true and the argument is valid, the conclusion cannot be false. Mathematics and formal logic are deductive. The price: the conclusion can only contain what the premises already implicitly contained. Deduction cannot generate genuinely new information — only make explicit what was latent.

Inductive: The premises support the conclusion, but do not guarantee it. All observed ravens have been black; therefore (probably) all ravens are black. The conclusion goes beyond the premises. This is how science works — but it is also where Hume’s problem of induction bites.

The difference is important for TOK. When someone says “studies show that X leads to Y, therefore policy Z is correct,” this involves both an inductive step (from studies to generalisation) and often a deductive step that conceals a value premise.

1.4 Distinction from Persuasion

Aristotle distinguished three modes of appeal in rhetoric (Rhetoric, c. 322 BCE):⁶

• Logos: appeal to reason and logic
• Ethos: appeal to the character and credibility of the speaker
• Pathos: appeal to the emotions of the audience

Logos is what logic studies. Ethos and Pathos are effective — often more effective than Logos — but they are not arguments in the logical sense. They can produce belief without justification.

A conclusion reached through skilful pathos can be exactly as well-supported as a conclusion reached through valid deduction — or much less so — and we often cannot tell the difference while it’s happening to us.

1.5 The Socratic Method as Argument

Socrates (as depicted in Plato’s early dialogues) did not deliver lectures. He asked questions. The elenchus (Socratic refutation) is a method of argument by cross-examination: take the interlocutor’s claim, show that it implies something else they also believe, show that the two beliefs contradict each other. The interlocutor must revise.

Example (Euthyphro, c. 380 BCE): Euthyphro claims that piety is what the gods love. Socrates asks: Do the gods love something because it is pious, or is it pious because the gods love it? (The Euthyphro Dilemma.)⁷ Either answer creates problems for Euthyphro’s definition. He cannot hold all his beliefs at once.

The elenchus is a tool of negative dialectic: it doesn’t tell you what the right answer is, but it eliminates bad answers by showing their internal contradictions. Philosophy progresses largely through elenchus.

The popular tag often attached to this method — “I know that I know nothing” — is not a sentence Socrates ever utters in the dialogues. What Plato actually has him say at Apology 21d is more careful: he is wiser than the man he has just questioned only in that he does not think he knows what he does not know. The crisper Latin formula (scio me nihil scire) is a much later distillation.⁸

1.6 The Regress Problem: Carroll’s Tortoise

Lewis Carroll (“What the Tortoise Said to Achilles,” Mind, 1895) posed a problem about the justification of logical inference that has never been fully resolved.⁹

To see the paradox, hold one distinction firmly in mind: a premise is a claim inside the argument (it can be true or false, and it is what the argument rests on); an inference rule is the pattern that licenses getting from the premises to the conclusion (it is what the argument moves by). “All humans are mortal” is a premise; “from ‘all A are B’ and ‘c is A’ conclude ‘c is B’” is an inference rule. Carroll’s Tortoise accepts every premise Achilles offers — and still refuses to move.

Achilles and the Tortoise discuss the following argument:

• 1. Things that are equal to the same are equal to each other.
• 2. The two sides of this Triangle are things that are equal to the same.
• 26. Therefore the two sides of this Triangle are equal to each other.

The Tortoise accepts (A) and (B) but refuses to accept (Z). Achilles says: “But if you accept A and B, you must accept Z.” The Tortoise agrees — and asks Achilles to add that as a new premise: call it (C). Now the Tortoise accepts A, B, and C — but still refuses to accept Z without a further premise explaining why A, B, and C together entail Z. The regress continues without end.

Carroll’s point: the rule of inference (modus ponens — if the premises are true, the conclusion follows) cannot itself be justified by adding it as a premise. Any justification of an inferential rule already uses inferential rules. The rules of logic cannot be grounded from within logic.

This is not a puzzle to be solved. It is a structural feature of formal systems. Inference rules are not conclusions of arguments — they are the machinery that produces conclusions. They must be accepted as basic, not derived. What justifies that acceptance is an epistemological question, not a logical one.

This question — what does ground inference rules, if not further inferences — is left deliberately open here. It is taken up later, alongside the broader question of what grounds the choice of logical system (Quine’s web-of-belief entrenchment vs. BonJour’s a priori rational insight); the two questions are distinct but share a structure.

1.7 Questions to Argue About

• Can you be persuaded of something true by an invalid argument? And if so, is that a problem?
• “You can’t get from is to ought” (Hume). If an argument contains only factual premises, can its conclusion be a moral claim? What has to be smuggled in?
• The Socratic method is negative — it destroys positions rather than building them. Is destruction a valid form of philosophical progress? Or does philosophy need to construct as well as demolish?
• Every argument has premises. Premises need to be justified. Their justification requires further premises. Does this lead to an infinite regress — or are some premises just foundational? (Compare Carroll’s Tortoise: does the same regress apply to inference rules?)

2 What makes an argument valid — and what makes it sound?

Validity and soundness are not synonyms. They are technical terms, precisely defined, and the distinction between them is one of the most important tools in all of philosophy. Confusing them is a mark of philosophical inexperience; understanding them clearly unlocks enormous analytical power.

2.1 Validity

An argument is valid if the conclusion cannot be false when all the premises are true. Validity is about the logical relationship between premises and conclusion, not about whether the premises are actually true.

This argument is valid:

1. All fish can fly.
2. Salmon are fish.
3. Therefore, salmon can fly.

Premise 1 is false. The conclusion is false. But the argument is valid — because if premise 1 were true, and if premise 2 were true, the conclusion would have to be true. The logical structure is watertight.

This argument is invalid:

1. All cats are mammals.
2. Dogs are mammals.
3. Therefore, dogs are cats.

This is the fallacy of the undistributed middle: from “All A are B” and “All C are B,” it does not follow that “C is A,” because the middle term (“mammals”) is not distributed — it does not refer to all mammals in either premise, so the two premises do not pin the cats and the dogs to the same subset of mammals. (The related but distinct fallacy of affirming the consequent has propositional, not categorical, form: “If P then Q; Q; therefore P” — for example, “If it rained, the street is wet; the street is wet; therefore it rained.” Both fallacies are common; conflating them is itself a small case of imprecision worth catching.) The premises here are true; the conclusion is false; therefore the argument is invalid.

Key insight: a valid argument guarantees the truth of the conclusion given the truth of the premises. An invalid argument does not — the premises might all be true and the conclusion still false.

2.2 Soundness

An argument is sound if it is both (1) valid and (2) has all true premises. Soundness is what we actually want in practice: a sound argument guarantees a true conclusion.

In philosophy, we often work with valid but unsound arguments — thought experiments and hypotheticals where premises are stipulated rather than established. The point is to test the logical consequences of certain assumptions, not to assert the assumptions are true.

2.3 Modus Ponens and Modus Tollens

The two most important valid argument forms:

Modus ponens (“affirming the antecedent”):

• If P, then Q.
• Therefore, Q.

Modus tollens (“denying the consequent”):

• If P, then Q.
• Not Q.
• Therefore, not P.

Modus tollens is how falsification works in science. The general theory of relativity predicts that light bends around massive objects (P → Q). Eddington’s 1919 observation found that light does bend (Q — prediction confirmed). But if the light had not bent (¬Q), that would have falsified the theory (¬P), by modus tollens. This is the logical structure of Popper’s falsificationism.

A wrinkle worth knowing. Modus ponens and modus tollens are not on equal footing in every logic. The standard derivation of MT from MP relies on classical contraposition (P → Q ⊢ ¬Q → ¬P) and on double-negation elimination — moves the intuitionist refuses.

In constructive mathematics, you cannot in general infer ¬P from a refutation of Q together with P → Q without a separate constructive reason. MP is unproblematic; MT is not the immediate twin it appears to be. The two rules look symmetric only against the silent backdrop of classical logic.¹⁵

2.4 The “True Premise, False Conclusion” Test

A powerful diagnostic: if you can construct a scenario where all the premises are true and the conclusion is false, the argument is invalid. This is the method of counterexample. It is one of the core techniques of philosophical analysis.

“All politicians are untrustworthy; the local librarian is untrustworthy; therefore, the local librarian is a politician.” Is this valid? Construct a counterexample of the same form: “All cats are mammals; all dogs are mammals; therefore all dogs are cats.” Premises true, conclusion false. Same logical form (the undistributed middle, as in §Validity). The form is invalid.

2.5 Questions to Argue About

• Why do people often find invalid arguments compelling? (Connect to base-rate neglect and the prosecutor’s fallacy.)
• A valid argument with a false conclusion must have a false premise. So: if you find yourself rejecting a conclusion, you are committed to rejecting at least one premise. What are the consequences of this for political and ethical debate?
• Can an argument be good — worth believing — without being sound? (Think of arguments from analogy, or arguments to the best explanation. Are these valid in the formal sense?)
• Mathematics consists entirely of valid deductive arguments from axioms. Does this mean mathematical conclusions are certain? What would it mean for a mathematical theorem to be uncertain?

3 How should I update what I believe when new evidence comes in?

Most reasoning in real life is not deductive. The premises are not certain, the conclusion is not entailed, and what we want to know is not “does this follow?” but “does this evidence make this hypothesis more likely?” The mathematics of that question — how a prior belief should be revised in the light of new data — is Bayes’s theorem, and the most common way to misuse it is to ignore the base rate: the prior probability of the hypothesis before the evidence arrives. Smart people, including expert witnesses, get this catastrophically wrong.

3.1 Bayes’s Theorem (the toy version)

The theorem, due to the eighteenth-century English clergyman Thomas Bayes, describes how a belief should change in response to evidence.¹⁹ The intuition is one line:

posterior is proportional to prior × likelihood.

In words: the probability of a hypothesis given some evidence is proportional to the probability of the hypothesis before the evidence (the prior) multiplied by the probability of seeing this evidence if the hypothesis were true (the likelihood). Graham Priest puts the failure mode bluntly: many bad arguments are “seductive because people often confuse probabilities with their inverses, and so slide over a crucial part of the argument.”²⁰ The probability of evidence given a hypothesis (\(P(E \mid H)\)) is not the probability of the hypothesis given the evidence (\(P(H \mid E)\)). The prior is what closes the gap.

3.2 Base-rate Neglect: A Worked Example

A disease affects 1 person in 1,000 (the base rate). A test for the disease is 99% accurate — 99% of sufferers test positive (sensitivity), and 99% of non-sufferers test negative (specificity). You test positive. What is the probability you have the disease?

The intuitive answer, and the one most doctors give when polled, is “about 99%.” The Bayesian answer is roughly 9%. Imagine 1,000 people. One has the disease and almost certainly tests positive. Of the 999 who do not, about 1% (roughly 10) test positive anyway. So out of about 11 positive results, only 1 is a true positive: \(1/11 \approx 9\%\). The test is fine; the base rate is decisive. Ignore the prior and you misjudge the posterior by an order of magnitude.

3.3 Representativeness and the Base-rate Failure

Daniel Kahneman and Amos Tversky’s chapter “Tom W’s Specialty” in Thinking, Fast and Slow shows the same error in plain prose. Asked to guess whether “Tom W” — described as quiet, neat, and orderly — is studying computer science or humanities, both lay subjects and trained graduate students in psychology pick computer science, even when explicitly told that the humanities cohort is many times larger.²¹ We judge by representativeness — how well the description matches a stereotype — and ignore the prior probability of the category. Kahneman’s chapter title for the cab-problem analysis is exact: Causes Trump Statistics. We reach for the causal story (the witness saw a blue cab, so the cab was blue) and discard the statistical fact (most cabs in the city are green). The cab problem is the textbook companion to the medical-test problem above, with one crucial difference: the witness is the prosecutor’s case.

3.4 The Prosecutor’s Fallacy, Named

The Sally Clark case has a name in the statistical literature: the prosecutor’s fallacy. It consists in asserting \(P(\text{evidence} \mid \text{innocent})\) — the probability of seeing this evidence if the defendant were innocent — and inviting the jury to hear it as \(P(\text{innocent} \mid \text{evidence})\). The two quantities can differ by orders of magnitude. The Royal Statistical Society’s letter, the appeal court’s judgment, and three decades of statistical commentary have not stopped the fallacy from recurring; it appeared again in the conviction of the Dutch nurse Lucia de Berk (2003, quashed 2010), in DNA-match cases (“the chance of a random match is 1 in 10 million”) presented without reference to the size of the database searched, and in epidemiological courtroom testimony generally.

3.5 Bayesianism as a Theory of Rational Belief

Bayes’s theorem is a calculation. Bayesianism is the broader epistemological claim that rational belief is graded — that beliefs come in degrees, that those degrees obey the probability axioms, and that the rational response to evidence is to update one’s degrees of belief in line with the theorem. This is a substantive claim, not an obvious one. Classical logic treats belief as binary: a proposition is accepted or it is not. The Bayesian thinks this is a coarsening of what rationality actually requires. The classicist replies that probabilistic belief leaves no place for the classical notions of validity and proof — that a proposition either is or is not entailed, and degrees of belief are about psychology, not logic. The argument is alive.

3.6 Questions to Argue About

• The medical-test calculation gives 9%. The doctor’s intuition gives 99%. Whose answer should determine policy on screening healthy populations for rare diseases? What goes wrong when the doctor’s intuition wins?
• Sally Clark’s jury was told a number — 1 in 73 million — that was both technically wrong and rhetorically devastating. Is the deeper failure innumeracy (jurors and judges who could not interrogate the figure) or epistemic theatre (an expert witness deploying a figure designed to overpower interrogation)?
• A defendant’s DNA matches the crime scene with a “1 in a million” random-match probability. The police database contains five million profiles. How should this evidence be presented? Whose job is it to present the base rate?
• If rational belief is a matter of degree (Bayesianism), what becomes of the classical logical notion of acceptance — the binary yes/no judgement that a proof produces? Are these two pictures compatible, or does one have to give way?

4 Can we be certain through induction?

Almost everything we believe about the world — that aspirin cures headaches, that the sun will rise tomorrow, that jumping from heights causes injury — is based on induction. We generalise from what we have observed to what we have not yet observed. And yet induction, as David Hume showed with devastating clarity in the 18th century, cannot be rationally justified without circularity.

4.1 Hume’s Problem

David Hume (A Treatise of Human Nature, 1739; An Enquiry Concerning Human Understanding, 1748) posed the problem of induction with a precision that has never been answered satisfactorily:²⁴

The observation: past regularities give us no logical guarantee about future regularities. We have observed the sun rising every day. But: does the past rising of the sun provide any logical reason to expect it to rise tomorrow?

The would-be justification: of course past regularities are a guide to the future — nature is uniform, things that have always happened will continue to happen.

Hume’s response: How do you know nature is uniform? By observing that it has been uniform in the past. But this is circular — you are using inductive reasoning to justify inductive reasoning.

“There can be no demonstrative arguments to prove that those instances of which we have had no experience resemble those of which we have had experience.” — David Hume, A Treatise of Human Nature, Book I, Part III, Section VI²⁵

This is Hume’s Fork: all propositions are either relations of ideas (like mathematics — necessarily true, but empty of empirical content) or matters of fact (empirically known through experience, but not necessarily true). Inductive reasoning tries to make matters of fact feel as certain as relations of ideas — and that is not legitimate.

4.2 Russell’s Inductivist Chicken

Bertrand Russell (The Problems of Philosophy, 1912) gave a now-famous illustration. A chicken is fed every morning by the farmer. Every morning, without exception, the farmer comes and feeds it. The chicken, by induction, comes to expect this. On Christmas Eve, the farmer comes — and wrings its neck.²⁶

The chicken’s inductive reasoning was impeccable. Its conclusion was disastrously wrong. The past regularity provided no logical guarantee of the future. Russell’s moral, in Problems of Philosophy Chapter VI, is more careful than the chicken story alone suggests: he holds that induction must be backed by a separate Principle of Induction, which itself cannot be proved from experience and must be accepted as a piece of a priori knowledge if induction is to have any rational warrant. Russell is a defender of induction, not a sceptic about it; his point is that defending induction requires reaching outside what experience itself can supply.

Russell’s chicken is itself a repurposing of Hume’s earlier example, in Enquiry §IV, of bread that has nourished us in the past and is expected to nourish us again. Hume’s point was that “there is no known connexion between the sensible qualities and the secret powers” — having seen one loaf nourish gives no rational ground to expect the next to do so, even though we cannot help expecting it.²⁷

Taleb’s Black Swan (2007) makes a sharper point than that induction is fallible. He argues that event-rarity scales with consequence: that long-run outcomes are dominated by rare, high-impact events drawn from “fat-tailed” distributions, and that mainstream statistical practice systematically underestimates them. The RBS info-box above is the live case. Where to go from here is the contemporary live debate: Bayesian inductivism (Howson and Urbach), Vapnik’s statistical-learning theory, John Norton’s “material” theory of induction, and Peter Lipton’s inference-to-the-best-explanation are four salient options among others, and which (if any) addresses Hume’s underlying problem rather than relocating it is itself disputed.²⁸

4.3 The Black Swan

Before Europeans reached Australia, every swan ever observed was white. “All swans are white” was, for Europeans, a very well-confirmed inductive generalisation. Then black swans were found in Australia.

Karl Popper (The Logic of Scientific Discovery, 1934) used this to argue that no number of confirming instances can prove a universal generalisation — but a single disconfirming instance can disprove it. Hence his criterion: scientific claims should be falsifiable. We should try to refute our theories, not accumulate confirmations.²⁹ (Taleb’s modern extension of this point is the RBS case in the info-box above.)

4.4 Falsifiability vs. Verificationism

The Logical Positivists (Vienna Circle, 1920s–1930s) — Moritz Schlick, Rudolf Carnap, A.J. Ayer — proposed verificationism: a statement is meaningful if and only if it is in principle verifiable through observation. Metaphysical claims (“God exists”) and ethical claims (“murder is wrong”) are not verifiable and hence meaningless — not false, but empty.³⁰

Popper rejected verificationism and proposed falsificationism instead: what marks science is not that its claims can be verified but that they can be falsified — there is some observation that would count against them.

The asymmetry: No number of white swans proves “all swans are white.” But one black swan disproves it. Verification is logically weak; falsification is logically strong. This asymmetry is why Popper preferred falsification as the hallmark of scientific knowledge.

4.5 Responses to Hume

No one has solved Hume’s problem. But responses range:

• Pragmatic vindication (Hans Reichenbach): induction is the best strategy we have, even if it can’t be justified a priori. If nature is regular, induction will find it; if not, no method will.³¹
• Bayesian inference: we update our probability estimates in response to evidence according to Bayes’ Theorem. This is not a solution to the problem (Bayes’ Theorem requires prior probabilities, which are themselves inductively based), but it formalises the reasoning.
• Naturalism (Quine): the question “is induction justified?” is itself answerable only by empirical investigation — there is no standpoint outside our epistemic practices from which to evaluate them.³²

4.6 Questions to Argue About

• If Hume is right that induction cannot be rationally justified, does that make science irrational? Or just differently rational than we thought?
• Russell’s chicken generalised from excellent evidence and reached a fatal conclusion. Does this show that the problem of induction is practically serious — or just a philosophical puzzle without real-world implications?
• Popper said science advances through falsification, not confirmation. But in practice, scientists often protect their theories from falsification by adjusting auxiliary hypotheses. Is this bad science or rational practice?
• What is the relationship between Hume’s problem of induction and the reliability of memory? If past experience doesn’t logically justify expectations about the future, does past experience of your own identity justify beliefs about who you are?

5 What are the limits of formal systems?

In 1931, a 25-year-old mathematician named Kurt Gödel published a paper with a title so technical it could clear a room: “On Formally Undecidable Propositions of Principia Mathematica and Related Systems.” Inside it were two theorems that shook the foundations of mathematics and, by extension, of formal knowledge.³³

The theorems tell us that any sufficiently powerful formal system is either incomplete (there are truths it cannot prove) or inconsistent (it can prove contradictions). You cannot have both completeness and consistency. This is not a technical result that concerns only specialists. It says something deep about the limits of formalisation, proof, and certainty.

5.1 The Dream of Formalism

By the early 20th century, mathematicians — led by David Hilbert — had an ambitious programme: to place all of mathematics on an absolutely secure axiomatic foundation. Propose a complete set of axioms; show the axioms are consistent (they don’t lead to contradictions); show they are complete (every mathematical truth can be derived from them). Mathematics would then be a perfect, closed system — a realm of certain knowledge.³⁷

The crack in that ambition was already visible thirty years before Gödel. In June 1902 Bertrand Russell wrote a polite and devastating letter to the German mathematician Gottlob Frege, who had spent two decades constructing the Grundgesetze der Arithmetik — an attempt to derive all of arithmetic from pure logical axioms.³⁸ Russell had found a contradiction at the heart of the system. Frege’s Basic Law V permitted sets to be defined by any property whatsoever, including the property of containing all sets that do not contain themselves. When Russell asked whether this set contained itself, the answer was: if it does, it doesn’t; if it doesn’t, it does. The paradox could not be patched within the existing axioms without rebuilding the foundation. Frege wrote back within days, acknowledging that Russell had shaken the ground on which he had meant to build arithmetic. The second volume of the Grundgesetze was already at the printer; Frege added a despairing appendix acknowledging the flaw. Russell’s letter is one of the most consequential pieces of correspondence in the history of mathematics — the moment at which the dream of grounding all mathematics in a complete, consistent formal system began to look not just difficult but perhaps impossible. Russell and Alfred North Whitehead spent the next decade attempting the repair: their Principia Mathematica (1910–1913) is a nearly 2,000-page formal derivation of mathematics from logical axioms, with a “theory of types” devised to block the Russell paradox. (It takes 379 pages to prove that 1 + 1 = 2.)³⁹

5.2 Gödel’s First Incompleteness Theorem

Kurt Gödel, in “On Formally Undecidable Propositions of Principia Mathematica and Related Systems” (1931), proved:

First Incompleteness Theorem: Any consistent formal system capable of expressing basic arithmetic contains true statements that cannot be proved within the system.

The proof uses a piece of self-reference. Gödel devised a method of encoding statements about the formal system within the system itself — Gödel numbering, which assigns a unique whole number to every formula, allowing statements about formulas to be translated back into statements about arithmetic. Using this coding, he constructed a statement G whose informal content is:

G — This statement cannot be proved in this system.

Before the formal argument, a self-descriptive warm-up. “This sentence has five words” is true not because someone proved it but because the sentence correctly describes itself. Look at the sentence; count the words; the content of the claim and the state of the world coincide. G is built to do the same thing, except what it describes is its own unprovability rather than its word count.

The two horns. Suppose the system is consistent — it never proves a false statement. Then:

• If G were provable, the system would have proved a statement that asserts its own unprovability. That is a false claim being proved. The system would be inconsistent.
• If G is not provable, then G’s claim about itself — that it cannot be proved — is accurate.

Why unprovability entails truth. In a consistent system, the first horn is ruled out. So G is not provable. But G asserts precisely that it is not provable — and that assertion, by the argument just given, is correct. A statement whose content is correct is true. So G is true and unprovable at once. Truths exist in mathematics that formal proof, within any given consistent system, cannot reach.

A precision worth registering. Gödel’s 1931 proof in fact required a slightly stronger condition than mere consistency — a property called ω-consistency — to rule out the system proving the negation of G as well. J. B. Rosser strengthened the result in 1936 by constructing a different sentence for which simple consistency suffices. The teaching exposition above silently relies on Rosser’s strengthening; the historical Gödel argument is a hair more delicate. Nothing in the philosophical conclusion changes.⁴⁰

5.3 Gödel’s Second Incompleteness Theorem

Even more devastating for Hilbert’s programme:

Second Incompleteness Theorem: A consistent formal system cannot prove its own consistency.

In other words: you cannot use mathematics to prove that mathematics doesn’t contain a hidden contradiction. Any proof of consistency would itself have to be produced within a formal system — and that system’s consistency would remain unverified.

5.4 What This Means — and What It Doesn’t

What it means:

• No formal system is everything. There are always truths that outrun provability within a given system.
• Mathematical truth is not identical to mathematical provability. There is a gap.
• Hilbert’s programme of securing all mathematics on a finite set of consistent, complete axioms is impossible.

What it doesn’t mean:

• It does not mean mathematics is unreliable or useless. The vast majority of mathematics is provable within standard systems. Gödel sentences are constructed specifically to be unprovable; they don’t arise in ordinary mathematical practice.
• It does not directly imply that the human mind is not a formal system — though some philosophers (J.R. Lucas, Roger Penrose) have argued this. The argument is controversial.⁴²
• It does not mean “anything goes” or that all logical systems are equally valid.

5.5 Consistency and Completeness

The tradeoff:

• A consistent system never proves a contradiction (not both P and ¬P).
• A complete system can prove or refute every statement in its language.

Gödel showed these cannot both be achieved in any system powerful enough to encode arithmetic. We must choose. Mathematicians choose consistency — a system that proves contradictions is useless, since from a contradiction, anything at all can be derived (the principle of explosion: ex contradictione quodlibet).

5.6 Questions to Argue About

• Gödel showed there are mathematical truths that cannot be proved. Does this make mathematics less certain — or just different from what we thought?
• If a formal system cannot prove its own consistency, how do mathematicians know their work is reliable? What is the basis of our confidence in mathematics?
• Some philosophers argue that Gödel’s theorems show human minds transcend formal systems (because we can “see” that G is true, even though the system cannot prove it). Does this argument work?
• Are there analogues to Gödel’s incompleteness outside mathematics — domains of knowledge where there are truths that the domain’s own methods cannot reach?

6 What is a paradox — and what can we learn from one?

A paradox is not a mere contradiction. A contradiction is straightforwardly wrong. A paradox is different: it is an argument that proceeds from apparently sound premises by apparently valid steps to a conclusion that is either absurd or contradictory. Paradoxes are not failures of thought; they are diagnostic instruments. They reveal that our concepts — motion, truth, set membership, heaps, identity — are not as clear as we assumed.

6.1 Zeno’s Paradoxes

Around 450 BCE, Zeno of Elea argued (according to Aristotle’s later account) that motion is impossible. His most famous argument: the race between Achilles and a tortoise.⁴⁷

The tortoise has a head start. Achilles runs faster. To catch the tortoise, Achilles must first reach the point where the tortoise was. But by then, the tortoise has moved forward. Achilles must now reach that point. But again, the tortoise has moved. This sequence has infinitely many steps. Can an infinite number of steps be completed?

Zeno argued: no. Therefore, Achilles never catches the tortoise. Therefore, motion as we perceive it is an illusion.

This sounds absurd — of course Achilles catches the tortoise. But the argument seems valid. Where is the flaw?

The mathematical resolution (Cauchy, early 19th century): an infinite series can have a finite sum. The series \(1/2 + 1/4 + 1/8 + \ldots = 1\). So infinitely many steps can be completed in finite time, if the steps get correspondingly shorter. Modern analysis dissolves the paradox mathematically.

But the philosophical question remains: does the mathematical resolution tell us what actually happens in nature, or does it just tell us how to calculate? Is space and time continuous (as calculus assumes) or discrete (as quantum mechanics might suggest)?

6.2 The Liar Paradox

“This sentence is false.”

If the sentence is true, then what it says is the case — so it is false. If it is false, then what it says is not the case — so it is true. The sentence seems to be both true and false simultaneously, which violates the law of non-contradiction.

This was known in antiquity. Epimenides the Cretan reportedly said: “All Cretans are liars.” Does Epimenides speak truly? If yes, he (a Cretan) is a liar, so he speaks falsely. If no, there exists at least one truthful Cretan — possibly Epimenides himself. The latter version avoids strict paradox; the pure Liar (“This sentence is false”) does not.⁴⁸

The significance: The Liar paradox motivated Tarski’s work on truth and Gödel’s incompleteness theorems. Gödel’s construction is, at its heart, a formalised version of the Liar: a sentence that says “I am not provable.” Self-reference generates paradoxes in truth and provability alike.

6.3 Russell’s Set Paradox

In 1901, Bertrand Russell discovered a contradiction at the heart of naive set theory. Consider the set of all sets that do not contain themselves.⁴⁹

• Does this set contain itself? If yes: it is a set that contains itself — so it should not be in our set (contradiction). If no: it is a set that does not contain itself — so it should be in our set (contradiction).

Russell wrote to Frege, who had just published his Basic Laws of Arithmetic, which relied on naive set theory. Frege’s response is one of the most poignant moments in intellectual history:

“Your discovery of the contradiction has surprised me beyond words and, I should almost like to say, left me thunderstruck, because it has rocked the ground on which I meant to build arithmetic.” — Gottlob Frege, letter to Bertrand Russell, 1902⁵⁰

The resolution requires restricting set formation — the axioms of Zermelo-Fraenkel set theory prohibit the kind of self-reference that generates Russell’s paradox. But the resolution is technical and leaves the intuitive concept of “collection” as less transparent than we thought.

6.4 The Sorites Paradox (The Heap Problem)

While Russell’s paradox attacks the foundations of mathematics, the Sorites paradox attacks something more fundamental still: the vague predicates of ordinary language. Sorites comes from the Greek soros: heap.

1. One grain of sand is not a heap.
2. Adding one grain of sand to a non-heap does not make a heap.
3. Therefore, one million grains of sand is not a heap.

The argument is valid. The premises seem true. The conclusion is false. Where is the error?

The Sorites paradox arises for any vague predicate: tall, bald, rich, young, red. There is no sharp boundary between tall and not-tall. Remove one hair at a time from a full head: when exactly does the person become bald? There is no fact of the matter.

The philosophical responses:

• Epistemicism (Timothy Williamson): there is a precise boundary; we just can’t know where it is.⁵¹
• Supervaluationism: “John is bald” is neither true nor false in borderline cases — a truth value gap.
• Fuzzy logic: truth comes in degrees. “John is bald” is 0.7 true for borderline cases.
• Contextualism: “heap” is context-sensitive; the boundary shifts with the conversational context.

The paradox is practically important: law, medicine, and policy deal constantly with vague predicates — when does a fetus become a person? at what point does a company have “significant” market power? The paradox is not academic.

6.5 Questions to Argue About

• Zeno’s paradoxes were “solved” by calculus. But is a mathematical model of motion the same as an account of what actually happens? Does mathematics dissolve philosophical paradoxes, or only silence them?
• The Liar paradox suggests that unrestricted self-reference leads to contradiction. Are there other areas of thought — apart from formal logic — where self-reference is dangerous?
• Russell’s paradox destroyed a perfectly intuitive concept (the set of all sets not containing themselves). What does this tell us about the reliability of intuition in mathematics?
• The Sorites paradox arises because our concepts are vague. Is vagueness a defect of language that could in principle be eliminated? Or is it essential to how language works?

7 Can logic tell us what ought to be?

Logic is exquisitely powerful at telling us what follows from given premises. If you accept certain things, you must accept certain other things. But here is a question logic cannot directly answer: what should you accept in the first place? And, more acutely, can any set of purely factual premises logically entail a moral conclusion? Hume noticed, in a footnote that changed the history of philosophy, that it apparently cannot — and moral philosophers have been arguing with that footnote ever since. This is one of the most important questions at the intersection of logic and ethics.

7.1 Hume’s Is-Ought Gap

David Hume noticed something in moral philosophy (A Treatise of Human Nature, Book III, Part I, Section I, 1739):⁵³

“In every system of morality, which I have hitherto met with, I have always remarked, that the author proceeds for some time in the ordinary way of reasoning, and establishes the being of a God, or makes observations concerning human affairs; when of a sudden I am surpriz’d to find, that instead of the usual copulations of propositions, is and is not, I meet with no proposition that is not connected with an ought, or an ought not.”

Hume observed that moral philosophers of his time would describe facts about human nature, God, or society — and then, without any logical bridge that he could find, slide into moral conclusions. “People desire happiness. Therefore, we ought to promote happiness.” The word “therefore” conceals a gap. (Natural-law theorists, the targets of Hume’s critique, deny that the gap exists at all: their factual premises about human nature already include teleological content from which obligations follow without any further normative addition. Whether this dissolves the gap or merely smuggles the ought into the description of human nature is exactly the question Hume opened — and which answer is right is what the rest of this section is about.)

The gap: no set of purely descriptive premises can logically entail a normative conclusion without an additional normative premise. From “people suffer when tortured” you cannot logically derive “you ought not torture people” without some further premise like “you ought not cause suffering.” That further premise is not itself derivable from facts alone.

This is sometimes called Hume’s Guillotine — the is-ought gap separates factual and normative discourse as cleanly as a blade.

7.2 Moore’s Naturalistic Fallacy

G.E. Moore (Principia Ethica, 1903) made a related point. He argued that the property of being “good” is a simple, non-natural property — it cannot be defined in terms of any natural property (pleasure, survival, what God commands, etc.). Any attempt to define good in natural terms commits the naturalistic fallacy.⁵⁴

His test: the Open Question Argument. Suppose you define “good” as “what produces pleasure.” Then “Is pleasure good?” should be a closed question — trivially true by definition. But it isn’t. It remains a genuinely open question whether pleasure is good. Therefore “good” and “productive of pleasure” cannot mean the same thing. Repeat for any natural property: the question remains open.⁵⁵

Moore thought the naturalistic fallacy explained why all previous ethical theories failed. They tried to define “good” and couldn’t.

7.3 The Structure of Ethical Arguments

Every ethical argument must contain at least one ethical premise. You cannot derive an “ought” from a pile of “is” statements. This means ethical arguments always have a normative foundation — and that foundation must itself be defended ethically, not empirically.

Example:

1. The death penalty does not deter crime. [Empirical claim]
2. Punishments that don’t deter crime should not be used. [Normative premise]
3. Therefore, the death penalty should not be used. [Normative conclusion]

Premise 1 can be contested empirically. Premise 2 requires moral argument. Someone might accept 1 and reject 2 on the grounds that punishment has other purposes (retribution, justice). The empirical evidence, by itself, settles nothing — because it is the normative premise that does the moral work.

When knowledge claims in ethics are at issue, distinguishing the empirical and normative components of an argument is a crucial TOK skill.

7.4 Can Science Legislate Values?

A recurring question in modern thought: can neuroscience, evolutionary biology, or psychology tell us what is good? Sam Harris (The Moral Landscape, 2010) argues yes: if morality is about wellbeing, and science can study wellbeing, then science can study morality.⁵⁶ E.O. Wilson (Sociobiology, 1975) suggested that human moral intuitions are adaptations selected for their fitness benefits.⁵⁷

Hume’s guillotine, on the standard reading, cuts these arguments: even if science can tell us what maximises wellbeing, it cannot — without a further normative step — tell us that we ought to maximise wellbeing. That step requires a moral commitment that science cannot supply.

The standard reading is not unanimous. John Searle (“How to Derive ‘Ought’ from ‘Is’”, 1964) argued that constitutive facts about institutional practices — promising, marrying, signing a contract — generate ought-conclusions from is-premises, because the institutional facts already encode normative content.⁵⁸ Philippa Foot (Natural Goodness, 2001) revived an Aristotelian line on which “good” for a living thing is grounded in the natural form of life it has: a sound oak is one that grows tall and bears acorns; a good human is one whose practical reasoning is in order — and these are not normative additions to the natural facts but their proper description.⁵⁹ Whether these responses dissolve Hume’s gap or merely relocate the normative premise inside “constitutive rule” or “natural form of life” is itself contested. The unit takes no position on the resolution; it flags the dispute.

7.5 Questions to Argue About

• “Natural selection has produced in us a tendency to care for our children. Therefore, it is natural — and right — to care for our children.” Does this argument commit the naturalistic fallacy? What are the missing steps?
• Is Hume’s is-ought gap a logical point or a metaphysical one? Could there be a world in which “is” and “ought” were more directly connected?
• If all ethical arguments require at least one normative premise, where do those foundational premises come from? Are they intuitions? Conventions? Revealed by God? Constructed?
• Moore’s Open Question Argument says “Is X good?” is always an open question, for any natural X. Does this argument work? Can you find a case where it breaks down?

8 Does logic have to be classical?

Classical logic — the logic Aristotle articulated and that Frege and Russell formalised — rests on certain principles that feel self-evident. Among them: the principle of non-contradiction (nothing can be both true and false), the law of excluded middle (every proposition is either true or false), and the principle of explosion (from a contradiction, anything follows). These feel like bedrock — like the very frame within which thought is possible. But that they feel like bedrock is not by itself an argument that they are bedrock. There are well-developed logics that reject each of them, used today in working mathematics, computer science, and the analysis of vagueness. The classicist will reply that these systems are local engineering tools that presuppose classical reasoning at the meta-level; the non-classicist replies that “presupposes classical reasoning at the meta-level” is precisely the question being begged.

8.1 The Principle of Non-Contradiction

Aristotle called it the most certain of all principles:

“It is impossible for the same thing to belong and not to belong at the same time to the same thing and in the same respect.” — Aristotle, Metaphysics, Book IV, Chapter 3⁶²

Non-contradiction is the logical backbone of rational argument. If a statement can be both true and false, any argument becomes valid — because from a contradiction, the principle of explosion allows you to derive any conclusion whatsoever.

But: is the principle a discovered truth about reality, or a constructed rule for our logical practices? Could reality be, in some domains, genuinely contradictory?

8.2 Fuzzy Logic

The lesson on the Sorites paradox above showed how badly classical logic handles vague predicates: one grain is not a heap; adding a single grain to a non-heap produces a non-heap; therefore (by induction) no number of grains is a heap. The argument is valid; the conclusion is absurd; one of the premises must go. Lotfi Zadeh’s 1965 proposal — fuzzy logic — pays for the absurdity by abandoning bivalence: truth values are not just 0 (false) or 1 (true) but any real number in the interval [0, 1]. “John is tall” can be 0.7 true. “These 100 grains are a heap” can be 0.3 true.⁶³

This is not just a philosophical move. Fuzzy logic is the working logic of camera autofocus, washing-machine water-level sensors, anti-lock braking systems, and a generation of medical diagnostic decision-support tools. Each is a domain where the world supplies a continuous signal — a focus distance, a soil-moisture reading, a wheel-slip angle, a haemoglobin saturation — and the older binary engineering practice (sharp threshold, with hysteresis around it) misclassified at the boundary often enough to matter. A fuzzy system instead computes a degree of membership in each of several overlapping categories (“dry / damp / wet”), evaluates rules at degrees, and outputs a defuzzified action.

The philosophical move underneath the engineering: classical logic models a world of sharp distinctions, even where the underlying signal is continuous. Whether that produces errors at the boundary or merely registers a useful idealisation depends on what the system is supposed to do. For an anti-lock braking system the binary classical predicate “wheel locked” misses what matters; the engineering moved to fuzzy logic and the system improved. The Minamata case in the info-box puts the same question to the legal system: is bivalent classical reasoning a load-bearing feature of how rights are adjudicated, or a habit of inheritance whose cost is paid at the boundary by people who do not write the rules?

The cleanest objection is that fuzzy logic just relocates the problem: if “John is tall” is 0.7 true, is that statement (the assignment of degree 0.7) precisely true, or itself only approximately so? The fuzzy logician’s reply — that the assignment is itself a fuzzy proposition, with its own degree — invites a regress that has been a standing topic in the literature; see Williamson, Vagueness (1994), for the case that vague predicates are best handled with classical logic plus epistemicism (there is a sharp boundary; we just cannot know where).

8.3 Paraconsistent Logic

Paraconsistent logics reject the principle of explosion: they allow contradictions to coexist within a system without licensing arbitrary conclusions from them. This sounds alarming, but it is closer to working practice than the principle of explosion is:

• A legal system may contain inconsistent laws (old law says X; new law says not-X; the contradiction hasn’t been resolved by repeal). Lawyers still reason within it.
• A database may contain contradictory entries (data-entry errors, source conflicts, time-of-update mismatches). Queries still run.
• Quantum mechanics and general relativity are locally inconsistent at certain scales. Working physicists continue to use both, picking which apparatus to invoke per problem.

Graham Priest (In Contradiction, 1987) pushes the claim further into dialetheism — the view that some contradictions are not merely tolerable but true. The Liar sentence (“this sentence is false”) is the canonical case: it appears to be both true and false. Dialetheism is not mainstream, but it is philosophically serious; the alternative (some hierarchy or restriction that blocks the Liar) has its own costs.⁶⁴

The dialetheist position has a deeper non-Western precedent in the Buddhist catuṣkoṭi (Skt. “four corners,” sometimes “tetralemma”), systematically deployed by the 2nd-century Madhyamaka philosopher Nāgārjuna. Mūlamadhyamakakārikā I introduces the four-fold scheme: for any proposition P, the catuṣkoṭi asks whether P, not-P, both P and not-P, or neither P nor not-P. Nāgārjuna’s central use of the device is to argue that the four corners exhaust the available positions on, e.g., dependent origination — and that ultimate reality (paramārtha) cannot be fixed by any of them, including the second and the fourth.⁶⁵ Whether the catuṣkoṭi is best read as an early dialetheist logic (Priest’s reading: at the limits of conceptualisation, contradictions are accepted), as a paraconsistent move (Garfield: the third corner is genuinely entertained without explosion), or as a strictly non-logical device for breaking the reader’s attachment to any conceptual position (the standard Madhyamaka self-understanding), is itself contested in modern Buddhist philosophy. The point for present purposes: classical logic’s three principles were not the only logic that working philosophers tried to organise reasoning by — and the contemporary non-classical logics did not arrive on a blank field.

8.4 Logic as Discovery or Construction?

The deepest question: is logic something we discover or something we construct?

• Platonism about logic: logical laws are objective, necessary truths about abstract structures. We discover them.
• Formalism: logic is a formal game with rules we choose. Different games (classical, fuzzy, intuitionistic, paraconsistent) are tools for different purposes.
• Naturalism: logic is continuous with science. Our logical beliefs are revisable in light of experience, just as empirical beliefs are. Quine argued the general revisability thesis in “Two Dogmas” — no statement, including a logical one, is in principle immune from revision in the face of recalcitrant experience.⁶⁷ Hilary Putnam pushed the specific application to quantum mechanics in “Is Logic Empirical?” (1968), arguing that the strange behaviour of quantum systems gives us empirical reason to adopt a non-distributive quantum logic. Both moves are contested; the Quine reading especially has been resisted on the grounds that he never quite committed to revising any particular logical law on empirical grounds.⁶⁸

8.5 An Open Question

This lesson has established that there are multiple logical systems — classical, fuzzy, paraconsistent, intuitionistic — and that each is internally consistent while differing from the others on fundamental principles. This raises a question that logic itself cannot answer:

What grounds the choice of logical system?

This is not a logical question. You cannot use logical inference to justify the choice of inferential rules — as Carroll’s Tortoise argument shows — because whichever rules you use in the justification are already the ones you are assuming. To ask why we accept classical logic rather than intuitionistic logic, or why we accept modus ponens at all, is to ask an epistemological question about the status of logical truths.

Two positions bracket the debate:

• Quine (Two Dogmas of Empiricism, 1951, §§5–6): logical laws are simply the most entrenched nodes in our web of belief. They are not known a priori in any special sense — they are just the last things we would revise, because revising them would require revising almost everything else. Logical truths are not qualitatively different from empirical truths; they are merely more central.⁶⁹
• BonJour (In Defense of Pure Reason, 1998, Ch. 1 §§1.1–1.3 and Ch. 4 §§4.2–4.5): some knowledge is genuinely a priori — rational insight into necessary truths that no experience could undermine. Logical laws are known a priori because their negation cannot be coherently entertained by any rational mind. This is not merely a matter of entrenchment but of necessity.⁷⁰

Which of these is right changes what it means to claim that logic is a form of knowledge.

8.6 Questions to Argue About

• Aristotle thought the principle of non-contradiction was the most certain of all principles, beyond any possible doubt. But is this because it is true, or because any attempt to doubt it uses it? Is the principle self-validating?
• Fuzzy logic admits truth values between 0 and 1. But doesn’t this just push the problem back — is “0.7 true” itself precisely true or just approximately true?
• Paraconsistent logic allows for some contradictions without collapse. But if you accept any contradiction, how do you decide which contradictions are “tolerable” and which are disqualifying?
• Quine said that logic is revisable in principle. If that’s right, what is the relationship between logic and knowledge? Can you even reason about the revision of logic using logic?

9 Media

Novels, films, and artworks that illuminate the questions above:

• Lewis Carroll, Alice’s Adventures in Wonderland (1865) and Alice Through the Looking-Glass (1871) — Carroll was a logician (Charles Dodgson, lecturer in mathematics at Oxford). The books are saturated with logical puzzles, non-sequiturs, and violations of inference. The Mad Hatter’s riddle (“Why is a raven like a writing desk?”) has no answer — a joke about the expectation that arguments have conclusions.
• Douglas Hofstadter, Gödel, Escher, Bach: An Eternal Golden Braid (1979) — Pulitzer Prize-winning exploration of self-reference, formal systems, consciousness, and Gödel’s theorems, structured around parallels between Bach’s counterpoint and Escher’s impossible drawings. Difficult and brilliant.
• Jorge Luis Borges, “The Library of Babel” (in Ficciones, 1944) — A universe consisting of an infinite library containing all possible books. A meditation on completeness, infinity, and the limits of formal systems.
• Tom Stoppard, Rosencrantz and Guildenstern Are Dead (1967) — A play in which two minor Shakespeare characters discover they are living through a script they cannot control. Questions of logical necessity, free will, and the impossibility of reasoning outside one’s own system.
• Christopher Nolan, Inception (2010) — Nested realities that cast doubt on the reliability of any single level of “truth.” Connects to questions of consistency, self-reference, and what it means for a system to be grounded.
• Edwin Abbott Abbott, Flatland: A Romance of Many Dimensions (1884) — Creatures living in a two-dimensional world encounter beings from three dimensions; the logic of their world is consistent but radically limited. An allegory of the limits of formal systems.

10 Bibliography

11 Notes