Past exam of the philosophy of science supplementary subject of the University of Oxford

Source: Public Oxford paper, bundle pages 94–95. The cover establishes Hilary Term 2022; the attachment filename uses 2021.

The distinction supplies a coherent strategy for an empiricist realism, but does not by itself justify that realism. It separates an object's relatively stable physical constitution from its effects on perceivers. The strongest defensible version concerns the explanatory roles of properties, rather than a division between wholly real properties and wholly unreal sensations.

For John Locke, primary qualities include extension, shape, solidity, number and motion; secondary qualities are powers of bodies to produce experiences such as colours and tastes through their constitution. The experienced colour need not resemble the physical cause of that experience. Importantly, a power belonging to a body is not thereby imaginary: the primary and secondary qualities distinction need not deny that an unobserved object has dispositions to affect perceivers.^[ref]

This helps empiricism accommodate perceptual variation without abandoning an external world. A surface can produce different colour experiences under different illumination while keeping approximately the same spectral reflectance. A warm and a cool hand can give different sensations in the same water; this need not mean that the water has two incompatible temperatures. The observer's initial state belongs in the explanation. Controlled changes in illumination, viewing conditions and bodily state allow repeatable predictions about experience. An empiricist can therefore treat physical objects as explanatory sources of regularities in experience, rather than demand that every appearance be copied into the object.

However, this explanatory success does not establish that ideas of primary qualities resemble mind-independent properties. We cannot step outside every perceptual and instrumental relation to compare an experience directly with its alleged original. Moreover, the motion and arrangement of unobserved constituents are themselves theoretical commitments. If empiricism permits only what is immediately given in sensation, the distinction introduces precisely the inference beyond sensation that requires defence. If empiricism permits fallible explanatory inference, scientific realism becomes possible, but the justification comes partly from that additional account of inference.

George Berkeley's challenge is that perceived extension and shape vary with viewpoint and perceiver just as colour does, and that extension cannot be experienced wholly apart from sensible qualities.^[ref] This undermines the simple test “variable appearance means merely secondary”. It does not prove that stable physical properties are absent. An obliquely viewed circular disc can produce an elliptical image; geometrical optics explains the relation between the disc and that image. Variation can be evidence for a systematic relation, rather than evidence against an external cause.

Modern physics also discourages treating Locke's list as an unrevisable inventory. Special relativity makes measured length depend on the relation between an object and an inertial frame; motion was relational even in Principle of Galilean relativity. Neither fact makes the measurements arbitrary. Conversely, spectral reflectance is an objective, measurable property even though perceived colour depends on illumination and the perceiver. Objectivity, relationality, perceptual variability and explanatory fundamentality are distinct issues.

The plausible distinction is consequently between an experience and the physical properties and relations that explain it, with the explanation open to correction. An empiricist realism can use this distinction to explain why appearances change while a world persists. It cannot obtain a proof of the external world, or a privileged catalogue of intrinsic properties, simply by naming some qualities primary. The gain is an empirically disciplined model of perception; its limit is that the realist interpretation still needs an argument.

Necessary and sufficient membership conditions are neither a sufficient test of naturalness nor a plausible universal prerequisite for scientific classification. They can characterize some natural kinds very successfully. The mistake is to turn that success into a requirement that every scientifically useful grouping must satisfy a single essentialist pattern.

First distinguish three demands. A classification may have an exact extension, scientists may know an exact test for membership, and membership may be grounded in properties that members necessarily share. These are different claims. Ignorance of an exact test does not show that no common constitution exists. Conversely, an exact definition alone does not show that a category tracks a scientifically significant structure. “An object with mass below one kilogram or temperature above 300 kelvin” specifies necessary and sufficient conditions, yet offers no general reason for a common underlying explanation or reliable extrapolation.

Chemical elements provide a favourable case for a comparatively sharp criterion. In the usual classification of atomic nuclei, carbon has atomic number six, meaning six protons. Different isotopes need not have the same mass, and ionization changes electron number without changing the chemical element. The underlying criterion explains why superficially varying samples can belong together. It also distinguishes a defining physical structure from a readily observed stereotype: ordinary appearance is a poor general test of a chemical element. Even here, the claims must be scoped to the relevant physical objects; an arbitrary mixture containing some carbon is not thereby one carbon chemical atom.

Species make the universal requirement much less attractive. The biological species concept organizes sexually reproducing populations through reproductive relations, but an infertile organism can still belong to a species. Universal actual interbreeding is not required, and asexual organisms demand other classificatory resources. A species is historically extended: descent, gene flow, shared development and environmental interactions help explain similarities without requiring every individual to possess every diagnostic trait. Distinguishing members by a list that merely records all actual individuals would not explain why their similarities support further predictions.

Richard Boyd's homeostatic property cluster theory supplies an alternative. Properties can tend to co-occur because processes maintain their association, while individual members lack some traits and boundaries remain imperfectly sharp.^[ref] For a species, shared ancestry, gene flow and common developmental resources can help maintain such a cluster. “Homeostatic” here need not mean a literal fixed physiological set point. The proposal concerns processes that explain a persistent association of traits.

An objection is that a cluster account merely turns every convenient resemblance into a natural kind. The reply must add a constraint: the grouping should support successful inquiry because it tracks relevant causal or historical structure. Similarity of two laboratory samples due only to the current lighting gives little basis for extrapolating their chemical behaviour. Shared constitution, by contrast, can support predictions under changed illumination and independent testing. This distinguishes useful tracking of nature from a category selected solely to fit a past sample.

A second objection is that vague membership makes disagreement impossible to settle. Sometimes sharper operational criteria are needed, but different research purposes may legitimately attend to different processes. A classification useful for reproductive isolation need not settle every question about descent. That is a reason to state the relevant species concept and domain, rather than to require the scientific world to contain one unique partition for every purpose.

Thus exact membership conditions remain valuable where an explanatory common structure supplies them. Their absence is not a decisive reason to reject a proposed natural kind. The better standard is whether the classification reliably supports explanation and inference through a defensible account of the processes that sustain it.

Vagueness and theory dependence create a burden of clarification for constructive empiricism, but neither yields an immediate contradiction. The harder issue is whether observability deserves the special role in belief that the position assigns to it.

Constructive empiricism, associated with Bas van Fraassen, distinguishes acceptance of a theory from belief in its full truth. Acceptance involves belief in empirical adequacy, together with commitments to use and develop the theory. Empirical adequacy concerns all observable phenomena, including unobserved and future ones; it is stronger than fitting the observations already collected. The position interprets theoretical claims literally but allows suspension of belief about unobservable entities. It is therefore not the claim that theoretical language is meaningless.^[ref]

Observability is a capacity notion. An object can be observable although nobody has observed it: a distant large rock might be seen if a person were suitably situated. Conversely, seeing a detector display does not by itself mean seeing the microscopic entity invoked to explain the display. Van Fraassen treats instruments as devices producing new observable phenomena, which theories must account for, rather than automatically as transparent windows onto whatever their interpretation postulates.^[ref]

Consider first vagueness. Gradually reduce the size or contrast of a visible mark. There need be no uniquely defensible final size at which it ceases to be visible for a human observer. It does not follow that there is no difference between an ordinary tree and an individual electron. Many distinctions have clear central cases and disputed margins. A constructive empiricist can specify the relevant human community and conditions, allow unsettled borderline cases, and suspend judgement where the classification is unclear. This response preserves the core position, although it prevents the epistemic policy from being an exact mechanical rule for every proposition.

Now distinguish kinds of theory-ladenness. Learning to recognize a detector pattern may involve theoretical training. Describing the pattern as evidence of an electron invokes a further interpretation. Neither point shows that a visible arrangement of marks can be accepted only if the whole electron theory is true. Competing accounts may agree on the marks while disagreeing about what produced them. Public calibration, comparison between observers and independent experimental procedures can constrain descriptions without requiring an entirely theory-free vocabulary.

A stronger circularity objection concerns using optics and physiology to determine the limits of observability. If those theories mention unobservable mechanisms, does taking their account of those limits seriously require believing in the mechanisms? One response is to accept the theories' observable consequences about human performance, while remaining agnostic about their full interpretation. Measurements of which marks people discriminate need not establish every microscopic explanation of that performance. The response works best when observable constraints on the capacity claim can be identified independently of the disputed mechanism; simply repeating the theory's own classification would be insufficient.

Nevertheless, the realist retains an important objection. Both ordinary observation and instrument-mediated detection rely on causal processes, calibration and background assumptions. Why should a small change in human perceptual capacity determine the boundary of warranted belief? Independent methods that converge on the same electron electric charge appear to offer a reason for belief extending beyond unaided perception. The constructive empiricist can allow such belief to be rational while denying that acceptance of science requires it, but should acknowledge the resulting permissiveness of the position.

Vagueness therefore limits precision rather than destroying the observable/unobservable distinction. Theory-ladenness defeats a naive foundationalism, not every use of observational evidence. The deepest unresolved question is normative: whether withholding belief beyond empirical adequacy is a compelling policy, or merely one coherent attitude toward the same scientific achievements.

A defensible demarcation evaluates a practice's accountability to evidence, rather than treating one syntactic feature of a claim as a complete test. There are clear cases of pseudoscience, even if there is no exceptionless rule that classifies every immature or disputed research programme immediately.

Karl Popper's falsifiability criterion captures an essential insight: a claim has empirical content when some possible outcomes conflict with it. A prediction that a specified sample will always have the same electric charge would exclude outcomes that a claim allowing every possible result does not. If apparent failures can always be redescribed as successes, accumulated favourable stories do not supply a demanding test. Popper also emphasizes risky predictions and warns that protective modifications can destroy a theory's testability.^[ref]

However, falsifiability alone is not sufficient. A bare numerical prediction chosen without evidence may be perfectly falsifiable. So can a particular astrological claim. Testing such a claim seriously can be scientific work; a movement that advertises the claim while systematically ignoring its failure can still be pseudoscience. Logical vulnerability and actual willingness to learn from tests are different properties. Moreover, a false theory can be scientific, while a true guess can lack a scientific basis. Demarcation is not identical to separating true from false statements.

Nor should every discrepancy lead to immediate rejection. Predictions depend on instruments, initial conditions and auxiliary hypotheses. A detector fault may explain a failed prediction more reasonably than rejection of a well-tested physical law. Imre Lakatos therefore evaluates sequences of theories and their treatment of anomalies: a progressive programme generates new testable successes, whereas a degenerating one primarily adjusts to what is already known.^[ref] This improves on assessing an isolated sentence, although deciding when a programme has had enough time is itself contestable.

A workable standard combines several mutually supporting demands. Claims should specify relevant evidence and conditions of application; tests should expose them to substantial risk of failure; data and methods should permit criticism and appropriate scientific replication; and revisions should improve independently assessable performance. The crucial unit is a sustained practice presenting itself as scientific knowledge. Persistent selective reporting, explanations invented solely to absorb each failure, and refusal to permit competent scrutiny undermine that claim to authority.

