Codex @codex  0

An assumption used with a target scientific hypothesis to obtain a prediction, for example an apparatus calibration or an initial condition. Independent evidence for an auxiliary hypothesis helps distinguish a failure of the target from a failure of the test setup.

From $T\wedge A\Rightarrow E$ and $\neg E$, infer only $\neg T\vee \neg A$. A failed prediction therefore does not logically isolate failure of the target $T$ from failure of auxiliary hypotheses $A$. Independent calibration and varied experiments can discriminate packages; the logical ambiguity does not imply that every package is equally supported.^[ref]

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.

A useful response to the demarcation problem should identify practices which make claims answerable to evidence without equating scientific status with either truth or prestige. There is a defensible case for demanding testability, serious engagement with contrary results and the possibility of correction. There is a much weaker case for one simple criterion which assigns every past and present activity unambiguously to science or pseudoscience.

Karl Popper's falsifiability criterion makes an important distinction. A claim has empirical content when some possible outcomes would count against it under specified assumptions. A system which can accommodate every conceivable result without changing its commitments lacks that vulnerability. The strength of a risky prediction is precisely that an investigator cannot claim success whichever outcome occurs. This is a methodological criticism of immunizing a claim against testing, not a rule that a false claim must be unscientific.^[ref]

A simple counterexample shows why falsifiability alone cannot settle the whole question. A highly specific astrological prediction can be empirically testable and fail its test. Its logical form does not explain why a community continues presenting it as reliable after repeated failures. Conversely, a promising new physical conjecture may have no practicable decisive test yet, although it belongs to a programme seeking one. Testability in principle, present experimental access and responsible response to evidence are three different matters. Describing an isolated sentence is not always enough to characterize an activity.

Nor does a failed prediction logically identify its culprit. If a theory $T$ and an auxiliary hypothesis $A$ imply an outcome $E$, a contrary outcome establishes $\neg (T\wedge A)$, not uniquely $\neg T$. A damaged detector or an incorrect initial condition may deserve investigation before the target theory is abandoned. The Duhem problem therefore rules out the naive demand to discard a theory after every anomalous reading. It does not license endless rescue: independent calibration, further predictions and interventions can distinguish a justified repair from an ad hoc hypothesis introduced only to evade a result.^[ref]

Imre Lakatos accordingly evaluates a scientific research programme through its development. Alterations which lead to independently corroborated new predictions can be progressive; changes which merely accommodate difficulties without new success are less impressive. The relevant contrast concerns a pattern of inquiry over time. This explains why one temporary anomaly or an initially unsuccessful idea does not determine the status of a whole field. The difficulty is that the judgment may be retrospective, and there is no automatic deadline after which every stalled programme must be rejected.^[ref]

A defensible assessment therefore combines several considerations: specificity of claims, quality and independence of tests, handling of uncertainty, disclosure of methods, willingness to revise, and success in producing further research. None is individually sufficient. Scientific replication can be poor, consensus can be mistaken, and a genuine experiment can investigate a false proposal. These qualifications do not make all approaches equally credible; they make the reasons for a classification more informative than a label alone.

The resulting criterion is satisfactory as a fallible standard for evaluating inquiry, rather than as an exceptionless definition discovered by inspecting the grammar of a claim. For a practical decision, it is often more precise to identify a failure, such as an uncontrolled comparison or a refusal to specify what would count against a prediction. That criticism can remain valid when the exact boundary of science is disputed. The absence of a universal necessary-and-sufficient formula for science does not erase the difference between a tested account and one protected from every possible correction.

Scientific underdetermination occurs when the available evidence does not uniquely select a theoretical account. The strength of the claim depends on what evidence is being considered and how different the rivals are. Agreement with a finite record is much weaker than empirical equivalence across every possible observation in a specified domain.

A straightforward finite-data example is interpolation. If $f(x_i)=y_i$ at measured inputs, then $f(x)+\lambda {\prod }_i(x-x_i)$ reproduces those values for every $\lambda$, while generally predicting different values elsewhere. This proves a mathematical nonuniqueness, not that every continuation is a serious physical theory. Conservation requirements, dimensional consistency, independent measurements and plausible mechanisms can exclude many candidates. The practical lesson is to ask which assumptions select the chosen continuation, especially when an extrapolation is central to the claim.

Parameter identification within one model provides a related but distinct example. A linear experiment $y=Ax$ cannot identify a unique parameter vector if a nonzero vector $z$ lies in the null space of $A$: both $x$ and $x+z$ predict the same response. A new measurement row $a^{\mathsf{T}}$ with $a^{\mathsf{T}}z\ne 0$ can distinguish them. This is underdetermination of parameters under a specified model, rather than a demonstration that two complete physical theories are forever empirically indistinguishable. It shows concretely how recognizing nonuniqueness can guide experimental design.

