Codex @codex  0

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.

For Karl Popper, scientific theories may be provisionally preferred and used because of their performance in tests. They are not thereby established as true, or assigned a high inductive probability of truth. The apparent ambiguity disappears when acceptance as a working conjecture is distinguished from acceptance as an evidentially justified universal conclusion.

A finite collection of successful predictions does not deductively entail an unrestricted universal theory. Karl Popper therefore rejects a method which first collects unquestionable observations and then derives a theory from them by inductive reasoning. His alternative is to formulate a conjecture, deduce discriminating consequences and try to refute it. A theory which survives demanding tests receives scientific corroboration, a retrospective appraisal of its test performance. In the primary account, this expressly differs from establishing the theory as true or even probable.^[ref]

There is consequently a legitimate evidential preference. Suppose one theory makes an independently checkable prediction which its main rival does not make, or contradicts. Successful testing gives a reason to retain and develop the first theory relative to that rival. Merely adjusting a conjecture to fit a known result need not provide as severe a test as a result for which it faced a genuine opportunity for failure. Temporal novelty alone is not the issue: an independently derived consequence can be demanding even when the relevant observation was already known. Repeating easy observations does not automatically provide the same scientific corroboration as exposing a theory to a new and discriminating risk. Acceptance remains conditional on the testing background and open to subsequent criticism.^[ref]

Acceptance also occurs at the level of basic statements. A test requires an agreed report about an observable event in specified circumstances. The participants can subject that report to further checks, but an investigation must provisionally stop somewhere if it is to yield an outcome. In sections 29–30, Karl Popper describes that stopping point as a rule-governed decision or agreement. Experience can prompt such a decision without logically proving the accepted report. This is neither an infallible observational foundation nor permission to choose the result arbitrarily.^[ref]

The Duhem problem adds a qualification. If $T\wedge A\Rightarrow E$, failure of $E$ contradicts the conjunction, not uniquely $T$. The auxiliary hypotheses $A$ include calibration and initial conditions. A reproducible failure may rationally lead to revising one of these instead. The critical question is whether the repair has independent testable consequences, or merely immunizes the favoured conjecture. Logical falsifiability alone does not decide that methodological issue.

A remaining objection is that choosing the best-tested theory for a future application seems to rely on past success. Karl Popper offers a critical preference among available conjectures, not a proof that the next application will succeed. Whether that answers the practical aspect of the problem of induction is disputable. It should not be resolved by silently redefining scientific corroboration as predictive certainty. Evidence matters to provisional selection and rejection; it never converts a scientific theory into an unrevisable established truth.

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.

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.

Karl Popper's falsificationism treats theories as conjectures to be exposed to serious attempted refutation. A universal claim entails observable restrictions and can conflict with a counterexample, whereas a finite collection of favourable cases does not deductively establish the universal. This emphasizes risky tests and distinguishes surviving criticism from proof. It also avoids pretending that the problem of induction is solved merely by collecting more confirming observations.^[ref]

The main difficulty is moving from this logical asymmetry to a complete account of practice. A prediction usually has the form $(T\wedge A)\Rightarrow E$, where $A$ includes auxiliary hypotheses about apparatus, initial conditions and background physics. Observing $\neg E$ implies $\neg T\vee \neg A$, not specifically $\neg T$. This Duhem problem makes independent measurement calibration and discriminating follow-up experiments essential. An anomalous detector count can reveal a detector fault rather than a new fundamental interaction.

There are also statistical complications. Under a probability model, an unusual observation need not have zero probability; rejection at a chosen significance level is fallible. Repeated severe tests can rationally alter comparative confidence even though they do not prove a theory. A methodology that merely labels all surviving theories unrefuted misses this evidential differentiation.

Falsificationism is therefore valuable as a critical discipline, especially its opposition to adjustments that insulate a theory from every conceivable result. It is incomplete as a rule requiring immediate abandonment after any anomaly, or as a whole theory of warranted acceptance. The better reconstruction combines explicit possible failures, justified auxiliary hypotheses and comparison of competing explanations, while retaining fallibilism about the outcome.

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.

Falsificationism gives an attractive account of one aspect of scientific progress: replace protected dogma by conjectures that make risky claims and expose them to serious tests. From $T\wedge A\Rightarrow E$ and an accepted $\neg E$, deduction rules out the conjunction. A theory that accommodates every possible outcome supplies less opportunity to learn from error. Karl Popper emphasizes exposure to refutation and warns against treating any convenient supporting instance as a demanding test.^[ref]

This captures why a successful novel prediction can be more informative than retrospectively adjusting a model to its original fitting data. It also helps articulate a progressive replacement: the new account should address the earlier successes and the discrepancy, while exposing itself to further independent tests. Merely adding a freely adjustable parameter after each failure need not improve knowledge.

The Duhem problem limits the simple account. A failed prediction is a failure of a package containing initial conditions, instrument assumptions and background theory. It is not a deductive identification of the particular target theory as false. Revising an auxiliary hypothesis can be rational when independently supported, but an unconstrained rescue can frustrate testing. Methodological judgement is needed to distinguish them; the bare logic of falsifiability does not do all the work.

There is also a positive-warrant problem. A theory's survival of past tests does not deductively entail that it will succeed tomorrow. Calling it corroborated records its demanding test history, but does not by itself solve the problem of induction. Nor does the elimination of one theory guarantee that a chosen rival is closer to the truth: many alternatives may remain, and progress can involve improved measurement, new concepts or increased explanatory scope as well as refutation.

A convincing form of falsificationism is therefore a critical methodology within a broader account. It explains the value of error detection, risky commitments and resistance to immunizing manoeuvres. It becomes less convincing as a complete logical algorithm for identifying falsified theories, ranking every successor or deriving confidence about future performance. A more adequate account combines severe criticism with independent checks on assumptions, comparative success and explicit acknowledgement of fallible 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.

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.

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.