The problem of theoretical equivalence is traditionally understood as the problem of specifying when superficially dissimilar accounts of the world are reformulations of a single underlying theory. One important strategy for answering this question has been to appeal to formal relations between theoretical structures. This article presents two reasons to think that such an approach will be unsuccessful and suggests an alternative account of theoretical equivalence, based on the notion of interpretive equivalence, in which the problem is merely an instance (...) of a broader problem in the philosophy of physics. I thus conclude that there is no distinctive problem of theoretical equivalence at all. Two difficulties my approach raises for realist replies to the threat of underdetermination are then discussed, with particular emphasis on a recent reply by Norton. 1 Introduction2 Methodological Confusion3 Asymmetrical Equivalence3.1 Maxwell’s field equations3.2 Classical Lagrangian dynamics4 Formal Approaches: Quine and Glymour5 Theoretical Equivalence as Interpretive Equivalence6 Theoretical Equivalence without Interpretive Judgement?7 Lessons for Underdetermination. (shrink)

Insofar as empirical inquiry involves the coevolution of descriptive language and theoretical commitments, a satisfactory model of empirical knowledge should describe the coordinated evolution of both language and theory. But since we do not know what conceptual resources we might need to express our future theories or to provide our best future faithful descriptions of the world, we do not now know even what the space of future descriptive options might be. One strategy for addressing this shifting-resource problem is to (...) track the predictive and linguistic dispositions of inquirers rather than to track their theories and conceptual resources directly. Sender-predictor games, a variant of Skyrms–Lewis sender-receiver games, provide very simple models for the coordinated coevolution of predictive and linguistic dispositions. Such models explain how it is possible for predictive and descriptive dispositions of inquirers to coevolve, term-wise incommensurable, but nevertheless descriptively faithful languages, to sequentially evolve, and a sort of underdetermination to occur where inquirers might satisfy their descriptive and predictive aims by revising their linguistic dispositions, their theoretical dispositions, or both. Such models also provide an elementary characterization of what it might mean for descriptions of the world to be faithful and hence for empirical inquiry to be successful. In doing so they provide a relatively weak, but perfectly clear, endogenous account of epistemic norms. (shrink)

Insofar as empirical inquiry involves the coevolution of descriptive language and theoretical commitments, a satisfactory model of empirical knowledge should describe the coordinated evolution of both language and theory. But since we do not know what conceptual resources we might need to express our future theories or to provide our best future faithful descriptions of the world, we do not now know even what the space of future descriptive options might be. One strategy for addressing this shifting-resource problem is to (...) track the predictive and linguistic dispositions of inquirers rather than to track their theories and conceptual resources directly. Sender-predictor games, a variant of Skyrms–Lewis sender-receiver games, provide very simple models for the coordinated coevolution of predictive and linguistic dispositions. Such models explain how it is possible for (1) predictive and descriptive dispositions of inquirers to coevolve, (2) term-wise incommensurable, but nevertheless descriptively faithful languages, to sequentially evolve, and (3) a sort of underdetermination to occur where inquirers might satisfy their descriptive and predictive aims by revising their linguistic dispositions, their theoretical dispositions, or both. Such models also provide an elementary characterization of what it might mean for descriptions of the world to be faithful and hence for empirical inquiry to be successful. In doing so they provide a relatively weak, but perfectly clear, endogenous account of epistemic norms. (shrink)

Skyrms-Lewis signaling games illustrate how meaningful language may evolve from initially meaningless random signals (Lewis, Convention 1969; Skyrms 2008). Here we will consider how incommensurable languages might evolve in the context of signaling games. We will also consider the types of incommensurability exhibited between evolved languages in such games. We will find that sequentially evolved languages may be strongly incommensurable while still allowing for increasingly faithful descriptions of the world.

This paper argues against the view that the standard explanation of phase transitions in statistical mechanics may be considered a causal explanation, a distortion that can nevertheless successfully represent causal relations.