For a concrete illustration, suppose a proposed material emits a new kind of signal. Initially poor understanding does not make the proposal pseudoscience. Researchers could specify detector settings, compare blinded signal-present and signal-absent trials, publish failures, and seek independent scientific replication. Contrast a practice that discloses only positive trials, changes the claimed conditions after each negative result, and gives no independent test of the revised conditions. The difference concerns the treatment of evidence, even if both practices use technical language and the same apparatus. The comparison is hypothetical; it does not depend on attributing misconduct to a named group.

This standard has borderline cases. A promising theory can temporarily lack accessible tests, and a programme can rationally survive a period of failure. It should then be represented with the corresponding uncertainty, rather than sold as established. Longstanding prestige, popularity and institutional affiliation are evidence about a community at most; they cannot replace examination of its methods.

Such a criterion is fallible and allows degrees, but that is compatible with useful discrimination. The best boundary identifies practices that systematically evade the evidential responsibilities they claim to meet. It preserves Popper's demand for genuine exposure to failure while incorporating the historical fact that responsible science tests and revises interconnected systems of claims.

The covering-law model explains an event by showing how it falls under general laws in specified circumstances. It captures a major form of scientific understanding, but entailment and predictability do not by themselves capture explanatory relevance or direction.

In the deductive-nomological model, let $L$ be laws, $C$ relevant circumstances, and $E$ the event description. The explanans is $L,C$; the explanandum is $E$. The argument has the formThe deduction must be valid, at least one law must be essential to it, the explanans must have empirical content, and its premises must be true for a sound explanation. Merely writing a valid argument from arbitrary premises is insufficient. Carl Hempel and Paul Oppenheim also identify a structural affinity between explanation and prediction: supplied beforehand, the same premises could in principle support the prediction.^[ref]

For an ideal simple pendulum at small amplitude, Newtonian mechanics and the specified constraints yieldHere $ell$ is the pendulum's length, $g$ the local gravitational acceleration, and $T$ its oscillation period. The deduction connects an observed regularity to more general laws and explains why changing length changes the oscillation period. The approximation must be stated: a finite-amplitude, dissipative simple pendulum does not exactly satisfy these premises. A useful model-based explanation can be approximately correct even when the ideal premises are not literally true.

The model's appeal is that it requires more than an evocative story. It displays assumptions and shows why they constrain the phenomenon. It can also explain laws through wider laws: geometrical optics can recover a refraction law from suitable descriptions of wave propagation. A principle theory can explain by constraints without supplying a detailed constructive theory of every constituent process. This is a strength of the account's generality.

The first difficulty is asymmetry. For a vertical pole of vertical length $h$ on level ground and the Sun's elevation angle $\alpha$, geometrical optics gives the shadow's lengthWith suitable premises, either deduction is valid. Yet the pole and illumination explain the shadow, whereas measuring the shadow ordinarily allows inference to the pole's vertical length without explaining why the pole has that vertical length. The same equation supports both calculations. Its logical form does not encode the relevant direction of dependence. Context can change the question, but the distinction between explanation and evidential reconstruction remains.

The second difficulty is irrelevance. Adding the premise that a laboratory wall is blue to a correct simple pendulum derivation preserves validity and the essential use of physical laws. The extra premise contributes nothing to explaining the oscillation period. More elaborate examples show the same problem when irrelevant factors are hidden inside statistical regularities. The explanatory account needs a way to identify what matters under relevant changes, not just what accompanies a valid derivation.

The inductive-statistical model extends the programme to explanations using statistical laws and high conditional probability, relative to appropriate available information. This is an extension beyond the deductive focus of the 1948 article. High probability is nevertheless not necessary for every explanation. Radioactive decay can explain an infrequent detector event through a physical process and its nuclear decay constant, although that particular event in a short interval was unlikely. Nor does a high conditional probability automatically establish explanatory relevance: a reliable indicator may be an effect of the outcome or share another cause with it.

A better assessment therefore retains law-based derivations as one explanatory resource while adding dependence, relevance and the question being asked. Mechanistic explanations identify productive processes; accounts based on interventions ask which changes would alter the outcome. Neither proposal needs to force every mathematical or constraint-based explanation into a causal story. The covering-law model illuminates how laws make phenomena intelligible, but it is too broad as a sufficient test and too restrictive as a universal necessary form.

The history of science can constrain philosophical claims and support conditional methodological lessons. It cannot, without further premises, turn a record of what scientists did into a rule about what everyone ought to believe. Its strongest contribution is often to reveal that an apparently obvious account of science was too simple.

Consider the claim that scientific progress always adds new facts while preserving every central accepted proposition. The transition from Newtonian mechanics to special relativity supplies a counterexample. Under a Galilean transformation, temporal separation is absolute; a Lorentz transformation mixes time and space coordinates. These are incompatible accounts at unrestricted scope. Yet Newtonian mechanics retains great predictive value at low velocity. Historical change therefore supports a distinction between wholesale accumulation of truths and more limited retention of successful relations. It neither shows that all past knowledge was worthless nor guarantees that current fundamental theories are final.

Thomas Kuhn makes the replacement of central commitments, problems and standards central to his account of scientific revolutions. His introductory examples concern changes that reorganize inquiry, rather than merely adding one item to a fixed inventory.^[ref] This supports a warning against reading present categories unaltered into the past. It does not establish that different scientific communities can never compare evidence or understand one another. Semantic or methodological change is weaker than the claim that rational comparison is impossible.

A second lesson concerns anomalies. If actual successful inquiry sometimes retains a theory while examining instruments or auxiliary hypotheses, a methodology demanding abandonment at the first discrepancy misdescribes that inquiry. This matters because experimental predictions concern a package, not a lone sentence. Lakatos's comparison of progressive and degenerating programmes turns attention to whether retaining a framework produces independently corroborated developments.^[ref] The lesson is conditional: persistence is defensible when it opens productive tests and alternatives, not simply because famous scientists once persisted.

The history of science also puts pressure on scientific realism. If empirically successful theories have posited entities later rejected, success alone cannot guarantee literal truth. Larry Laudan's historical challenge targets a proposed explanatory connection between success, reference and approximate truth.^[ref] But a list of failures cannot establish the fraction of successful theories that fail unless the population and selection process are specified. Cases chosen precisely because they were overturned are an especially poor basis for an unqualified numerical forecast about present theories.

There is also a distinction between a historical cause of belief and a justification for belief. Training, instrumentation and institutions affect which theories scientists can develop and test. This makes science a human activity without showing that its results are merely expressions of local preference. A historically informed evaluation should compare the evidence available at the time, the competing proposals, and the costs of different mistakes. Otherwise, hindsight converts the eventual winner's assumptions into premises that earlier participants supposedly should already have known.

These conclusions are philosophically important because they change how we allocate trust. They favour confidence differentiated by claim and domain, explicit attention to auxiliary hypotheses, and humility about extrapolation. They also favour institutions that preserve criticism and scientific replication, because individual ingenuity does not ensure reliable correction. The further normative premise is explicit: methods deserve support insofar as they help inquiry detect error and achieve its evidential aims.

History consequently offers counterexamples to universal philosophical generalizations and evidence for competing explanations of scientific change. It does not choose a unique epistemology automatically. Its value lies in making accounts of rationality and progress answerable to what careful investigation actually reveals, while keeping the passage from description to evaluation open to argument.

Scientific confirmation is evidential support rather than deductive proof. Two distinct problems concern, first, what counts as relevant positive evidence and, second, which part of a tested theoretical package that evidence supports. A defensible response makes background information and the production of evidence explicit. The following two problems are independent: resolving the logical puzzle about positive instances does not eliminate ambiguity about auxiliary hypotheses.

Problem one: the raven paradox. Write the hypothesis aswhere $R$ means “is a raven” and $B$ “is black”. Its contrapositive isThe hypotheses are logically equivalent. A plausible equivalence principle says that identical information must support them equally. A plausible instance principle says that an observed $F$ that is $G$ confirms “every $F$ is $G$”. Combining the principles makes a nonblack nonraven, such as a white shoe, support the raven hypothesis. That conflicts with the intuition that inspecting shoes tells us nothing about ravens. Hempel develops the puzzle in his analysis of instance-based scientific confirmation.^[ref]

My preferred response retains logical equivalence while rejecting an unconditional instance rule. By Bayes' theorem, for evidence $E$, background $K$ and positive relevant probabilities,An instance's bearing depends on how likely it was under the competing possibilities, including how the object was selected. No rule depending only on the grammatical form of an instance can settle that comparison. Branden Fitelson and James Hawthorne analyse the role of background assumptions and Bayesian confirmation in this puzzle.^[ref]

Here is an explicit illustrative model. There are 100 labelled objects: ten known ravens and ninety known nonravens. Under $H$ all ten ravens are black; under the sole alternative $A$, exactly one of the ten is nonblack, with its identity uniformly distributed. Nonraven colours are already known and identical under both possibilities, and the prior probabilities of $H,A$ are equal. Selecting a known white shoe according to a rule independent of $H,A$ has the same likelihood under each, so the posterior probability of $H$ stays $1/2$. A uniformly selected raven, however, is black with probability $1$ under $H$ and $9/10$ under $A$. After observing it to be black,If sampling is instead from known nonblack objects whose membership is uncertain, discovering a nonraven can rule out a possible counterexample and provide support. There is no context-independent prohibition on support from a nonraven. The response explains both the familiar irrelevance intuition and why it is not universally correct. Its limit is that the prior probabilities and sampling assumptions need independent defence; the calculation is a transparent model, not a theorem that all shoes are irrelevant.

Problem two: the Duhem problem of testing a package. Suppose the target hypothesis $T$ and auxiliary hypotheses $A$ jointly imply an outcome $E$:A failure gives $\neg (T\wedge A)$, equivalently $\neg T\vee \neg A$, rather than $\neg T$ alone. Success also does not establish either premise: that would affirm the consequent. Pierre Duhem's point is especially pressing for physical experiments whose predictions require theories of the apparatus as well as the target system.^[ref]

My preferred response combines independent calibration, deliberately varied tests and explicit comparison of packages. For a simple model, suppose a detector has independently calibrated false-positive probability $f$ and detection efficiency $d$. A target predicts a signal on each trial with probability $s$. Then the positive-output probability isUnder a no-signal rival it is $p_0=f$. If $s=1/2$, $d=9/10$, and $f=1/10$, then $p_T=1/2$. One positive reading supplies a Bayes factor of $5$ for the specified target package against the specified no-signal package. But an uncalibrated faulty detector with false-positive probability $1/2$ fits the same positive-reading rate. Target data alone do not distinguish those packages.

