The numerous and diverse roles of theory reduction in science have been insufficiently explored in the philosophy literature on reduction. Part of the reason for this has been a lack of attention paid to reduction2 (successional reduction)---although I here argue that this sense of reduction is closer to reduction1 (explanatory reduction) than is commonly recognised, and I use an account of reduction that is neutral between the two. This paper draws attention to the utility---and incredible versatility---of theory reduction. A non-exhaustive (...) list of various applications of reduction in science is presented, some of which are drawn from a particular case-study, being the current search for a new theory of fundamental physics. This case-study is especially interesting because it employs both senses of reduction at once, and because of the huge weight being put on reduction by the different research groups involved; additionally, it presents some unique uses for reduction---revealing, I argue, the fact that reduction can be of specialised and unexpected service in particular scientific cases. The paper makes two other general findings: that the functions of reduction that are typically assumed to characterise the different forms of the relation may instead be understood as secondary consequences of some other roles; and that most of the roles that reduction plays in science can actually also be fulfilled by a weaker relation than (the typical understanding of) reduction. (shrink)

In times of crisis, when current theories are revealed as inadequate to task, and new physics is thought to be required—physics turns to re-evaluate its principles, and to seek new ones. This paper explores the various types, and roles of principles that feature in the problem of quantum gravity as a current crisis in physics. I illustrate the diversity of the principles being appealed to, and show that principles serve in a variety of roles in all stages of the crisis, (...) including in motivating the need for a new theory, and defining what this theory should be like. In particular, I consider: the generalised correspondence principle, UV-completion, background independence, and the holographic principle. I also explore how the current crisis fits with Friedman’s view on the roles of principles in revolutionary theory-change, finding that while many key aspects of this view are not represented in quantum gravity, the view could potentially offer a useful diagnostic, and prescriptive strategy. This paper is intended to be relatively non-technical, and to bring some of the philosophical issues from the search for quantum gravity to a more general philosophical audience interested in the roles of principles in scientific theory-change. (shrink)

The No-Miracles Argument (NMA) is often used to support scientific realism. We can formulate this argument as an inference to the best explanation this accusation of circularity by appealing to reliabilism, an externalist epistemology. In this paper I argue that this retreat fails. Reliabilism suffers from a potentially devastating difficulty known as the Generality Problem and attempts to solve this problem require adopting both epistemic and metaphysical assumptions regarding local scientific theories. Although the externalist can happily adopt the former, if (...) he adopts the latter then the Generality Problem arises again, but now at the level of scientific methodology. Answering this new version of the Generality Problem is impossible for the scientific realist without making the important further assumption that there exists the possibility of a unique rule of Doing this however would make the NMA viciously premise circular. (shrink)

Relationships between current theories, and relationships between current theories and the sought theory of quantum gravity (QG), play an essential role in motivating the need for QG, aiding the search for QG, and defining what would count as QG. Correspondence is the broad class of inter-theory relationships intended to demonstrate the necessary compatibility of two theories whose domains of validity overlap, in the overlap regions. The variety of roles that correspondence plays in the search for QG are illustrated, using examples (...) from specific QG approaches. Reduction is argued to be a special case of correspondence, and to form part of the definition of QG. Finally, the appropriate account of emergence in the context of QG is presented, and compared to conceptions of emergence in the broader philosophy literature. It is argued that, while emergence is likely to hold between QG and general relativity, emergence is not part of the definition of QG, and nor can it serve usefully in the development and justification of the new theory. (shrink)

A comprehensive look at the kinds of correspondence principle in physics.

How does a predecessor theory relate to its successor? According to Heinz Post’s General Correspondence Principle, the successor theory has to account for the em- pirical success of its predecessor. After a critical discussion of this principle, I outline and discuss various kinds of correspondence relations that hold between successive scientific theories. I then look in some detail at a case study from contemporary physics: the various proposals for a theory of high-temperature superconductivity. The aim of this case study is (...) to understand better the prospects and the place of a methodological principle such as the Generalized Correspondence Principle. Generalizing from the case study, I will then argue that some such principle has to be considered, at best, as one tool that might guide scientists in their theoriz- ing. Finally I present a tentative account of why principles such as the Generalized Correspondence Principle work so often and why there is so much continuity in scientific theorizing. (shrink)

