PhilSci-L03: Under-determination

Overview

An experiment contradicts your theory. Which belief do you give up?

That question sounds trivial and is not. Duhem’s answer is that logic alone cannot tell you, because you never test a hypothesis on its own, only a hypothesis bundled with a pile of auxiliary assumptions. Quine pushes this until the bundle is everything you believe, at which point almost any statement can be kept true if you are willing to pay elsewhere. Laudan then points out that “logically possible” and “reasonable” are different words.

This is the lecture behind exam question 6, and it is also the escape hatch in question 3.

1. The problem: what exactly does an observation refute?

Suppose an astronomical theory conflicts with what you see through a telescope.

Which theory just died: the astronomical one, or the theory of optics that says your telescope works? Nothing in the observation itself answers that.

Popper’s own answer is more concessive than his reputation suggests. There are no objective facts that force the choice. Science has to accept an empirical basis by intersubjective agreement. Accepting an observation report that falsifies a theory is, in the end, a human decision.

That admission is the crack Duhem widens into a doctrine.

2. Duhem’s under-determination

The formal statement

This is the version the exam asks for, so learn it in this shape.

Duhem's thesis

Given that a set of premises $\{P_1,P_2,\dots ,P_n\}$ deductively entails a statement $O$ describing a possible observation, and that from experimental observation one concludes that $O^{\prime }$ is true, where $O^{\prime }$ entails that $O$ is false, it follows that the conjunction of the premises is false. It does not follow that any particular premise is false.

In one line: falsification is ambiguous. Modus tollens kills the conjunction, not any named member of it.

   P1 ∧ P2 ∧ ... ∧ Pn  ⊨  O
   observation says     ¬O
   ─────────────────────────
   therefore            ¬(P1 ∧ P2 ∧ ... ∧ Pn)

   which is only:  "at least one of them is false"
   and never:      "P3 is false"

No crucial experiment

A crucial experiment (experimentum crucis, an idea going back to Bacon, Hooke and Newton) is supposed to be “an irrefutable procedure for transforming one of the two hypotheses before us into a demonstrated truth.”

Duhem says there is no such thing. Hypotheses are only ever tested in combination with auxiliary assumptions, the experimental apparatus among them. And there may be unconceived alternatives: hypotheses nobody has thought of yet, which the experiment therefore cannot rule out (this line is developed later by Stanford).

Good sense

If logic does not decide, what does? Duhem’s answer is good sense (bon sens): “certain opinions which do not fall under the hammer of the principle of contradiction are in any case perfectly unreasonable.”

This is deliberately not an algorithm, and De Haro flags the obvious questions:

• What is good sense?
• How can a scientist be “an impartial and faithful judge”?

Note where this leaves the argument. Duhem does not conclude that theory choice is arbitrary. He concludes that it is not formal. Those are different claims, and conflating them is the mistake Laudan attacks in section 4.

3. Quine: Two Dogmas of Empiricism (1951)

Quine attacks two commitments of the logical-positivist picture from Lecture 1.

Dogma	What it claims	Quine’s objection
Reductionism	Every scientific statement is logically equivalent to some statement in a special empiricist language, whether the subjective language of immediate experience or an objective physical-thing language. This is the verification theory of meaning	You cannot test isolated statements. Nothing has its own private stock of empirical consequences
Analytic-synthetic distinction	There is a sharp line between statements true by meaning alone and statements true by how the world is	The difference between conceptual schemes and facts “is of degree only”. Analytic statements are just the limiting case of true statements: no empirical content, confirmed no matter how the world turns out

Quine’s sharpest move: at bottom the two dogmas are identical. Reductionism says each statement has its own confirming experiences; the analytic-synthetic distinction says some statements have none. Both assume statements can be assessed one at a time. Deny that, and both fall together.

The web of belief

Quine, Two Dogmas

The totality of our so-called knowledge or beliefs, from the most casual matters of geography and history to the profoundest laws of atomic physics or even of pure mathematics and logic, is a man-made fabric which impinges on experience only along the edges. Or, to change the figure, total science is like a field of force whose boundary conditions are experience. A conflict with experience at the periphery occasions readjustments in the interior of the field.

But the total field is so under-determined by its boundary conditions, experience, that there is much latitude of choice as to what statements to reevaluate in the light of any single contrary experience.

                    ·  ·  ·  ·  ·  ·  ·  ·  ·          EXPERIENCE
                 ·                             ·       only touches
              ·      geography, history           ·    the edge
            ·                                      ·
           ·        physics, chemistry              ·
           ·                                        ·
            ·      mathematics, logic              ·   revision here is
              ·         (centre)                 ·     possible but costly
                 ·                            ·
                    ·  ·  ·  ·  ·  ·  ·  ·  ·

The centre is not immune, only expensive. Logic and mathematics sit deepest because revising them forces the largest rearrangement, not because they are a different kind of truth.

