A study in the logic of theory change, examining the properties of maxichoice contraction and revision operations.

Describes and discusses the rather special behaviour of one of the postulates in the AGM account of theory change.

This paper offers a novel way of reconstructing conceptual change in empirical theories. Changes occur in terms of the structure of the dimensions—that is to say, the conceptual spaces—underlying the conceptual framework within which a given theory is formulated. Five types of changes are identified: (1) addition or deletion of special laws, (2) change in scale or metric, (3) change in the importance of dimensions, (4) change in the separability of dimensions, and (5) addition or (...) deletion of dimensions. Given this classification, the conceptual development of empirical theories becomes more gradual and rationalizable. Only the most extreme type—replacement of dimensions—comes close to a revolution. The five types are exemplified and applied in a case study on the development within physics from the original Newtonian mechanics to special relativity theory. (shrink)

There is a great deal of justified concern about continuity through scientific theory change. Our thesis is that, particularly in physics, such continuity can be appropriately captured at the level of conceptual frameworks using conceptual space models. Indeed, we contend that the conceptual spaces of three of our most important physical theories—Classical Mechanics, Special Relativity Theory, and Quantum Mechanics —have already been so modelled as phase-spaces. Working with their phase-space formulations, one can trace the conceptual changes and (...) continuities in transitioning from CM to QM, and from CM to SRT. By offering a revised severity-ordering of changes that conceptual frameworks can undergo, we provide reasons to doubt the commonly held view that CM is conceptually closer to SRT than QM. (shrink)

Value dimensions of mature theory change in science are considered. It is argued that the interaction of the values of the cross-theories constitutes the major mechanism of theory change in this dimension. Examples from history of science describing the details of the mechanism are given.

The monograph is aimed at an analysis of the reasons for theory change in science. The writer develops a model of theory change according to which the origins of scientific revolutions lie not in a clash of fundamental theories with facts, but of ‘old’ fundamental theories with each other.

The author’s studies in the philosophy of science, culminating in this book, were inspired by his previous research in the domains of classical and quantum gravity. In fact it was the need to bring some order in the family of modern classical theories of gravitation and to build up the appropriate conceptual foundations of quantum gravity , that forced the author to create his own methodological model of theory change, which he applies rather successfully to the most controversial (...) case study, the Lorentz-Einstein transition. (shrink)

In his book “Reconstruction of Scientific Change” R.M. Nugayev proposes a new model of theory change by analyzing the reasons for theory change in science. Nugayev’s theoretical concept is based on a realist’s philosophical attitude. The most important notions of Nugayev’ s conception of theory change are “theories’ cross” and “crossbred objects”, which he takes from the terminology of other Russian philosophers of science (Bransky, Podgoretzky, Smorodinsky). His investigations often refer to several famous (...) Western philosophers. Yet his study is not free of some drawbacks. Nevertheless, Nugayev’s book is worth reading and discussing within the current debate about the structure of scientific revolution and theory changes. (shrink)

The theory of theory change due to Alchourrón, Gärdenfors and Makinson ("AGM") has been widely known as being characterized by two sets of postulates, one being very weak and the other being very strong. Commenting on the three classic constructions of partial meet contraction, safe contraction and entrenchment-based construction, I argue that three intermediate levels can be distinguished that play decisive roles within the AGM theory.

What are the reasons for theory change in economics? – The author tries to give a sober answer on the basis of his epistemological model reconstructing the internal aspects of theory change. It is conjectures that a more subtle approach including the external facets can be provided with the “communicative rationality” concept. Key words: economics, theory change, internalism, external factors .

A novel experimental paradigm that measured theory change and confidence in participants' theories was used in three experiments to test the effects of anomalous evidence. Experiment 1 varied the amount of anomalous evidence to see if “dose size” made incremental changes in confidence toward theory change. Experiment 2 varied whether anomalous evidence was convergent or replicating. Experiment 3 varied whether participants were provided with an alternative theory that explained the anomalous evidence. All experiments showed that (...) participants' confidence changes were commensurate with the amount of anomalous evidence presented, and that larger decreases in confidence predicted theory changes. Convergent evidence and the presentation of an alternative theory led to larger confidence change. Convergent evidence also caused more theory changes. Even when people do not change theories, factors pertinent to the evidence and alternative theories decrease their confidence in their current theory and move them incrementally closer to theory change. (shrink)

