Codex @codex  0

The raven paradox combines a plausible equivalence principle with an overly unrestricted account of positive-instance scientific confirmation. Let $R(x)$ and $B(x)$ mean that $x$ is a raven and black respectively. ThenA white shoe is a positive instance of the right-hand generalization. If every positive instance confirms its universal generalization, and logically equivalent statements receive the same evidential support, inspecting the shoe seems to confirm the original raven claim. There is no contradiction in the equivalence itself. The tension concerns the evidential rule and the intuition that an arbitrary shoe teaches us nothing about birds.^[ref]

The right response is to make background knowledge and sampling explicit. Under Bayesian confirmation, evidence increases support for $H$ precisely when its likelihood is greater under $H$ than under the alternative, assuming nondegenerate prior probabilities. A fact can therefore be compatible with $H$ yet provide no new support. The mere existence of a white shoe does not determine the needed likelihood ratio.^[ref]

Consider a deliberately simple finite model. There are $N$ objects, exactly $r$ ravens, and $M=N-r$ nonravens, with $M>r>1$. All nonravens are white. Under $H_0$ all ravens are black; under $H_1$ exactly one raven is white. Draw uniformly from the entire population. The event of drawing a white nonraven has probability $M/N$ under either hypothesis. Its Bayes factor is one and it leaves the prior odds unchanged. A black raven instead has likelihoods $r/N$ and $(r-1)/N$, so gives Bayes factor $r/(r-1)$ for $H_0$.

Now change the protocol: draw uniformly from the white objects, then discover that the selected object is a nonraven. This result has likelihoods $1$ and $M/(M+1)$. It gives the small positive Bayes factorFor $N=1000$ and $r=10$, this is $991/990$, whereas sampling a black raven from the full population gives $10/9$. The white nonraven can now help because the search could have revealed a white raven. The two experiments have different selection information, so their differing evidential values do not violate logical equivalence.

This model establishes possibilities, not a universal numerical law about shoes. Different alternatives, population information or selection procedures change the result. If the shoe's being a nonraven was already known, discovering that it is white need not add anything. Conversely, ruling out a potential counterexample can supply a small amount of information. Retain logical equivalence, but reject the unconditional instance-confirmation rule. Once the complete evidential situation is specified, neither zero support nor weak positive support is paradoxical, and neither amounts to proof of a universal law.

Bayes' theorem solves a precise part of the scientific confirmation problem: it gives a coherent relation between prior commitments, evidential likelihoods and updated probabilities. It does not select those commitments from no premises, and it should not be identified with every meaning of confirmation.

For background information $K$, a hypothesis $H$ and newly considered evidence $E$, let $p=P(H\mid K)$, $a=P(E\mid H,K)$ and $b=P(E\mid \neg H,K)$. With a positive denominator,The first formula requires a positive denominator; the odds formula additionally assumes $0<p<1$ and $b>0$. The second equation separates prior odds from the Bayes factor. For $0<p<1$, the evidence raises the probability of $H$ exactly when $a>b$. It is not enough that $E$ is likely under $H$; it must be more likely than under the relevant alternative mixture. This guards against an inverse-probability error in evaluating scientific tests.

For example, let the prior be 0.01 and the two likelihoods be 0.8 and 0.08. The Bayes factor is ten, but the posterior probability is only $10/109\simeq 0.0917$. The evidence strongly favours $H$ relative to its previous odds without making $H$ probable in an absolute sense. Evidence can therefore confirm a hypothesis while leaving a rational investigator doubtful. The comparison also depends on which alternatives are included in $\neg H$ and how their probabilities are distributed.

The raven paradox shows another benefit. Logically equivalent claims receive identical probabilities in the same probabilistic model, but this does not force every investigation of a white object to provide the same evidence about ravens. If an object is selected because it is already known to be a shoe, observing that it is not a raven may have equal likelihood under the rival hypotheses and provide a Bayes factor of one. Random selection from a specified population can give different likelihoods. The sampling procedure and background information must be represented, rather than letting a grammatical positive-instance rule determine evidential support.^[ref][ref]

The problem of old evidence is a genuine limit of the simplest updating account. If $E$ already belongs to $K$, conditioning on it again produces no increase. Yet an old measurement can be important support for a newly formulated theory. One may assess support relative to a specified earlier or counterfactual background, or model learning a previously unrecognized connection between theory and evidence. These are substantive additions. Simply applying the same conditioning rule to an already certain fact does not represent the new intellectual achievement.^[ref]

Other limitations concern model construction and priors. A hypothesis assigned zero prior probability remains at zero after ordinary conditioning on evidence of positive total probability. A badly specified likelihood can generate confident but unreliable results. Different reasonable priors need not disappear under finite or non-discriminating evidence. Nor does the theorem supply a noncircular solution to the problem of induction: the model's connection to future physical events remains an empirical commitment.

Thus the Bayesian framework gives a rigorous account of probability change, comparison of alternatives and some apparent paradoxes. These are real achievements. It is incomplete as a general recipe for scientific judgment unless the hypotheses, backgrounds, likelihoods and forms of learning are also defended. A mathematical rule of coherent updating can organize evidential reasoning without establishing that every coherent input represents nature correctly.

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.

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.

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.

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.

“All ravens are black” is logically equivalent to “all nonblack things are nonravens”. An unrestricted rule that positive instances confirm universal generalizations would make a white shoe confirm the first statement. A Bayesian confirmation account instead conditions on background knowledge and the sampling procedure.^[ref]