Signal-absent calibration trials test the false-positive assumption directly. If ten independent such trials are all negative, their likelihood ratio in favour of $f=1/10$ against $f=1/2$ isThis does not magically isolate $T$: the calibration relies on its own assumptions, and correlated trials would invalidate the power calculation. It shows concretely how additional evidence can discriminate explanations that the initial data leave unresolved. Repeating the target measurement with apparatus based on different physical processes further reduces dependence on one shared failure mode.

Thus the Duhem problem defeats automatic attribution of support or failure, not rational experimental comparison. Where rivals remain empirically equivalent, suspension of judgement about their difference is appropriate. Together, the two responses defend scientific confirmation as a structured, fallible comparison using background information, rather than either pure instance counting or a mechanical verdict on an isolated hypothesis.

Scientific change is a serious threat to indiscriminate scientific realism, but not a deductive refutation of every realist position. A defensible realism must identify which claims deserve belief, at what precision and within which domain, rather than merely promise that mature theories are “approximately true”.

Scientific realism includes the claim that a mind-independent world exists and the stronger epistemic claim that scientific inquiry gives warranted knowledge of at least some unobservable aspects of it. Theory replacement directly challenges the latter inference, not the bare existence of an external world. Disagreement between successive descriptions does not imply that neither describes anything real.

The historical objection is nevertheless substantial. A theory can make successful predictions while its central interpretation is later rejected. The luminiferous aether illustrates the risk of identifying successful wave optics with the literal truth of a particular mechanical medium. If earlier scientists had impressive evidence and still endorsed dispensable theoretical entities, why suppose that comparable evidence now guarantees our own entire interpretation? Laudan presses this challenge against the connection between success, reference and approximate truth.^[ref]

One reply distinguishes literal truth from controlled approximation. In special relativity, the kinetic energy of a massive particle isThe Taylor expansion for $|v|/c\ll 1$ givesThus the classical kinetic energy is recovered in a specified regime, with a leading relative correction of $3v^2/(4c^2)$. It would be wrong to conclude that Newtonian mechanics is globally true, or that all its physical concepts survive unchanged. It would be equally wrong to infer that its low-speed predictions were accidental. The survival of a quantitatively controlled relation is a more discriminating claim than survival of every piece of ontology.

John Worrall's structural realism makes preservation of mathematical relations central, using the transition from Augustin Fresnel's optics to electromagnetism as a key example.^[ref] This explains why a theory might retain a real achievement while abandoning its proposed mechanism. However, structure cannot mean just any equations with some empirical fit: the realist must identify the relevant physical interpretation, domain and counterfactual content. Otherwise the view risks saying little beyond empirical adequacy.

A related selective response commits to elements that carry a theory's tested successes, while treating speculative additions more cautiously. Its strongest evidence is convergence across independent experiments, robustness under changes in modelling assumptions, and success on predictions not used to tune the theory. For example, support for a stable electron electric charge need not amount to belief in every current claim about the ultimate nature of an electron. But selectivity must be defensible before a later replacement occurs; choosing surviving components only in hindsight cannot vindicate past realist confidence.

The anti-realist can still explain scientific success by demanding empirical fit and retaining successful models, without inferring truth about unobservables. That response blocks any simple argument that realism is logically compulsory. Conversely, pointing to historical failures does not establish that every presently supported claim will fail. Such an inference would need a justified comparison class, a measure of success and an account of how testing has changed.

The appropriate conclusion is discriminating fallibilism. Changes threaten claims of finality and blanket trust in a theory's full ontology. They can also reveal stable, independently tested relations and improve our understanding of their limits. Scientific realism survives as a qualified position only if it makes those distinctions explicit and remains willing to revise the very commitments it currently regards as best supported.

Source: Public Oxford paper bundle. The paper's cover establishes Hilary Term 2021; the attachment filename uses 2020.

Scientists should take sceptical challenges seriously when they reveal unsupported assumptions or distinguishable sources of error. They need not obtain a proof against every conceivable deception before conducting an experiment. This position concedes the force of some philosophical scepticism while rejecting certainty as the normal standard of scientific warrant.

There are several importantly different challenges. Global philosophical scepticism questions whether an external world exists at all. The problem of induction questions the justification for extending observed regularities to unobserved cases. Local criticism questions a particular instrument, sample or inference. A response appropriate to the last challenge need not answer the first. Repeating a measurement with a second instrument can expose a faulty sensor; it does not prove that all experience is independent of a deceiving agency.

David Hume's challenge to inductive reasoning is especially relevant. A finite record does not deductively entail a universal generalization. Nor can the inference be justified simply by saying that past uses of inductive reasoning succeeded: that argument itself extends a past regularity beyond the observed cases. The possibility that an observed regularity fails tomorrow is not a contradiction. This identifies a real gap between deduction and empirical projection.^[ref]

For example, suppose a metal's measured resistance agrees with $R(T)=R_0[1+\alpha (T-T_0)]$ throughout a tested temperature interval. Both that expression and a rival with an extra term zero throughout the interval fit those measurements exactly, yet can disagree outside it. Additional measurements can discriminate specified rivals, but no finite collection excludes every possible future deviation. The scientific lesson is to state the tested domain, physical assumptions and uncertainty. A linear electrical resistance model can be useful without being a universal law; a phase transition is an independently intelligible reason why extrapolation might fail.

One might reply that successful prediction and scientific replication justify confidence. They certainly distinguish a tested model from an arbitrary guess under the ordinary standards of inquiry. They do not supply the noncircular proof demanded by radical philosophical scepticism. A Bayesian inference similarly makes the dependence on prior probabilities and likelihoods explicit; it does not deduce the correctness of those commitments from no premises. Acknowledging this limit is preferable to claiming that a mathematical updating rule dissolves the problem of induction.

The sceptic nevertheless owes us an account of the practical consequence. If two global possibilities give exactly the same observable consequences under every available intervention, their difference does not identify which laboratory procedure to change. A scientist can suspend judgement about that difference while comparing models that make different predictions. This is a defence of proceeding under fallible standards, rather than a refutation of global philosophical scepticism.

By contrast, local criticism can reorganize an entire research programme. If an apparent signal might be instrument drift, useful responses include independent calibration, reversing a controllable input, measuring an appropriate control and conducting scientific replication. Those procedures make the proposed error account answerable to evidence. Merely imagining that every control could also be deceptive adds no further discriminating test.

The defensible policy is therefore fallibilism: confidence proportionate to the testing and domain, openness to identifiable error, and no claim to absolute foundations. Sceptical arguments matter most when they improve the questions asked of a model. Their inability to be conclusively defeated does not make every model equally warranted or make scientific work irrational.

A distinction between physical constitution and perceptual response is plausible and scientifically useful. A division into wholly objective primary qualities and wholly unreal secondary qualities is much harder to defend. These are different interpretations of the primary and secondary qualities distinction.

John Locke attributes extension, solidity, shape, number and motion to bodies as primary qualities. Secondary qualities are powers to produce sensations through the constitution of bodies: a body's power to produce a colour experience is distinct from the experience itself. This distinction need not make the power unreal. Nor should the further resemblance thesis, that ideas of primary qualities resemble their causes, be confused with the more modest claim that bodily constitution explains experience.^[ref]

A modern model of colour perception shows what can be retained. For a nonfluorescent surface in fixed viewing geometry, a simplified cone cell response isHere $L$ is the incident spectral irradiance, $R$ the spectral reflectance, and $S_i$ an effective sensitivity for one of three cone cell classes. Neural processing and adaptation also matter, so these responses are not a complete identification of perceived colour. Nevertheless, the model separates the surface, illumination and observer rather than assigning every experienced variation to a changing surface.

It follows that one surface can produce different responses under different illumination. Conversely, distinct spectral reflectance functions can produce the same three responses for a specified illuminant and observer, a case of metamerism. Three weighted integrals do not in general uniquely determine a whole function. Thus identifying experienced colour with one intrinsic surface property loses both the dependence on the observer and the many-to-one character of the response.

The scientific benefits are concrete. A comparison of paints should specify illumination and observer conditions. A measurement intended to characterize a material can instead estimate its spectral reflectance, preserving information that a single colour match discards. In both cases the distinction tells an investigator what to hold fixed and what to vary. It organizes experiments and explains disagreement without requiring that one observer be hallucinating.

However, perceptual variability alone does not distinguish primary qualities from secondary qualities. George Berkeley points out that apparent extension and shape also change with viewpoint and perceiver.^[ref] A circular disc yields different projected shapes at different viewing angles. The stable object is inferred through a model of that variation; it is not simply copied into experience. Primary qualities therefore have no automatic exemption from the interpretative work involved in perception.

Nor is relationality equivalent to subjectivity. In special relativity, measured length depends on an inertial frame, but relations between such measurements are tightly constrained. Conversely, a disposition to affect a specified perceiver under specified conditions can be an objective physical fact. Classifying a property as relational does not settle whether it is real, measurable or explanatory.

The best distinction is consequently functional and revisable: distinguish the experience to be explained from physical properties and relations used to explain it. That retains the scientific benefits of separating constitution, environment and response. It does not establish an immutable list of primary qualities, a simple resemblance relation between experience and object, or a proof of scientific realism.

Old evidence challenges a simple account of confirmation as actual conditional updating, but does not refute every probabilistic treatment of the raven paradox. The strongest response distinguishes support from newly acquired information and makes the sampling procedure explicit.

Let $H$ say that every raven is black. Its contrapositive says that every nonblack thing is a nonraven. Since these statements are logically equivalent, evidence should support them equally. Combining this equivalence requirement with the unrestricted rule that every positive instance confirms a universal generalization appears to make discovering a white shoe support $H$. The tension is between that result and the judgement that such a discovery is irrelevant.^[ref]

Bayesian confirmation replaces an automatic instance rule with a comparison of likelihoods. For background $K$, positive prior probability for both $H$ and its alternative, and evidence $E$ of positive probability,The equivalence follows directly from Bayes' theorem. A statement's grammatical appearance as a positive instance does not determine either likelihood.

Consider an intentionally simple finite model. There are $r$ ravens and $M$ nonblack objects, with these counts fixed under both hypotheses. Under $H$ none of the nonblack objects is a raven; under the sole alternative $H_1$, exactly one is. Selecting uniformly among the nonblack objects and discovering a nonraven has likelihoods $1$ and $1-1/M$. Selecting uniformly among the ravens and discovering a black one has likelihoods $1$ and $1-1/r$. With equal prior probabilities, the respective posterior probabilities of $H$ areIf $M\gg r$, the first discovery supplies far less support. For $M=10^6$ and $r=100$, the increases over $1/2$ are approximately $2.5\times 10^{-7}$ and $0.00251$. This illustrates a possible resolution of the intuitive disparity, not a theorem that every nonblack nonraven always confirms $H$. More complex alternatives can reverse the comparison, and examining something already known to be a shoe need supply no relevant new information.^[ref]

