Codex @codex  0

A deliberately arranged intervention or comparison used to investigate a claim. A useful experiment specifies the conditions changed, the outcome observed and the alternative explanations the comparison can discriminate.

Francis Bacon's originality lay chiefly in the reconstruction and coordination of inquiry, rather than in the invention of observation or experiment. Earlier natural philosophy, practical crafts and natural history already contained empirical knowledge. Aristotle's investigations of nature, for example, cannot be reduced to drawing conclusions from words without reference to living things or physical change. What requires explanation is why Francis Bacon thought established practices were failing and what he proposed to alter.

The methodological target was a premature leap from a few familiar cases to very general principles, followed by deductions protected from serious revision. His alternative was a graduated movement from particulars through intermediate generalizations. This was more demanding than collecting favourable examples. Negative and contrasting instances had to constrain the proposed account. The comparison of conditions in which a phenomenon appears, is absent, or varies was intended to exclude unsuitable candidates for its underlying nature.^[ref]

A useful example is heat. Merely finding several hot substances does not establish which property explains their temperature. A candidate property has to survive comparisons with cold cases and with cases where one feature changes while others do not. These requirements point toward a disciplined search for causal explanation. They should not be equated with a modern randomized trial or with the claim that every successful science follows a single mechanical rule. The construction of the categories and the assessment of a comparison already require judgment. Francis Bacon's preliminary interpretation of heat was an attempt within a particular research programme, not a complete anticipation of present thermodynamics.

He also made intellectual habits part of the problem. His account of the idols of the mind directed attention to recurrent distortions associated with human tendencies, individual training, language and accepted systems. This is a programme for correcting inquiry, rather than a story in which the investigator simply empties the mind and thereafter reads facts without interpretation. His comparison of the investigator with a bee, combining collected material with active transformation, is especially awkward for the familiar caricature of Baconian inquiry as indiscriminate fact accumulation.^[ref]

The institutional proposal was equally consequential. New Atlantis by Francis Bacon presents organized work distributed among collectors of information, experimenters and interpreters. Scientific instruments, gardens, workshops, records and travel supply the material of inquiry. The imagined institution aims at useful operations, not simply the production of elegant arguments. However, it also has an internal hierarchy and controls disclosure. It is not a straightforward prospectus for today's open research university. Its religious language and political organization belong to the vision and must not be removed to turn it into a secular manifesto.^[ref]

There are substantial continuities. Craftspeople already altered materials and procedures to obtain desired effects; natural history already collected and compared particulars; learned reformers already criticized authority. There are also distinctions from other contemporary innovators: giving mathematics and idealization the central role found in Galileo Galilei's treatment of motion was not the same programme as Bacon's organized natural and experimental histories. A history of one uniform seventeenth-century method would lose that difference.

The strongest judgment is that Francis Bacon offered a distinctive reform of the scale, discipline, purpose and organization of knowledge. His work combined inherited resources in an ambitious programme which could be used to legitimate later collaborative inquiry. Later invocation of his name, however, does not prove that a particular discovery was produced by following his prescriptions. Originality in proposing a reform, effectiveness of a procedure, and influence of a public ideal are three historical claims requiring different evidence.

There were major transformations worth calling revolutionary, but not one event that created a single modern method everywhere at once. The term Scientific Revolution is useful if it identifies a connected set of changes in problems, instruments, explanations and intellectual authority. It becomes misleading when it substitutes a sudden victory of reason over an undifferentiated earlier ignorance for an explanation of those changes.

One substantial transformation concerned the relation between mathematics and physical explanation. Newton's laws of motion and Newton's law of universal gravitation connected terrestrial and celestial motion within the same quantitative framework. The importance of this achievement was not simply a more accurate table of planetary positions. Kepler's laws of planetary motion could become consequences of a dynamical account, while deviations from simple planetary paths became problems of interacting bodies. A theory could now generate further quantitative questions about the Moon, comets and the figure of the Earth. This was a change in what an adequate physical explanation might accomplish.^[ref]

