Causal structuralism is the view that, for each natural, non-mathematical, non-Cambridge property, there is a causal profile that exhausts its individual essence. On this view, having a property’s causal profile is both necessary and sufficient for being that property. It is generally contrasted with the Humean or quidditistic view of properties, which states that having a property’s causal profile is neither necessary nor sufficient for being that property, and with the double-aspect view, which states that causal profile is necessary but (...) not sufficient. Shoemaker’s (1998) and Hawthorne’s (2001) arguments in favor of causal structuralism primarily focus on problematic consequences of the other two views. I argue, however, that causation does not provide an appropriate framework within which to characterize all physical properties for two main reasons. First, there are physical properties that do not have causal profiles and properties whose causal profiles do not exhaust their essences. Second, there is no unified notion of causation across the sciences. After distinguishing between the causal and the nomological, I suggest that what is needed is a structuralist view of properties that is not merely causal but that incorporates a physical property’s higher-order mathematical and nomological properties into its identity conditions. Such a view retains the naturalistic motivations for causal structuralism while avoiding the problems it faces. (shrink)

Probably the most dramatic historical challenge to scientific realism concerns Arnold Sommerfeld’s derivation of the fine structure energy levels of hydrogen. Not only were his predictions good, he derived exactly the same formula that would later drop out of Dirac’s 1928 treatment. And yet the most central elements of Sommerfeld’s theory were not even approximately true: his derivation leans heavily on a classical approach to elliptical orbits, including the necessary adjustments to these orbits demanded by relativity. Even physicists call Sommerfeld’s (...) success a ‘miracle’, which rather makes a joke of the so-called ‘no miracles argument’. However, this can all be turned around. Here I argue that the realist has a story to tell vis-à-vis the discontinuities between the old and the new theory, leading to a realist defence based on sufficient continuity of relevant structure. 1Introduction2No Realist Commitment Required?3Enter the Physicists4A New Approach to the Non-relativistic Success5Relativity and Spin6Structure and Realist Commitment7Conclusion. (shrink)

This article compares treatments of the Stern–Gerlach experiment across different physical theories, building up to a novel analysis of electron spin measurement in the context of classical Dirac field theory. Modeling the electron as a classical rigid body or point particle, we can explain why the entire electron is always found at just one location on the detector but we cannot explain why there are only two locations where the electron is ever found. Using non-relativistic or relativistic quantum mechanics, we (...) can explain both uniqueness and discreteness. Moving to more fundamental physics, both features can be explained within a quantum theory of the Dirac field. In a classical theory of the Dirac field, the rotating charge of the electron can split into two pieces that each hit the detector at a different location. In this classical context, we can explain a feature of electron spin that is often described as distinctively quantum but we cannot explain another feature that could be explained within any of the other theories. (shrink)

Mathematical platonism is the view that abstract mathematical objects exist. Ontological pluralism is the view that there are many modes of existence. This paper examines the prospects for...

Mathematical platonism is the view that abstract mathematical objects exist. Ontological pluralism is the view that there are many modes of existence. This paper examines the prospects for plural platonism, the view that results from combining mathematical platonism and ontological pluralism. I will argue that some forms of platonism are in harmony with ontological pluralism, while other forms of platonism are in tension with it. This shows that there are some interesting connections between the platonism–antiplatonism dispute and recent debates over (...) ontological pluralism. (shrink)

The paper presents an argument for treating certain types of computer simulation as having the same epistemic status as experimental measurement. While this may seem a rather counterintuitive view it becomes less so when one looks carefully at the role that models play in experimental activity, particularly measurement. I begin by discussing how models function as “measuring instruments” and go on to examine the ways in which simulation can be said to constitute an experimental activity. By focussing on the connections (...) between models and their various functions, simulation and experiment one can begin to see similarities in the practices associated with each type of activity. Establishing the connections between simulation and particular types of modelling strategies and highlighting the ways in which those strategies are essential features of experimentation allows us to clarify the contexts in which we can legitimately call computer simulation a form of experimental measurement. (shrink)

The ‘indispensability argument’ for the existence of mathematical objects appeals to the role mathematics plays in science. In a series of publications, Joseph Melia has offered a distinctive reply to the indispensability argument. The purpose of this paper is to clarify Melia’s response to the indispensability argument and to advise Melia and his critics on how best to carry forward the debate. We will begin by presenting Melia’s response and diagnosing some recent misunderstandings of it. Then we will discuss four (...) avenues for replying to Melia. We will argue that the three replies pursued in the literature so far are unpromising. We will then propose one new reply that is much more powerful, and—in the light of this—advise participants in the debate where to focus their energies. (shrink)

Semi-realism offers a metaphysics of science based on causal properties. Insofar as these are understood in terms of dispositions for specific relations that comprise the concrete structure of the world it can be regarded as a form of structural realism. And insofar as these properties are 'sociable' and cohere into the groupings that comprise the particulars investigated by science, it captures the underlying intuition behind forms of entity realism. However, I shall raise concerns about both these features. I shall suggest (...) that dispositionalism is not an appropriate metaphysics for modern physics and that 'sociability' should be understood in terms of the coherence revealed by symmetry principles. I hope to show how we can retain the virtues of semi-realism while dispensing with the problematic elements by recasting it in more thoroughly structuralist terms. (shrink)

The philosophy of science community mourns the loss of Margaret Catherine Morrison, who passed away on January 9, 2021, after a long battle with cancer. Margie, as she was known to all who knew her, was highly regarded for her influential contributions to the philosophy of science, particularly her studies of the role of models and simulations in the natural and social sciences. These contributions made her a world-leading philosopher of science, instrumental in shifting philosophers' attention from the structure of (...) scientific theories to the practice of science. Her sophisticated studies of the function of models in scientific practice drew on detailed knowledge of the theories and experiments of physics as well as the history of physics. In emphasizing the autonomy of scientific models and their interventional character, her insights had some affinity with Cartwright's and Hacking’s views on phenomenological laws, entity realism, the instrumentalist interpretation of scientific theories, and the disunity of science. But Morrison’s approach was distinguished by the conviction that the existence of unobservable entities cannot be defended independently of the theories that support their evidence, and that scientific practice cannot be adequately understood without examining the reasons for theory unification. (shrink)

In this thesis, I aim to motivate a particular philosophy of mathematics characterised by the following three claims. First, mathematical sentences are generally speaking false because mathematical objects do not exist. Second, people typically use mathematical sentences to communicate content that does not imply the existence of mathematical objects. Finally, in using mathematical language in this way, speakers are not doing anything out of the ordinary: they are performing straightforward assertions. In Part I, I argue that the role played by (...) mathematics in our scientific explanations is a purely expressive one, merely allowing us to say more about the physical world than we would otherwise be able to. Mathematical objects do not need to exist for mathematics to play this role. This proposal puts a normative constraint on our use of mathematical language: we ought to use mathematically presented theories to express belief only in the consequences they have for non-mathematical things. In Part II, I will argue that what the normative proposal recommends is in fact what people generally do in both pure and applied mathematical contexts. I motivate this claim by showing that it is predicted by our best general means of analysing natural language. I provide a semantic theory of applied arithmetical sentences that reveals they do not purport to refer to numbers, as well as a pragmatic theory for pure mathematical language use which reveals that pure mathematical utterances do not typically communicate content that implies the existence of mathematical objects. In conclusion, I show that the emerging hermeneutic fictionalist position is preferable to any alternative interpretation of mathematical discourse as aimed at describing a domain of independently existing abstract mathematical objects. (shrink)