Past exam of the philosophy of science supplementary subject of the University of Oxford / 2021 / 4

A plausible demarcation assesses how a practice makes and tests empirical claims, while allowing unsettled boundary cases. An exact sentence-level test is less defensible than an account of sustained accountability to evidence. Pseudoscience should also be distinguished from honest scientific error and from activities that make no scientific pretension.

Karl Popper's falsifiability criterion identifies something central: an empirical theory excludes possible observations. A proposed relation between a controllable input and an instrument reading is testable only if some readings would conflict with it under the stated conditions. Collecting agreeable anecdotes is weak when an account can be made compatible with every outcome. Risky predictions matter because passing a test should have been difficult for a mistaken account.^[ref]

Yet falsifiability is not sufficient for good science. Someone could guess tomorrow's detector count and then advertise the guess as an established result. The numerical claim is falsifiable, but that does not supply calibration, a justified sampling model or a reliable research practice. Conversely, an investigation can be scientific even if the working model later proves false. The demarcation problem concerns the character of inquiry, not a guarantee of truth.

Nor does a failed prediction always justify immediate rejection of the principal theory. In a test represented by $T\wedge A\Rightarrow E$, the observation $\neg E$ yields $\neg T\vee \neg A$. The auxiliary hypotheses $A$ might include an initial condition, an instrument model or the composition of a sample. This Duhem problem is a logical limitation on what one unsuccessful test establishes.^[ref]

There is nevertheless an evidential difference between a justified repair and an evasive one. If a suspected detector defect is measured independently, and correcting it yields further successful predictions, the change increases the theory's exposure to testing. If a new invisible influence is introduced after each failure with no independent consequences, the repair preserves agreement at the expense of accountability. An auxiliary hypothesis is not disreputable merely because it is auxiliary; its evidential role matters.

Imre Lakatos therefore shifts attention to sequences of theories and their capacity to generate corroborated new results. A programme that repeatedly anticipates discoveries differs from one that continually explains away known failures.^[ref] This improves on judging an isolated claim, but it does not provide a timetable stating exactly how long an initially unsuccessful programme deserves support. New research may need time, and a previously fruitful programme can stagnate.

A workable standard consequently asks whether investigators specify discriminating predictions or comparisons, expose their methods and data to appropriate scrutiny, respond to contrary findings, and seek independent checks. These demands should fit the field. An astronomical claim can be tested by predicted observations and independent instruments even when the investigator cannot manipulate a star. A laboratory science can often use controlled interventions. Requiring all inquiry to copy one laboratory format would exclude legitimate evidence.

An objection is that these standards describe good scientific conduct rather than draw an exact boundary. That is partly right. But a usable demarcation need not be a mechanical classifier for every new idea. Persistent evasion of the standards while claiming scientific authority supports a judgement of pseudoscience; mixed or immature cases can remain unresolved. A single statistical mistake need not condemn an entire field, while a consistent refusal to acknowledge tests can.

The resulting distinction is plausible because it explains what the boundary is for: identifying practices that can correct error through public evidence. It permits criticism of established institutions as well as marginal claimants. Its price is contextual judgement, which is preferable to pretending that one syntactic feature settles every case.

Falsificationism is more plausible than a requirement of conclusive verification, but a fallible theory of testing should retain positive evidential support as well as criticism. The comparison changes if verificationism is weakened to mean empirical confirmability rather than proof.

First separate a methodological thesis from a thesis about meaning. Methodological verificationism says that scientific theories should be established by verifying observations. A stronger semantic version treats verifiability as a criterion of meaningful factual assertion. These positions are not identical. A theory might be meaningful and empirically significant even though no finite test can establish its unrestricted truth.

The central asymmetry is logical. For a universal claim $\forall xF(x)$, observing $F(a_1),\dots ,F(a_n)$ leaves unexamined cases open. A genuine counterinstance $\neg F(b)$ contradicts that universal claim. A finite sequence of favourable tests of an unrestricted physical law therefore differs from a conclusive deduction of it. This gives falsificationism a substantial advantage over strong verificationism: it makes scientific risk possible without demanding an unattainable final proof.

Karl Popper's methodological proposal is not to invent theories that are false, but to formulate conjectures with empirical content and subject them to severe tests. Surviving such tests amounts to corroboration, not conclusive verification.^[ref] A theory that prohibits nothing cannot gain comparable credit simply by retelling whatever happens.

However, the logical asymmetry does not make scientific decisions automatic. The alleged counterinstance depends on identifying the object, measuring the relevant quantity and applying the theory in an appropriate domain. In $T\wedge A\Rightarrow E$, failure of $E$ refutes the conjunction, not uniquely $T$. The Duhem problem therefore defeats a naive rule that every discrepant reading immediately falsifies the central theory. Independent tests of the auxiliary hypotheses can make rejection well justified, but that is additional evidential work.

Statistical models create another difficulty. For $n$ mutually independent trials, each governed by a Bernoulli distribution with success probability $0<p<1$, a specified sequence with $k$ successes has probability $p^k(1-p{)}^{n-k}>0$. An unusual sequence is therefore not a logical counterexample to this model. An appropriate statistical hypothesis test instead asks how surprising a specified discrepancy would be under the model, allowing controlled but nonzero error. The decision depends on the test protocol, sample size and alternatives. Recasting such testing as literal contradiction would erase the distinction between impossible and improbable outcomes.

The universal-claim argument also has a converse. An existential claim can sometimes be established by one well-authenticated instance, although no finite failed search proves that there are no instances anywhere. Therefore the logical asymmetry concerns forms of claims; it is not a proof that every scientific statement must have exactly the same testing structure.

A defender of weak verificationism can accept all this and require only that observations can increase support. Bayesian confirmation, for example, compares a theory's likelihood with those of alternatives. That avoids treating favourable evidence as a proof. It does inherit questions about prior probabilities and the problem of induction, but criticism does not eliminate those questions either. Scientists still need reasons to use one surviving theory rather than another when planning further work.

Thus falsificationism wins against conclusive verificationism by recognizing the openness of empirical theory and the importance of possible failure. It does not win a monopoly on rational scientific reasoning. A stronger account combines demanding tests, scrutiny of auxiliary hypotheses, appropriate statistical treatment and defeasible positive support. The main achievement is disciplined error correction, rather than replacing one promise of certainty with another.