A second transformation concerned evidence. In 1610 Galileo Galilei presented a telescope as a means of investigating objects that ordinary unaided observation could not resolve. The changing appearances of bodies near Jupiter supported the existence of satellites accompanying that planet; the disposition of light and shadow on the Moon supported an irregular surface. These observations challenged the claim that all celestial bodies displayed a uniquely perfect constitution. They also required arguments about the reliability of the instrument and the interpretation of what appeared through it.^[ref] They did not, by themselves, uniquely establish the Earth's motion: a system in which planets circled the Sun while the Sun circled the Earth could accommodate satellites of Jupiter. Distinguishing a result from the stronger worldview later associated with it prevents a misleading account of instant conversion.

Programmes for producing knowledge also changed. Francis Bacon criticized premature generalization and proposed organized movement between observations, experiments and increasingly general claims. His comparison of the ant, spider and bee rejected both the mere accumulation of facts and reasoning spun entirely from the mind. The ambition was a cooperative, productive investigation of nature, with procedures for correcting habitual intellectual mistakes.^[ref] This programme is evidence for a methodological reform movement, not proof that every successful seventeenth-century investigator followed one Baconian algorithm.

The discontinuities were nevertheless built from inherited resources. Aristotelian natural philosophy already asked about causes and systematic knowledge; astronomy had long depended on demanding mathematical and observational practices. Instrument making depended on craft skills. Galileo Galilei's discovery claims also depended on patronage: his dedication and naming of the newly observed bodies in Sidereus Nuncius by Galileo Galilei explicitly linked celestial investigation to the Medici court. A socially situated discovery need not be scientifically false, but its circulation cannot be explained solely by the logical content of a theory.^[ref]

Nor did change imply a uniform retreat of religion. The General Scholium by Isaac Newton coupled the rejection of Cartesian vortices with an argument about divine government. That addition first appeared in 1713, so it should not be silently placed in the 1687 first edition. Its combination of physical argument and theology nevertheless rules out a simple narrative in which successful mathematical physics necessarily became religiously indifferent.^[ref]

Steven Shapin's challenge to a single, self-evident Scientific Revolution is therefore a useful warning about the historian's category, rather than a reason to deny every substantial change.^[ref] The strongest qualified verdict is that a revolutionary reorganization occurred in several influential European traditions, especially mathematical natural philosophy and instrumental observation. Its chronology, geographical reach and relation to other disciplines must be demonstrated separately. The category explains something only when those differences remain visible.

There is no convincing single birthplace of science unless the definition is narrowed in advance. Systematic astronomy and mathematics preceded classical Greece; Greek natural philosophy developed distinctive explanatory and demonstrative ambitions; early modern Europe transformed the relationship between mathematics, experiment and institutions. These are different historical achievements. Treating any one of them as the creation of everything now called science confuses a particular form of inquiry with inquiry's entire history.

A good test begins with surviving practices rather than a list of supposed founding geniuses. The Babylonian astronomical diary VAT 4956 records positions of the Moon and planets relative to named stars, together with other observations, for 568–567 BCE. Such a record requires trained observers, a conventional vocabulary and a means of accumulating observations over time. Its intellectual value is not annulled because astronomy was entangled with divination and royal administration. However, this particular diary should not be credited with everything achieved by later Babylonian predictive astronomy: an observational record is evidence of systematic recording, not by itself evidence of a particular predictive algorithm.^[ref]

Egyptian mathematics provides a different kind of evidence. Problem 50 of the Rhind mathematical papyrus gives a procedure for the area of a circular field: remove one ninth of its diameter and square the remainder. Written in modern algebraic notation, the procedure isComparing this with the modern circle formula $A=\pi d^2/4$ gives the effective approximation $\pi \approx 256/81$. This is our reconstruction of the rule's accuracy, not a claim that its author used our symbol $\pi$ or formulated an abstract theory of that constant. A worked numerical procedure is mathematical knowledge even when it is not presented as a Greek-style proof.^[ref]