I examine the epistemological debate on scientific realism in the context of quantum physics, focusing on the empirical underdetermin- ation of different formulations and interpretations of QM. I will argue that much of the interpretational, metaphysical work on QM tran- scends the kinds of realist commitments that are well-motivated in the light of the history of science. I sketch a way of demarcating empirically well-confirmed aspects of QM from speculative quantum metaphysics in a way that coheres with anti-realist evidence from (...) the history of science. The minimal realist attitude sketched withholds realist com- mitment to what quantum state |Ψ⟩ represents. I argue that such commitment is not required for fulfilling the ultimate realist motiva- tion: accounting for the empirical success of quantum mechanics in a way that is in tune with a broader understanding of how theoretical science progresses and latches onto reality. (shrink)

In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under the interpretation. (...) The second yields a strong, finitary, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically computable Tarskian truth values to the formulas of PA under the interpretation. We situate our investigation within a broad analysis of quantification vis a vis: * Hilbert's epsilon-calculus * Goedel's omega-consistency * The Law of the Excluded Middle * Hilbert's omega-Rule * An Algorithmic omega-Rule * Gentzen's Rule of Infinite Induction * Rosser's Rule C * Markov's Principle * The Church-Turing Thesis * Aristotle's particularisation * Wittgenstein's perspective of constructive mathematics * An evidence-based perspective of quantification. By showing how these are formally inter-related, we highlight the fragility of both the persisting, theistic, classical/Platonic interpretation of quantification grounded in Hilbert's epsilon-calculus; and the persisting, atheistic, constructive/Intuitionistic interpretation of quantification rooted in Brouwer's belief that the Law of the Excluded Middle is non-finitary. We then consider some consequences for mathematics, mathematics education, philosophy, and the natural sciences, of an agnostic, evidence-based, finitary interpretation of quantification that challenges classical paradigms in all these disciplines. (shrink)

The ‘cosmological constant problem’ has historically been understood as describing a conflict between cosmological observations in the framework of general relativity and theoretical predictions from quantum field theory, which a future theory of quantum gravity ought to resolve. I argue that this view of the CCP is best understood in terms of a bet about future physics made on the basis of particular interpretational choices in GR and QFT, respectively. Crucially, each of these choices must be taken as itself grounded (...) in the sucesses of the respective theory for this bet to be justified. 1 Introduction 2 The Cosmological Constant Problem 2.1 The physics that anticipates ‘vacuum energy’ 2.2 Getting to zero-point energies 2.3 Getting to the cosmological constant 3 The Epistemology of Physical Interpretation 4 The View from High-Energy Physics 5 Concluding Remarks. (shrink)

The epistemic conception of scientific progress equates progress with accumulation of scientific knowledge. I argue that the epistemic conception fails to fully capture scientific progress: theoretical progress, in particular, can transcend scientific knowledge in important ways. Sometimes theoretical progress can be a matter of new theories ‘latching better onto unobservable reality’ in a way that need not be a matter of new knowledge. Recognising this further dimension of theoretical progress is particularly significant for understanding scientific realism, since realism is naturally (...) construed as the claim that science makes theoretical progress. Some prominent realist positions are best understood in terms of commitment to theoretical progress that cannot be equated with accumulation of scientific knowledge. (shrink)

The epistemic conception of scientific progress equates progress with accumulation of scientific knowledge. I argue that the epistemic conception fails to fully capture scientific progress: theoretical progress, in particular, can transcend scientific knowledge in important ways. Sometimes theoretical progress can be a matter of new theories ‘latching better onto unobservable reality’ in a way that need not be a matter of new knowledge. Recognising this further dimension of theoretical progress is particularly significant for understanding scientific realism, since realism is naturally (...) construed as the claim that science makes theoretical progress. Some prominent realist positions are best understood in terms of commitment to theoretical progress that cannot be equated with accumulation of scientific knowledge. (shrink)

