This paper is concerned with formal aspects of the logic of theory change, and in particular with the process of shrinking or contracting a theory to eliminate a proposition. It continues work in the area by the authors and Peter Gärdenfors. The paper defines a notion of safe contraction of a set of propositions, shows that it satisfies the Gärdenfors postulates for contraction and thus can be represented as a partial meet contraction, and studies its properties both in general and (...) under various natural constraints. (shrink)

The discussion presents a framework of concepts that is intended to account for the rationality of semantic change and variation, suggesting that each scientific concept consists of three components of content: 1) reference, 2) inferential role, and 3) the epistemic goal pursued with the concept’s use. I argue that in the course of history a concept can change in any of these components, and that change in the concept’s inferential role and reference can be accounted for as being rational relative (...) to the third component, the concept’s epistemic goal. This framework is illustrated and defended by application to the history of the gene concept. It is explained how the molecular gene concept grew rationally out of the classical gene concept despite a change in reference, and why the use and reference of the contemporary molecular gene concept may legitimately vary from context to context. (shrink)

The aim of this paper is to provide a unified account of scientific and mathematical change in a thoroughly empiricist setting. After providing a formal modelling in terms of embedding, and criticising it for being too restrictive, a second modelling is advanced. It generalises the first, providing a more open-ended pattern of theory development, and is articulated in terms of da Costa and French's partial structures approach. The crucial component of scientific and mathematical change is spelled out in terms of (...) partial embeddings. Finally, an application of this second pattern is made, with the examination of the early formulation of set theory (in particular, the works of Cantor, Zermelo and Skolem). (shrink)

Scientific change has two important dimensions: conceptual change and structural change. In this paper, I argue that the existence of conceptual change brings serious difficulties for scientific realism, and the existence of structural change makes structural realism look quite implausible. I then sketch an alternative account of scientific change, in terms of partial structures, that accommodates both conceptual and structural changes. The proposal, however, is not realist, and supports a structuralist version of van Fraassen’s constructive empiricism (structural empiricism).

In this paper a constructive empiricist account of scientific change is put forward. Based on da Costa's and French's partial structures approach, two notions of empirical adequacy are initially advanced (with particular emphasis on the introduction of degrees of empirical adequacy). Using these notions, it is shown how both the informativeness and the empirical adequacy requirements of an empiricist theory of scientific change can then be met. Finally, some philosophical consequences with regard to the role of structures in this context (...) are drawn.Now, we daily see what science is doing for us. This could not be unless it taught us something about reality; the aim of science is not things themselves, as the dogmatists in their simplicity imagine, but the relations between things; outside those relations there is no reality knowable. (shrink)

Traditional approaches to theory structure and theory change in science do not fare well when confronted with the practice of certain fields of science. We offer an account of contemporary practice in molecular biology designed to address two questions: Is theory change in this area of science gradual or saltatory? What is the relation between molecular biology and the fields of traditional biology? Our main focus is a recent episode in molecular biology, the discovery of enzymatic RNA. We argue that (...) our reconstruction of this episode shows that traditional approaches to theory structure and theory change need considerable refinement if they are to be defended as generally applicable. 1This paper emerged from discussions between us, and we are both equally responsible for its errors. We would like to thank Yvonne Paterson for helpful comments. (shrink)

This innovative book focuses on the development of the gene theory as a case study in scientific creativity.

This paper outlines a defense of scientific realism against the pessimistic meta-induction which appeals to the phenomenon of the exponential growth of science. Here, scientific realism is defined as the view that our current successful scientific theories are mostly approximately true, and pessimistic meta-induction is the argument that projects the occurrence of past refutations of successful theories to the present concluding that many or most current successful scientific theories are false. The defense starts with the observation that at least 80% (...) of all scientific work ever done has been done since 1950, proceeds with the claim that practically all of our most successful theories were entirely stable during that period of time, and concludes that the projection of refutations of successful theories to the present is unsound. In addition to this defense, the paper offers a framework through which scientific realism can be compared with two types of anti-realism. The framework is also of help to examine the relationships between these three positions and the three main arguments offered respectively in their support (No-miracle argument, pessimistic meta-induction, underdetermination). (shrink)

A number of seminal papers on the logic of belief change by Alchourrön, Gärden-fors, and Makinson have given rise to what is now known as the AGM paradigm. The present discussion note is a response to Neil Tennant's [1994], which aims at a critical appraisal of the AGM approach and the introduction of an alternative approach. We show that important parts of Tennants's critical remarks are based on misunderstandings or on lack of information. In the course of doing this, we (...) attend to some central philosophical issues in the theory of belief change, such as the choice of a representation for belief states and the meaning of an idealized rational agent. (shrink)