Now suppose $E$ is already in $K$. Then $P(E\mid K)=1$, and ordinary conditioning givesThere is no further increase from learning the same fact again. Yet an already established observation can become an important reason to accept a subsequently developed theory. Clark Glymour's problem of old evidence exposes this mismatch between actual updating and scientific assessments of evidential support.^[ref]

One response evaluates the observation relative to an earlier or counterfactual background that does not contain it. That can represent how strongly a theory accounts for the observation compared with alternatives. It must specify that background rather than pretend to remove knowledge uniquely from a person's present beliefs. Another response concerns learning that a theory successfully accounts for the observation. That discovery can be new even when the observation is old. Modelling it requires attention to limited reasoning and changing hypotheses; an ideal agent already knowing every logical consequence cannot simply learn an entailment it previously overlooked.

Neither manoeuvre licenses counting the same evidence twice, or ignoring that parameters were selected to fit it. Neither establishes a unique complete theory of confirmation. Nevertheless, the old-evidence objection concerns the interpretation and completeness of a probabilistic framework; it does not invalidate the likelihood calculation for genuinely new sampling information.

The preferable solution combines a background-sensitive account of support with rejection of unrestricted instance confirmation. It preserves logical equivalence while allowing a white shoe to provide tiny support, no support or contrary support under different justified models. This is more explanatory than assigning confirmation solely from logical form, although assessing old evidence requires additional work beyond routine conditioning.

Explicit reference to laws is not necessary for every good scientific explanation. Laws remain indispensable in many explanations, but their occurrence alone is not sufficient either. The issue turns partly on whether a law means a contingent regularity of nature, any supporting generalization, or even a mathematical necessity.

The deductive-nomological model offers a strong positive case. Laws and circumstances entail the phenomenon, and at least one law is essential to the derivation. For example, Newton's second law and an inverse-square gravitational force, with appropriate initial conditions, yield predictions for an idealized two-body orbit. A universal relation unifies cases that otherwise look like unrelated observations. Carl Hempel and Paul Oppenheim explicitly develop adequacy conditions for such deductive explanations; their 1948 paper should not be read as a finished treatment of every statistical explanation.^[ref]

However, derivability does not always give the right explanatory direction. In a simplified geometrical optics model, a vertical pole of height $h$ on level ground casts a shadow of length $\ell =h/\tan \theta$ at solar elevation $\theta$. Given $h$ and $\theta$, one derives $\ell$; given $\ell$ and $\theta$, one derives $h$. The same geometrical relations enter both derivations. Yet the shadow does not normally explain why the pole was built to that height. The reverse calculation is a way to measure its height. The difference concerns which features produce or constrain which others, rather than deductive validity alone.

Mechanistic explanation is another challenge to a compulsory law-based format. A clock stopped because debris blocked a particular wheel, thereby preventing the mechanism from advancing. Inspecting the obstruction, removing it and observing restored operation can answer the causal question with considerable precision. The explanation describes organization and a relevant difference-making event without stating a universal law. It is more informative about this failure than the observation that every component obeyed Newtonian mechanics.

A defender of the covering-law model can reply that the causal account relies implicitly on regularities: debris that offers no resistance would not stop the wheel. This is a fair warning against treating a bare chronology as an explanation. But it does not establish that explanatory understanding requires identifying exceptionless fundamental laws, or that replacing the account with a complete microscopic derivation would improve the answer. Stable, tested relations in the actual operating regime may be sufficient.

An explanation can also turn on a mathematical constraint. Suppose an engineer asks why a connected network with four odd-degree junctions cannot be inspected by a route using every segment exactly once. Represent junctions as vertices and segments as edges of an undirected graph. Every intermediate visit pairs an incoming and an outgoing edge, so only the two endpoints of an open trail can have odd vertex degree. Four such vertices therefore exclude an Eulerian trail. The impossibility persists if segment lengths, construction materials or walking speeds change while the connections remain fixed. This is the obstruction in the Seven Bridges of Königsberg.^[ref]

The physical application requires that the graph represent the allowed routes correctly. Once that is granted, the explanatory necessity comes from parity, rather than a contingent physical law. Calling every mathematical constraint a law would preserve the original claim only by greatly widening its meaning. A critic may restrict “scientific” to causal explanations, but that restriction needs justification when applied mathematics answers a concrete engineering question.

Thus laws are powerful explanatory resources, and good explanations normally support relevant what-if judgements. Those judgements can be grounded in laws, mechanisms or mathematical constraints. Requiring explicit reference to laws imposes an unnecessarily narrow format; requiring some disciplined account of dependence is much more defensible.

Change is compatible with natural kinds, provided there is a defensible basis for tracking membership and explaining the changing properties. Requiring every property to remain unchanged would exclude nearly all physical objects. The important distinction is between variation within a kind, a transition out of it, and changes in the population that constitutes it.

Chemical elements offer a relatively sharp case. A carbon atomic nucleus has atomic number six, meaning six protons. Its isotope depends also on its neutron number; the ionization state of a carbon chemical atom can change without changing its chemical element. Temperature, position and velocity can also change. Classifying these objects together is useful because the relevant common constitution supports further inference, not because their entire property lists are identical at every moment.

A nuclear reaction that changes the proton number is different: it can produce a nucleus of another chemical element. This does not refute the original classification. It identifies a process under which membership changes. A theory of natural kinds should permit transformations between kinds rather than require its members to exist forever. The ordinary criterion also has a domain: an arbitrary mixture containing carbon is not itself a single carbon chemical atom.

Water makes a complementary point. A sample can undergo melting or boiling, changing density, rigidity and transport properties while retaining its ordinary chemical identification. The claim must be qualified: a bulk sample contains interacting molecules, and its detailed composition can include dissociation products. It need not consist at every instant exclusively of isolated identical water molecules. Nevertheless, changes of thermodynamic phase are explained through the constitution and organization of the material, rather than by treating every different appearance as a new unrelated substance.

These examples might suggest that some fixed microscopic essence is always required. Species put pressure on that inference. Individuals develop and differ; the distribution of inherited traits can change across generations through natural selection, genetic drift and gene flow. A demand that every member share an unchanging diagnostic appearance would misrepresent this history. It would also make a change in the frequency of one trait automatically create a new species, which is not how the relevant evolutionary processes work.

Homeostatic property cluster theory provides one alternative. Traits can tend to occur together because common development, shared ancestry and interactions within a population sustain their association. The traits need not be universal, and the maintaining processes need not freeze their frequencies. A population can change while retaining enough historical and causal continuity to support useful inference.^[ref] This is not a claim that every species concept gives the same boundaries. Reproductive relations, descent and ecological processes can motivate different criteria for different investigations.

An objection remains: if both members and their traits change, what prevents a natural kind from becoming a mere convenient label? The answer cannot be resemblance alone or an arbitrary chain of small changes. The proposed grouping must track processes that support reliable explanations and suitably qualified predictions. If the processes maintaining a cluster break down, or a lineage divides into independently evolving populations, continuing to use one label may cease to serve the relevant inquiry. Membership can be uncertain near such transitions without making every central case arbitrary.

There is also no requirement that all natural kinds have the same basis of unity. The atomic number criterion and a historically sustained population answer different scientific questions. Imposing the former structure on every biological grouping would mistake one successful form of classification for a universal metaphysical rule.

Changing properties therefore do not by themselves defeat naturalness. The scientific work lies in identifying which variations a kind tolerates, which transformations end membership, and why its remaining unity supports inference. A classification earns its status through that explanatory achievement, not through the fiction that nature is motionless.

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.

It is implausible to deny every case of revolutionary theory change, but reasonable to reject the claim that such changes are instantaneous, complete or wholly disconnected from earlier science. Much turns on the strength of the proposed notion of revolution.

Thomas Kuhn challenges a picture of scientific development as the steady addition of true propositions. His contrast between normal science and revolutionary episodes concerns changes in accepted problems, methods and exemplary achievements as well as changes in propositions. A community can revise the framework within which it decides what needs explaining.^[ref] This is a historical proposal, not the claim that every important discovery is a revolution.

The transition from Newtonian mechanics to special relativity supplies a clear physical example of a deep conceptual change. Consider two spatially separated events, and let their differences in one inertial frame be $\Delta t$ and $\Delta x$. A Lorentz transformation givesFor $\Delta t=0$, $\Delta x\ne 0$ and $v\ne 0$, they are not simultaneous in the second inertial frame. By contrast, the Galilean transformation takes $t^{\prime }=t$, so simultaneity is invariant. The change concerns how time coordinates assigned by separated clocks enter physical measurement, not merely one corrected numerical constant. Albert Einstein begins by defining simultaneity through a clock procedure and then derives the transformation from his postulates.^[ref]

One reason to deny revolutions is precisely that the new account retains old achievements. For $|v|/c\ll 1$, and within regimes where relativistic corrections to the relevant measurements are negligible, Newtonian mechanics remains useful. Experimental records, instruments, mathematical methods and many successful predictions cross the transition. That continuity is real. It does not show that the physical interpretation of simultaneity remained unchanged. Numerical approximation in a restricted domain is weaker than identity of conceptual commitments.

A second objection is that major changes emerge gradually. Earlier theories and experiments prepare the transition; different researchers adopt it at different times; its consequences take decades to develop. This undermines a picture of one decisive moment transforming all science. It does not undermine a notion of revolutionary theory change as an extended reorganization of a field. Political revolutions are themselves extended events; the metaphor need not require an instantaneous rupture.

A third objection concerns rational comparison. If a revolution changes standards and meanings, perhaps rival theories cannot be compared at all. But this extreme conclusion is unnecessary. Rival accounts can share instrument records, limited predictions and mathematical limiting relations while differing about their interpretation. Explaining why those records agree in one domain and discriminate theories in another is itself a rational comparison. Conceptual change can make translation partial and difficult without making all evidence inaccessible across the divide.

These qualifications also constrain the historical claim. A local change in one field need not create a universal new worldview. Nor should every anomaly be described as a crisis: normal science routinely works on discrepancies without replacing its framework. Whether an episode is revolutionary should depend on evidence of the extent and character of reorganization, not on a dramatic label attached afterwards.

The defensible conclusion is therefore selective. Denying total, unprepared and irrational breaks may be historically plausible. Denying substantial transformations of fundamental concepts and research standards is much less so. The example of simultaneity shows how continuity of successful calculation can coexist with a change deep enough to merit the name revolution.

Theory change defeats an inference from scientific success to final, unrestricted truth. It does not show that successive theories make no progress in accuracy, explanation or warranted knowledge. Calling two theories false says too little about how their claims compare.

The strongest pessimistic argument is historical: theories once regarded as successful and well supported have later lost central commitments. If successful predecessors could misidentify what exists, the success of a present theory cannot by itself guarantee its full ontology. Larry Laudan uses the historical record to challenge a simple connection between success, reference and approximate truth.^[ref] The challenge is serious for scientific realism, particularly when it treats an entire accepted framework as a single package of warranted beliefs.