Many realist writings exemplify the spirit of ‘recipe realism’. Here I characterise recipe realism, challenge it, and propose replacing it with ‘exemplar realism’. This alternative understanding of realism is more piecemeal, robust, and better in tune with scientists’ own attitude towards their best theories, and thus to be preferred.

The similarity approach stands as a significant attempt to defend scientific realism from the attack of the pessimistic meta-induction. The strategy behind the similarity approach is to shift from an absolute notion of truth to the more flexible one of truthlikeness. Nonetheless, some authors are not satisfied with this attempt to defend realism and find that the notion of truthlikeness is not fully convincing. The aim of this paper is to analyze and understand the reasons of this dissatisfaction. Our thesis (...) is that the dissatisfaction with the notion of truthlikeness concerns the double role that this notion plays within the similarity approach: This notion plays both a regulative role in the conception of theories and a constitutive one in their selection. (shrink)

According to the foundationalist picture, shared by many rationalists and positivist empiricists, science makes cognitive progress by accumulating justified truths. Fallibilists, who point out that complete certainty cannot be achieved in empirical science, can still argue that even successions of false theories may progress toward the truth. This proposal was supported by Karl Popper with his notion of truthlikeness or verisimilitude. Popper’s own technical definition failed, but the idea that scientific progress means increasing truthlikeness can be expressed by defining degrees (...) of truthlikeness in terms of similarities between states of affairs. This paper defends the verisimilitude approach against Alexander Bird who argues that the “semantic” definition is not sufficient to define progress, but the “epistemic” definition referring to justification and knowledge is more adequate. Here Bird ignores the crucial distinction between real progress and estimated progress, explicated by the difference between absolute degrees of truthlikeness and their evidence-relative expected values. Further, it is argued that Bird’s idea of returning to the cumulative model of growth requires an implausible trick of transforming past false theories into true ones. (shrink)

It is widely thought that knowledge is factive – only truths can be known. However, this view has been recently challenged. One challenge appeals to approximate truths. Wesley Buckwalter and John Turri argue that false-but-approximately-true propositions can be known. They provide experimental findings to show that their view enjoys intuitive support. In addition, they argue that we should reject the factive account of knowledge to avoid widespread skepticism. A second challenge, advanced by Nenad Popovic, appeals to multidimensional geometry to build (...) a case where it seems intuitive that a person knows p even though p is false. In addition, Popovic argues that we should reject the factive account of knowledge because most of us would not become widespread skeptics if we discovered that ordinary objects in our world are actually four-dimensional. In this paper, we defend the factive account of knowledge against these arguments by challenging the intuitive appeal of the cases and arguing that there is no real threat of widespread skepticism for the factive account of knowledge. (shrink)

Providing a precise statement of their position has long been a central challenge facing the scientific realist. This paper draws some morals about how realism ought to be formulated from the renormalization group framework in high energy physics.

What are the pillars on which the success of modern science rest? Although philosophers have much discussed what is behind science’s success, this paper argues that much of the discussion is misdirected. The extant literature rightly regards the semantic and inferential tools of formal logic and probability theory as pillars of scientific rationality, in the sense that they reveal the justificatory structure of important aspects of scientific practice. As key elements of our rational reconstruction toolbox, they make a fundamental contribution (...) to our understanding of the success of science.At the same time, any science, however exact, is dominated by approximation, error, and uncertainty, a fact that makes one wonder how science can be so successful. This paper articulates and illustrates general themes—e.g., that truth-preserving arguments often fail to preserve approximate truth—that highlight the need for additional semantic resources. Thus, our proposal is that persistent failures to unravel the reasons behind the success of science in the face of pervasive error and uncertainty should be attributed to an insufficiently rich way of rationally reconstructing scientific and mathematical knowledge. What is missing? This paper claims that there is a third formal method of reasoning that constitutes a distinct pillar on which rests the success of science, namely, perturbation theory. The paper outlines how the representational and inferential tools of perturbation theory differ from those of logic and probability theory, and how they enable us to understand the apparently elusive aspects of the success of science.However, compared to its peers, perturbative reasoning has not received the attention it deserves. As the paper explains, this partly results from the circumstances in which perturbation theory is taught, and partly from the fact that perturbation theory first appears to be a vaguely related collection of methods offering no systematic semantic insight. In an attempt to show that this first impression is wrong, this paper presents its contribution to the semantic dimension of scientific representation and inference in terms of what I call “semantic layering.”. (shrink)

