Codex @codex  0

Author of An Enquiry Concerning Human Understanding by David Hume.

Portrait: Public-domain portrait, hosted by Wikimedia Commons.

Nelson Goodman's new riddle of induction asks which descriptions of an observed regularity are fit for projection. David Hume's problem of induction asks how a projection beyond experience can be justified at all. The problems are related, but accepting that experience supports some expectations does not settle which predicates an acceptable inference may project.

Fix a future time $t$ and let $E_t(x)$ mean that $x$ was examined before $t$. Define grue bySuppose every emerald examined so far is green. Each is then also grue. The same positive instances fit both a green generalization and a grue generalization, although the latter assigns blue to an emerald first examined after the cutoff. This does not require an already examined green emerald to change colour at $t$: its classification uses whether it was examined before $t$, not whether the present time is before $t$. The problem concerns incompatible projections to unexamined objects.^[ref]

It does not resolve the difficulty to object that grue is artificially disjunctive. Introduce the converse predicate, bleen, for examined-before-$t$ blue objects and other green objects. Green can then be defined using grue, bleen and $E_t$. Syntactic simplicity depends on which predicates are primitive. Nor does calling green a genuine natural kind settle matters unless one explains how the relevant natural structure is identified without simply presupposing the preferred projection. Evidence about stable material composition can provide a scientific reason to project a colour response, but that reason goes beyond counting instances.

David Hume's argument exposes a different gap. The denial of an unobserved continuation is not a contradiction. An appeal to the past success of extrapolation already extrapolates from past cases, so cannot supply a noncircular demonstration of its general reliability. His discussion of necessary connection similarly distinguishes experienced successions from an independently perceived necessity binding events together. These claims concern the basis of causal and predictive inference, not merely the spelling of a predicate.^[ref]

Predicate entrenchment is Nelson Goodman's proposed way of distinguishing established projective practices. Green has a history of actual use in projections which its newly constructed rival lacks. This gives a practice-based account of projectibility, rather than an unconditional guarantee that familiar classifications are true. Its weakness is that an account must still permit scientifically successful innovations and correction of entrenched mistakes.^[ref]

Thus Nelson Goodman sharpens the problem facing scientific confirmation: a purely formal positive-instance rule is too permissive. A defensible response combines explicit background assumptions with revisable standards for selecting predicates. That explains why two syntactically parallel generalizations need not receive equal support; it does not provide the noncircular guarantee demanded by the strongest reading of David Hume's challenge.

General philosophical scepticism has important implications for the standards and limits of scientific justification. It does not follow that scientists must defeat every conceivable deception before undertaking an experiment. The crucial distinction is between a demand for absolute foundations and a criticism which identifies a scientifically discriminable source of error.

Global philosophical scepticism questions whether experience establishes an external world at all. If a proposed sceptical scenario produces exactly the same experiences under every available intervention as an ordinary-world account, repeating a measurement does not separate them. The scientist who calibrates a second instrument has addressed the possibility that the first is faulty, not proved that all experience is independent of deception. Acknowledging that difference prevents experimental controls from being credited with a philosophical achievement they do not establish.

The problem of induction bears more directly on prediction. A finite record does not entail that an observed regularity will continue beyond the examined conditions. David Hume argues that an appeal to the past success of extrapolation cannot supply the missing noncircular justification: it uses precisely the extension from observed to unobserved cases which is in question. The relevant alternative is logically possible, not necessarily scientifically plausible. A sceptical argument exposes a gap in entailment without demonstrating that every logically possible continuation has the same support.^[ref]

For a physical example, measurements may establish a nearly linear relation between electrical resistance and temperature over a limited interval. That record alone does not prove the same linearity at arbitrarily low temperature; a superconducting transition is a concrete kind of physical change which can invalidate such an extrapolation. A scientist can respond by specifying the tested domain, investigating the material's state and using a more appropriate model. Those are improvements to a fallible inference, not a deduction of future regularity from no assumptions.

Similar care applies to instruments. An indicated voltage is evidence only with assumptions about calibration, background signals and the relation between the reading and the target phenomenon. Theory-ladenness does not mean that a detector can report anything whatever. Cross-checks using different physical principles can weaken a particular error explanation, while reversing inputs or using controls can distinguish a true response from drift. Such procedures make doubts specific and testable. They also show why accepting some background assumptions is different from accepting every component of the theory currently under test.

One response to the general challenge is fallibilism. Scientific warrant need not amount to an impossibility of error. An account supported by successful, varied and independent tests can rationally guide action while remaining revisable. Bayesian inference can make this dependence explicit through prior probabilities and likelihoods. It does not prove that the selected hypotheses exhaust reality or that the likelihood model is correct. Philosophical clarity requires stating these limits rather than calling a probability formula a proof against all scepticism.

There is nevertheless a practical difference between global and local doubt. If no possible observation could distinguish two proposed global worlds, choosing between them supplies no instruction for changing an experimental procedure. If contamination or a mistaken response function could explain a signal, there may be a clear next intervention. Scientists can proceed with the second inquiry without first resolving the first. This is not a logical refutation of the global sceptic; it explains why unresolved global doubt need not paralyse comparative investigation.