But the slogan conflates several claims: that an unrestricted theory contains a false assertion, that every one of its assertions is false, and that its successes were accidental. The first does not entail either of the others. A theory can be wrong outside its proper domain while accurately representing relationships within it. Establishing that domain is itself a scientific achievement.

The velocity-addition formula makes the difference precise. For collinear velocities, special relativity giveswhereas the Galilean transformation yields $u_{\mathrm{G}}=u+v$. Their difference isFor $|uv|/c^2\le \epsilon <1$,This is a controlled agreement, including the case $u+v=0$, where a relative-error formula would be undefined. At $u=v=0.6c$, the classical value $1.2c$ differs dramatically from $15c/17\simeq 0.882c$. At small velocities the same comparison explains why ordinary classical calculations work so well. The relativistic rule and its low-speed relation to the classical rule appear in Albert Einstein's treatment of velocity composition.^[ref]

The example does not prove that special relativity is the final account of nature. It shows that a successor can explain an earlier theory's restricted success and predict when it fails. One obtains a stronger account of the evidence than either blanket rejection of the older theory or unqualified belief in it. The surviving mathematical relation also need not preserve the older interpretation of absolute time.

Structural realism develops this possibility by locating continuity in interpreted relations rather than every proposed entity. John Worrall uses continuity between Augustin Fresnel's optics and later electromagnetism to motivate such a response.^[ref] Its attraction is discrimination: some tested structure can survive an ontological change. Its difficulty is specifying which structure deserves belief before the next change, rather than selecting the survivors afterwards. An equation without a physical interpretation and domain is too weak a candidate.

An empiricist can accept the improvement in prediction and systematic representation while withholding belief about unobservables. That shows that progress does not logically require scientific realism. The realist can reply that independent tests, novel successful predictions and quantitatively explained limiting relations support cautious belief beyond the immediately observed. Neither side should treat historical examples as a deductive proof of its complete position.

The original claim is therefore defensible only in a thin sense: successive unrestricted theories may each contain falsehoods. Used to deny progress, it is misleading. Theories can become more accurate, discriminate more possibilities and explain why earlier approximations succeeded. Theory change should make scientific confidence selective and revisable, rather than erase the distinction between a useful approximation and an arbitrary mistake.

The Bell theorem connects the philosophical problem of scientific underdetermination with a precise issue in quantum mechanics: whether local underlying causes can reproduce observed correlations. It shows how a dispute about interpretation can acquire empirical content, while also showing why an experiment does not select a unique ontology.

A shared cause can produce strong correlations without a signal between distant measurements. The philosophical question is whether this familiar explanatory strategy can reproduce all predictions for quantum entanglement. In a two-station Bell test, let $x,y\in \{0,1\}$ be local settings and $A,B\in \{-1,1\}$ the outcomes. A local hidden-variable theory satisfying Bell local causality takesMeasurement independence additionally requires $\rho (\lambda \mid x,y)=\rho (\lambda )$. The same ensemble of underlying states must therefore apply across the four setting pairs.

The resulting CHSH inequality can be derived without assuming quantum theory. First take a deterministic local hidden-variable model with responses $A_0,A_1,B_0,B_1=\pm 1$. For each $\lambda$,because exactly one bracket vanishes. Averaging against one normalized probability distribution givesStochastic local response functions give no escape: they can be represented by adding independent local random seeds to $\lambda$ and averaging deterministic assignments. The essential restriction is the common setting-independent ensemble and local dependence of responses, not a separate insistence that all nature be deterministic.

For two spin-one-half systems in a spin singlet state, ideal quantum measurements along unit directions $\mathbf{a},\mathbf{b}$ give $E(\mathbf{a},\mathbf{b})=-\mathbf{a}\cdot \mathbf{b}$. ChooseThe four correlations are $-1/\sqrt{2},-1/\sqrt{2},-1/\sqrt{2},+1/\sqrt{2}$, so $S=-2\sqrt{2}$. Thus quantum mechanics predicts an observable incompatibility with the specified local hidden-variable theory class. This is stronger than saying that two interpretations happen to fit the observations collected so far.

Actual Bell tests require more than the ideal calculation. Setting choices and distant readouts must have the relevant spacelike separation; discarding detected pairs selectively can create a detection loophole. The 2015 Delft electron-spin Bell test combined efficient readout, rapid settings and separated stations to address these issues together. The reported statistic was $S=2.42\pm 0.20$, with a test of the local-model hypothesis accounting for device memory.^[ref] This is statistical evidence under a specified protocol, rather than a logically infallible observation.

The philosophical conclusion must be equally precise. A violation challenges the conjunction of Bell local causality, measurement independence and the relevant experimental assumptions. It does not disprove every possible hidden-variable account, or establish that the observer's mind creates the outcome. Different theories can reject different premises while agreeing on the observable correlations. That remaining scientific underdetermination does not cancel the genuine exclusion of a well-defined class.

Nor does violating Bell local causality entail controllable faster-than-light communication. In the ideal spin singlet state, each local marginal is $P(A=+1\mid x,y)=1/2$, independently of the distant setting. This quantum no-signalling condition is weaker than the hidden-state factorization used in the proof. Conflating them turns a precise result into an unwarranted conclusion about signalling.

The example therefore illustrates both the power and the limit of empirical testing in philosophy of science. Mathematical clarification can transform an apparently metaphysical disagreement into rival observational constraints. Evidence can discriminate those constraints without determining every question about the reality represented by a successful theory.

Constructive empiricism offers a coherent account of accepting science without believing its full claims about unobservables. Its hardest task is to justify why observability should delimit the belief required by scientific acceptance. Its modesty is a strength, but not an automatic argument against every form of scientific realism.

For Bas van Fraassen, science aims at empirical adequacy. Accepting a theory involves belief in that adequacy and practical commitments to use, test and develop it. Empirical adequacy means getting the observable phenomena right, including future and unobserved phenomena, rather than merely fitting the data already collected. Acceptance need not include belief that every theoretical entity and process exists as described.^[ref]

The position nevertheless interprets theoretical claims literally. A claim about an electron is genuinely about an electron, not shorthand for a list of instrument readings. A constructive empiricist can suspend belief in the claim while believing the theory's empirical adequacy. This separates constructive empiricism from a semantic proposal declaring theoretical language meaningless, and from the claim that theories are simply calculation devices without truth conditions.

The observational distinction concerns what beings like us could observe in suitable circumstances, not just what has happened to be observed. A remote macroscopic object can be observable even if nobody has seen it. Conversely, observing marks in a detector does not by itself amount to observing whatever microscopic entity is invoked to account for them. Van Fraassen emphasizes that instruments produce new observable phenomena for theories to represent.^[ref]

This permits serious experimental work. In a Bell test, a constructive empiricist can accept predictions for settings, detector records and correlations while declining a full ontological interpretation of the quantum state. The theory remains exposed to failures in those observable predictions. Suspending belief about its underlying picture does not remove the obligation to test it or make every theory acceptable.

An attraction is economy of belief. The history of successful theories whose proposed mechanisms were abandoned cautions against inferring an entire ontology from empirical success. Moreover, agreement among observable predictions need not select one interpretation of the unobservable. Constructive empiricism makes room for this scientific underdetermination without denying that scientists can know much about observable reality.

The realist objects that the restriction is arbitrary. Ordinary perception itself depends on physical interactions and background assumptions; well-calibrated detection through several independent methods can be highly reliable. If both unaided perception and instrument-based inference are fallible, why should one warrant belief and the other only acceptance? A constructive empiricist can answer that scientific acceptance does not require belief in the additional explanation. That establishes an available epistemic stance, but it does not yet establish that belief in unobservables is unreasonable.

Vagueness and theory-ladenness sharpen this objection without producing an immediate contradiction. There may be no exact boundary between a barely visible object and an invisible one. Clear cases can remain despite uncertain margins. Scientific theories also inform estimates of human observational capacities. One can use their tested claims about what people discriminate without accepting every microscopic detail of their explanation. Still, this makes the observational boundary an empirically informed, revisable distinction, rather than an entirely theory-free foundation.

There is a further limitation: belief in empirical adequacy itself goes beyond the available observations. It includes what will happen in unperformed experiments. Constructive empiricism therefore does not abolish the problem of induction. Its claim is that commitment to observable regularities can be rational without the additional commitment to the complete truth of the explanation proposed for them. A critic must challenge that asymmetry, rather than merely point out that both involve inference.

The position consequently succeeds as a disciplined and nontrivial alternative to comprehensive scientific realism. It allows literal theories, ambitious predictions and experimental correction while separating practical acceptance from unrestricted belief. Its strongest defensible conclusion is that the scientific record need not compel belief beyond empirical adequacy; establishing that observability supplies the uniquely correct boundary of rational belief would require a further argument.

Source paper: www.whatdotheyknow.com/request/oxford_physics_past_papers_2/response/2340696/attach/7/Physics%20Papers%202018.pdf?cookie_passthrough=1

The essays below address all eight questions, including both alternatives in questions 5 and 7. They defend particular reasoned positions rather than imply that the contested issues have unique model answers.

Thomas Kuhn's account is a useful corrective to a history in which scientists simply accumulate observations and replace theories whenever a contrary observation appears. It is less convincing as an exceptionless sequence governing every science. Its compatibility with scientific progress depends on what progress means.

In normal science, a community shares a scientific paradigm: exemplary achievements, accepted instruments and standards for choosing tractable problems. An unexpected result can initially be treated as a problem in the calculation or apparatus. This need not be irrational. A framework that succeeds elsewhere gives investigators reasons to check an instrument before abandoning the framework. Revolutionary theory change reorganizes some of those commitments instead of merely adding another measurement.^[ref]

The important contrast is between a descriptive account of how research is organized and a justification of every community's decision. Shared training can explain persistence without making persistence correct. A contrary experiment can expose a failed auxiliary hypothesis, but it can also expose a central error. The Duhem problem rules out an automatic inference from one anomalous reading to one uniquely false theory; it does not authorize indefinitely protecting a theory from independently calibrated tests.

Nor does incommensurability require complete inability to compare. Theories can change the meanings of such quantities as mass while still being compared through specified apparatus readings, limiting calculations and predictions. For instance, the relativistic energy of a free massive particle has the expansionAt $p\ll mc$, subtracting the rest energy leaves the familiar leading kinetic energy. This is an explicit connection between domains, not an assertion that every concept remained unchanged. It gives a concrete way to retain successful calculations while recognizing the earlier theory's limitations.

Progress measured as closer approach to a single final ontology is therefore not guaranteed by the historical pattern alone. Progress measured through more accurate prediction, solving independently specified problems and understanding why older models work in restricted domains is compatible with substantial conceptual change. These criteria must not be defined merely as whatever a victorious community happens to prefer.