Lakatos, I. History of science and its rational reconstructions.--Clark, P. Atomism vs. thermodynamics.--Worrall, J. Thomas Young and the "rufutation" of Newtonian optics.--Musgrave, A. Why did oxygen supplant phlogiston?--Zahar, E. Why did Einstein's programme supersede Lorentz's?--Frické, M. The rejection of Avogadro's hypotheses.--Feyerabend, P. On the critique of scientific reason.

Based on author's dissertation--Yale University.

In this paper we shall show that structuralist constraints applied to moral idealizations, have applications in critical ethical argumentation. Moreover, we developed some systematic concepts which may be used to evaluate the relevance and adequacy of descriptions of moral problems relative to given idealizing moral perspectives. Finally, it is shown that any two moral perspectives are comparable via the Kemeny-Snell measure of distance of rankings.

This article presents a case study from the history of cardiology, namely, the development towards the acceptance of the coronary theory of angina pectoris. I show that the arguments which were considered decisive against the theory were not answered at the time the theory was accepted. I also point out that the experimental and practical success of the theory cannot be used to support the initial choice because, in the subsequent development, the field researchers became preoccupied with new questions and (...) problems. In spite of this, there is a sense in which the field of angina research has progressed, but it remains a challenge to exactly characterise in what sense this is the case. (shrink)

The paper surveys some recent work on formal aspects of the logic of theory change. It begins with a general discussion of the intuitive processes of contraction and revision of a theory, and of differing strategies for their formal study. Specific work is then described, notably Gärdenfors'' postulates for contraction and revision, maxichoice contraction and revision functions and the condition of orderliness, partial meet contraction and revision functions and the condition of relationality, and finally the operations of safe contraction and (...) revision. Verifications and proofs are omitted, with references given to the literature, but definitions and principal results are presented with rigour, along with discussion of their significance. (shrink)

In this paper I claim that Quinean naturalist accounts of science, that deny that there are any a priori statements in scientific frameworks, cannot account for the foundational role of certain classes of statements in scientific practice. In this I follow Michael Friedman who claims that certain a priori statements must be presupposed in order to formulate empirical hypotheses. I also show that Friedman's account, in spite of his claims to the contrary, is compatible with a type of non-Quinean naturalism (...) that I sketch. Finally I also show that Friedman's account needs amending because it cannot provide a rational account of theory change. I accomplish this by arguing for a structural realist view of theory change. I show how this view fits well with an account like Friedman's and helps it deal with the problem of theory change and in retaining its superiority over Quinean naturalism. (shrink)

In this paper I consider two accounts of scientific discovery, Robert Hudson’s and Peter Achinstein’s. I assess their relative success and I show that while both approaches are similar in promising ways, and address experimental discoveries well, they could address the concerns of the discovery sceptic more explicitly than they do. I also explore the implications of their inability to address purely theoretical discoveries, such as those often made in mathematical physics. I do so by showing that extending Hudson’s or (...) Achinstein’s account to such cases can sometimes provide a misleading analysis about who ought to be credited as a discoverer. In the final sections of the paper I work out some revisions to the Hudson/Achinstein account by drawing from a so-called structural realist view of theory change. Finally, I show how such a modified account of discovery can answer sceptical critics such as Musgrave or Woolgar without producing misleading analyses about who ought to receive credit as a discoverer in cases from the mathematical sciences. I illustrate the usefulness of this approach by providing an analysis of the case of the discovery of the Casimir effect. (shrink)

The aim of this paper is to elucidate the question of whether Newtonian mechanics can be derived from relativity theory. Physicists agree that classical mechanics constitutes a limiting case of relativity theory. By contrast, philosophers of science like Kuhn and Feyerabend affirm that classical mechanics cannot be deduced from relativity theory because of the incommensurability between both theories; thus what we obtain when we take the limit c in relativistic mechanics cannot be Newtonian mechanics sensu stricto. In this paper I (...) focus on the alleged change of reference of the term mass in the transition from one theory to the other. Contradicting Kuhn and Feyerabend, special relativity theory supports the view that the mass of an object is a characteristic property of the object, that it has the same value in whatever frame of reference it is measured, and that it does not depend on whether the object is in motion or at rest. Thus mass preserves the reference through the change of theory, and the existence of a Newtonian limit of relativity theory provides a good example of the rationality of theory change in mathematical physics. (shrink)