The Duhem-Quine thesis is the web read as a claim about theory choice: a disconfirming observation only touches the edge, and auxiliary hypotheses absorb the blow. Laudan catalogues the available moves as Quine’s “four stratagems”.

4. Critiques of Quine

Stein: the scepticism about meanings is unearned

The trouble sits at the heart of the argument: Quine is sceptical about meanings as such, and rejects theories of meaning outright rather than engaging them.

Frege and Carnap distinguish two kinds:

Term	Also called	What it is	Classic example
Sense	intension	The linguistic meaning of the words	”morning star” and “evening star” differ in sense
Reference	extension	The actual object the words pick out	both refer to Venus

The standard possible-worlds account gives the intension of a sentence $S$ as the maximal set of possible worlds where $S$ is true, or equivalently a map from possible worlds to truth values.

Quine attributes analyticity to Leibniz and writes it off as “picturesque”, then spends a long discussion treating intensions as leftovers of Aristotelian essences. Stein’s complaint: this assumes that an empiricist must be sceptical about meanings, and intensions in the Frege-Carnap sense would have merited real engagement rather than dismissal.

Laudan: logically possible is not the same as rational

Laudan’s objection is the one worth carrying into the exam, because it is the standard reply to anyone waving under-determination around.

Laudan, p. 289

Sloppy formulations of the thesis of UD have encouraged authors to use it to support whatever relativist conclusions they fancy.

Laudan, p. 298

Too many of the discussions of UD in the last quarter century have proceeded in an evaluative vacuum. They imagine that if a course of action is logically possible, then one need not attend to the question of its rationality.

Set the two side by side:

Quine (p. 297)

Laudan (p. 293)

Any statement can be held true come what may, if we make drastic enough adjustments elsewhere in the system. Even a statement very close to the periphery can be held true in the face of recalcitrant experience by pleading hallucination, or by amending certain statements of the kind called logical laws

What grounds does Quine have for asserting this? One might expect he could establish its plausibility by examining the relevant rules of rational theory choice and showing that those rules were always so ambiguous that, confronted with any pair of theories and any body of evidence, they could never yield a decision. But Quine nowhere engages in a general examination of ampliative rules of theory choice

Laudan’s point: rationality includes epistemic warrant, above all the empirical evidence. Yes, you can save any theory by pleading hallucination. That does not make it a reasonable thing to do, and Quine never argues that the rules of theory choice are too weak to condemn it.

This is the same distinction Duhem was making with good sense, restated with more teeth.

5. Empirical under-determination

A different and sharper thesis, from Quine’s 1975 On Empirically Equivalent Systems of the World.

Imagine two theory formulations that are:

1. Empirically equivalent: they entail the same observation sentences
2. Theoretically inequivalent: they differ in their theoretical sentences

Then the theory is under-determined by the empirical data, because the data cannot decide between them. This is a direct problem for scientific realism: if you cannot tell which of two theories is right, which one are you a realist about?

Two varieties, and the distinction matters:

Kind	Concerns	Turns on
Semantic	meaning and interpretation	independent of the evidence
Epistemic	the empirical evidence	what the evidence can settle

Does it ever actually happen?

The interesting question is whether real examples exist, and the honest answer in the literature is: not many, and suspiciously of one type.

• Laudan and Leplin: “It is noteworthy that contrived examples alleging empirical equivalence always involve the relativity of motion; it is the impossibility of distinguishing apparent from absolute motion to which they owe their plausibility.” The pre-eminent historical cases are Ptolemy against Copernicus, which created the idea of empirical equivalence in the first place, and Einstein against Lorentz.
• Quine (1975) himself calls whether any cases exist an “open question”.
• Stanford (2006): critics “have been well within their rights to demand that serious, nonsceptical, and genuinely distinct empirical equivalents to a theory actually be produced” before withholding belief, rather than presuming such equivalents exist when none can be named.

So the strong thesis is widely asserted and thinly evidenced. That is a usable exam point.

6. Poincare’s conventionalism

The best worked example in the lecture, and the one to reach for if asked to illustrate under-determination with something other than Duhem’s abstract schema.

Setup

Non-Euclidean geometries were shown to be mathematically consistent in the nineteenth century by Gauss and Riemann. That creates a question Kant’s picture cannot easily answer.

• Kant: geometry and Newton’s three laws are synthetic a priori. A priori, so independent of experience, yet synthetic, so they add something rather than being mere logical truths. Specific forces such as the inverse-square law and their parameters are empirical, that is synthetic a posteriori.
• Poincare (Science and Hypothesis, 1902): geometry is neither a priori nor a posteriori. It is conventional. We choose the geometric viewpoint that describes experience most simply, but we could take alternatives.

First argument: perception does not hand us three dimensions