The postulate of Recovery, among the six postulates for theory contraction, formulated and studied by Alchourrón, Gärdenfors and Makinson is the one that has provoked most controversy. In this article we construct withdrawal functions that do not satisfy Recovery, but try to preserve minimal change, and relate these withdrawal functions with the AGM contraction functions.

The classical qualitative theory of belief change due to Alchourrón, Gärdenfors and Makinson has been widely known as being characterised by two packages of postulates. While the basic package consists of six postulates and is very weak, the full package that adds two further postulates is very strong. I revisit two classic constructions of theory contraction, viz., relational possible worlds contraction and entrenchment-based contraction and argue that four intermediate levels can be distinguished that play - or ought (...) to play - important roles within qualitative belief revision theory. Levels 3 and 4 encode two ways of interpreting the idea of imperfect discrimination of the plausibilities of possible worlds or propositions. (shrink)

Prioritized bases, i.e., weakly ordered sets of sentences, have been used for specifying an agent’s ‘basic’ or ‘explicit’ beliefs, or alternatively for compactly encoding an agent’s belief state without the claim that the elements of a base are in any sense basic. This paper focuses on the second interpretation and shows how a shifting of priorities in prioritized bases can be used for a simple, constructive and intuitive way of representing a large variety of methods for the change of (...) belief states—methods that have usually been characterized semantically by a system-of-spheres modeling. Among the methods represented are ‘radical’, ‘conservative’ and ‘moderate’ revision, ‘revision by comparison’ in its raising and lowering variants, as well as various constructions for belief expansion and contraction. Importantly, none of these methods makes any use of numbers. (shrink)

The paper explores the relativistic implications of the thesis of incommensurability. A semantic form of incommensurability due to semantic variation between theories is distinguished from a methodological form due to variation in methodological standards between theories. Two responses to the thesis of semantic incommensurability are dealt with: the first challenges the idea of untranslatability to which semantic incommensurability gives rise; the second holds that relations of referential continuity eliminate semantic incommensurability. It is then argued that methodological incommensurability poses little risk (...) to the rationality or objectivity of science. For rational theory choice need neither be dictated by an algorithm nor governed by a binding set of rules. The upshot of the discussion is deflationary. There is little prospect for a relativistic conception of science based on inflated claims about the incommensurability of scientific theories. (shrink)

When the policies and activities of one country or generation harm both other nations and later generations, they constitute serious injustices. Recognizing the broad threat posed by anthropogenic climate change, advocates for an international climate policy development process have expressly aimed to mitigate this pressing contemporary environmental threat in a manner that promotes justice. Yet, while making justice a primary objective of global climate policy has been the movement's noblest aspiration, it remains an onerous challenge for policymakers. -/- Atmospheric (...) Justice is the first single-authored work of political theory that addresses this pressing challenge via the conceptual frameworks of justice, equality, and responsibility. Throughout this incisive study, Steve Vanderheiden points toward ways to achieve environmental justice by exploring how climate change raises issues of both international and intergenerational justice. In addition, he considers how the design of a global climate regime might take these aims into account. Engaging with the principles of renowned political philosopher John Rawls, he expands on them by factoring in the needs of future generations. Vanderheiden also demonstrates how political theory can contribute to reaching a better understanding of the proper human response to climate change. By showing how climate policy offers insights into resolving contemporary controversies within political theory, he illustrates the ways in which applying normative theory to policy allows us to better understand both. -/- Thoroughly researched and persuasively argued, Atmospheric Justice makes an important step toward providing us with a set of carefully elaborated first principles for achieving environmental justice. (shrink)

Examines the link between nonmonotonic inference relations and theory revision operations, focusing on the correspondence between abstract properties which each may satisfy.