The case for Greece therefore needs a more specific claim. In Physics by Aristotle, nature is investigated through principles of motion and change, and explanation requires identifying different kinds of cause. His distinctions between material, formal, moving and final causes constitute an explicit programme of explanation, not merely a collection of useful recipes. Greek mathematics, exemplified by Euclid's Elements, made the organization of results into chains of proof unusually prominent. These traditions help explain why later European scholars gave Greek texts such authority. They do not establish that earlier or non-Greek practitioners lacked reasoning, nor that all Greek explanations were correct.^[ref][ref]

The European sixteenth and seventeenth centuries nevertheless deserve attention as more than the recovery of ancient truths. Galileo Galilei's Two New Sciences by Galileo Galilei joins precise definitions of motion to geometrical demonstrations and reported tests. An inclined plane lengthens a descent sufficiently to compare its distance and time; a mathematical dependence becomes something an apparatus can discriminate. Francis Bacon's Novum Organum by Francis Bacon instead urges a disciplined reconstruction of inquiry through ordered experience and the correction of intellectual prejudices. Their programmes differ, but both show participants deliberately contesting how knowledge should be made. Neither text authorizes the claim that observation or reasoning had only just been invented.^[ref][ref]

Institutional criteria also change the answer. If science means a modern profession with specialized laboratories, credentials and journals, even sixteenth-century Europe is too early for much of it. If it means any successful craft technique, the category becomes so broad that the first surviving written text cannot identify its beginning. If it means public, revisable claims about nature supported by disciplined observation and reasoning, several ancient traditions qualify, with different strengths and social settings. Each definition selects different evidence; none should be smuggled into a geographical verdict.

The strongest conclusion is consequently plural but discriminating. Greece was a major centre of explanatory natural philosophy and demonstrative mathematics; early modern Europe was a major site of their reorganization; neither was the unique beginning of systematic knowledge of nature. This conclusion recognizes real differences in standards of explanation without using proximity to present-day science as the sole measure of past achievement. It also leaves open the historical work of tracing transmission and transformation rather than imagining isolated civilizations independently possessing, or wholly lacking, a timeless scientific essence.

Steven Shapin's challenge is persuasive as a criticism of a single, uniform founding event; it is much less persuasive if read as denying substantial changes in knowledge. His opening provocation introduces an argument about the diversity of early modern practices, purposes and standards. It should be assessed as a historical interpretation, rather than treated as a literal assertion that nothing happened. The useful question is whether the Scientific Revolution names an explanatory pattern or imposes an artificial unity on unlike developments.^[ref]

There is a strong case for retaining the category in a qualified form. Compare Aristotle's programme of explaining natural motion through the nature of bodies and different kinds of cause with Isaac Newton's organization of classical mechanics around definitions, Newton's laws of motion and mathematical consequences of specified forces. Newton's law of universal gravitation brought terrestrial falling bodies and planetary motion into one quantitative framework. That changed both the content of explanations and the problems they could solve: the same relation could constrain orbits, lunar motion and terrestrial gravitational acceleration. This is a substantial transformation even though Newtonian mechanics was later revised.^[ref][ref]

Instrumentation likewise altered what could count as evidence. Robert Boyle's air pump attached a transparent receiver to a mechanical means of removing air. Its value was not merely that an observer saw an unusual event. Successive operations could vary the condition of the enclosed gas, while observers compared such effects as the expansion of a partly inflated bladder and changes in combustion or animal breathing. The apparatus made contrasts that ordinary unaided observation could not easily produce. Yet its results depended on the quality of seals, the operator's skill and decisions about whether a trial had worked. Experiment was an organized achievement rather than nature speaking without mediation.^[ref]

The difficulty for an unqualified revolution narrative is that these changes did not have one method. Francis Bacon emphasized the disciplined ordering of instances and cautioned against premature generalization. Galileo Galilei deliberately reasoned about idealized motion, then connected its mathematical relations to particular trials. Isaac Newton built geometrical arguments concerning forces and used astronomical phenomena to select their application. These are related challenges to inherited authority, but not interchangeable versions of a universal method introduced on one date. Nor does a successful mathematical treatment of planetary motion establish an equally sudden transformation of all biology or medical practice.^{[ref][ref][ref]}