This paper addresses the problem that Bayesian statistical inference cannot accommodate theory change, and proposes a framework for dealing with such changes. It first presents a scheme for generating predictions from observations by means of hypotheses. An example shows how the hypotheses represent the theoretical structure underlying the scheme. This is followed by an example of a change of hypotheses. The paper then presents a general framework for hypotheses change, and proposes the minimization of the distance between hypotheses as a (...) rationality criterion. Finally the paper discusses the import of this for Bayesian statistical inference. (shrink)

This paper dwells upon formal models of changes of beliefs, or theories, which are expressed in languages containing a binary conditional connective. After defining the basic concept of a (non-trivial) belief revision model. I present a simple proof of Gärdenfors''s (1986) triviality theorem. I claim that on a proper understanding of this theorem we must give up the thesis that consistent revisions (additions) are to be equated with logical expansions. If negated or might conditionals are interpreted on the basis of (...) autoepistemic omniscience, or if autoepistemic modalities (Moore) are admitted, even more severe triviality results ensue. It is argued that additions cannot be philosophically construed as parasitic (Levi) on expansions. In conclusion I outline somed logical consequences of the fact that we must not expect monotonic revisions in languages including conditionals. (shrink)

The problem of rational theory-choice is the problem of whether choice of theory by a scientist may be objectively rational in the absence of an invariant scientific method. In this paper I offer a solution to the problem, but the solution I propose may come as something of a surprise. For I wish to argue that the work of the very authors who have put the rationality of such choice in question, Thomas Kuhn and Paul Feyerabend, contains all that is (...) needed to solve the problem. (shrink)

This two-part article examines the competition between the clonal selection theory and the instructive theory of the immune response from 1957–1967. In Part I the concept of a temporally extended theory is introduced, which requires attention to the hitherto largely ignored issue of theory individuation. Factors which influence the acceptability of such an extended theory at different temporal points are also embedded in a Bayesian framework, which is shown to provide a rational account of belief change in science. In Part (...) II these factors, as elaborated in the Bayesian framework, are applied to the case of the success of the clonal selection theory and the failure of the instructive theory. (shrink)

This two-part article examines the competition between the clonal selection theory and the instructive theory of the immune response from 1957–1967. In Part I the concept of a temporally extended theory is introduced, which requires attention to the hitherto largely ignored issue of theory individuation. Factors which influence the acceptability of such an extended theory at different temporal points are also embedded in a Bayesian framework, which is shown to provide a rational account of belief change in science. In Part (...) II these factors, as elaborated in the Bayesian framework, are applied to the case of the success of the clonal selection theory and the failure of the instructive theory. (shrink)

Changing the Theory of Theory Change: Towards a Computational Approach’ (Tennant [1994]; henceforth CTTC) claimed that the AGM postulate of recovery is false, and that AGM contractions of theories can be more than minimally mutilating. It also described an alternative, computational method for contracting theories, called the Staining Algorithm. Makinson [1995] and Hansson and Rott [1995] criticized CTTC's arguments against AGM-theory, and its specific proposals for an alternative, computational approach. This paper replies as comprehensively as space allows.

The Theory of theory change has contraction and revision as its central notions. Of these, contraction is the more fundamental. The best-known theory, due to Alchourrón, Gärdenfors, and Makinson, is based on a few central postulates. The most fundamental of these is the principle of recovery: if one contracts a theory with respect to a sentence, and then adds that sentence back again, one recovers the whole theory. Recovery is demonstrably false. This paper shows why, and investigates how one can (...) nevertheless characterize contraction in a theoretically fruitful way. The theory proposed lends itself to implementation, which in turn could yield new theoretical insights. The Main proposal is a ‘staining algorithm’ which identifies which sentences to reject when contracting a theory. The algorithm requires one to be clear about the structure of reasons one has for including sentences within one's theory. (shrink)