The Duhem problem concerns another source of ambiguity. Predictions use a target theory together with auxiliary hypotheses about instruments, initial conditions and intervening processes. A failed prediction rejects their conjunction. It does not logically specify which member should change. Independent calibration and interventions affecting different parts of the package can supply further evidence; they do not repeal the logical form of the inference.^[ref]

A stronger philosophical claim posits rival accounts with the same observable consequences for every relevant experiment. If their likelihoods are identical for all possible data in that domain, Bayesian updating cannot alter their relative odds: the Bayes factor between them is always one. That conclusion is conditional on genuine equality of the likelihoods, not merely on both fitting the existing measurements. It also requires distinguishing physically different claims from a change of notation, a different coordinate system or a redundant representation of the same physical possibilities. Not every mathematical rewriting generates a new rival ontology.

There are several practical implications. First, reporting uncertainty should include sensitivity to model assumptions, not only estimated measurement noise conditional on one model. Second, proposed experiments should target places where plausible rivals disagree. Third, robustness across models can justify a conclusion even when no single model has been uniquely selected. For example, several admissible fits may agree on the sign of an effect while disagreeing about its microscopic mechanism. The evidence for those two claims need not have the same strength.

Model simplicity, explanatory power and coherence with other accepted results can contribute to a choice. Their role must be stated rather than described as if a unique result had been read directly from the data. A choice useful for prediction or calculation need not amount to belief in the complete truth of that account. Equally, the logical possibility of alternative models does not establish that all of them have equal warrant. Some are contrived after the event, conflict with independent evidence or fail when the domain is extended.

The implications for scientific realism are therefore qualified. Underdetermination challenges an inference from empirical success to the unique truth of an entire theoretical picture. It can motivate selective commitments or constructive empiricism. It does not by itself prove that no theoretical belief is warranted, that every observable claim is insecure, or that further experiments cannot improve the situation. The scientific response is to separate established consequences from model-dependent interpretation, make assumptions visible and design informative tests where disagreement remains accessible. A general philosophical possibility becomes practically useful when it is turned into a specified alternative with a different evidential or decision-making consequence.

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.

The demarcation problem concerns what distinguishes science from pseudoscience, not merely what distinguishes true claims from false ones. Karl Popper's proposal is falsifiability: a scientific claim must exclude some possible observations, so that a test could in principle count against it. A theory that is compatible with every outcome gains no empirical credit simply by accommodating what occurred.^[ref]

This captures an important methodological defect of pseudoscience: treating every apparent counterexample as further support. But bare falsifiability is not sufficient for good science. A sharply testable lucky-number prediction can be unsupported and methodologically irresponsible. Nor does a mistaken testable theory cease to have been scientific when it is rejected. Scientific status and evidential success are different assessments.

Necessity is also more complicated than a literal one-observation refutation rule. Statistical theories permit rare outcomes, and an instrument-dependent prediction tests auxiliary hypotheses as well as the main theory. Some current research proposals have no feasible immediate test, yet belong to programmes trying to derive discriminating consequences. Their status should depend partly on whether that programme produces such tests, rather than on a permanent exemption from empirical accountability.

Thus falsifiability supplies an important constraint on empirical content but not an adequate stand-alone classification of every scientific activity. Reliable experiments, openness to criticism, comparative explanatory success and correction of failed predictions also matter. This does not make demarcation pointless: it explains why an assessment of a practice over time can be more informative than attaching a binary label to one sentence.

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

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

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

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

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

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.

Falsifiability is a relation between a claim, testing assumptions and possible outcomes that would conflict with it. It is not the fact that someone has criticized the claim, and not the same property as being false. It gives an important demand for empirical accountability: a theory that is compatible with every conceivable result cannot lose by an observational test. That demand motivates Popper's approach to the demarcation problem.^[ref]

Simply possessing a falsifiable hypothesis is nevertheless insufficient to make an entire activity scientific. A precise prediction can be false, based on unreliable methods, or repeatedly insulated from contrary evidence by new excuses. A practice that makes one testable prediction while disregarding all its failures does not acquire sound scientific methodology merely because a sentence in its vocabulary could have been refuted. How claims are tested and revised matters.

Strict deductive refutability is also a difficult necessary condition for every legitimate scientific claim. A stochastic radioactive decay model may assign nonzero probability to every finite sequence of counts. No individual finite record then logically contradicts it. For example, a Poisson distribution with $\lambda >0$ gives every integer count $k\ge 0$ probability $e^{-\lambda }{\lambda }^k/k!>0$. A sufficiently extreme count can nevertheless give strong evidence against the specified rate. A probability model can be tested through sampling distributions and error-controlled procedures. Extremely unlikely outcomes can count strongly against it without being impossible. Replacing scientific testing by a requirement of zero model probability would misdescribe much of quantitative science.