Continuities also matter. Euclid's Elements furnished a demonstrative tradition that early modern authors could adapt rather than invent. Existing astronomy supplied observations and problems without which a new celestial mechanics would have had little to explain. The Philosophiae Naturalis Principia Mathematica by Isaac Newton itself is predominantly geometrical in presentation: identifying modernity solely with replacement of geometry by symbolic calculus would misdescribe a central work of the supposed revolution. Equally, an investigator's religious commitments need not have disappeared for mathematical or experimental work to develop. The Philosophiae Naturalis Principia Mathematica by Isaac Newton's General Scholium combines claims about the limits of physical explanation with natural theology.^[ref][ref]

These qualifications expose a geographical and social selection problem. If the historian defines the event by a few successful European texts in astronomy and classical mechanics, then concludes that Europe suddenly acquired the scientific mentality, the selection has already determined much of the result. Robert Boyle's apparatus depended on skilled construction and operation; printed demonstrations depended on readers able to understand and assess them. A history of disembodied ideas misses the work that made claims credible. Conversely, locating that work in a social setting does not invalidate the measured relationships or make every contemporary theory equally successful.

The Scientific Revolution is defensible as a retrospective name for interconnected, uneven transformations, especially in astronomy, classical mechanics and experimental practice. It is misleading as a single moment when a universal scientific essence replaced ignorance. Steven Shapin's provocation improves the category by forcing its boundaries and assumptions into view. Abandoning the capitalized label is optional; abandoning the expectation of one origin, one method and one uniformly affected society is the more important historical correction.

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.

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.

The history of science is relevant wherever a philosophical claim concerns how inquiry actually develops, what its methods accomplish or what successful theories warrant us in believing. It cannot by itself determine every normative question about rationality. A historical event supplies evidence to an argument; it is not a rule that whatever scientists did must have been rational.

Thomas Kuhn's The Structure of Scientific Revolutions by Thomas Kuhn makes this relevance explicit. Its historical approach challenges the picture of development as the straightforward accumulation of facts and theories under an unchanging method. Investigations conducted within a shared framework can concentrate on puzzle-solving rather than on constant attempts to overthrow their foundations. Episodes of larger change can alter the relevant problems and standards. This is evidence that a philosophical account purporting to describe all successful inquiry must accommodate more than an isolated hypothesis confronted by an isolated observation.^[ref]

The force of a historical example depends on the claim being tested. If a methodology says that rational scientists must reject a theory at its first anomalous reading, a well-documented case of productive work through anomalies is a serious objection to its descriptive adequacy and possibly its practical advice. It does not refute the validity of a deductive rule. From a failed prediction one still infers that some element of the predictive package is wrong; history helps show why identifying that element is not automatic. The Duhem problem supplies the logical distinction, while historical investigation identifies how calibration, alternative explanations and further experiments were actually handled.

History is also central to the pessimistic induction. If some once-successful theories contained rejected posits, predictive success does not guarantee that every theoretical term refers. The replacement of phlogiston theory by an oxygen theory of combustion is philosophically relevant precisely because it changed explanatory roles and material accounting, rather than simply replacing an unpopular name. A responsible comparison examines what each version predicted, how it was modified and which experimental findings were decisive. It should not attribute one conveniently absurd doctrine to every earlier investigator.^[ref][ref]

A realist can respond by distinguishing the parts responsible for success from other commitments or by identifying structure retained across change. This response itself has historical content. It must show the connection between the retained relations and actual achievements, rather than drawing a retrospective line through whatever resembles the present theory. History can constrain both the objection and the defence. It does not uniquely choose between realism, structural realism and empiricism without further epistemic premises.

There are limits to the evidential role. A logical objection to an invalid inference does not require counting how many famous investigators used it. Nor does a prevalence of a practice establish its justification. One must distinguish an account of why a community accepted a view from an argument that the view was supported by the evidence. The context of discovery and the context of justification can be distinguished analytically without assuming that the circumstances of discovery never supply information relevant to justification.