In the 1960s and 1970s, Hilary Putnam articulated a notion of relativized apriority that was motivated to address the problem of scientific change. This paper examines Putnam’s account in its historical context and in relation to contemporary views. I begin by locating Putnam’s analysis in the historical context of Quine’s rejection of apriority, presenting Putnam as a sympathetic commentator on Quine. Subsequently, I explicate Putnam’s positive account of apriority, focusing on his analysis of the history of physics and geometry. In (...) the remainder of the paper, I explore connections between Putnam’s account of relativized a priori principles and contemporary views. In particular, I situate Putnam’s account in relation to analyses advanced by Michael Friedman, David Stump, and William Wimsatt. From this comparison, I address issues concerning whether a priori scientific principles are appropriately characterized as “constitutive” or “entrenched”. I argue that these two features need to be clearly distinguished, and that only the constitutive function is essential to apriority. By way of conclusion, I explore the relationship between the constitutive function of a priori principles and entrenchment. (shrink)

Structural realism has various diverse manifestations. One of the things that structural realists of all stripes have in common is their endorsement of what I call 'the structural continuity claim'. Roughly, this is the idea that the structure of successful scientific theories survives theory change because it has latched on to the structure of the world. In this talk I elaborate, elucidate and modify the structural continuity claim and its associated argument. I do so without presupposing a particular conception of (...) structure that favours this or that kind of structural realism but instead by concentrating on neutrally formulated historical facts. The result, I hope, throws light on what a structural realist must do to evidentially benefit from the historical record of science. The implicit argument underwriting the structural continuity claim can be reconstructed as follows: Premise (1) Only structural elements of predictively and explanatorily successful scientific theories have been (and will be) preserved through theory change. Premise (2): Preservation of an element implies or at least is good evidence for its (approximate) truth. Premise (3): Non-preservation of an element implies or at least is good evidence for its falsity. Conclusion: It is probably the case that only structural elements are (approximately) true. In this summary I restrict my comments to the first premise. Several points can be raised with respect to it. First, not all structures are created equal. Some play no active role in the predictive and explanatory success of a theory because they do not correspond to any structure in the world. Their non-preservation would therefore not encumber the structural realist. Traditional scientific realists have long employed a distinction between essential and idle posits to weed out those elements of theories that played no substantial role in their predictive and explanatory success.. (shrink)

The 1960s marked a turning point for the scientific realism debate. Thomas Kuhn and others undermined the orthodox positivist tradition by showing that a careful study of the historical record speaks against the linear accumulation of scientific knowledge. But, as is so often the case, reaction to the admittedly naïve positivist view was disproportionate and resulted in an equally naïve and diametrically opposite view, namely that there is no significant accumulation whatsoever. Realist philosophers like Richard Boyd and Hilary Putnam were (...) quick to reply that not everything is lost in the wake of a scientific revolution. Successive scientific theories, they claimed, preserve the theoretical relations and referents of earlier theories so long as both belong to a mature science. (shrink)

Structural realists of nearly all stripes endorse the structural continuity claim. Roughly speaking, this is the claim that the structure of successful scientific theories survives theory change because it has latched on to the structure of the world. In this paper I elaborate, elucidate and modify the structural continuity claim and its associated argument. I do so without presupposing a particular conception of structure that favours this or that kind of structural realism. Instead I focus on how structural realists can (...) best account for the neutrally formulated historical facts. The result, I hope, crystallises some of the shared commitments, desiderata and limits of structural realists. (shrink)

In 1988, David Hull presented an evolutionary account of science. This was a direct analogy to evolutionary accounts of biological adaptation, and part of a generalized view of Darwinian selection accounts that he based upon the Universal Darwinism of Richard Dawkins. Criticisms of this view were made by, among others, Kim Sterelny, which led to it gaining only limited acceptance. Some of these criticisms are, I will argue, no longer valid in the light of developments in the formal modeling of (...) evolution, in particular that of Sergey Gavrilets’ work on adaptive landscapes. If we can usefully recast the Hullian view of science as being driven by selection in terms of Gavrilets’ and Kaufmann’s view of there being “giant components” of high-fitness networks through any realistic adaptive landscape, we may now find it useful to ask what the adaptive pressures on science are, and to extend the metaphor into a full analogy. This is in effect to reconcile the Fisherianism of the Dawkins–Hull approach to selection and replicators, with a Wrightean drift account of social constructionist views of science, preserving, it is to be hoped, the valuable aspects of both. (shrink)

David Hull's (1988c) model of science as a selection process suffers from a two-fold inability: (a) to ascertain when a lineage of theories has been established; i.e., when theories are descendants of older theories or are novelties, and what counts as a distinct lineage; and (b) to specify what the scientific analogue is of genotype and phenotype. This paper seeks to clarify these issues and to propose an abstract model of theories analogous to particulate genetic structure, in order to reconstruct (...) relationships of descent and identity. (shrink)