Finally, different specializations can develop competing frameworks simultaneously. A research community need not occupy one uniform stage, and a chronological label alone does not demonstrate a crisis or revolution. The strongest use of Thomas Kuhn's account is consequently comparative: identify what changed in examples, standards and practice, then ask which changes improved scientific capacities. It explains important features of research without supplying a universal historical law or implying that all theory choices are equally good.

Some scientific classifications plausibly identify natural kinds; it does not follow that every useful theoretical category does. A good test asks whether the classification supports reliable inference because of relevant natural structure, rather than treating either practical usefulness or a precise verbal definition as sufficient.

A chemical element illustrates a strong case. Its atomic number fixes nuclear electric charge and constrains the electronic structure of the corresponding neutral atom. The classification thereby supports explanations of recurring chemical properties through quantum mechanics. Isotopes show why the claim must be qualified: equal atomic number does not imply equal mass, nuclear stability or every reaction rate. Whether a division is informative depends on which properties the investigation is trying to predict.

Biological classification need not have the same structure. The biological species concept emphasizes reproductive relations; a phylogenetic species concept emphasizes descent and diagnosable lineages. Hybridization, asexual reproduction and variation within a lineage make a single intrinsic essence an implausible universal criterion. A homeostatic property cluster theory instead asks whether interacting causal processes sustain a cluster of traits that supports induction, without requiring every individual to possess every trait.^[ref] These considerations can support realism about biological groupings without making all boundaries equally sharp.

There are also classifications whose role is expressly relative to a task. Calling a particle nonrelativistic compares its momentum scale with $mc$, or its speed with $c$. An investigator can set a tolerance for neglecting higher terms in an expansion. The boundary then depends partly on the accuracy required; it is not a newly discovered fundamental species of particle. Nevertheless, the approximation is constrained by measurable scales and can be objectively excellent or poor.

This prevents two opposite mistakes. Since a category is chosen for a purpose, it need not be arbitrary: a classification that repeatedly supports independent predictions has a better claim to natural grounding than an arbitrary grouping. Conversely, successful prediction does not uniquely identify the world's one privileged taxonomy. Different scales and explanatory questions may justify overlapping classifications of the same objects.

The defensible conclusion is selective and plural. Treat some kinds as tracking stable mechanisms, structures or historical lineages; assess the evidence for each classification and its intended domain. Retain useful idealized or conventional categories without pretending that every term in a scientific theory names an equally fundamental division of nature.

A Bayesian confirmation account can dissolve the apparent conflict between logical equivalence and ordinary judgements about relevant evidence. It does so by rejecting an unrestricted positive-instance rule and specifying how the evidence was sampled. Bayes' theorem alone does not guarantee that every white shoe is irrelevant, or that every black raven provides strong support.

Let $H$ assert that every raven is black. Its contrapositive is logically equivalent to $H$, so the two descriptions must receive the same conditional probability. The raven paradox arises if every positive instance of a universal statement automatically confirms it: a white nonraven then confirms the contrapositive and hence $H$. The disputed step is that unrestricted confirmation rule, not the logical equivalence.^[ref]

For background $K$, set $p=P(H\mid K)$, $a=P(E\mid H,K)$ and $b=P(E\mid \neg H,K)$. For $0<p<1$ and positive evidence probability,Thus it is the comparison of likelihoods, including the sampling protocol and alternatives, that determines support. Merely rewriting $H$ cannot change it.

The finite-population model of raven confirmation makes the intuitive difference quantitative. Fix $r$ ravens and $M$ nonblack objects. Compare an all-black-ravens hypothesis with the alternative that exactly one raven is nonblack. A uniform draw among nonblack objects that finds a nonraven has likelihood ratio $1/(1-1/M)$. A uniform draw among ravens that finds a black one has likelihood ratio $1/(1-1/r)$. If $M\gg r>1$, the former is much nearer one. With equal prior probabilities, $M=10^6$ and $r=100$ give posterior probabilities approximately $0.50000025$ and $0.50251256$. A tiny amount of confirmation need have no practical significance.

This example is not a theorem about every possible background. Inspecting an object already known to be a white shoe adds no relevant information about its being a nonraven. Other alternatives or selection mechanisms change the likelihoods and can remove or reverse the support. Conditioning only on the observed colour while silently changing how the object was selected would compare different experiments.^[ref]

The resolution is therefore qualified. A coherent probability model preserves equivalence and explains why superficially parallel observations need carry radically different evidence. It does not select a unique prior or sampling model without scientific judgement. Those remaining modelling questions are limitations of an application, rather than a contradiction in Bayesian inference.

Two problems central to physics concern definite outcomes in quantum measurement and the temporal direction of entropy increase. They expose different gaps between a dynamical description and the phenomena explained; neither can be resolved merely by saying that physics predicts observations successfully.

For the measurement problem, combine a two-state system with an apparatus initially in a ready state. If an ideal unitary operator correlates basis states with distinct pointer states, its linearity givesThe same dynamics that gives reliable correlations therefore gives an entangled final state, rather than a rule choosing one pointer value. The problem is not that the state has failed to predict possible outcomes, but how definite outcomes and their probabilities are related to that state.

Quantum decoherence explains why interaction with an environment suppresses interference in the apparatus's reduced density matrix: its off-diagonal term is multiplied by the inner product of the corresponding environmental states. Near-orthogonal records make this term very small. Tracing out the environment, however, does not by itself select one term in the global superposition. An objective-collapse theory changes the dynamics, while a many-worlds interpretation changes what is required of an outcome. Distinguishable modifications can be tested; interpretations reproducing the same predictions raise additional explanatory and conceptual questions. Decoherence solves a substantial dynamical part of the problem without automatically settling every interpretation.

The second issue is the thermodynamic arrow of time. In a classical model, time reversal in classical mechanics can pair an entropy-increasing trajectory with a reversed entropy-decreasing one. Liouville theorem in Hamiltonian mechanics preserves phase-space volume, so reversible Hamiltonian dynamics does not imply a universal monotonic increase of fine-grained entropy. The Second law of thermodynamics therefore needs a statistical and boundary-condition account, not a deduction from reversibility alone.

Boltzmann entropy assigns larger entropy to a macrostate occupying more compatible phase-space volume. Starting from a suitable low-entropy condition, overwhelmingly more accessible microstates can evolve toward larger macrostates. But an unrestricted typicality argument applied at an arbitrary low-entropy instant generally points toward increasing entropy in both temporal directions. The past hypothesis supplies an asymmetric low-entropy boundary condition in the past; one must still justify the probability measure and the macroscopic description used.

These are genuine partial resolutions rather than interchangeable cures. Decoherence concerns the accessibility of interference and records; a past boundary condition concerns temporal asymmetry in a statistical explanation. A satisfactory account must say which extra assumptions it introduces and which observable consequences follow. Neither problem licenses dismissing successful physics, but both show why a predictive formalism and a complete interpretation of its success are different achievements.

There are useful distinctions between science and pseudoscience, but one simple property of an isolated sentence is unlikely to classify every historical practice correctly. The relevant assessment should examine both empirical commitments and how a programme responds to evidence.

Falsifiability is a valuable starting point. A claim that excludes no possible observational outcome cannot receive the same kind of empirical support as one that risks failure. A prediction made before an experiment, with conditions and tolerances specified, is more informative than a story adjusted afterwards to fit any result. This distinguishes taking an empirical risk from merely finding a favourable description of what happened.^[ref]

However, falsifiability is neither sufficient for being good science nor identical to having evidence. An arbitrary precise prediction can be falsifiable and poorly motivated. A well-supported theory can also encounter an apparent failure caused by an auxiliary hypothesis about calibration or initial conditions. The Duhem problem explains why sensible investigators sometimes repair an apparatus model rather than immediately discard a theory. It does not justify repairs chosen solely to prevent every conceivable adverse result.

A more informative comparison asks whether revisions produce independently testable predictions, whether controls address plausible errors, whether unfavourable results are recorded and whether others can reproduce the procedures. An adjustment can be scientifically productive if it connects a former discrepancy with new phenomena. The same algebraic adjustment is much less impressive if it does nothing beyond reproducing the data used to choose it. Scientific reproducibility helps make a research practice corrigible, although reproducibility alone cannot establish that its interpretation is correct.

Historical judgement also requires separating an immature proposal from a practice organized to evade criticism. A new mechanism may initially lack a precise experimental test. Its current weakness is a reason to qualify confidence, not proof that no further development can make it scientific. Conversely, technical vocabulary and numerical output do not make a programme scientific when its central claims remain insulated from evidence.

The demarcation should therefore be explained through concrete features of inquiry: identifiable hypotheses, discriminating tests, calibration, treatment of alternatives and accountable revision. Different features can matter differently across observational, experimental and historical sciences. Borderline cases do not erase clear failures, just as the absence of a sharp temperature boundary between warm and cold does not make all temperatures equal.

This approach also keeps the conclusion proportionate. Calling a practice scientific does not guarantee truth, ethical acceptability or practical usefulness. Calling it pseudoscientific should identify the evidential or methodological failure, rather than replace the argument with a label.

Falsificationism captures an important asymmetry between universal claims and counterexamples, but it is an incomplete account of scientific appraisal. It works best as a demand for serious testing within fallible theoretical packages, rather than as a mechanical rule for discarding a theory after any anomalous observation.

For an unrestricted universal claim, finitely many successful cases do not deductively establish every unobserved instance. One genuine contrary case can contradict the universal claim, provided the predicates and circumstances are correctly identified. Karl Popper's emphasis on attempts at refutation consequently highlights something that mere accumulation of agreeable examples can miss: a test is informative partly because plausible alternative outcomes would have counted against the proposal.^[ref]

Real predictions nevertheless involve a conjunction. If $T\wedge A\Rightarrow E$ and $\neg E$, thenHere $A$ includes an apparatus model and initial conditions. The conclusion does not identify $T$ as the failed component. Independent calibration, varied experimental arrangements and agreement across instruments help distinguish the possibilities; they do not eliminate the logical structure of the Duhem problem. Insisting that every auxiliary assumption remain unrevisable would obstruct ordinary experimental repair.

Probabilistic theories create another difficulty for simple deductive falsification. If an ideal Bernoulli distribution model assigns a probability $0<q<1$ to success, every finite binary sequence has positive probability. An unusual sequence does not literally contradict the model. A statistical hypothesis test can instead use a predeclared rejection region with a controlled type I error. Its possible mistaken rejection is part of the method, not a contradiction to be ignored. Comparing alternatives also requires likelihoods or other explicit criteria, rather than a binary division into refuted and unrefuted proposals.

Finally, survival alone is not enough. A vague conjecture and a quantitatively successful theory might both be unrefuted; they need not be equally supported. Scientific decisions also concern approximation error, independent explanatory connections and whether a proposed modification predicts anything new. These considerations need not restore conclusive verification, but they require more than deductive refutation.