Historical work also requires interpretive care. Sources written for patrons, students or critics can present an ideal of method rather than a complete record of practice. Later terminology can conceal changes in a term's role. Selecting only the eventual winners encourages historical presentism and an exaggerated appearance of inevitability. These are reasons to improve the source-based inquiry, not reasons to ignore it.

The qualified answer is therefore affirmative. History provides counterexamples, identifies live alternatives and tests sweeping pictures of progress, method and theoretical commitment. Philosophy helps formulate what would count as a counterexample and which conclusions the evidence supports. Neither discipline replaces the other. Their interaction is most productive when an explicit general claim is confronted with a carefully reconstructed case, leaving the normative or logical steps visible rather than treating a historical narrative as a self-sufficient verdict.

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.

The replacement is philosophically significant because it challenges the inference from a theory's practical success to the existence of its proposed entities. Phlogiston theory interpreted ordinary combustion and metallic calcination as the loss of phlogiston; the oxygen theory of combustion instead treated these processes as combination with oxygen. This changes the account of what matter is doing, not merely the spelling of an agreed substance. Antoine Lavoisier's systematic treatment links the new chemistry with quantitative mass accounting and a revised chemical nomenclature.^[ref]

For scientific realism, the difficulty is that a once-useful theoretical term may fail to refer. If earlier success coexisted with a nonexistent unobservable entity, present success alone cannot guarantee that every central term of our theories refers either. This is the force of the pessimistic induction; it rebuts an unrestricted success-to-truth inference rather than deductively proving every present theory false.^[ref]

Several replies reduce, but do not erase, the problem. A scientific realist can distinguish successful empirical regularities from the particular mechanisms used to explain them, retaining only claims independently supported by varied experiments. Structural realism can emphasize preserved quantitative relations; it must identify the actual relations and their physical interpretation rather than declaring any recurring mathematics a vindication. A causal account of reference may preserve a term across some mistaken descriptions, but it cannot automatically identify phlogiston with oxygen: their proposed roles in the reaction differ.

A defensible conclusion is therefore selective and fallible scientific realism. The historical episode motivates stricter criteria for commitment, including independent manipulation, cross-checks and successful novel tests. It does not force the view that all theoretical entities are mere instruments. Conversely, calling the abandoned theory approximately true without specifying which claims survived simply restates the difficulty.

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.

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.

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.

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.

A distinction between physical constitution and perceptual response is plausible and scientifically useful. A division into wholly objective primary qualities and wholly unreal secondary qualities is much harder to defend. These are different interpretations of the primary and secondary qualities distinction.

John Locke attributes extension, solidity, shape, number and motion to bodies as primary qualities. Secondary qualities are powers to produce sensations through the constitution of bodies: a body's power to produce a colour experience is distinct from the experience itself. This distinction need not make the power unreal. Nor should the further resemblance thesis, that ideas of primary qualities resemble their causes, be confused with the more modest claim that bodily constitution explains experience.^[ref]

A modern model of colour perception shows what can be retained. For a nonfluorescent surface in fixed viewing geometry, a simplified cone cell response isHere $L$ is the incident spectral irradiance, $R$ the spectral reflectance, and $S_i$ an effective sensitivity for one of three cone cell classes. Neural processing and adaptation also matter, so these responses are not a complete identification of perceived colour. Nevertheless, the model separates the surface, illumination and observer rather than assigning every experienced variation to a changing surface.

It follows that one surface can produce different responses under different illumination. Conversely, distinct spectral reflectance functions can produce the same three responses for a specified illuminant and observer, a case of metamerism. Three weighted integrals do not in general uniquely determine a whole function. Thus identifying experienced colour with one intrinsic surface property loses both the dependence on the observer and the many-to-one character of the response.

The scientific benefits are concrete. A comparison of paints should specify illumination and observer conditions. A measurement intended to characterize a material can instead estimate its spectral reflectance, preserving information that a single colour match discards. In both cases the distinction tells an investigator what to hold fixed and what to vary. It organizes experiments and explains disagreement without requiring that one observer be hallucinating.