We do not perceive space directly as three-dimensional. The visual field is prima facie two-dimensional and only derivatively 3D, and “tactile space” could be multi-dimensional. We discover the structure of space by experiment, but that structure is not unique.

Second argument: the thought experiment

Take a world inside a sphere of radius $R$. Two descriptions of it:

Poincare's sphere

Description 1. The world is a Euclidean disk with a temperature field $T=R^2-r^2$ hottest at the centre, falling to zero at the boundary. Every body has the same coefficient of expansion, proportional to $T$. So any object is largest at the centre and shrinks to nothing as it approaches the edge.

Description 2. Beings inside, whose own bodies shrink by the same law, experience the space as infinite and curved. A ruler shrinks exactly as fast as the thing it measures, so the boundary is never reached. If they develop a geometry, it will be non-Euclidean.

        ┌──────────────────────────────┐
        │        T = 0  (boundary)     │      Outside view:
        │    ╭──────────────────╮      │      a finite disk where
        │   ╱   objects shrink   ╲     │      everything shrinks
        │  │    ·  ·  ·  ·  ·  ·  │    │      towards the edge
        │  │  ·  ▪  ▪  ▪  ▪  ·   │    │
        │  │ · ▪  ███  ███  ▪ ·  │    │      Inside view:
        │  │  ·  ▪  ▪  ▪  ▪  ·   │    │      space is infinite,
        │   ╲   T = R²  (centre) ╱     │      geometry is
        │    ╰──────────────────╯      │      non-Euclidean
        └──────────────────────────────┘

        Same world. Two geometries. No experiment separates them.

The conclusion

For us, with sensory organs habituated to Euclidean space, it seems easier to call this world a Euclidean disk and add a law of physics saying objects expand with temperature. But there is no fact of the matter about which description is right. Beings just like us who happened to live inside the sphere would describe it non-Euclidean.

No experiment decides, because every experimental set-up can itself be interpreted in either picture. The choice is a convention, in the same way that measuring distance in metres or yards is a convention.

This connects straight back to Duhem: laws cannot be tested directly, only indirectly, and the geometry is one of the auxiliary assumptions riding along in every test.

7. Where the lecture lands

• Duhem: under-determination is real, and resolved in practice by good sense rather than logic.
• Quine: scepticism about meanings undercuts the idea of non-empirical knowledge. The web of belief defeats both dogmas at once and rejects the verification principle.
• Empirical under-determination: theory is under-determined by data, and this is very common in scientific practice as transient under-determination, the temporary kind that more evidence later resolves.
• Dualities are potential cases of semantic under-determination, and on De Haro’s own view are not a threat to a cautious scientific realism.

That last point is the lecturer’s own research position, which is worth remembering given who marks the exam.

Key Takeaways

Exam Focus

This lecture is examined directly. Mock exam question 6:

The under-determination thesis was first formulated by Pierre Duhem, and it was later on strengthened by W.V.O. Quine. State this thesis in Duhem’s own version, and explain it with an example.

A model answer, at the half-page the rubric asks for:

Given that a set of premises $\{P_1,\dots ,P_n\}$ deductively entails a statement $O$ describing a possible observation, and that experiment establishes $O^{\prime }$ where $O^{\prime }$ entails that $O$ is false, it follows that the conjunction of the premises is false. It does not follow that any particular premise is false. There is therefore no crucial experiment that can decide between two hypotheses irrefutably, because hypotheses are only ever tested in combination with auxiliary assumptions such as the theory of the experimental apparatus.

Example: an astronomical theory conflicts with telescope observations. The conflict does not say whether the astronomical theory or the optical theory of the telescope is at fault.

It is also the escape hatch in question 3 (Einstein and Eddington). The expected answer says Popper must reject a falsified theory, but adds that by Duhem-Quine the scientist can always place blame elsewhere, and that Popper only permits this when there are independent reasons to reject the measurement, so no ad hoc rescue.

Three things to be able to state cold:

1. Duhem’s thesis in the formal version above, near-verbatim
2. Why no crucial experiment is possible: auxiliary assumptions
3. One worked example. Telescope is fastest; Poincare’s sphere is the impressive one

The distinction people lose marks on

“Logically possible” is not “rational”. Quine shows you can save any statement. Laudan points out he never shows the rules of theory choice are too weak to say you should not. If a question invites you to conclude that under-determination makes science arbitrary, this is the reply.

Links

• Course: Course overview
• Previous: PhilSci-L01 - Introduction and Logical Empiricism · PhilSci-L02 - Kuhn on Scientific Practice
• Source: 3 Under-determination_online.pdf and Flipped classroom - Under-determination.mp4 on Canvas
• Further reading: Curd & Cover, commentary to Chapter 3 · Quine (1975), On Empirically Equivalent Systems of the World · De Haro (2021), The Empirical Under-Determination Argument against Scientific Realism for Dual Theories · Le Bihan and Read (2018), Duality and Ontology