Scientific realism, the position that successful theories are likely to be approximately true, is threatened by the pessimistic induction according to which the history of science is full of suc- cessful, but false theories. I aim to defend scientific realism against the pessimistic induction. My main thesis is that our current best theories each enjoy a very high degree of predictive success, far higher than was enjoyed by any of the refuted theories. I support this thesis by showing that both (...) the amount, and quality, of scientific evidence has increased enormously in the recent past, resulting in a big boost of success for the best theories. (shrink)

This dissertation is concerned with two of the largest questions that we can ask about the nature of physical reality: first, whether physical reality begin to exist and, second, what criteria would physical reality have to fulfill in order to have had a beginning? Philosophers of religion and theologians have previously addressed whether physical reality began to exist in the context of defending the Kal{\'a}m Cosmological Argument (KCA) for theism, that is, (P1) everything that begins to exist has a cause (...) for its beginning to exist, (P2) physical reality began to exist, and, therefore, (C) physical reality has a cause for its beginning to exist. While the KCA has traditionally been used to argue for God's existence, the KCA does not mention God, has been rejected by historically significant Christian theologians such as Thomas Aquinas, and raises perennial philosophical questions -- about the nature and history of physical reality, the nature of time, the nature of causation, and so on -- that should be of interest to all philosophers and, perhaps, all humans. While I am not a religious person, I am interested in the questions raised by the KCA. In this dissertation, I articulate three necessary conditions that physical reality would need to fulfill in order to have had a beginning and argue that, given the current state of philosophical and scientific inquiry, we cannot determine whether physical reality began to exist. -/- Friends of the KCA have sought to defend their view that physical reality began to exist in two distinct ways. As I discuss in chapter 2, the first way in which friends of the KCA have sought to defend their view that physical reality began to exist involves a family of a priori arguments meant to show that, as a matter of metaphysical necessity, the past must be finite. If the past is necessarily finite, then the past history of physical reality is necessarily finite. And if having a finite past suffices for having a beginning, then, since the past history of physical reality is necessarily finite, physical reality necessarily began to exist. I show that the arguments which have been offered thus far for the view that the past is necessarily finite do not succeed. Moreover, as I elaborate on in chapter 5, having a finite past does not suffice for having a beginning. -/- As I discuss in chapter 3, the second way in which friends of the KCA have sought to defend their view that physical reality began to exist involves a family of a posteriori arguments meant to show that we have empirical evidence that physical reality has a finite past history. For example, the big bang is sometimes claimed to have been the beginning of physical reality and, since we have excellent empirical evidence for the big bang, we have excellent empirical evidence for the beginning of physical reality. The big bang can be understood in two ways. On the one hand, the big bang can be understood as a theory about the history and development of the observable universe. Understood in that sense, then I agree that the big bang is supported by excellent empirical evidence and by a scientific consensus. On the other hand, some authors (particularly science popularizers, science journalists, and religious apologists) have wrongly interpreted big bang theory as a theory about the beginning of the whole of physical reality. As I argue, while a beginning of physical reality may be consistent with classical big bang theory, classical big bang theory does not provide good reason for thinking that physical reality began to exist. -/- In part II, I turn to discussing three necessary, but not necessarily sufficient, conditions for physical reality to have a beginning. Before discussing the three conditions, in chapter 4, I introduce three metaphysical accounts of the nature of time (A-theory, B-theory, and C-theory) as well as some formal machinery that will subsequently become useful in the dissertation. I introduce the first of the three conditions in chapter 5. According to the Modal Condition, physical reality began to exist only if, at the closest possible worlds without time, physical reality does not exist. I show that this condition helps us to make sense of various views in both theology and philosophy of physics. In chapter 6}, I introduce the second of my three conditions, the Direction Condition, according to which, roughly, physical reality began to exist only if all space-time points agree about the direction of time, so that all space-time points can agree that physical reality's putative beginning took place in their objective past. In chapter 7, I discuss the third condition, the Boundary Condition, according to which physical reality began to exist only if there is a past temporal boundary such that physical reality did not exist before the boundary. I show that there are two senses in which physical reality could be said to have had a past temporal boundary. Lastly, in chapter 8, I show that there is a relationship between my three conditions and classical big bang theory, even though the relationship is not the one usually identified in the literature. -/- In part III, I present four arguments for the view that, at the present stage of philosophical and scientific inquiry, we cannot know whether physical reality satisfies the three necessary conditions to have had a beginning and, consequently, we cannot know whether physical reality had a beginning. As I will prove in chapter 9, no set of observations that we currently have, when conjoined with General Relativity, entails that physical reality satisfies the Direction or Boundary Conditions. As I show in chapter 10, considerations in the philosophical foundations of statistical mechanics entail either that the Cosmos violates the Modal Condition or else that there is a transcendental condition on the possibility of our knowledge of the past that prevents our access to data we would need to gather to determine whether physical reality satisfies the Boundary Condition. In chapter 11, I show that there are a number of live cosmological models according to which physical reality does not satisfy the Boundary Condition. As long as we don't know whether any of those cosmological models are correct, we do not know whether physical reality satisfies the Boundary Condition. Lastly, I turn to confirmation theory and show that, at our present stage of inquiry, ampliative inferences for the conclusion that physical reality satisfies the Modal, Direction, and Boundary Conditions are not successful. (shrink)

