RESEARCH DOSSIER
Lakatos and Research Programmes
Abstract. Imre Lakatos’s methodology of scientific research programmes evaluates science through temporally extended sequences of theories rather than through isolated hypotheses and instantaneous experimental verdicts. This monograph reconstructs the hard core, protective belt, negative and positive heuristics, theoretical and empirical problemshifts, and the distinction between progressive and degenerating development. It situates Lakatos within the dispute between Popperian falsificationism and Kuhnian accounts of scientific change, examines the methodological status of prediction, novelty, anomalies, and crucial experiments, and compares his view with later arguments concerning rational reconstruction, problem solving, and Bayesian methodology. Historical illustrations involving Prout, Bohr, Newtonian celestial mechanics, early Copernicanism, and Einstein are evaluated with explicit attention to their documentary limits. The central interpretive result is that a defensible Lakatosian appraisal depends on recoverable chronological relations among theoretical commitments, proposed extensions, observations, and rival programmes. This conclusion clarifies an established methodological tradition and introduces no newly named theory or unsupported historical discovery.
Keywords: Imre Lakatos; research programmes; philosophy of science; hard core; protective belt; positive heuristic; negative heuristic; progressive problemshift; degenerating problemshift; falsificationism; Thomas Kuhn; rational reconstruction; novel prediction; scientific rationality; corroboration; historical epistemology.
Question, scope, and interpretive position
The central problem of this monograph is how scientific inquiry can be rational when theories encounter persistent anomalies, when rival systems coexist, and when a single experimental result rarely determines which theoretical commitment should be abandoned. Imre Lakatos’s methodology of scientific research programmes addresses this problem by changing the temporal unit of scientific appraisal. The relevant object is a historically extended succession of theories, methods, auxiliary assumptions, and research achievements. Its evaluation therefore depends on the relationship between a programme’s successive versions and its developing empirical record. In Lakatos’s foundational methodological essay (1970), this shift is central to a sophisticated account of scientific criticism.
The guiding question asks what distinguishes progressive from degenerating research programmes. Its answer requires separate consideration of structural organization, theoretical innovation, corroborating evidence, historical sequence, and comparative alternatives. A programme can be fertile without having yet secured substantial empirical success; it can also accumulate accurate accommodations while losing its capacity to generate independently testable developments. The distinction is historical and evaluative. It does not follow from the number of anomalies alone.
The interpretation advanced here treats Lakatosian appraisal as a discipline of temporally accountable comparison. Such an interpretation is an analytical reading of the established methodology, not an independent named theory. It clarifies what evidence a historian or philosopher needs before classifying an episode as progressive or degenerating, and why that classification may change as the evidential record develops. The document reconstructs Lakatos's writings, compares major criticisms, and tests the usefulness of the distinction through historically documented episodes and an expressly constructed example.
Primary texts, chronology, and research method
The principal textual anchors are Lakatos’s 1970 contribution to Criticism and the Growth of Knowledge and the collected papers published in 1978 under the editorship of John Worrall and Gregory Currie. The latter volume includes the research-programmes essay, "History of Science and Its Rational Reconstructions," discussions of demarcation and induction, and the study of Copernican astronomy written with Elie Zahar. The contents and editorial attribution are directly identifiable in the collected primary texts (Lakatos 1978).
This monograph differentiates a proposition attributable to Lakatos, a proposition advanced by a contemporary commentator, a historical report requiring independent evidence, and this author's own interpretation. It also distinguishes access levels. The original collected volume has been inspected in an accessible digitized text; some other historical books have been checked through publishers’ bibliographic descriptions rather than represented as fully read. Open-access chapters from the 2025 centenary collection provide direct engagement with contemporary arguments. The centenary research collection (Frigg et al. 2025) establishes the composition and editorial context of that material.
The methodological sequence is textual reconstruction, conceptual differentiation, comparative argument, case-based stress testing, and source-to-claim verification. Historical examples function as tests of a philosophical distinction and are not presented as newly discovered archival facts. Where a familiar success story depends on contested timing, priority, or experimental interpretation, the qualification is incorporated into the argument rather than hidden in a reference note. This practice is particularly important for a philosophy which makes temporal order epistemically significant.
From naive falsification to sophisticated appraisal
Popperian criticism gave Lakatos both a point of departure and a problem. On the familiar falsificationist picture, scientific theories risk refutation by exposing themselves to possible counterinstances. In ordinary practice, however, a failed prediction raises multiple questions: Was the apparatus reliable? Did the auxiliary model fit the experiment? Was the initial condition measured correctly? Was the mathematical derivation sound? A mismatch between prediction and observation therefore implicates a network of commitments.
Lakatos (1970) argues that a theory's methodological standing cannot be established solely by a binary event in which an observation appears to contradict it. Sophisticated falsificationism compares successive theoretical alternatives and requires an assessment of their increased empirical content and corroboration. The relevant change is more demanding than adding an exception to save the original claim, yet more historically realistic than expecting an isolated conjecture to fall immediately at the first difficulty. The updated Lakatos scholarship (Musgrave and Pigden 2026) places this development in the continuing dialogue with Popper.
This distinction also prevents an unhelpful conflation. The logical relation of inconsistency between a proposition and an observation is one question; the methodological decision to abandon, revise, or temporarily retain a network of claims is another. Scientists may rationally retain a programme through a period of failed predictions when its revised versions generate productive and discriminating tests. A criticism has historical force when it establishes what a rival programme achieved, when it achieved it, and what theoretical risks preceded that success.
Kuhn, normal science, and scientific revolutions
Thomas Kuhn's The Structure of Scientific Revolutions gave historical and sociological weight to the persistence of established scientific traditions. His account of normal science portrays sustained work under shared exemplars and practices, with accumulating anomalies sometimes contributing to crisis and revolutionary change. The University of Chicago edition record confirms the work’s initial publication in 1962 and its central place in controversies over noncumulative scientific change (Kuhn 1962).
Lakatos accepted that scientists routinely continue working amid unresolved anomalies. He also accepted that research traditions structure which problems are pursued and which moves are intelligible. His disagreement concerned the philosophical description of theory choice. If shifts between paradigms seem governed only by community conversion, developmental history risks becoming resistant to rational appraisal. If all departures from immediate falsification are called irrational, the working history of successful science becomes unintelligible. Lakatos's programme methodology sought a third explanatory vocabulary already situated inside that historical debate.
Worrall's retrospective Popper–Kuhn analysis (2025) emphasizes theory choice in revolutions as the central issue. The analytical result is precise: descriptive stability and methodological rationality can coexist when the latter concerns the evolving productivity of a programme. This does not settle every question about what counts as a better result, nor does it make scientists’ choices automatic. It identifies a defensible comparison that historical inquiry can investigate.
The research programme as a historical unit
A Lakatosian research programme is a sequence of related theories organized by relatively durable commitments and practices of development. It is not simply a collection of papers sharing a topic or an institution funding a group. Scientists inherit a problem situation, preserve selected principles, construct successive models, revise auxiliary assumptions, and evaluate new results against previous achievements. The continuity between these activities permits meaningful historical comparison.
Consider an astronomical programme that preserves a dynamical framework while changing estimates of planetary masses, orbital disturbances, measurement corrections, and models of motion. Treating each altered parameterization as an entirely new theoretical enterprise would obscure how the larger tradition learned from its failures and produced new observational opportunities. Treating every version as identical would obscure genuine conceptual and empirical change. Lakatos’s distinction of core and belt establishes a way to describe continuity with revision (Lakatos 1970; 1978).
The unit-of-appraisal thesis must be applied with care. Historical participants do not always formally declare their programmes. Different researchers may preserve different commitments, and a historian may divide one field into several partly overlapping trajectories. Naming a programme is therefore an interpretive operation requiring an explicit rationale: which propositions remain stable, which modifications are allowed, and what counts as success? A designation without these criteria risks turning the programme into a retrospective label affixed after its winners and losers are known.
The hard core: continuity and commitment
The hard core consists of commitments that a programme's practitioners decide to protect from direct refutation during its development. The wording is methodological: the propositions are held fixed within a research strategy so that inquiry can explore their consequences. The hard core is neither guaranteed true nor immune from eventual abandonment. Its preservation organizes the search for explanations and successive theory variants.
This point is easy to miss when "hard core" is treated as a sociological oath or a metaphysical essence. A commitment can be fixed for research purposes while remaining in principle criticizable. A community's decision to suspend immediate revision of a principle directs attention to auxiliary hypotheses, calculation methods, and conditions of application. Such stability is intellectually productive when it enables precise and challenging work that otherwise would fragment under constant reconsideration of every assumption.
In the negative-heuristic discussion (Lakatos 1978, originally 1970), the core's status is tied to the programme's rules of development. This yields a significant inference: a research programme has an identifiable history because it retains a structured relationship among revisions; yet the propriety of retaining it depends on what the resulting history achieves. Neither logical certainty nor unlimited loyalty follows from the existence of a hard core. Its rationality is inseparable from the programme's performance.
The protective belt and testable adjustment
Around the hard core lies a protective belt of auxiliary hypotheses, initial conditions, models, and assumptions available for revision. A discrepancy may be accommodated by refining measurement theory, modifying a secondary law, or proposing an additional causal influence. Such adjustments can be scientifically creative. The issue is how they alter what can subsequently be tested.
A protective-belt modification is epistemically interesting when it leads to a more exact or independently fruitful account of phenomena. A proposed additional planet that yields a determinate position for observers to inspect has a different methodological profile from an unspecified invisible influence introduced solely to neutralize one objection. Both may preserve the central dynamical commitments, but only the first makes a comparably discriminating contribution. Actual history contains complications about data, priority, and verification, which must be preserved in assessing the case.
The distinction blocks an easy but mistaken diagnosis: the mere presence of auxiliaries cannot establish degeneracy. All advanced science employs auxiliary assumptions, measurement models, and computational approximations. Lakatos (1970) evaluates changes in the belt by their contribution to a progressive or degenerating sequence. The more pertinent question is whether the revision increases risk-bearing empirical content and whether some of that additional content receives observational support.
Negative and positive heuristics
Lakatos distinguished the negative heuristic that directs researchers away from rejecting the core from the positive heuristic that guides the construction of successive versions of the programme. The negative component establishes continuity; the positive component makes that continuity productive. The latter may include mathematical techniques, model-building sequences, idealizations, staged problems, and anticipated refinements.
It is tempting to identify a positive heuristic with a checklist of experiments. The concept is broader: it provides a developmental orientation in which new problems and theoretical resources become available. A researcher can be guided toward solving an issue before its empirical difficulty is fully evident. A programme consequently may anticipate complications internally rather than reacting passively to each anomaly.
The original account of heuristics explicitly treats the development of a programme as more than successive defensive maneuvers (Lakatos 1970). That formulation supports a methodological distinction between a repair that merely absorbs known trouble and a development that creates the conditions for further inquiry. The positive heuristic is not itself a record of successful corroboration. It is a way of organizing possible progress, the results of which still need assessment. A sophisticated historical evaluation must describe both the proposed path of development and the observed achievements along that path.
Theoretical progress and excess empirical content
A progressive theoretical problemshift occurs when a successor theory yields additional empirical content relative to its predecessor. This means that the new version reaches further than merely restating what the earlier theory already accommodated. In a suitable setting it implies observations or tests that the prior account did not predict or specify with comparable force. Theoretical progress therefore concerns the changing inferential capabilities of a programme.
This standard is more exacting than requiring internal mathematical elegance, explanatory satisfaction, or the publication of additional results. A revision can be mathematically sophisticated yet empirically inert. Conversely, a change motivated by a puzzling observation may lead to far-reaching and independently testable consequences. The logical comparison must specify which version predicts what, what background conditions are shared, and whether the asserted excess content is genuinely new.
Lakatos’s formal language emerged in debates about sophisticated methodological falsificationism (1970). The authorial interpretation developed here is to treat excess content as a claim requiring an explicit evidential ledger rather than a rhetorical compliment. An analyst should identify the predecessor, successor, new testable consequence, relevant assumptions, and date at which that consequence became available. Such recording is a practical clarification of the original criterion, not a newly proposed named methodology.
Empirical progress and corroboration
A programme becomes empirically progressive when some of its additional theoretical content is corroborated. The distinction matters because a proposed theoretical extension can remain untested, fail, or yield equivocal evidence. A programme with a brilliant line of speculation may therefore be theoretically progressive while its empirical position remains unsettled. A successful accommodation of an already established fact may improve fit without demonstrating the same kind of independent success.
Corroboration is itself a methodologically mediated judgment. Observations require instruments, data reduction, background theory, and interpretation. The classification of a particular result may be questioned when statistical uncertainty is high, tests are poorly discriminating, or the record is selectively reported. Lakatos's requirement of empirical progress does not eliminate these evidential problems; it tells the philosopher where they matter.
The appropriate conclusion is that theoretical and empirical progress must be assessed separately before being combined. Their relationship is asymmetric: a confirmed prediction needs an antecedent theoretical claim to function as evidence of excess content, but a new prediction can exist before it is confirmed. The resulting temporal structure explains why the fate of programmes often cannot be evaluated at the instant of invention. The collected methodological essays preserve Lakatos’s engagement with time, novelty, and crucial experiments (Lakatos 1978).
Degenerating problemshifts and their diagnosis
A degenerating problemshift occurs when successive changes principally accommodate facts already known or produce no corroborated excess empirical content. Its presence is a comparative and historical judgment about a trajectory. An isolated failed test, an awkward auxiliary, or a temporarily unproductive year does not by itself define a degenerating programme.
Degeneration has at least three dimensions in historical analysis. First, a sequence may narrow its empirical vulnerability while expanding interpretive flexibility. Second, it may repeatedly revise auxiliaries after each new anomaly without generating independent test opportunities. Third, it may cease to outperform an active rival in problem-solving achievement. These dimensions often coincide but remain distinguishable. The first two concern a programme's own development; the third concerns alternatives, which may be at different levels of maturity.
The force of the Lakatosian verdict comes from the comparative record, not a psychological judgment about the researchers. A brilliant scientist may defend a degenerating programme for intellectually understandable reasons. A programme judged degenerating today may subsequently achieve an unexpectedly successful development, forcing reappraisal. The methodological distinction describes the direction of research achievement; it does not assign permanent epistemic identities to institutions or people. Contemporary scholarly reconstruction of MSRP discusses the difficulties of turning retrospective judgments into immediate rules (Musgrave and Pigden 2026).
Why anomalies do not decide alone
Every substantial research tradition encounters phenomena that it cannot yet explain or predicts imperfectly. The epistemic weight of an anomaly depends on its reliability, the flexibility of auxiliary assumptions, the availability of rival accounts, and the broader programme's record. A mismatch can reveal an instrumental problem, an auxiliary error, or a failing principle. It can also signal a fruitful opportunity for further development.
A one-anomaly method of appraisal would have condemned numerous research efforts before their most important achievements. The opposite extreme—treating every anomaly as endlessly harmless—would deprive criticism of force. Lakatos provides a middle analysis through the trajectory of theoretically and empirically progressive changes. Researchers may rationally persist where the heuristic is productive and the historical account shows promising independent results.
The conclusion is compatible with a demanding conception of criticism. An anomaly should be recorded clearly; proposed responses should expose what they change; rival explanations should be compared on a shared evidential basis. These requirements follow from the method's public standards of appraisal. What matters is a rationally reconstructible relationship among difficulty, modification, and subsequent success. The 1970 programme essay develops this emphasis through historical cases and its critique of instant falsification.
Prediction, accommodation, and the problem of novelty
A prediction is sometimes called novel because its observation occurs after the theory was formulated. Historical chronology is important, but simple calendar order is an insufficient criterion of evidential merit. A theory may be devised using one piece of evidence and still make an independent, difficult prediction about another. Conversely, a result reported after publication may have been effectively built into the theory's construction through prior access to the data.
Lakatosian and post-Lakatosian debates therefore distinguish temporal novelty from use novelty: whether the evidence was used in constructing a theory, and how independently its successful entailment was obtained. The precise relation between these forms of novelty remains contested. Zahar’s articles on Einstein and Lorentz, part I and the continuation of that comparison (1973) are foundational in the literature on the relation between heuristic construction, independent prediction, and later confirmation.
My analysis is that no single chronology column can settle novelty. A serious appraisal should distinguish the date the theoretical consequence was articulated, the date the relevant observation became available, whether it informed construction, and whether independent tests remained possible. The purpose is to prevent hindsight from manufacturing the appearance of progressive discovery. The reconstruction must remain answerable to documentary dates and the actual inferential situation of historical investigators.
The rival-programme requirement
The methodological merits of a programme cannot always be established in isolation. Scientific inquiry frequently presents competing traditions with differing strengths: one may explain a broader range of known results, another may yield sharper future tests, and a third may possess superior instrumentation but a less mature theoretical structure. Lakatos's temporal appraisal is most informative when comparable programmes confront a common problem situation.
The relevant comparison is neither an abstract score detached from research practice nor a snapshot of which group is socially dominant. A promising newcomer may coexist rationally with an established tradition. Scientists may distribute efforts across alternatives in order to discover whether a novel line of development has the capacity to become empirically progressive. This pluralism is compatible with judging one programme to have stronger evidence at a particular time.
Worrall (2025) locates the philosophical issue in principles governing choices during theory change. The account of rational theory choice strengthens a crucial reading: rational evaluation can order available alternatives without issuing a timeless mechanical command requiring every researcher to pursue one winner. Resource allocation, methodological patience, and evidential comparison are related but not identical questions. One can judge a programme comparatively inferior while regarding limited continued exploration as an acceptable epistemic investment.
Prout: progress in the presence of anomalies
Lakatos's discussion of Prout's programme exemplifies how a productive line of inquiry can survive discrepancies between theory and measurement. Hypotheses about the constitution of atomic weights confronted apparently damaging observations, but revisions to the account and increasing attention to the nature of measured weights opened a historical sequence more complex than a single refutation. Lakatos treats the example as a programme developing amid many anomalies.
The original Prout case in the collected papers explicitly labels this illustration as a programme making progress in the presence of anomalies. Yet the historian must resist smoothing the long history of chemical measurement into an uninterrupted march toward later knowledge. Contemporary distinctions among elements, isotopes, and mass measurements were not all available to participants at the same time. The case demonstrates a methodological possibility and requires specialist historical evidence for finer claims about individual discoveries.
The philosophical lesson concerns how to describe persistence. Continued allegiance is scientifically intelligible when the underlying heuristic makes possible identifiable explanatory advances and new empirical work. Its rationality cannot be demonstrated by the bare fact that later chemistry introduced concepts compatible with parts of an earlier speculation. Evidence of progressive transitions must be reconstructed step by step, with attention to what each stage could reasonably test.
Bohr: an inventive programme under theoretical strain
Bohr's early atomic theory supplies Lakatos with a deliberately demanding illustration: a programme capable of important achievements despite tensions among classical assumptions and quantum postulates. It challenges the expectation that theoretical consistency and observational concordance must be perfect at every developmental stage. A research programme may work through conceptual instability by extending its mathematical and physical resources.
Lakatos’s original essay identifies the Bohr programme illustration as progressing on inconsistent foundations. This striking description should not be generalized into permission to ignore contradiction. The point is historical: a programme can possess developmental heuristics whose empirical reach makes further work rational even while a fully satisfactory unified theoretical structure remains unavailable.
A defensible assessment must distinguish three levels. There is a conceptual tension in the theoretical apparatus, a record of explanatory or predictive success, and a later historiographical judgment about the significance of each. Treating the case as a proof that inconsistencies are scientifically virtuous overstates the conclusion. Treating all inconsistency as immediate disqualification obscures a documented feature of productive research. The programme framework allows both the strain and the discovery-oriented trajectory to remain visible. Its advantage appears when a historian names the relevant achievements and also specifies which contradictions remained open at each stage.
Neptune: theoretical repair with a risky consequence
The discovery of Neptune has become an instructive example of how a theoretical framework can respond to anomalous planetary motion by proposing a further physical cause. Within Newtonian celestial mechanics, discrepancies in the motion of Uranus motivated calculations concerning a possible outer planet. That proposal was capable of guiding a targeted observation. The NASA planetary discovery account documents Neptune's discovery in 1846 and the role of advance mathematical prediction.
A Lakatosian analysis should resist a simple narrative in which an unexpected observation automatically vindicates the entire Newtonian programme. Calculations relied on specific assumptions and approximations; historical actors faced imperfect observations and alternative possibilities. Nonetheless, the case offers a strong illustration of an auxiliary addition creating an independent empirical target. A programme's protective belt can be altered in a way that increases vulnerability to observation.
My interpretive emphasis is on the contrast between determinate and indefinite repairs. A determinate hypothesis restricts where an object could be found, under which conditions, and what would count against the proposal. An indefinite hypothesis can fit discrepancies without enabling a comparable test. The Neptune story therefore clarifies a methodological standard that can be applied even when the historical narrative is more complex than the textbook legend: progress is associated with the production and corroboration of additional empirical constraints.
Halley: risky temporal extension of celestial mechanics
The predicted return of a comet offers another example of research extending an explanatory framework beyond immediately available observations. Edmond Halley related appearances of a comet recorded at different times and anticipated its return through Newtonian reasoning. Subsequent observations were historically important, but its precise return time required consideration of planetary perturbations. NASA’s historical account of Halley’s comet recounts the prediction and later return.
For programme methodology, this is a case of a body of dynamical commitments being applied to a temporally extended pattern. A prediction concerning a future appearance exposes the combination of theoretical law, orbital calculation, and auxiliary information to later scrutiny. When the event is observed, the success pertains to a structured inference, not to an isolated bare principle.
The inference does not imply that every numerical mismatch was insignificant. Improvements in the calculation and the interpretation of perturbations are precisely the sorts of protective-belt developments that a historical reconstruction should trace. The philosophical issue is whether the revised sequence creates better, more discriminating empirical consequences. The example also shows why prediction can be genuinely novel while requiring substantial auxiliary work. The programme's rational standing is earned through the relation between core, mathematical techniques, changing conditions, and observation.
Copernicanism and the danger of retrospective triumph
The history of Copernican astronomy is exceptionally difficult because eventual acceptance can distort the epistemic situation of early proponents. The fact that a later astronomical framework prevailed does not entail that its earliest defenders possessed decisive contemporary evidence. Lakatos and Zahar tried to reconstruct reasons why Copernican developments could count as progressive against Ptolemaic alternatives before later demonstrations had occurred.
Vincenzo Crupi (2025) revisits this question in the early Copernicanism analysis. His argument challenges the claim that early Copernicans were necessarily right by epistemic luck, while also recognizing the difficulties of historical and predictivist vindication. This contemporary intervention is especially valuable because it treats the timing and content of comparison as philosophical work rather than inherited legend.
The case tests the objectivity of a Lakatosian reconstruction. If later success is silently imported into an earlier period, any victorious programme could be described as already progressive. If the analyst uses only the evidence accessible at each stage, the verdict may be weaker, provisional, or disputed. The proper question is what the programme made newly intelligible or testable at a specific time and what competing explanations could accomplish then. Historical criticism becomes more exact when retrospective narrative and historically available warrant are documented separately.
Einstein, Lorentz, and comparative reconstruction
The relation between Lorentz's work and Einstein's special relativity has been central to philosophical debates over whether novel theoretical content must be temporally unforeseen. A successor can offer different unifying principles and explanatory organization even when some relevant results are already known. The question is how that difference bears on empirical appraisal and whether independent content follows from the revised structure.
Elie Zahar's two-part 1973 study—the first comparative investigation and its second installment—is a major contribution to this debate. The analysis is often used to illustrate the significance of predicting facts in a way that is independent of the particular evidence which motivated the theory. Yet the exact historical account is contested, and it would be unsound to infer from this philosophical literature that every claimed priority or independence condition has been archivally settled.
The interpretive point is that a programme comparison requires specifying theoretical relationships, experimental histories, and the criteria by which a result counts as novel. A successful unification can improve understanding, while a progressive empirical problemshift requires further characterization of testable content and corroboration. The two forms of merit may support one another, but neither should simply be substituted for the other. This distinction protects Lakatosian methodology from turning theoretical elegance into an unexamined evidential verdict.
Crucial experiments and delayed rationality
Scientific history is often narrated through a decisive experiment after which one theory falls and its competitor triumphs. Lakatos argued that this form of instantaneous rationality distorts the way programmes develop. Experiments become decisive only against a background of evolving alternatives, auxiliary assumptions, and judgments about experimental reliability. The importance of a test may emerge retrospectively from a larger sequence.
In the chapter on crucial experiments, Lakatos discusses the historical significance of tests such as Michelson–Morley alongside the wider comparative history of physics. A single result can be anomalous for a programme without immediately eliminating its capacity for theoretical growth. Conversely, a well-attested observation can acquire unusual importance when a competitor makes that result part of a broader corroborated prediction.
Delayed judgment creates both strength and risk. It avoids an unrealistic demand for immediate surrender, yet it can permit endless postponement of criticism unless criteria for progress remain public and demanding. The rational response is to record precisely what was predicted, what was observed, which assumptions were revised, and how the rival programme developed. An experiment then retains its evidential specificity while its historical role is situated within a programme-level comparison.
Methodology, demarcation, and rational persistence
The research-programmes approach addresses demarcation indirectly through the quality of scientific development. In this context, mere compatibility with every possible observation is a methodological weakness, while a trajectory that repeatedly makes and corroborates additional predictions has a distinctive claim to scientific seriousness. The normative contrast is between growth that exposes a programme to consequences and adaptation that merely neutralizes known failures.
It would be misleading to turn this contrast into a simple label that a single individual theory is either wholly scientific or wholly outside science. Lakatos's strategy evaluates sequences and their progress, and a programme may move between phases. A currently degenerating programme can remain a subject of scientific investigation. Historical research also must distinguish a proposition's testability from an institution's legitimacy and a scientist's professional conduct.
The Stanford assessment of Lakatos underscores the enduring controversies over how methodological judgments translate into concrete advice (Musgrave and Pigden 2026). This monograph accordingly treats demarcation as partly diachronic: the question concerns the development of knowledge claims under scrutiny. The approach does not license the rejection of evidence because it is inconvenient. It assigns evidence a role within extended, comparably reconstructible processes of discovery, criticism, and repair.
Historical rational reconstruction
Lakatos held that competing methodologies of science could be judged partly by how much scientific history they render rationally intelligible. The project of rational reconstruction asks how an episode would be understood as a sequence of justified methodological moves under specified criteria. Its success depends on explaining actual intellectual developments without requiring them to fit an artificial narrative.
The history and reconstruction essay presents alternative methodological reconstructions and the relation between internal and external history. The challenge is subtle: a methodology supplies standards that guide selection of relevant historical details, while historical investigation can challenge the adequacy of those standards. The relation is reciprocal rather than a single deduction from philosophy to fact.
A credible reconstruction must make its historical selections explicit. The historian needs to identify what agents knew, the alternatives they considered, which practices they actually employed, and how later evidence changed the situation. A philosophical reconstruction may abstract from some circumstances for a stated purpose; an unacknowledged removal of inconvenient counterevidence instead compromises the result. The value of Lakatos's meta-methodological ambition lies in demanding that an account of scientific rationality engage with the record of science, not merely imagined episodes in ideal logic.
Internal and external history
Lakatos distinguished internal histories written in terms of rational methodological reconstruction from external histories that explain surrounding circumstances through psychology, institutions, politics, economics, or other causal factors. The division was intended to clarify explanatory tasks, but its application raises questions about whether certain forms of social organization directly affect epistemic reliability.
A research programme may achieve new results because a laboratory gains instruments, institutions finance long-term work, or a community develops reliable critical practices. Such factors may be external to a narrowly theoretical reconstruction while remaining essential to an adequate history of how evidence became available. Conversely, an ideological explanation of a scientist's decision cannot by itself decide whether a prediction was well corroborated.
The contemporary analysis of rational reconstruction (Dimitrakos 2025) argues for distinguishing historiographical reconstruction and normative explanation. That distinction helps identify why historical narrative and epistemic appraisal have different aims. My reading is that internal and external accounts should be linked through explicit questions rather than sealed off as competing total explanations. The evidential reliability of a historical inference can depend on practices conventionally classed as external. A philosophically adequate account preserves those dependencies while keeping the standards of inference visible.
History as a critic of methodological standards
The proposal that history can test methodologies faces a familiar circularity. A methodology determines which parts of scientific history count as rational; then the resulting reconstruction appears to confirm the methodology. If the historian can endlessly redefine cases to fit the preferred standard, criticism has lost its independence.
Lakatos recognized the importance of comparative methodological evaluation, but the precise standards for adjudicating among reconstructions have remained controversial. Samuel Schindler’s study of Lakatos’s meta-philosophy (2025) argues that the ambition to maximize rationally explainable historical facts remains philosophically valuable, even while no methodology can expect to explain every historical action as rational.
The central analytical test is whether counterinstances can change the philosopher's account. A genuine critical encounter requires historical facts identified independently enough to resist effortless reinterpretation, rival explanatory approaches, and transparent criteria for what counts as explanatory success. The historian should record cases that remain awkward for the preferred reconstruction. This conclusion follows from Lakatos's own ambition for rational criticism: if the historical record cannot constrain philosophical appraisal, methodological pluralism degenerates into competitive storytelling rather than research.
The historiographical objection to selective narratives
Historical reconstruction becomes especially vulnerable when the analyst knows which theory later prevailed. The winner may acquire a coherent development, and competing traditions may be reduced to an accumulation of evasions. This asymmetry is a narrative effect that needs correction. A defeated programme can have achieved genuine empirical progress at earlier stages, while a victorious programme may have passed through a period of limited support.
Schindler (2025) revisits Lakatos’s much-debated comments on placing unruly historical detail outside a rationally ordered narrative. His critical reconstruction of the historical method identifies the danger and also seeks the rational kernel in the project. An adequate account should preserve the facts that complicate an orderly reconstruction instead of relegating them to insignificance.
The author's synthesis here is procedural. Reconstruct the rival trajectories independently before writing their comparative conclusion. At each historically relevant date, state available instruments, published claims, known objections, and outstanding questions. Only after that should the analyst infer which programme was better supported. This ordering makes the judgment auditable and reduces the chance that the eventual outcome determines what counts as historical evidence. It also makes Lakatosian appraisal usable across cases where scientific success has multiple dimensions.
Feyerabend and the plurality of scientific methods
Paul Feyerabend resisted attempts to turn scientific success into a universal methodological rule. His challenges matter to Lakatos because a genuinely innovative programme may violate standards that were regarded as authoritative at the moment of its development. Historical episodes exhibit improvisation, incompatible assumptions, selective methodological commitment, and nonstandard forms of inquiry.
Lakatos is often associated with a more permissive historical pluralism than stereotypical falsificationism, but his response retains normative criteria of progressive and degenerating development. A programme can persist through anomalies; its distinctive claim to rationality still requires more than perseverance. The two positions therefore illuminate different risks: premature exclusion of unconventional research and indefinite tolerance of adaptation without added testable content.
The 2025 centenary scholarship situates continuing debate about Lakatos's intellectual influence (Frigg et al. 2025). The philosophical issue is not whether every practice must look identical. It is whether historical flexibility can coexist with publicly criticizable standards of achievement. A plausible answer preserves methodological diversity at the discovery stage and demands clear comparison when claims of empirical success are made. This is an interpretation of Lakatos's relation to pluralism, not a reconstruction of Feyerabend's entire philosophy.
Laudan: progress as problem-solving effectiveness
Larry Laudan criticized influential accounts of scientific progress, including Lakatos's, and developed an alternative centered on problem-solving effectiveness and research traditions. His question concerns the empirical and conceptual problems a tradition resolves and the additional difficulties it generates. The publisher record of Laudan’s study describes this philosophical revision and its attention to historically situated comparisons (Laudan 1977/1978).
The disagreement clarifies an important limitation. A programme may exhibit impressive theoretical innovation while failing to resolve urgent practical questions; another may solve difficult anomalies without yielding an entirely new prediction in the strict Lakatosian sense. Depending on the question, those accomplishments may warrant different assessments. Laudan's approach directs attention to their problem-solving consequences rather than a single metric of novel corroboration.
A comparative analysis should avoid declaring these views equivalent. The Lakatosian criterion attaches special value to the succession of theories with corroborated excess empirical content. Laudan's framework gives conceptual problem solving a more explicit role. My conclusion is that a historian can report both evaluations in the same case without erasing their normative disagreement. This makes visible why two philosophers may judge a trajectory differently despite agreeing on most of the historical facts.
Bayesian approaches and programme-level assessment
Bayesian epistemology offers formal resources for assessing how evidence changes degrees of belief. It also provides an instructive contemporary test of Lakatos's methodological claims because Bayesian theories of confirmation have developed through successive responses to objections, interpretive problems, and applications. The key question is whether this development constitutes an advancing research programme or repeated internal repair.
Stephan Hartmann (2025) examines that question in Lakatos Meets Bayes. He argues that contemporary Bayesian methodology can be described as progressive against a Lakatosian charge of degenerative specialization and recognizes the importance of exploring alternatives. The argument is particularly important because a philosophical research programme differs in evidential products from a physical theory predicting an unobserved planet.
The comparison invites conceptual precision. A formal methodology may improve coherence, extend its range of applications, or solve previously intractable conceptual problems without producing an empirical discovery of the kind familiar from physics. Treating all these achievements as identical to empirical progress would empty Lakatos's standard of specificity. Yet refusing to evaluate methodological innovation at all would unnecessarily narrow philosophy of science. The appropriate procedure is to state what kind of progress is under review and avoid moving between formal, conceptual, and empirical achievements without acknowledgement.
The continuing question of normative authority
One persistent criticism of the research-programmes methodology concerns timing. If scientists can only know that a programme was degenerating long after a rival has become successful, then the framework may offer historical interpretation more readily than actionable advice. A philosopher must distinguish a retrospective standard for comparison from a practical decision rule under uncertainty.
The distinction is genuine. Researchers choose projects with incomplete knowledge, and an emerging programme's eventual success is unknown. They may rationally support parallel attempts, especially when exploration is relatively inexpensive or the costs of premature abandonment are high. A historian comparing two completed trajectories can reach a firmer verdict than a scientist allocating resources before the next test.
The current scholarly review of Lakatos (Musgrave and Pigden 2026) discusses the methodological controversy. My analysis locates normative value at two levels. A programme-level reconstruction offers criteria for explaining whether progress occurred; a practical appraisal can use present evidence to inform, without mechanically determining, where to investigate next. Nothing in this distinction turns future corroboration into present knowledge. It instead requires the analyst to say when a conclusion is an ex post explanation and when it is an ex ante recommendation. Confusion between these tasks produces much of the apparent contradiction.
Scientific rationality without instant verdicts
The temporal structure of rationality is one of Lakatos's most enduring insights. A programme develops through stages; evidence comes into view unevenly; difficult objections are sometimes understood only after new instruments and mathematical resources are created. Rational criticism must remain compatible with this pace of inquiry.
A temporal account can still be stringent. Researchers should explain why they retain their central commitments, what additional consequences their revisions create, how those consequences are tested, and whether rival programmes are achieving greater corroborated content. The absence of an immediate verdict does not cancel the demand for reasons. It changes the horizon over which their adequacy is judged.
Worrall's discussion of scientific rationality and the historical account in Lakatos’s collected papers connect this concern to the broader Popper–Kuhn debate. The resulting rationality is comparative and revisable. To say that a programme has progressed is to report a historically situated relationship among theoretical extension, testing, and corroboration. To say it is currently degenerating is to describe a sequence whose most recent modifications have lacked comparable achievement. These judgments are accountable to evidence and remain open to a later revision of the history.
Mathematics and the separate logic of proofs
Lakatos's philosophical career also includes a striking account of mathematical discovery in Proofs and Refutations. Here proofs, counterexamples, and the modification of conjectures participate in a history of concept formation. The Cambridge record of Proofs and Refutations documents the 1976 publication of the book, developed from earlier papers (Lakatos 1976).
The methodological relevance is real, but the subjects should be distinguished. Mathematical counterexamples address proof structure and the interpretation of concepts; empirical anomalies confront theoretical models with observed phenomena. A mathematical proof is neither a successful instrumental observation nor the corroboration of an excess physical prediction. Historical learning across these domains does not erase their different standards of validity.
The continuity in Lakatos’s intellectual concerns is the rejection of an image of rational knowledge as a completed sequence of timeless propositions without a developmental history. The difference is that mathematical validity and empirical support have distinct logical roles. This monograph therefore uses the mathematics work to illuminate the importance of criticism and revision, while reserving the labels "theoretically progressive" and "empirically progressive" in their properly scientific research-programme context. Recent scholarship, including the Lakatos centenary volume, continues to examine both areas without collapsing them into one form of verification.
Philosophy of medicine and limits of analogy
The centenary collection includes discussion of Lakatosian themes outside the classic history of physics and explicitly identifies philosophy of medicine as one area of contemporary application. This extension raises a methodological question: can research programmes in complex, heterogeneous fields be evaluated through the same types of new prediction that characterize astronomical cases? The open-access research collection establishes the contemporary relevance of this debate (Frigg et al. 2025).
In medicine, evidence may concern interventions, heterogeneous patient populations, safety, mechanisms, and outcomes sensitive to context. New empirical content can take the form of a discriminating clinical prediction, but results depend on study design, statistical uncertainty, replication, and the relevance of an intervention to a population. An adjustment to an explanatory model after a failed trial may be responsible when it yields a clearly specified prospective test. The same adjustment can become methodologically weak if changing inclusion criteria or post hoc subgroup selection merely protects an unconfirmed claim.
The lesson is methodological restraint. Historical analogies invite questions and furnish concepts; they are not themselves clinical evidence. Lakatosian language does not replace randomized trials, registration, independent replication, or domain-specific standards. The framework's contribution is to clarify whether a trajectory gains independently testable content rather than only reinterpretations of disappointing outcomes. This is an analytical application, not a claim that an examined medical research programme has been empirically classified.
An explicitly constructed comparative example
Consider two hypothetical research programmes examining an unexplained oscillation in a laboratory system. Programme A preserves a dynamical core and initially attributes the anomaly to a specific environmental interaction. It calculates the interaction's effect and predicts a second oscillation at a frequency and phase not used to determine the initial parameter. Programme B also explains the original anomaly but introduces a free correction term adjusted separately for each experimental run.
Suppose researchers then conduct an independently specified experiment. The second oscillation appears within the predeclared uncertainty interval, and tests exclude the main instrumental confounders. On these stipulated assumptions, A has achieved corroborated excess empirical content, whereas B has gained fit to known results without comparable independent exposure. This would support describing A's problemshift as progressive relative to B's. The case is wholly constructed and reports no actual measurement or discovery.
Now suppose a later experiment fails to reproduce A's finding. The initial classification would require reconsideration: the empirical support may have been mistaken, a crucial auxiliary may be defective, or a rival framework may now account for more. The point is that a Lakatosian verdict must be tied to precisely described observations and possible reversals. Hypothetical illustrations are helpful when their stipulations remain separate from historical documentation and their inferential steps can be openly challenged.
A practical evidential audit of programmes
A rigorous comparison can be conducted through a sequence of explicit questions. Identify the programme and its core commitments; reconstruct successive theories; specify the positive heuristic guiding change; list important anomalies and their observation conditions; identify auxiliary modifications; record each claimed excess prediction and how it differs from the predecessor; determine which observations tested that claim independently; and compare the rival trajectories at historically relevant dates.
This audit serves conceptual clarity rather than replacing scientific judgment with a numeric checklist. It does not imply that an extra confirmation in one domain automatically outweighs a severe conceptual inconsistency in another. The strength of predictions, reliability of evidence, importance of the test, and actual research problem must remain visible. The relevant evidence may be scattered across instruments, calculations, correspondence, laboratory records, and later historiography.
The archival discipline follows from the core insight of the research-programmes essay. Methodological labels should be supported by a developmental record. The audit is this author's editorial implementation of that insight, designed for transparent source-to-claim attribution. It makes a critic answer a concrete question: which new claim was available at which moment, and what observation subsequently corroborated it? A judgment that cannot be connected to such particulars remains an interpretation needing further evidence.
Historical evidence, source limits, and confidence
Scholarship on Lakatos spans original philosophical argument, retrospective histories of science, secondary interpretations, and contemporary methodological extensions. These are different kinds of evidence. A primary text establishes what a philosopher wrote, but it cannot by itself confirm the full factual accuracy of every scientific history recounted in that text. An institutional historical summary can establish a major discovery date while leaving specialist disputes over calculation, precedence, or observational reliability unresolved.
The present monograph has therefore limited its strongest documentary claims to directly available original texts, publisher-verified bibliographic records, open-access modern scholarly arguments, and institutional summaries of specified scientific episodes. It has treated publisher previews as bibliographic and interpretive context rather than as a warrant to quote unseen chapters in detail. The 2026 Lakatos reference entry supplies critical scholarly context, while the 2025 Copernican analysis and 2025 history-of-science assessment support direct engagement with methodological controversies.
These limits are part of the analysis. A detailed claim about the exact laboratory observations guiding a nineteenth-century researcher's choice would require contemporaneous records beyond a brief institutional summary. A judgment that Copernicanism was progressive in a particular year would need dated comparison across astronomical tables and relevant arguments. No such archival verification is claimed here. The distinction between verified bibliography, documented interpretation, and independent inference preserves both scholarly usefulness and the possibility of later historical refinement.
The disagreement over progressive discovery
Lakatosian language can encourage a misleading binary in which a programme is declared simply progressive or simply degenerating. Historical evidence is usually mixed: one branch of a programme generates an important test while another becomes increasingly flexible; some predictions succeed while others fail; rival programmes operate at unequal stages of development. A sound appraisal must specify the dimension and historical interval of judgment.
Theoretical progress depends on the relation between successive variants; empirical progress depends on corroboration of their additional content. Neither status is transmitted automatically to every researcher, subprogramme, or downstream use. A programme may have a productive heuristic alongside a poorly supported auxiliary. It may lose ground in one comparison yet gain it in another. The language of progress therefore becomes more informative when paired with a dated description of the particular claim and result.
The contemporary Bayesian comparison demonstrates how the programme metaphor remains philosophically productive when the relevant achievements are articulated. The historical-normative analysis shows why the standards of reconstruction themselves need examination. Together they support a cautious synthesis: methodological judgment is strongest when it is local enough to identify concrete evidence and broad enough to understand the developmental sequence. A global verdict without specified grounds offers less knowledge than a careful account of partial achievements.
Original analytical synthesis: temporal accountability
The preceding arguments support an interpretive synthesis: a Lakatosian judgment becomes robust when its temporal order is independently recoverable. The hard core identifies the continuity to be examined. The protective belt records where modification occurs. The positive heuristic explains the direction of planned development. Increased empirical content specifies what is risked; corroboration documents what succeeded. The relation between these components can be inspected and criticized across time.
This synthesis does not establish a new formal model or scientific theory. It renders explicit the evidential conditions under which established Lakatosian distinctions can be responsibly applied. A retrospective narrative that says "the programme predicted the discovery" has little force until it identifies the prediction's date, independence from the data, relevant alternatives, and subsequent observation. A narrative that says "the programme was degenerating" likewise requires a sequence of adjustments and a description of their limited independent success.
The approach also illuminates Lakatos's relevance to current scientific practices in which models, data, and software are continuously revised. Temporal provenance becomes important because a forecast made before data collection has a different evidential role from a fit optimized after data inspection. These are generally relevant methodological observations and should not be mistaken for the foundation of a new doctrine. The philosophical contribution is a clarified application of programme appraisal to documentary reasoning.
Objections and responses
One objection is that programme boundaries are too flexible: a historian may designate a successful lineage as one programme and a failed lineage as another. The answer is to demand explicit continuity conditions before judging progress. Core commitments, permissible modifications, theoretical succession, and historical self-description should be recorded wherever available. Boundary disagreements can then be debated in relation to evidence.
A second objection is that empirical progress privileges prediction over explanation, unification, or practical success. The reply is to acknowledge that Lakatos's criterion selects one important dimension of scientific achievement. Rival accounts such as Laudan's problem-solving evaluation show why a complete history may need additional evaluative perspectives. Such recognition is a comparison of philosophical standards, not a revision of Lakatos's terminology by fiat.
A third objection is that retrospective success produces hindsight bias. The response is a date-sensitive reconstruction that asks what could actually have been inferred at the time. A fourth is that the methodology issues too little guidance to working scientists. Here one must distinguish historical appraisal from prospective project selection under uncertainty. Finally, the method may understate institutional and material conditions of evidence production. The response is to keep those conditions in the historical record, especially when they determine the reliability or availability of tests. These responses do not dissolve every disagreement. They locate the precise evidence on which disagreement should turn.
Conclusion
Lakatos’s methodology of scientific research programmes identifies the rational significance of historical sequences in science. A programme has a hard core preserved by methodological choice, a protective belt in which revisions occur, and positive and negative heuristics that organize development. Its progress is judged through the relation between successive theories and independently corroborated additional empirical content. Degeneration describes a trajectory of adjustments that fail to generate such achievements.
The major philosophical consequence is that anomalies, revisions, and persistence become intelligible through temporally structured comparison. A failed prediction matters; it does not always decide. A successful accommodation matters; it does not always constitute growth. The decisive questions concern what a programme predicted beyond previous achievements, how independently that content was tested, what competing programmes accomplished, and when those facts became available.
The historical studies of Prout, Bohr, astronomy, and Copernicanism expose both the explanatory power and the limitations of Lakatosian reconstruction. Contemporary arguments by Crupi, Hartmann, Dimitrakos, Schindler, and Worrall show that his framework remains an active subject of critical analysis. Its strongest use combines intellectual history, disciplined source attribution, rival-programme comparison, and openness to revision.
This monograph's original synthesis locates the evidential responsibility of Lakatosian appraisal in the recoverable order of commitments, theoretical extensions, observations, and methodological choices. It is an interpretation grounded in the existing research tradition. The enduring lesson is that scientific rationality is publicly answerable to the development of knowledge over time, and that any verdict of progress must be supported by the history it claims to explain.
References
Crupi, Vincenzo. 2025. “The Case of Early Copernicanism: Epistemic Luck vs. Predictivist Vindication.” In Proofs and Research Programmes: Lakatos at 100, 105–126. Cham: Springer. https://link.springer.com/chapter/10.1007/978-3-031-88213-5_7
Dimitrakos, Thodoris. 2025. “Lakatos’s Naturalism(s): Distinguishing Between Rational Reconstructions and Normative Explanations.” In Proofs and Research Programmes: Lakatos at 100, 145–164. Cham: Springer. https://link.springer.com/chapter/10.1007/978-3-031-88213-5_9
Frigg, Roman, J. McKenzie Alexander, Laurenz Hudetz, Miklós Rédei, Lewis Ross, and John Worrall, eds. 2025. Proofs and Research Programmes: Lakatos at 100. Synthese Library 498. Cham: Springer. https://link.springer.com/book/10.1007/978-3-031-88213-5
Hartmann, Stephan. 2025. “The Bayesian Research Programme in the Methodology of Science, or Lakatos Meets Bayes.” In Proofs and Research Programmes: Lakatos at 100, 127–144. Cham: Springer. https://link.springer.com/chapter/10.1007/978-3-031-88213-5_8
Kuhn, Thomas S. 1962. The Structure of Scientific Revolutions. Chicago: University of Chicago Press. Cited against the publisher’s 2012 fiftieth-anniversary edition record. https://press.uchicago.edu/ucp/books/book/chicago/S/bo13179781.html
Lakatos, Imre. 1970. “Falsification and the Methodology of Scientific Research Programmes.” In Criticism and the Growth of Knowledge, edited by Imre Lakatos and Alan Musgrave, 91–196. Cambridge: Cambridge University Press. https://www.cambridge.org/core/books/abs/criticism-and-the-growth-of-knowledge/falsification-and-the-methodology-of-scientific-research-programmes/B1AAD974814D6E7BF35E6449691AA58F
Lakatos, Imre. 1976. Proofs and Refutations: The Logic of Mathematical Discovery. Edited by John Worrall and Elie Zahar. Cambridge: Cambridge University Press. https://www.cambridge.org/core/books/proofs-and-refutations/575FC8A6B4FAB79E649EDF5FBB9C6E10
Lakatos, Imre. 1978. The Methodology of Scientific Research Programmes: Philosophical Papers, Volume 1. Edited by John Worrall and Gregory Currie. Cambridge: Cambridge University Press. https://jetiq.vntu.edu.ua/fdb/829/Lakatos%2C_The_Methodology_of_Scientific_Research_Programmes%2B%2B%2B.pdf
Laudan, Larry. 1977. Progress and Its Problems: Toward a Theory of Scientific Growth. Berkeley: University of California Press. Publisher record consulted for the 1978 paperback edition. https://www.ucpress.edu/books/progress-and-its-problems/paper
Musgrave, Alan, and Charles Pigden. 2026. “Imre Lakatos.” The Stanford Encyclopedia of Philosophy. Substantive revision June 19, 2026. https://plato.stanford.edu/entries/lakatos/
NASA Jet Propulsion Laboratory. n.d. “Discovery of the Planets.” Solar System Dynamics. https://ssd.jpl.nasa.gov/planets/discovery.html
NASA. 2021. “955 Years Ago: Halley’s Comet and the Battle of Hastings.” NASA History. https://www.nasa.gov/history/955-years-ago-halleys-comet-and-the-battle-of-hastings/
Schindler, Samuel. 2025. “Beyond Footnotes: Lakatos’s Meta-philosophy and the History of Science.” In Proofs and Research Programmes: Lakatos at 100, 183–204. Cham: Springer. https://link.springer.com/chapter/10.1007/978-3-031-88213-5_11
Worrall, John. 2025. “Epilogue: Scientific Theory-Change and Rationality—Lakatos and the ‘Popper-Kuhn Debate.’” In Proofs and Research Programmes: Lakatos at 100, 247–264. Cham: Springer. https://link.springer.com/chapter/10.1007/978-3-031-88213-5_14
Zahar, Elie G. 1973. “Why Did Einstein’s Programme Supersede Lorentz’s? (I).” British Journal for the Philosophy of Science 24 (2): 95–123. https://www.journals.uchicago.edu/doi/abs/10.1093/bjps/24.2.95
Zahar, Elie G. 1973. “Why Did Einstein’s Programme Supersede Lorentz’s? (II).” British Journal for the Philosophy of Science 24 (3): 223–262. https://www.journals.uchicago.edu/doi/10.1093/bjps/24.3.223