Building on previous work, I continue the arguments for scientific realism in the presence of a natural level structure of science. That structure results from a cognitive antireductionism that calls for the retention of mature theories even though they have been "superseded". The level structure is based on "scientific truth" characterized by a theory's validity domain and the confirming empirical data. Reductionism (including fundamentalism) fails cognitively because of qualitative differences in the ontology and semantics of successive theories. This cognitive failure (...) exists in spite of the mathematical success of theory reduction. The claim for scientific realism is strongly based on theory coherence between theories on adjacent levels. Level coherence consists of mathematical relations between levels, as well as of reductive explanations. The latter refers to questions that can be posed (but not answered) on a superseded level, but which can be answered (explained) on the superseding level. In view of the pluralism generated by cognitive antireductionism, theory coherence is claimed to be so compelling that it provides strong epistemic justification for a pluralistic scientific realism. (shrink)

Models are a principle instrument of modern science. They are built, applied, tested, compared, revised and interpreted in an expansive scientific literature. Throughout this paper, I will argue that models are also a valuable tool for the philosopher of science. In particular, I will discuss how the methodology of Bayesian Networks can elucidate two central problems in the philosophy of science. The first thesis I will explore is the variety-of-evidence thesis, which argues that the more varied the supporting evidence, the (...) greater the degree of confirmation for a given hypothesis. However, when investigated using Bayesian methodology, this thesis turns out not to be sacrosanct. In fact, under certain conditions, a hypothesis receives more confirmation from evidence that is obtained from one rather than more instruments, and from evidence that confirms one rather than more testable consequences of the hypothesis. The second challenge that I will investigate is scientific theory change. This application highlights a different virtue of modeling methodology. In particular, I will argue that Bayesian modeling illustrates how two seemingly unrelated aspects of theory change, namely the (Kuhnian) stability of (normal) science and the ability of anomalies to over turn that stability and lead to theory change, are in fact united by a single underlying principle, in this case, coherence. In the end, I will argue that these two examples bring out some metatheoretical reflections regarding the following questions: What are the differences between modeling in science and modeling in philosophy? What is the scope of the modeling method in philosophy? And what does this imply for our understanding of Bayesianism? (shrink)

: The distinction between science and philosophy plays a central role in methodological, programmatic and institutional debates. Discussions of disciplinary identities typically focus on boundaries or else on genealogies, yielding models of demarcation and models of dynamics. Considerations of a discipline's self-image, often based on history, often plays an important role in the values, projects and practices of its members. Recent focus on the dynamics of scientific change supplements Kuhnian neat model with a role for philosophy and yields a model (...) of the evolution of philosophy of science. This view illuminates important aspects of science and itself contributes to philosophy of science. This interactive model is general yet based on exclusive attention to physics. In this paper and two sequels, I focus on the human sciences and argue that their role in the history of philosophy of science is just as important and it also involves a close involvement of the history of philosophy. The focus is on Gestalt psychology and it points to some lessons for philosophy of science. But, unlike the discussion of natural sciences, the discussion here brings out more complication than explication, and skews certain kinds of generalizations. (shrink)

The numerous and diverse roles of theory reduction in science have been insufficiently explored in the philosophy literature on reduction. Part of the reason for this has been a lack of attention paid to reduction2 (successional reduction)—although I here argue that this sense of reduction is closer to reduction1 (explanatory reduction) than is commonly recognised, and I use an account of reduction that is neutral between the two. This paper draws attention to the utility—and incredible versatility—of theory reduction. A non-exhaustive (...) list of various applications of reduction in science is presented, some of which are drawn from a particular case-study, being the current search for a new theory of fundamental physics. This case-study is especially interesting because it employs both senses of reduction at once, and because of the huge weight being put on reduction by the different research groups involved; additionally, it presents some unique uses for reduction—revealing, I argue, the fact that reduction can be of specialised and unexpected service in particular scientific cases. The paper makes two other general findings: that the functions of reduction that are typically assumed to characterise the different forms of the relation may instead be understood as secondary consequences of some other roles; and that most of the roles that reduction plays in science can actually also be fulfilled by a weaker relation than (the typical understanding of) reduction. (shrink)

When once-successful physical theories are abandoned, common wisdom has it that their characteristic theoretical entities are abandoned with them: examples include phlogiston, light rays, Newtonian forces, Euclidean space. But sometimes a theory sees ongoing use, despite being superseded. What should scientific realists say about the characteristic entities of the theories in such cases? The standard answer is that these ‘theoretical relicts’ are merely useful fictions. In this paper we offer a different answer. We start by distinguishing horizontal reduction (in which (...) a superseded theory approximates the successor theory) from vertical reduction (in which a higher-level theory abstracts away from the lower-level theory, but nonetheless can be constructed from it); these are usually regarded as having different ontological consequences. We describe a ‘verticalization’ procedure which transforms horizontal reductions into vertical reductions. The resulting verticalized theories are abstractions rather than approximations, with restricted domains. We identify a sense in which the higher-level theory describes distinct subject matters from the lower-level theory, enabling in certain cases the higher-level theory to retain distinctive explanatory power even in the presence of reduction. We suggest that theoretical entities from superseded theories should be retained in a scientific realist worldview just when, reinterpreted as higher-level abstractions, those theories and their characteristic entities continue to perform distinctive explanatory work in providing the best explanation for less-fundamental phenomena of interest. In slogan form: a good relict is an emergent relict. (shrink)