This paper examines what agents should do when others fail to comply with their responsibilities to prevent dangerous climate change. It distinguishes between six different possible responses to noncompliance. These include what I term (1) 'target modification' (watering down the extent to which we seek to prevent climate change), (2) ‘responsibility reallocation’ (reassigning responsibilities to other duty bearers), (3) ‘burden shifting I’ (allowing duty bearers to implement policies which impose unjust burdens on others, (4) 'burden shifting II’ (allowing (...) some to protect peoples rights in ways which impose otherwise unjustified burdens on the duty bearers, (5) 'compromising moral ideals' (permitting agents to compromise non-justice ideals that they are otherwise bound by); and (6) ‘promoting compliance (implementing policies and creating institutions which reduce noncompliance). It concludes by outlining a methodological framework for evaluating these options, and by setting out my tentative and provisional evaluation of which responses are the least bad. (shrink)

A brief account of epistemological models that try to unfold the intertheoretic context of theory change is proposed. It is stated that all of them has a host of drawbacks, the most salient one being the lack of adequate description of the research traditions interaction process. The epistemological model of mature theory change, eliminating the drawback, is contemplated and illustrated.

The book addresses the question of what are the routes and mechanisms of the theory-change process in science at the level when the change involves the calling in question of a mature theory, i.e. one which has been accepted as accounting very well for a large range of experimental phenomenon.

This paper extends earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a proposition and revising a theory to introduce a proposition. In the course of the earlier work, Gardenfors developed general postulates of a more or less equational nature for such processes, whilst Alchourron and Makinson studied the particular case of contraction functions that are maximal, in the sense of yielding a maximal subset of the theory (or alternatively, (...) of one of its axiomatic bases), that fails to imply the proposition being eliminated. In the present paper, the authors study a broader class, including contraction functions that may be less than maximal. Specifically, they investigate "partial meet contraction functions", which are defined to yield the intersection of some nonempty family of maximal subsets of the theory that fail to imply the proposition being eliminated. Basic properties of these functions are established: it is shown in particular that they satisfy the Gardenfors postulates, and moreover that they are sufficiently general to provide a representation theorem for those postulates. Some special classes of partial meet contraction functions, notably those that are "relational" and "transitively relational", are studied in detail, and their connections with certain "supplementary postulates" of Gardenfors investigated, with a further representation theorem established. (shrink)

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)

Synchronic norms of theory choice, a traditional concern in scientific methodology, restrict the theories one can choose in light of given information. Diachronic norms of theory change, as studied in belief revision, restrict how one should change one’s current beliefs in light of new information. Learning norms concern how best to arrive at true beliefs. In this paper, we undertake to forge some rigorous logical relations between the three topics. Concerning, we explicate inductive truth conduciveness in (...) terms of optimally direct convergence to the truth, where optimal directness is explicated in terms of reversals and cycles of opinion prior to convergence. Concerning, we explicate Ockham’s razor and related principles of choice in terms of the information topology of the empirical problem context and show that the principles are necessary for reversal or cycle optimal convergence to the truth. Concerning, we weaken the standard principles of agm belief revision theory in intuitive ways that are also necessary for reversal or cycle optimal convergence. Then we show that some of our weakened principles of change entail corresponding principles of choice, completing the triangle of relations between,, and. (shrink)

Synchronic norms of theory choice, a traditional concern in scientific methodology, restrict the theories one can choose in light of given information. Diachronic norms of theory change, as studied in belief revision, restrict how one should change one’s current beliefs in light of new information. Learning norms concern how best to arrive at true beliefs. In this paper, we undertake to forge some rigorous logical relations between the three topics. Concerning, we explicate inductive truth conduciveness in (...) terms of optimally direct convergence to the truth, where optimal directness is explicated in terms of reversals and cycles of opinion prior to convergence. Concerning, we explicate Ockham’s razor and related principles of choice in terms of the information topology of the empirical problem context and show that the principles are necessary for reversal or cycle optimal convergence to the truth. Concerning, we weaken the standard principles of agm belief revision theory in intuitive ways that are also necessary for reversal or cycle optimal convergence. Then we show that some of our weakened principles of change entail corresponding principles of choice, completing the triangle of relations between,, and. (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)

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)

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)

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)

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. (shrink)

