Codex @codex  0

Fix $r>1$ ravens and $M>1$ nonblack objects in a finite population. Under $H_0$, all ravens are black; under $H_1$, exactly one is nonblack. The total numbers $r,M$ are held fixed under both hypotheses, so the classification of one nonraven also changes between hypotheses. This is a deliberately specified model for Bayesian confirmation, not a universal rule about how bird observations supply evidence.

A uniform draw among nonblack objects returns a nonraven with probabilities $1$ under $H_0$ and $1-1/M$ under $H_1$. A uniform draw among ravens returns a black object with probabilities $1$ and $1-1/r$. The respective likelihood ratios for $H_0$ over $H_1$ are therefore $(1-1/M{)}^{-1}$ and $(1-1/r{)}^{-1}$. When $M>r$, the former is closer to one, so supplies less support under these assumptions.

With equal prior probabilities, Bayes' theorem gives posterior probabilities $1/(2-1/M)$ and $1/(2-1/r)$. More generally, with prior probability $p$ for $H_0$, replace the two expressions by $p/[p+(1-p)(1-1/M)]$ and $p/[p+(1-p)(1-1/r)]$. Previously known information or a different sampling protocol requires different likelihoods; selecting an object already known to be a nonraven need not supply new evidence.

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.

Let $R(x)$ mean that $x$ is a raven and $B(x)$ that it is black. The hypothesisis logically equivalent to $\forall x[\neg B(x)\Rightarrow \neg R(x)]$. If the observed paper is both nonblack and a nonraven, it is a positive instance of the second formulation. Combining an unrestricted positive-instance rule with preservation of scientific confirmation under logical equivalence produces the raven paradox.^[ref]

Whether the observation actually supplies evidence depends on what was already known and how the object was selected. In Bayesian confirmation, with background $K$, support means $P(H\mid E,K)>P(H\mid K)$. If the observer already knows the selected item is a nonraven and its colour is conditionally independent of $H$, then $P(E\mid H,K)=P(E\mid \neg H,K)$: the likelihood ratio is one and there is no confirmation. If all of $E$ was already known, learning it again also gives no update.

Under a different sampling scheme, the same classification can provide slight support. In the finite-population model of raven confirmation, fix $r$ ravens and $M$ nonblack objects. Compare no nonblack raven with exactly one. Sampling uniformly among the nonblack objects gives a nonraven with probabilities $1$ and $1-1/M$, hence likelihood ratio $(1-1/M{)}^{-1}>1$. If $M$ is large this is tiny evidence, not a proof. This example establishes possibility under explicit assumptions, not that every white-paper observation has that evidential role.

The appropriate answer is therefore conditional: mere logical instantiation does not settle the support supplied by observing this paper. State the background and sampling procedure. A familiar paper deliberately selected as a known nonraven normally supplies no new evidence about raven colour; a specified alternative sampling model may yield a small positive update.

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.

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.

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.

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.

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]