This article provides a spatial analysis of the conceptual framework of fluid dynamics during the nineteenth century, focusing on the transition from the Euler equation to the Navier–Stokes equation. A dynamic version of Peter Gärdenfors's theory of conceptual spaces is applied which distinguishes changes of five types: addition and deletion of special laws; change of metric; change in importance; change in separability; addition and deletion of dimensions. The case instantiates all types but the deletion of dimensions. We also provide a (...) new view upon limiting case reduction at the conceptual level that clarifies the relation between the predecessor and successor conceptual framework. The nineteenth-century development of fluid dynamics is argued to be an instance of normal science development. (shrink)

Adopting Murdoch’s pragmatist reading of Bohr’s theory of meaning with regard to Bohr’s notion of complementarity, in this paper I try to see Bohr’s post-Como and, in particular, post-EPR philosophy of quantum mechanics in the light of Peircean pragmatism with the hope that such a construal can shed more light to Bohr’s philosophy. I supplement Murdoch’s position on Bohr’s pragmatism by showing that in addition to his complementarity, Bohr’s correspondence principle, instrumentalism and realism can be read on the basis of (...) Peirce’s pragmatic maxim and his notion of indeterminism has commonalities with Peirce’s tychism. Also, Bohr’s practice of applying the correspondence principle can be interpreted in the light of Peirce’s fallibilism. However, when it comes to Bohr’s understanding of the symbolic character of quantum mechanics, Bohr’s philosophy deviates from Peircean pragmatism. Bohr’s philosophy distinguishes between the symbolic language of quantum formalism, which counts as a tool practically useful for prediction, and observation sentences which are visualizable in space and time and refer to the so-called individual phenomena. Such an epistemologically significant distinction is not recognized by Peircean pragmatism. (shrink)

Artykuł nawiązuje do dyskusji wokół uzgodnienia realizmu naukowego z argumentem pesymistycznej indukcji (PI) i jest próbą jej rozwinięcia. Przedstawia propozycję dodatkowej argumentacji na rzecz realizmu naukowego, odwołującą się do pominiętej w realizmie strukturalnym i semirealizmie relacji korespondencji między następującymi po sobie teoriami. Pokazuje, że choć sposób argumentowania przyjęty w dotychczasowej dyskusji, opierający się na strategii divide et impera, trafnie odnosi się do przypadków zmiany teorii podobnych, do zastąpienia teorii optycznej Fresnela teorią elektromagnetyczną światła, to nie jest odpowiedni dla przypadków zmiany (...) teorii, w których poprzedniczka i następczyni pozostają w relacji korespondencji. Rozwiązanie Worralla pomija istotne przesłanki, jakie z tej relacji wynikają dla rozumienia ciągłości teoretycznej. Uwzględnienie specyficznej różnicy zakresu zjawisk w następujących po sobie teoriach, które łączy relacja korespondencji, pozwoliło wskazać inny rodzaj ciągłości między teoriami i sformułować dodatkowe uzasadnienie dla realistycznego stanowiska wobec tego typu zmiany teorii. Wykazano, że w przypadku relacji korespondencji aproksymacyjna prawdziwość teorii i jej ciągłość mają inny charakter niż przyjmowany w strategii divide et impera, gdyż opierają się na innej relacji między następującymi po sobie teoriami. Odwołanie się do ograniczonego zakresu poprzedniczki i jej „lokalnego” względem następczyni charakteru pozwoliło uniknąć niektórych zarzutów, wysuwanych przeciwko argumentom na rzecz realizmu naukowego, odwołujących się do relacji korespondencji. W świetle przeprowadzonych rozważań teza, że zmiana dojrzałych teorii, odnoszących sukces, przeczy ich aproksymacyjnej prawdziwości, nie znajduje właściwego odniesienia do przypadków zmiany teorii, w wyniku której poprzedniczkę i następczynię łączy relacja korespondencji. Przedstawiona argumentacja uchyla zarzut PI w stosunku do tego rodzaju zmiany teorii i nie narzuca niektórych ograniczeń realizmu naukowego wynikających z realizmu strukturalnego. --------------- Zgłoszono: 24/03/2021. Zrecenzowano: 18/06/2021. Zaakceptowano do publikacji: 05/07/2021. (shrink)