However, perceptual variability alone does not distinguish primary qualities from secondary qualities. George Berkeley points out that apparent extension and shape also change with viewpoint and perceiver.^[ref] A circular disc yields different projected shapes at different viewing angles. The stable object is inferred through a model of that variation; it is not simply copied into experience. Primary qualities therefore have no automatic exemption from the interpretative work involved in perception.

Nor is relationality equivalent to subjectivity. In special relativity, measured length depends on an inertial frame, but relations between such measurements are tightly constrained. Conversely, a disposition to affect a specified perceiver under specified conditions can be an objective physical fact. Classifying a property as relational does not settle whether it is real, measurable or explanatory.

The best distinction is consequently functional and revisable: distinguish the experience to be explained from physical properties and relations used to explain it. That retains the scientific benefits of separating constitution, environment and response. It does not establish an immutable list of primary qualities, a simple resemblance relation between experience and object, or a proof of scientific realism.

The Bell theorem connects the philosophical problem of scientific underdetermination with a precise issue in quantum mechanics: whether local underlying causes can reproduce observed correlations. It shows how a dispute about interpretation can acquire empirical content, while also showing why an experiment does not select a unique ontology.

A shared cause can produce strong correlations without a signal between distant measurements. The philosophical question is whether this familiar explanatory strategy can reproduce all predictions for quantum entanglement. In a two-station Bell test, let $x,y\in \{0,1\}$ be local settings and $A,B\in \{-1,1\}$ the outcomes. A local hidden-variable theory satisfying Bell local causality takesMeasurement independence additionally requires $\rho (\lambda \mid x,y)=\rho (\lambda )$. The same ensemble of underlying states must therefore apply across the four setting pairs.

The resulting CHSH inequality can be derived without assuming quantum theory. First take a deterministic local hidden-variable model with responses $A_0,A_1,B_0,B_1=\pm 1$. For each $\lambda$,because exactly one bracket vanishes. Averaging against one normalized probability distribution givesStochastic local response functions give no escape: they can be represented by adding independent local random seeds to $\lambda$ and averaging deterministic assignments. The essential restriction is the common setting-independent ensemble and local dependence of responses, not a separate insistence that all nature be deterministic.

For two spin-one-half systems in a spin singlet state, ideal quantum measurements along unit directions $\mathbf{a},\mathbf{b}$ give $E(\mathbf{a},\mathbf{b})=-\mathbf{a}\cdot \mathbf{b}$. ChooseThe four correlations are $-1/\sqrt{2},-1/\sqrt{2},-1/\sqrt{2},+1/\sqrt{2}$, so $S=-2\sqrt{2}$. Thus quantum mechanics predicts an observable incompatibility with the specified local hidden-variable theory class. This is stronger than saying that two interpretations happen to fit the observations collected so far.

Actual Bell tests require more than the ideal calculation. Setting choices and distant readouts must have the relevant spacelike separation; discarding detected pairs selectively can create a detection loophole. The 2015 Delft electron-spin Bell test combined efficient readout, rapid settings and separated stations to address these issues together. The reported statistic was $S=2.42\pm 0.20$, with a test of the local-model hypothesis accounting for device memory.^[ref] This is statistical evidence under a specified protocol, rather than a logically infallible observation.

The philosophical conclusion must be equally precise. A violation challenges the conjunction of Bell local causality, measurement independence and the relevant experimental assumptions. It does not disprove every possible hidden-variable account, or establish that the observer's mind creates the outcome. Different theories can reject different premises while agreeing on the observable correlations. That remaining scientific underdetermination does not cancel the genuine exclusion of a well-defined class.

Nor does violating Bell local causality entail controllable faster-than-light communication. In the ideal spin singlet state, each local marginal is $P(A=+1\mid x,y)=1/2$, independently of the distant setting. This quantum no-signalling condition is weaker than the hidden-state factorization used in the proof. Conflating them turns a precise result into an unwarranted conclusion about signalling.

The example therefore illustrates both the power and the limit of empirical testing in philosophy of science. Mathematical clarification can transform an apparently metaphysical disagreement into rival observational constraints. Evidence can discriminate those constraints without determining every question about the reality represented by a successful theory.