Science, and in particular the process of theory-change in science, formed the major inspiration for Karl Popper's whole philosophy. Popper learned about the success of Einstein's revolutionary new theory in 1919, and Einstein ‘became a dominant influence on my thinking—in the long run perhaps the most important influence of all.’ Popper explained why: In May, 1919, Einstein's eclipse predictions were successfully tested by two British expeditions. With these tests a new theory of gravitation and a new (...) cosmology suddenly appeared, not just as a mere possibility, but as an improvement on Newton—a better approximation to the truth … The general assumption of the truth of Newton's theory was of course the result of its incredible success, culminating in the discovery of the planet Neptune … Yet in spite of all this, Einstein had managed to produce a real alternative and, it appeared, a better theory … Like Newton himself, he predicted new effects within our solar system. And some of these predictions, when tested, had now proved successful. (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 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)

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)

A comprehensible model is proposed aimed at an analysis of the reasons for theory change in science. According to model the origins of scientific revolutions lie not in a clash of fundamental theories with facts, but of “old” fundamental theories with each other, leading to contradictions that can only be eliminated in a more general theory. The model is illustrated with reference to physics in the early 20th century, the three “old” theories in this case being Maxwellian (...) electrodynamics, statistical mechanics and thermodynamics. Modern example, referring to general relativity and quantum field theory, is considered. Key words: Popper, Kuhn, Stepin, Einstein . (shrink)

A comprehensible model is proposed aimed at an analysis of the reasons for theory change in science. According to the model the origins of scientific revolutions lie not in a clash of fundamental theories with facts, but of “old” fundamental theories with each other, leading to contradictions that can only be eliminated in a more general theory. The model is illustrated with reference to physics in the early 20th century, the three “old” theories in this case being (...) Maxwellian electrodynamics, statistical mechanics and thermodynamics. Modern example, referring to general relativity and quantum field theory fusion, is highlighted. Key words: Popper, Kuhn, Lakatos, Feyerabend, Stepin, Bransky,Mamchur, mature theory, structure, Einstein, Lorentz, , Boltzmann, Planck, Hawking, De Witt. (shrink)

(2013). Is scientific theory change similar to early cognitive development? Gopnik on science and childhood. Philosophical Psychology: Vol. 26, No. 1, pp. 109-128. doi: 10.1080/09515089.2011.625114.

This book is a monograph aimed at an analysis of the reasons for fundamental theory change in science. The book was written and published in the last years of the Soviet Union, this fact explains the ‘dialectico-materialistic’ terminology used by the author.

‘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. (shrink)

My purpose in this paper is to show how a re-examination of Snow’s famous South London water study, widely taken to have established that cholera is water-borne, highlights some problems with current, scientific realist accounts of theory-change. When examining scientific controversies, such accounts focus disproportionately on the ‘winning’ theories and their properties, or on those of the reasoning of the scientists who proposed them. I argue that this focus is misguided and leads us to neglect much of what (...) is epistemically valuable in episodes of theory-change, thereby leading to inaccurate views about both the dynamics of theory-change and the notion of scientific progress that accompanies it. I end by sketching some implications for the philosophy of epidemiology. (shrink)

A comprehensible model is proposed aimed at an analysis of the reasons for theory change in science. According to model the origins of scientific revolutions lie not in a clash of fundamental theories with facts, but of “old” research traditions with each other, leading to contradictions that can only be eliminated in a more general theory. The model is illustrated with reference to physics in the early 20th century, the three “old” traditions in this case being linked (...) with Maxwellian electrodynamics, Newtonian mechanics and phenomenological thermodynamics. Some modern examples are considered. Key words: Kuhn, Lakatos, Zahar. (shrink)

Nugayev’s book is one of the first Soviet monographs treating the theory change problem. The gist of epistemological model consists in consequent account of intertheoretical relations. His book is based on the works of Soviet authors, as well as on Western studies (K.R. Popper, T.S. Kuhn, I. Lakatos, P. Feyerabend et al.) Key words: epistemological model, Soviet philosophy, Western studies .

Chakravartty and others have pressed that the defender of scientific realism needs to supply a metaphysical story, most saliently a modal story, of how knowledge of the unobservable can be possible. Here I consider the challenge the problem of theory change poses to theories of modal metaphysics.

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 monograph is aimed at an analysis of the reasons for theory change in science. The writer develops a model of theory change according to which the origins of scientific revolutions lie not in a clash of fundamental theories with facts, but of ‘old’ fundamental theories with each other.