The plausible core is therefore methodological: specify what could count against a claim, expose it to demanding tests and resist changes made only to accommodate failure. The stronger thesis that this principle supplies a complete logic of discovery, theory choice and confirmation is not established. Critical testing remains valuable precisely when its assumptions and statistical limitations are stated honestly.

There are serious philosophical reasons to resist inferring the literal truth of every successful theoretical description. Those reasons support a selective and revisable attitude; they do not establish that none of the unobservable entities investigated by science exists.

Pessimistic induction starts from successful earlier theories whose central ontological claims were later rejected. Their history challenges an unrestricted inference from predictive success to truth. For example, successful descriptions of light transmission were once combined with an account involving a mechanical luminiferous aether. Continued use of some mathematical relations does not show that the proposed medium was real. The force of the objection depends on which part of a theory produced its successful predictions, not on collecting a list of old mistakes.^[ref]

Scientific underdetermination supplies a different challenge. Agreement with available data can leave rival accounts open. If they are empirically equivalent throughout a specified domain, another experiment restricted to that domain cannot discriminate them. This limits what those data establish. It does not show that every actual theoretical disagreement is permanently undecidable, or that equally compatible models must receive equal confidence given all relevant background evidence.

The realist reply emphasizes convergence across independent ways of detecting and manipulating a putative entity. An electron is not supported by one formula alone: accounts of its electric charge, scattering and response to fields connect different apparatuses and phenomena. Such success can be a reason to infer a common physical cause. The no-miracles argument expresses that explanatory motivation, but its force is abductive rather than deductive. It must not assume that only a literally true total theory could produce any success.

Several qualified positions remain defensible. Entity realism places particular weight on robust experimental use of entities without endorsing every theoretical account of them. Structural realism emphasizes specified relations retained across theory change. Neither label removes the need to identify what experimental interventions establish or which interpreted structure survives. Preserving an equation's shape alone is insufficient if the meanings and tested domains have changed.^[ref]

Constructive empiricism offers a genuine alternative: accept a theory's empirical adequacy while withholding belief in its full account of unobservables. The realist must explain why stronger belief is warranted, rather than accuse this stance of denying ordinary laboratory success.

A defensible realism therefore concerns particular well-supported claims, mechanisms and relations, with explicit domains and error allowances. It recognizes historical revision without treating every surviving term as equally secure. Neither universal literal realism nor universal scepticism about entities follows from scientific success or its historical failures.

Scientific underdetermination limits what evidence alone establishes, but its practical consequences depend on the strength of the equivalence being claimed. Rival theories fitting present data need not agree on future observations. Rival formulations agreeing on every observable in a specified domain present a more persistent limitation within that domain.

With finitely many data points $(x_i,y_i)$, suppose an interpolation polynomial $p$ fits all $n$ measurements. Thenalso fits them for every $\lambda$. This proves nonuniqueness for a deliberately broad model class. It does not prove that all these functions are equally plausible physical theories. Constraints from independently tested mechanisms, bounds on derivatives, symmetries and the measurement process can sharply restrict the class. A new observation at a different point can also distinguish the displayed alternatives.

The Duhem problem concerns an additional kind of latitude: a prediction tests a theory together with auxiliary hypotheses. A mismatch can be assigned to different components. This is a reason to vary apparatus, calibrate independently and use multiple kinds of evidence. It is not a demonstration that any preferred theory can be made equally well supported by arbitrary repairs.^[ref]

Exact empirical equivalence requires more. If two accounts supply identical probability distributions for all observations allowed by a stated setup, observations of that kind cannot favour one through their likelihoods. Bayesian inference makes the limitation explicit: posterior odds equal prior odds when the likelihood ratio is one. Declaring a prior preference does not transform it into new experimental discrimination.

Theories can nevertheless differ in explanatory organization, computational usefulness or how they connect with a larger domain. Those are legitimate questions, provided their role is stated. If a proposed new intervention distinguishes them, the equivalence did not cover that enlarged domain. If the difference is instead only a change of redundant description, treating it as two competing physical worlds may create a spurious dispute; gauge symmetry provides an important case requiring care.

For scientific practice, the appropriate response is model comparison with explicit assumptions, searches for discriminating tests and honest limits on what has been established. For scientific realism, enduring empirical equivalence challenges any claim that the evidence uniquely fixes a full ontology. It does not make precise predictions or experimental decisions impossible. Underdetermination is consequently a constraint on inference whose seriousness must be demonstrated case by case, rather than a general proof that all scientific reasoning is arbitrary.

A commitment to testing claims against experience is a defensible scientific norm. A strict account according to which every meaningful scientific statement must be conclusively verified, or translated into a fixed vocabulary of theory-free observations, is much harder to sustain. Logical empiricism should also be understood as a changing family of projects, not reduced without qualification to its strongest early formulations.

An unrestricted universal scientific law concerns cases beyond a finite observation record. No finite list of favourable cases deductively entails all of them. Requiring conclusive verification would therefore exclude much ordinary theoretical science. Replacing that demand with scientific confirmation retains a relation to evidence while accepting that support is fallible. This is a substantive revision, rather than proof that universal laws were conclusively verified after all.^[ref]

A second difficulty concerns observations. A detector count relies on assumptions about sensitivity, background and the production of a signal. Theory-ladenness makes a sharp division between completely neutral observations and theoretical claims implausible. But dependence on some assumptions does not imply dependence on the truth of the target theory. A calibration can be supported independently, and agreement across instruments using different mechanisms can make a putative effect less vulnerable to one shared error.

Nor should unobservable vocabulary be dismissed merely because its referents cannot be seen directly. A theory of electrons and electromagnetic fields can organize measured currents, spectra and scattering through a common model. What matters scientifically is how the theoretical commitments constrain observations and survive attempts to discriminate them from alternatives. Insisting that each term independently translate into an observation report can miss the role of a whole theoretical structure.

An empiricist can accept much of this. Constructive empiricism permits literal theoretical discourse and commitment to using a theory while restricting belief to empirical adequacy. It separates withholding a stronger ontological belief from refusing to reason with theoretical models.^[ref] Whether this restraint is preferable to selective scientific realism remains an argument about what successful testing warrants.

The strongest sustainable empiricism is consequently methodological and fallible: demand explicit empirical consequences, scrutinize calibration and preserve the possibility of correction. The stricter verificationist reduction does not adequately describe how laws, theoretical terms and measurement actually work. Rejecting that reduction need not weaken the central demand that scientific claims remain accountable to evidence.

A philosophical account of scientific explanation must accommodate causal explanations, but there is no good reason to insist that every explanation be causal or that every one explicitly contain an exceptionless universal law. The issue is what explanatory task an account performs, rather than whether it fits one syntactic template.

The deductive-nomological model explains by deriving a phenomenon from scientific laws and specified circumstances. It illuminates a real feature of physical reasoning: a result is intelligible because it follows from a more general structure, not merely because it has been listed. Yet valid derivability does not automatically supply the direction or relevance of explanation.^[ref]

For a vertical pole of height $h$ in a simple geometrical model, a solar elevation $\alpha$ gives a shadow length $s=h\cot \alpha$. Algebra permits inference from $h,\alpha$ to $s$, or from $s,\alpha$ to $h$. The equation alone does not decide which quantities are causal inputs. A causal explanation must supplement the relation with how the pole, illumination and surface generate the shadow, and with the changes meant by an intervention. Mere reversal of a calculation is not reversal of a physical mechanism.

Conversely, some explanations appeal to constraints rather than a mechanism producing an event. Twenty-three objects cannot be divided into three equal groups of whole objects because $3$ does not divide $23$. The relevant divisibility fact explains an impossibility without describing a cause that prevents each attempted arrangement. Physical applicability still requires that the objects count as indivisible for the task; the arithmetic alone is not a complete theory of the material.

Statistical explanation supplies another limit to a universal deductive requirement. A radioactive decay model gives a hazard rate and the probability $1-e^{-\lambda t}$ of decay within time $t$. It can explain rates and the distribution of waiting times without deductively fixing a particular atom's decay instant. A very unlikely event can still have a recognized mechanism. One must distinguish explaining why an event was possible or had a certain chance from explaining why this event occurred at precisely this time.

A demand for explicitly stated fundamental laws can also be too restrictive in a local mechanistic explanation. Identifying a broken circuit connection and the resulting interruption of current may answer a practical question without deriving the fault from microscopic dynamics. The explanation depends on physical regularities and background assumptions, but dependence is weaker than requiring every law to be displayed in the explanatory argument.

A useful plural account therefore asks whether the explanation identifies relevant dependence, states its domain and answers the actual contrastive question. Causal explanation, mathematical constraints, statistical accounts and explanatory unification can each contribute. This is not permission for arbitrary stories: relevance, independent support and the distinction between prediction and explanation remain constraints on all of them.

Source paper: www.whatdotheyknow.com/request/oxford_physics_past_papers_2/response/2340696/attach/6/Physics%20Papers%202017.pdf?cookie_passthrough=1

Necessary connections would matter if they provided an independently knowable bridge from observed cases to unobserved ones. Their mere existence would not provide that bridge. In David Hume's problem of induction, observations of past regularities do not deductively entail that the same regularities continue. Appealing to the past reliability of inductive reasoning uses the very kind of inference whose justification is at issue.^[ref]

Suppose, for example, that a particular causal power necessarily makes an isolated system respond in a certain way. If we knew independently that the power exists, that it remains present and that the relevant conditions obtain, a prediction could follow by deduction. But repeated agreement with the prediction does not itself establish those premises without further inductive reasoning. The proposal can relocate the epistemic burden rather than discharge it. A guarantee that every cause has some necessary effect also fails to identify which cause and effect our observations instantiate.

This separates metaphysical necessity from access to it. A scientist might posit causal powers because they unify otherwise separate regularities, explain counterfactual responses and guide successful interventions. An experimentally supported molecular mechanism can make the behaviour of a material intelligible across varied conditions. That supplies a comparative scientific reason to prefer a structured causal model over a bare catalogue. It does not demonstrate that the model captures a connection whose violation is impossible in every relevant world, or that its scope extends beyond the tested domain.

Hume's discussion of necessary connection challenges the idea that inspecting one cause discloses such a connection directly; repeated experience instead explains our expectation.^[ref] A defender of causal powers can reject that account, but must explain both the powers and how we know them. Mathematical necessity in a model is insufficient: the deduction is conditional on the model applying to the physical system.

The defensible conclusion is conditional. Independently warranted knowledge of stable necessary connections could justify particular projections. Simply adding them to one's account of nature does not solve the problem of induction. Scientific support for a causal account can remain strong, comparative and fallible without becoming a noncircular deductive foundation for every future inference.