This paper represents a philosophical experiment inspired by the formalist philosophy of mathematics. In the formalist picture of cognition, the principal act of knowledge generation is represented as tentative postulation – as introduction of a new knowledge construct followed by exploration of the consequences that can be derived from it. Depending on the result, the new construct may be accepted as normative, rejected, modified etc. Languages and means of reasoning are generated and selected in a similar process. In the formalist (...) picture, all kinds of “truth” are detected intra-theoretically. Some knowledge construct may be considered as “true”, if it is accepted in a particular normative knowledge system. Some knowledge construct may be considered as persistently true, if it remains invariant during the evolution of some knowledge system for a sufficiently long time. And, if you wish, you may consider some knowledge construct as absolutely true, if you do not intend abandoning it in your knowledge system. And finally, in the formalist picture, all kinds of ontologies generated by humans can be demystified by reconstructing them within the basic solipsist ontology simply as hypothetical branches of it. (shrink)

Le principali concezioni del progresso scientifico sono tre: la concezione epistemica, secondo cui il progresso si verifica quando si verifica un incremento della conoscenza; la concezione semantica, secondo cui il progresso si verifica quando vi è un incremento delle verità; la concezione problem-solving, secondo cui il progresso si verifica quando si verifica un incremento del numero dei problemi che si è in grado di risolvere. La concezione epistemica è ritenuta la più compatibile con una prospettiva realista. Di recente, Dellsén ha (...) proposto la concezione “noetica”, secondo cui il progresso si verifica quando vi è un incremento dell’understanding di un fenomeno da parte degli scienziati. Dellsén sostiene che la concezione noetica sia una concezione realista del progresso più adeguata di quella epistemica. Scopo di questo articolo è valutare se la concezione noetica sia più adeguata della concezione epistemica. (shrink)

Um alinhamento responsável à alguma versão do naturalismo filosófico requer a articulação explicita e cuidadosa de um argumento em sua defesa. Em quatro passos, o texto que segue abaixo expande e examina a validade de um argumento que é frequentemente rascunhado em favor do naturalismo. Como veremos, contudo, a versão do naturalismo que esse argumento nos permite é um pouco diferente dos naturalismos filosóficos mais populares.