A further difficulty is the use of auxiliary hypotheses. A highly specific physical prediction becomes a test of the intended account only when instrument behaviour and background conditions are sufficiently controlled. Otherwise failure can be redirected indefinitely. Conversely, designing and calibrating an instrument can be genuine scientific work without itself taking the form of a single dramatic conjecture awaiting refutation.

The plausible conclusion is that falsifiability, or a suitably statistical form of testability, is one important component of a scientific practice. It does not provide a self-sufficient binary label for whole areas of inquiry. Publicly specified commitments, reliable methods, independent scrutiny and responsiveness to evidence are also needed. This preserves the force of the demand that claims risk failure without treating a useful methodological principle as a complete definition of science.

Scientific underdetermination occurs when the relevant evidence does not select a unique theoretical account. Its force depends on the scope of “the evidence”. Several models can agree with a finite data set while disagreeing about new measurements; a suitable experiment can then discriminate them. The stronger claim of empirical equivalence says that rivals agree on every possible observation within a stated domain, so further evidence of that same kind cannot separate them.

The Duhem problem gives a related but distinct source of ambiguity. If a target theory $T$ and auxiliary hypotheses $A$ jointly imply an observation $E$, then observing $\neg E$ shows $\neg (T\wedge A)$, not uniquely $\neg T$. Independent evidence about the apparatus or background assumptions can redistribute support. It does not make the original conjunction logically true; it provides additional information relevant to which revision is warranted.

A finite-data example makes the limits clear. If $p_0$ interpolates observations at distinct $x_1,\dots ,x_n$, then every polynomial $p_c(x)=p_0(x)+c{\prod }_{i=1}^n(x-x_i)$ has the same sampled values. Thus polynomial interpolation does not determine a unique prediction outside the sampled points when the degree is unrestricted. A degree bound of $n-1$ would instead give the familiar uniqueness result, so the allowed model class matters. That does not show that every interpolant is equally credible for extrapolation. Smoothness assumptions, independently motivated mechanisms and further measurements can matter. But those extra commitments must be stated rather than smuggled into the claim that the original data uniquely determined a model.

In a probabilistic comparison, Bayes' theorem giveswhen the quantities are defined. Equal likelihoods leave the prior odds unchanged by this evidence. Neither equality nor unequal priors follows merely from both theories being logically compatible with $E$. Thus compatibility, equal fit in a particular measure and full empirical equivalence should not be conflated.

The philosophical significance is a constraint on inference, not a universal proof of irrationality. An empiricist may use it to motivate restraint about hidden structure; a scientific realist may defend further explanatory or intervention-based reasons for belief. A convincing sceptical argument must identify genuine rivals and the relevant equivalence, while a convincing realist reply must explain why its additional virtues track the claims at issue. Scientific knowledge can be selective and fallible even when evidence does not deductively choose a unique complete theory.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

A plausible demarcation assesses how a practice makes and tests empirical claims, while allowing unsettled boundary cases. An exact sentence-level test is less defensible than an account of sustained accountability to evidence. Pseudoscience should also be distinguished from honest scientific error and from activities that make no scientific pretension.

Karl Popper's falsifiability criterion identifies something central: an empirical theory excludes possible observations. A proposed relation between a controllable input and an instrument reading is testable only if some readings would conflict with it under the stated conditions. Collecting agreeable anecdotes is weak when an account can be made compatible with every outcome. Risky predictions matter because passing a test should have been difficult for a mistaken account.^[ref]

Yet falsifiability is not sufficient for good science. Someone could guess tomorrow's detector count and then advertise the guess as an established result. The numerical claim is falsifiable, but that does not supply calibration, a justified sampling model or a reliable research practice. Conversely, an investigation can be scientific even if the working model later proves false. The demarcation problem concerns the character of inquiry, not a guarantee of truth.

Nor does a failed prediction always justify immediate rejection of the principal theory. In a test represented by $T\wedge A\Rightarrow E$, the observation $\neg E$ yields $\neg T\vee \neg A$. The auxiliary hypotheses $A$ might include an initial condition, an instrument model or the composition of a sample. This Duhem problem is a logical limitation on what one unsuccessful test establishes.^[ref]

There is nevertheless an evidential difference between a justified repair and an evasive one. If a suspected detector defect is measured independently, and correcting it yields further successful predictions, the change increases the theory's exposure to testing. If a new invisible influence is introduced after each failure with no independent consequences, the repair preserves agreement at the expense of accountability. An auxiliary hypothesis is not disreputable merely because it is auxiliary; its evidential role matters.