A scientist should take a sceptical scenario seriously when it exposes a credible way in which the evidence could be misleading and there is a useful way to investigate that possibility. A shared instrument offset, a software error copied across analyses, or an unrecognized background signal can survive the appearance of repeated agreement. Such possibilities motivate independent calibration, changes of apparatus and analysis, and deliberately varied experiments. Mere repetition using the same error-prone chain is weaker than agreement among genuinely independent tests.

Consider two detectors that report the same departure from a predicted signal. Their agreement supports a new effect less strongly if both use the same calibration source and processing program. A proposed common failure is not defeated merely by observing that both detectors agree. An independently constructed detector, measurements at several settings, or analysis of deliberately hidden test signals can make the failure scenario and the target hypothesis predict different outcomes. Here scientific doubt generates a better test rather than an unlimited demand for reassurance.

A radically global sceptical scenario is different. If it is stipulated to reproduce every possible observation and experiment, it supplies no empirical contrast to investigate. That does not make it logically contradictory or prove it false. It limits its role in choosing among scientific models. A researcher cannot improve a detector by an experiment whose outcome is stipulated to be identical whether all experience is globally deceptive or not.

The line is not simply between imaginable and unimaginable errors. Limited time and resources require attention to plausibility, consequences and discriminating power. A low-probability fault may deserve a check when it could invalidate an entire result and is inexpensive to test. Conversely, inventing an unconstrained auxiliary hypothesis after every contrary result can insulate a favoured theory from criticism. The Duhem problem explains why a failed prediction does not isolate the guilty assumption; it does not make every rescue equally well evidenced.

A scientist can therefore combine fallibilism with justified confidence. Results can be warranted by calibration, independent methods and successful interventions without excluding every logically possible deception. Productive scientific scepticism identifies concrete vulnerabilities and seeks evidence against them. It neither assumes that every appearance is reliable nor treats the absence of Cartesian certainty as the absence of scientific knowledge.

The covering-law model captures one important feature of scientific explanation: a result should follow from general principles together with the relevant circumstances. In its deductive-nomological model, laws and conditions entail the phenomenon, the laws are needed in the derivation, and the premises must be true and empirically substantive. That is stronger than merely redescribing the event.^[ref]

For example, the ideal gas law, a specified amount of gas and a fixed-volume condition explain why changing its temperature changes its pressure in the model's regime. The derivation identifies a systematic dependence rather than an isolated coincidence. It also makes assumptions visible: a calculation using a law outside its domain is not repaired simply by being logically valid.

Nevertheless, valid subsumption does not by itself determine explanatory direction. A vertical pole of height $h$, a solar elevation $\alpha$ and a shadow of length $l$ satisfy $h=l\tan \alpha$ under suitable geometric assumptions. The same relation allows one to deduce the height from the shadow. In an ordinary intervention on the pole, changing its height changes its shadow; shortening the shadow with a screen does not shorten the pole. The reverse calculation can be excellent evidence for the height without providing the same causal explanation. This is explanatory asymmetry.

Relevance is another difficulty. One can append an irrelevant fact to a sound derivation without invalidating the deduction, but the added fact need not explain anything. Requiring an essential law prevents some vacuous derivations, yet still does not identify which features make a physical difference. A useful explanation should reveal the dependence the question is asking about, not merely contain enough true premises to reach its conclusion.

Nor are all explanations deterministic. A particular radioactive decay can have a good account in terms of a physical decay mechanism and a probability distribution without being entailed by initial conditions. An inductive-statistical model extends the covering-law idea, but requiring a high probability would exclude the explanation of some rare outcomes. Conversely, a high conditional probability produced by irrelevant correlations need not explain a mechanism.

The model is therefore a valuable discipline for organizing some explanations, rather than a sufficient universal analysis. It clarifies derivational structure and testable commitments. An adequate broader account must also address causal relevance, the question's contrast, statistical events and explanations by constraints or unification that are not straightforward causal histories.

An empiricist can distinguish what could be observed by creatures like us from what is posited to account for observations. This is not a distinction between what is already known and what is unknown. A distant ordinary object can be observable in suitable circumstances even if no one has seen it; successful detection of an electron need not make an individual electron directly visible to an unaided human observer. The criterion concerns a capacity, not the history of a particular observation.

Bas van Fraassen's constructive empiricism uses this distinction to separate accepting a theory as empirically adequate from believing every claim it makes about unobservable entities. Instrumental outputs can be treated as further phenomena that the theory must accommodate, without identifying every instrumental detection with unaided perception.^[ref] On this view theoretical language remains literal; agnosticism about an unobservable entity is not the assertion that its name is meaningless.

The difficulty is to make the boundary principled. A microscope, a telescope and a particle detector extend our practical reach in different ways. Instrument use is continuous with ordinary perception in its dependence on lenses, biological processing and learned interpretation. An observer can also be mistaken about a readily visible object. Thus a distinction between direct observation and instrument-assisted inference cannot simply be a distinction between certainty and fallibility.

The empiricist need not claim that the boundary is sharp in every marginal case or fixed independently of science. Information about human perception can help identify what humans could observe. That makes the criterion scientifically informed and relative to an epistemic community; it does not by itself make it inconsistent. But someone who uses accepted science to identify human limitations must explain why such acceptance does not already commit them to all of that science's unobservable ontology.

The distinction is useful as a proposal about the aim and evidential commitment of scientific acceptance. It permits disciplined use of a model while withholding some metaphysical belief, and it makes the difference between fitting appearances and describing hidden structure explicit. Its usefulness does not establish it as the uniquely rational boundary of belief. A scientific realist can argue that independently calibrated instruments and successful interventions justify belief beyond unaided observability. The main dispute is how much belief that success warrants, rather than whether scientists should use the instruments or take their results seriously.

The history of science is relevant because a philosophical account purporting to describe scientific knowledge and rational change must fit more than the finished derivations in current textbooks. Historical episodes reveal what evidence was available, which alternatives were considered and how assumptions about instruments and phenomena were revised. A reconstruction that imports later knowledge can make a reasonable contemporary choice appear irrational.

A simple picture of falsificationism illustrates the point. A discrepancy between an observed orbit and a calculation need not immediately discredit Newtonian mechanics. The prediction also uses estimated masses, initial data and assumptions about other bodies. Investigating an additional perturbation may be more informative than rejecting the entire theory. History can show whether such a proposal was independently constrained and successful, rather than merely a device for avoiding any possible refutation. The philosophical distinction between a testable extension and an ad hoc hypothesis therefore benefits from examining actual evidence and practice.

Thomas Kuhn's introduction to The Structure of Scientific Revolutions by Thomas Kuhn challenges the picture obtained from retrospective textbook accumulation. His distinction between normal science and revolutionary theory change directs attention to changing research problems, standards and exemplars.^[ref] Whether one accepts that particular account, the historical challenge is substantive: an account of progress must explain why some earlier achievements remain useful while broader frameworks change.

Historical explanation is not itself a complete justification. Showing that a social setting or personal commitment caused someone to accept a theory does not show that the theory was well supported. Nor does a single episode automatically refute a normative ideal: actual scientists can make mistakes. The context of discovery and context of justification can be distinguished even when they interact. What matters is identifying the standard being evaluated and the evidence relevant to it.

History is therefore neither dispensable decoration nor an infallible rulebook. It can expose counterexamples to oversimple universal claims, supply scientifically realistic cases and reveal unnoticed alternatives. Philosophical reasoning must then assess the inference, the evidential situation and the claimed norm. A good account should be historically responsible without reducing rational justification to whatever scientists happened to do.

Incommensurability can express several different claims. Rival scientific paradigms may organize terms differently, favour different exemplary problems, or rank standards of explanation differently. None of those claims by itself entails that their users cannot communicate or that no evidence can favour one account. Distinguishing these levels is essential to judging the claim rather than treating it as a slogan.

Semantic change is a serious possibility. In special relativity, distant simultaneity depends on an inertial frame; a Newtonian framework instead admits an absolute temporal ordering. Reusing the word “simultaneous” does not preserve every inference across the two accounts. A translation must identify which concepts and conditions correspond. That is more demanding than matching terms one by one.

Yet difference does not imply total incomparability. Observers can agree on local clock readings and compare predictions for specified experimental arrangements. In the low-speed domain, an appropriate limit relates many relativistic results to their Newtonian counterparts. Such a connection does not make the theories identical: it identifies a domain and an approximation under which particular predictions agree. It supplies a basis for comparison without requiring a complete, context-free translation of every theoretical term.

Methodological differences can also be real without making theory choice arbitrary. One framework may solve a familiar problem especially well, while another opens a wider range of questions. Accuracy, scope, simplicity and coherence can conflict, and applying them may require judgement. But shared measurements and successful novel predictions can still constrain that judgement. A disagreement over their relative weight is not evidence that every outcome is equally acceptable.

A defensible reading of Kuhn's revolutionary theory change therefore involves partial changes of meaning and standards, together with the work needed to understand a rival framework. It need not involve permanent mutual unintelligibility.^[ref] The strongest thesis, that rival frameworks cannot be rationally compared at all, is much less plausible: it would erase the distinction between changing conceptual resources and losing all evidential contact. The moderate thesis usefully warns against assuming that scientific change is always the addition of sentences to an unchanged language.

Logical empiricism seeks to preserve the authority of logic and mathematics while denying that they supply unsupported factual discoveries about nature. The analytic-synthetic distinction offers a division of labour: an analytic truth holds by logical or linguistic rules, whereas a synthetic truth requires information about the world. A logical implication can organize a physical calculation without deciding that its premises describe an actual apparatus.

Without some such account, a strict claim that all genuine knowledge is empirical faces its own treatment of logic and mathematics. A logical tautology is not usually established by sampling cases. Conversely, a measurement of a wire's length does not follow merely from fixing the meaning of “metre”. The distinction lets the empiricist use formal structure while locating factual risk in the empirical application. This does not mean that every historical version of logical empiricism accepted the same sharp boundary.

The central challenge is to explain analyticity without a circle. Calling a statement true by meaning appeals to a notion that must itself be clarified. Defining the relevant meanings by synonymy, then explaining synonymy through analytic equivalence, gives no independent foundation. Willard Van Orman Quine develops this pressure against definitions, substitution tests and rules, and links it to the testing of whole theoretical packages.^[ref]

A useful reply distinguishes describing ordinary language from constructing an explicit formal framework. Rudolf Carnap's meaning postulates restrict the admitted interpretations of a language. One can define a sentence as analytic relative to those rules when it holds under every permitted interpretation.^[ref] That is a precise and usable local classification. It does not, merely by stipulation, prove that a natural-language sentence was already analytic independently of the framework, or that a scientific framework can never be revised.

Thus a modest defence is more convincing than an absolute one. Logical empiricists can justify a distinction relative to stated linguistic and inferential commitments, using it to separate a model's formal consequences from empirical assumptions. They have a harder task if they require a unique, unrevisable division governing all meaningful discourse. The practical value of explicit conventions survives even if there is no universal boundary immune to scientific and linguistic change.