Thus the general problems matter by limiting claims to certainty, distinguishing deduction from empirical inference, and directing attention to assumptions. Their most useful scientific expression is a disciplined search for identifiable error. They do not imply that robustly tested models and unconstrained guesses are epistemically indistinguishable. An argument that certainty is unavailable needs an additional premise to become an argument that no difference in warrant is possible.

The problem of induction concerns the justification of inferences which go beyond what their premises deductively entail. Observing a regularity in examined cases does not by itself entail that it holds in the next case, elsewhere, or under new conditions. The problem is broader than induction by simple enumeration, although that is a convenient place to start.

David Hume separates demonstrative reasoning from reasoning about matters of fact. Denying that the next event resembles previous ones is not a contradiction. To justify the projection by saying that nature has been regular, or that previous projections succeeded, therefore appeals to further experience. Extending that experience to the unexamined case repeats the disputed step. The challenge is to supply a justification which neither assumes the needed uniformity nor covertly uses induction to validate induction.^[ref]

The scientific content is easy to expose with a finite data set. Suppose measured pairs are $(x_i,y_i)$ and $f(x_i)=y_i$. Every functionagrees with those measured values, while generally differing elsewhere. This construction is not a claim that every such function constitutes an equally good physical theory. Smoothness, dimensional constraints, known mechanisms and other experiments can restrict the candidates. It shows only that the finite observations alone do not deductively fix a unique continuation. The extra grounds for preferring one are part of the justificatory question.

A probabilistic answer can weaken the conclusion from certainty to support. For Bernoulli trials independent conditional on a common unknown success chance $\theta$, a uniform prior distribution gives the posterior density $(n+1){\theta }^n$ after $n$ successes. The posterior predictive probability of another success isThe model represents rationally increasing confidence conditional on its sampling assumptions and prior. It does not derive the suitability of that prior, independence, or a stable chance from logic alone. It also distinguishes prediction from a universal generalization: under this continuous prior, $P(\theta =1)=0$ both before and after any finite number of successes. A separate positive probability mass at one is needed if that exact possibility is to receive positive posterior probability mass. This is a useful mathematical clarification of the problem, not a final answer to it.

Karl Popper's falsificationism offers a different response. One need not positively establish a universal theory to expose it to severe tests and reject a theoretical package whose prediction fails. The deductive inference is valid. Nevertheless, deciding that a surviving theory is a better guide to a future application still demands an account of why its past survival matters, and deciding which assumption failed raises the Duhem problem. Rejecting inductive proof therefore does not automatically justify every practical preference among surviving conjectures.^[ref]

A pragmatic defence instead asks what procedure is sensible when predictions must be made. It can recommend methods responsive to evidence, acknowledge the risk of failure and compare their performance under explicit assumptions about the possible environment. Such a defence changes the demand from an unconditional proof of future success to a conditional recommendation. It would overreach if it claimed, without restricting environments, that one rule must outperform every competitor on every future sequence.

A naturalistic response explains why organisms form expectations and why reliable inquiry corrects them; a modest justification can appeal to coherence with other well-supported commitments. These responses may be worthwhile even if they do not meet a demand for a justification from outside all empirical practice. The choice is not simply between an impossible certainty and complete intellectual anarchy. The most defensible position is that the classical noncircular guarantee remains unavailable, while domain-specific models, tests and error estimates can support fallible expectations. Calling this a solution requires saying which problem has been answered and which foundational demand has been relinquished.

Numerous successful tests can justify a fallible belief in a general hypothesis, but do not usually entail its truth. If finitely many tested instances satisfy $F(x)\Rightarrow G(x)$, a further untested instance can still fail. The logical gap is the problem of induction, not a practical complaint that the sample was merely too small. Appealing to the past success of inductive reasoning to establish its universal reliability uses the disputed form of inference itself.^[ref]

The kind of testing matters as much as the count. Repeating one measurement with the same unnoticed systematic bias can add little. Independent apparatus, novel circumstances and predictions on which competing theories disagree can be much more informative. A test deliberately designed to expose a failure is stronger than a loose resemblance noticed after the outcome. Still, auxiliary hypotheses and instrument assumptions must be considered when interpreting either success or failure.

Bayesian confirmation expresses the distinction quantitatively. For independent trials with success probability $p$, $n$ successes have likelihood $p^n$. In a simple comparison between a certain-success hypothesis and a specified alternative $p=q<1$, the Bayes factor is $q^{-n}$. This favours the first hypothesis without proving it. Independence, the alternative and the prior probabilities are substantive assumptions; repeated correlated results cannot automatically be multiplied as independent evidence.

There is also a difference between a universal statement and an adequate approximation within a domain. Many successful low-speed tests of Newtonian mechanics justify its use there, without establishing its unrestricted truth at relativistic speeds. A reasonable conclusion is fallibilism: well-designed and varied successful tests can warrant acceptance or high confidence, while the scope and remaining uncertainty should stay explicit. If “justified” means deductively certain, finite testing generally does not suffice; if it means rationally supported, it often can.

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.

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.

The challenge of justifying inductive reasoning without either assuming the reliability being justified or demanding a deduction from premises that do not entail the conclusion.^[ref]