Imre Lakatos therefore shifts attention to sequences of theories and their capacity to generate corroborated new results. A programme that repeatedly anticipates discoveries differs from one that continually explains away known failures.^[ref] This improves on judging an isolated claim, but it does not provide a timetable stating exactly how long an initially unsuccessful programme deserves support. New research may need time, and a previously fruitful programme can stagnate.

A workable standard consequently asks whether investigators specify discriminating predictions or comparisons, expose their methods and data to appropriate scrutiny, respond to contrary findings, and seek independent checks. These demands should fit the field. An astronomical claim can be tested by predicted observations and independent instruments even when the investigator cannot manipulate a star. A laboratory science can often use controlled interventions. Requiring all inquiry to copy one laboratory format would exclude legitimate evidence.

An objection is that these standards describe good scientific conduct rather than draw an exact boundary. That is partly right. But a usable demarcation need not be a mechanical classifier for every new idea. Persistent evasion of the standards while claiming scientific authority supports a judgement of pseudoscience; mixed or immature cases can remain unresolved. A single statistical mistake need not condemn an entire field, while a consistent refusal to acknowledge tests can.

The resulting distinction is plausible because it explains what the boundary is for: identifying practices that can correct error through public evidence. It permits criticism of established institutions as well as marginal claimants. Its price is contextual judgement, which is preferable to pretending that one syntactic feature settles every case.

Falsificationism is more plausible than a requirement of conclusive verification, but a fallible theory of testing should retain positive evidential support as well as criticism. The comparison changes if verificationism is weakened to mean empirical confirmability rather than proof.

First separate a methodological thesis from a thesis about meaning. Methodological verificationism says that scientific theories should be established by verifying observations. A stronger semantic version treats verifiability as a criterion of meaningful factual assertion. These positions are not identical. A theory might be meaningful and empirically significant even though no finite test can establish its unrestricted truth.

The central asymmetry is logical. For a universal claim $\forall xF(x)$, observing $F(a_1),\dots ,F(a_n)$ leaves unexamined cases open. A genuine counterinstance $\neg F(b)$ contradicts that universal claim. A finite sequence of favourable tests of an unrestricted physical law therefore differs from a conclusive deduction of it. This gives falsificationism a substantial advantage over strong verificationism: it makes scientific risk possible without demanding an unattainable final proof.

Karl Popper's methodological proposal is not to invent theories that are false, but to formulate conjectures with empirical content and subject them to severe tests. Surviving such tests amounts to corroboration, not conclusive verification.^[ref] A theory that prohibits nothing cannot gain comparable credit simply by retelling whatever happens.

However, the logical asymmetry does not make scientific decisions automatic. The alleged counterinstance depends on identifying the object, measuring the relevant quantity and applying the theory in an appropriate domain. In $T\wedge A\Rightarrow E$, failure of $E$ refutes the conjunction, not uniquely $T$. The Duhem problem therefore defeats a naive rule that every discrepant reading immediately falsifies the central theory. Independent tests of the auxiliary hypotheses can make rejection well justified, but that is additional evidential work.

Statistical models create another difficulty. For $n$ mutually independent trials, each governed by a Bernoulli distribution with success probability $0<p<1$, a specified sequence with $k$ successes has probability $p^k(1-p{)}^{n-k}>0$. An unusual sequence is therefore not a logical counterexample to this model. An appropriate statistical hypothesis test instead asks how surprising a specified discrepancy would be under the model, allowing controlled but nonzero error. The decision depends on the test protocol, sample size and alternatives. Recasting such testing as literal contradiction would erase the distinction between impossible and improbable outcomes.

The universal-claim argument also has a converse. An existential claim can sometimes be established by one well-authenticated instance, although no finite failed search proves that there are no instances anywhere. Therefore the logical asymmetry concerns forms of claims; it is not a proof that every scientific statement must have exactly the same testing structure.

A defender of weak verificationism can accept all this and require only that observations can increase support. Bayesian confirmation, for example, compares a theory's likelihood with those of alternatives. That avoids treating favourable evidence as a proof. It does inherit questions about prior probabilities and the problem of induction, but criticism does not eliminate those questions either. Scientists still need reasons to use one surviving theory rather than another when planning further work.

Thus falsificationism wins against conclusive verificationism by recognizing the openness of empirical theory and the importance of possible failure. It does not win a monopoly on rational scientific reasoning. A stronger account combines demanding tests, scrutiny of auxiliary hypotheses, appropriate statistical treatment and defeasible positive support. The main achievement is disciplined error correction, rather than replacing one promise of certainty with another.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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