Orthodoxy has it that only metaphysically elite properties can be invoked in scientifically elite laws. We argue that this claim does not fit scientific practice. An examination of candidate scientifically elite laws like Newton’s F = ma reveals properties invoked that are irreversibly defined and thus metaphysically non-elite by the lights of the surrounding theory: Newtonian acceleration is irreversibly defined as the second derivative of position, and Newtonian resultant force is irreversibly defined as the sum of the component forces. We (...) think that scientists are happy to invoke metaphysically non-elite properties in scientifically elite laws for reasons of convenience, such as to simplify the equations and to make them more modular. On this basis, we draw a deflationary moral about laws themselves, as being merely convenient summaries. 1 Introduction2 Orthodoxy2.1 Orthodoxy stated2.2 Orthodoxy explained2.3 A worrisome commitment: Term objectivism3 The Loose View3.1 The argument from practice3.2 Finding the scientifically elite equations3.3 Diagnosing the metaphysically non-elite properties3.4 Situating our challenge4 Newtonian Mechanics4.1 Newtonian acceleration4.2 Newtonian resultant force4.3 A metaphysical discovery?5 Objections5.1 Metaphysically elite after all?5.2 Scientifically non-elite after all?5.3 But our world is not Newtonian!6 Consequences6.1 Consequences for the motivations for link6.2 Consequences for metaphysically elite properties6.3 Consequences for lawhood. (shrink)

I articulate and discuss a geometrical interpretation of Yang–Mills theory. Analogies and disanalogies between Yang–Mills theory and general relativity are also considered.

Substantivalism is the view that space exists in addition to any material bodies situated within it. Relationalism is the opposing view that there is no such thing as space; there are just material bodies, spatially related to one another. This paper assesses this issue in the context of classical physics. It starts by describing the bucket argument for substantivalism. It then turns to anti-substantivalist arguments, including Leibniz's classic arguments and their contemporary reincarnation under the guise of ‘symmetry’. It argues that (...) these anti-substantivalist arguments are stronger than is often acknowledged. (shrink)

This paper makes an observation about the ``amount of structure'' that different classical and relativistic spacetimes posit. The observation substantiates a suggestion made by Earman and yields a cautionary remark concerning the scope and applicability of structural parsimony principles.

This paper explores the status of causation in structuralist metaphysics of physics. What role (if any) does causation play in understanding ‘structure’ in ontological structural realism? I address this question by examining, in a structuralist setting, arguments for and against the idea that fundamental physics deals, perhaps exclusively, with causal properties. I will argue (against Esfeld, Dorato and others) that a structuralist interpretation of fundamental physics should diverge from ‘causal structuralism’. Nevertheless, causation outside fundamental physics, and the basic motivation for (...) causal structuralism outside fundamental physics, can be captured with an appropriate conception of causation. (shrink)

By briefly reviewing three well-known scientific revolutions in fundamental physics (the discovery of inertia, of special relativity and of general relativity), I claim that problems that were supposed to be crying for a dynamical explanation in the old paradigm ended up receiving a structural explanation in the new one. This claim is meant to give more substance to Kuhn’s view that revolutions are accompanied by a shift in what needs to be explained, while suggesting at the same time the existence (...) of a pattern that is common to all of the discussed case-studies. It remains to be seen whether also quantum mechanics, in particular entanglement, conforms to this pattern. (shrink)

This is a symposium on my book, Writing the Book of the World, containing a precis from me, criticisms from Dorr, Fine, and Hirsch, and replies by me.

In this paper, I argue that the spatiotemporalist approach way of modeling the fundamental constituents, structure, and composition of the world has taken a wrong turn. Spatiotemporalist approaches to fundamental structure take the fundamental nature of the world to be spatiotemporal: they take the category of spatiotemporal to be fundamental. I argue that the debates over the nature of the fundamental space in the physics show us that (i) the fact that it is conceivable that the manifest world could be (...) exactly as it appears to us, even though spatiotemporal entities are not fundamental, means that a central premise of spatiotemporalism, that we may assume, given ordinary experience, that the world is fundamentally spatiotemporal, is false. (ii) Spatiotemporalism must be seen as a contingent, a posteriori physical truth. Finally, (iii) I argue that a metaphysically deeper conclusion follows from the debate over the nature of the fundamental space. The debate in physics over which sort of space is the fundamental space suggests that physicists have discovered that, even if a spacetime is an actual constituent of the world-space category, there is a world-space category that is more fundamental than the category of spacetime. (shrink)

Mereological nihilism says that there do not exist (in the fundamental sense) any objects with proper parts. A reason to accept it is that we can thereby eliminate 'part' from fundamental ideology. Many purported reasons to reject it - based on common sense, perception, and the possibility of gunk, for example - are weak. A more powerful reason is that composite objects seem needed for spacetime physics; but sets suffice instead.

This article aims to show that fundamentality is construed differently in the two most prominent strategies of analysis we find in physical science and engineering today: (1) atomistic, reductive analysis and (2) Systems analysis. Correspondingly, atomism is the conception according to which the simplest (smallest) indivisible entity of a certain kind is most fundamental; while systemism, as will be articulated here, is the conception according to which the bonds that structure wholes are most fundamental, and scale and/or constituting entities are (...) of no significance whatsoever for fundamentality. Accordingly, atomists maintain that the basic entities—the atoms—are fundamental, and together with the “external” interactions among them, are sufficient for illuminating all the features and behaviors of the wholes they constitute; whereas systemists proclaim that it is instead structural qualities of systems, that flow from internal relations among their constituents and translate directly into behaviors, that are fundamental, and by themselves largely (if not entirely) sufficient for illuminating the features and behaviors of the wholes thereby structured. Systemism, as will be argued, is consistent with the nonexistence of a fundamental “level” of nondecomposable entities, just as it is consistent with the existence of such a level. Still, systemism is a conception of the fundamental in quite different, but still ontological terms. Systemism can serve the special sciences—the social sciences especially—better than the conception of fundamentality in terms of atoms. Systemism is, in fact, a conception of fundamentality that has rather different uses—and importantly, different resonances. This conception of fundamentality makes contact with questions pertaining to natural kinds and their situation in the metaphysics of the special sciences—their situation within an order of autonomous sciences. The controversy over fundamentality is evident in the social sciences too, albeit somewhat imperfectly, in the terms of debate between methodological individualists and functionalists/holists. This article will thus clarify the difference between systemism and holism. (shrink)

Various forms of underdetermination that might threaten the realist stance are examined. That which holds between different 'formulations' of a theory (such as the Hamiltonian and Lagrangian formulations of classical mechanics) is considered in some detail, as is the 'metaphysical' underdetermination invoked to support 'ontic structural realism'. The problematic roles of heuristic fruitfulness and surplus structure in attempts to break these forms of underdetermination are discussed and an approach emphasizing the relevant structural commonalities is defended.

Symmetry fundamentalism claims that symmetries should be taken metaphysically seriously as part of the fundamental ontology. The main aim of this paper is to bring some novel objections against this view. I make two points. The first places symmetry fundamentalism within a broader network of philosophical commitments. I claim that symmetry fundamentalism entails idealization realism which, in turn, entails the reification of further theoretical structures. This might lead to an overloaded ontology as well as open the way to criticisms from (...) metaphysical frameworks that reject such reifications. The second point contrasts symmetry fundamentalism with the now common view that regards symmetries as stipulations guiding empirical research and theory construction. I claim that both views clash each other and cannot be held together. I finish the paper with a more positive prospect that will be developed in future work—symmetry deflationism. (shrink)

We present a new metaphysical framework for physics that is conceptually clear, ontologically parsimonious, and empirically adequate. This framework relies on the notion of self-subsisting structure, that is, a set of fundamental physical elements whose individuation and behavior are described in purely relational terms, without any need for a background spacetime. Although the specification of the fundamental elements of the ontology depends on the particular physical domain considered---and is thus susceptible to scientific progress---, the empirically successful structural features of the (...) framework are preserved through theory change. The kinematics and dynamics of these self-subsisting structures are technically implemented using the theoretical framework of Pure Shape Dynamics, which provides a completely relational physical description of a system in terms of the intrinsic geometry of a suitably defined space called shape space. (shrink)

This is an essay review of Jill North’s book Physics, Structure, and Reality. It focuses on two of the main topics of the book. The first is North’s idea that we can use coordinates as a window into the structure that a theory posits; the second is North’s argument for the inequivalence of Lagrangian and Newtonian mechanics.

In this paper a symmetry argument against quantity absolutism is amended. Rather than arguing against the fundamentality of intrinsic quantities on the basis of transformations of basic quantities, a class of symmetries defined by the Π-theorem is used. This theorem is a fundamental result of dimensional analysis and shows that all unit-invariant equations which adequately represent physical systems can be put into the form of a function of dimensionless quantities. Quantity transformations that leave those dimensionless quantities invariant are empirical and (...) dynamical symmetries. The proposed symmetries of the original argument fail to be both dynamical and empirical symmetries and are open to counterexamples. The amendment of the original argument requires consideration of the relationships between quantity dimensions. The discussion raises a pertinent issue: what is the modal status of the constants of nature which figure in the laws? Two positions, constant necessitism and constant contingentism, are introduced and their relationships to absolutism and comparativism undergo preliminary investigation. It is argued that the absolutist can only reject the amended symmetry argument by accepting constant necessitism. I argue that the truth of an epistemically open empirical hypothesis would make the acceptance of constant necessitism costly: together they entail that the facts are nomically necessary. (shrink)

I critically examine the assumption that the theoretical structure that varies under theoretical symmetries is redundant and should be eliminated from a metaphysical picture of the universe, following a ‘symmetry to reality’ inference. I do so by analysing the status of coordinate change symmetries taking a pragmatic approach. I argue that coordinate systems function as indexical devices, and play an important pragmatic role for representing concrete physical systems. I examine the implications of considering this pragmatic role seriously, taking what I (...) call a perspectivist stance. My conclusion is that under a perspectivist stance, all symmetries (including local gauge symmetries) potentially have a direct empirical status: they point to dynamical aspects that are invariant under changes of operationalisation, and they constitute a guide not to reality, but to nomology and kinship. (shrink)

What is the proper metaphysics of quantum mechanics? In this dissertation, I approach the question from three different but related angles. First, I suggest that the quantum state can be understood intrinsically as relations holding among regions in ordinary space-time, from which we can recover the wave function uniquely up to an equivalence class (by representation and uniqueness theorems). The intrinsic account eliminates certain conventional elements (e.g. overall phase) in the representation of the quantum state. It also dispenses with first-order (...) quantification over mathematical objects, which goes some way towards making the quantum world safe for a nominalistic metaphysics suggested in Field (1980, 2016). Second, I argue that the fundamental space of the quantum world is the low-dimensional physical space and not the high-dimensional space isomorphic to the ``configuration space.'' My arguments are based on considerations about dynamics, empirical adequacy, and symmetries of the quantum mechanics. Third, I show that, when we consider quantum mechanics in a time-asymmetric universe (with a large entropy gradient), we obtain new theoretical and conceptual possibilities. In such a model, we can use the low-entropy boundary condition known as the Past Hypothesis (Albert, 2000) to pin down a natural initial quantum state of the universe. However, the universal quantum state is not a pure state but a mixed state, represented by a density matrix that is the normalized projection onto the Past Hypothesis subspace. This particular choice has interesting consequences for Humean supervenience, statistical mechanical probabilities, and theoretical unity. (shrink)

Philosophers of science often assume that logically equivalent theories are theoretically equivalent. I argue that two theses, anti-exceptionalism about logic (which says, roughly, that logic is not a priori, that it is revisable, and that it is not special or set apart from other human inquiry) and logical realism (which says, roughly, that differences in logic reflect genuine metaphysical differences in the world), make trouble for both this commitment and the closely related commitment to theories being closed under logical consequence. (...) I provide three arguments. The first two show that anti-exceptionalism about logic provides an epistemic challenge to both the closure and the equivalence claims; the third shows that logical realism provides a metaphysical challenge to both the closure and the equivalence claims. Along the way, I show that there are important methodological upshots for metaphysicians and philosophers of logic. In particular, there are lessons to be drawn about certain conceptions of naturalism as constraining the possibilities for metaphysics and the philosophy of logic. (shrink)

Virtually all philosophers of science have construed fundamental theories as descriptions of entities, properties, and/or structures. Call this the “descriptive-ontological” view. I argue that this view is incorrect, at least insofar as physical theories are concerned. I propose a novel construal of theories that I call the “prescriptive-dynamical” view. The central tenet of this view, roughly put, is that the _essential_ content of fundamental physical theories is a _prescription for interfacing with natural systems and translating local data into compact theoretical (...) language_. The descriptive-ontological aspects of theories, if any, are taken as _inessential_ content on this view: they do not contribute to the predictive success of the theory. Rather than describing _what is there_, the essence of a physical theory is to tell us _what to do_ when interfacing with a physical system. (shrink)

⦿ In my dissertation I introduce, motivate and take the first steps in the implementation of, the project of naturalising modal metaphysics: the transformation of the field into a chapter of the philosophy of science rather than speculative, autonomous metaphysics. -/- ⦿ In the introduction, I explain the concept of naturalisation that I apply throughout the dissertation, which I argue to be an improvement on Ladyman and Ross' proposal for naturalised metaphysics. I also object to Williamson's proposal that modal metaphysics (...) --- or some view in the area --- is already a quasi-scientific discipline. -/- ⦿ Recently, some philosophers have argued that the notion of metaphysical modality is as ill defined as to be of little theoretical utility. In the second chapter I intend to contribute to such skepticism. First, I observe that each of the proposed marks of the concept, except for factivity, is highly controversial; thus, its logical structure is deeply obscure. With the failure of the "first principles" approach, I examine the paradigmatic intended applications of the concept, and argue that each makes it a device for a very specific and controversial project: a device, therefore, for which a naturalist will find no use for. I conclude that there is no well-defined or theoretically useful notion of objective necessity other than logical or physical necessity, and I suggest that naturalising modal metaphysics can provide more stable methodological foundations. -/- ⦿ In the third chapter I answer a possible objection against the in-principle viability of the project: that the concept of metaphysical modality cannot be understood through the philosophical analysis of any scientific theory, since metaphysical necessity "transcends'' natural necessity, and science only deals with the latter. I argue that the most important arguments for this transcendence thesis fail or face problems that, as of today, remain unsolved. -/- ⦿ Call the idea that science doesn't need modality, "demodalism''. Demodalism is a first step in a naturalistic argument for modal antirealism. In the fourth chapter I examine six versions of demodalism to explain why a family of formalisms, that I call "spaces of possibility'', are (i) used in a quasi-ubiquitous way in mathematised sciences (I provide examples from theoretical computer science to microeconomics), (ii) scientifically interpreted in modal terms, and (iii) used for at least six important tasks: (1) defining laws and theories; (2) defining important concepts from different sciences (I give several examples); (3) making essential classifications; (4) providing different types of explanations; (5) providing the connection between theory and statistics, and (6) understanding the transition between a theory and its successor (as is the case with quantisation). -/- ⦿ In fifth chapter I propose and defend a naturalised modal ontology. This is a realism about modal structure: my realism about constraints. The modal structure of a system are the relationships between its possible states and between its possible states and those of other systems. It is given by the plurality of restrictions to which said system is subject. A constraint is a factor that explains the impossibility of a class of states; I explain this concept further. First, I defend my point of view by rejecting some of its main rivals: constructive empiricism, Humean conventionalism, and wave function realism, as they fail to make sense of quantum chaos. This is because the field requires the notion of objective modal structure, and the mentioned views have trouble explaining the modal facts of quantum dynamics. Then, I argue that constraint realism supersedes these views in the context of Bohm's standard theory and mechanics, and underpins the study of quantum chaos. Finally, I consider and reject two possible problems for my point of view. -/- ⦿ A central concern of modal metaphysicians has been to understand the logical system that best characterises necessity. In the sixth chapter I intend to recover the logical project applied to my naturalistic modal metaphysics. Scientists and philosophers of science accept different degrees of physical necessity, ranging from purely mathematically necessary facts that restrict physical behaviour, to kinetic principles, to particular dynamical constraints. I argue that this motivates a multimodal approach to modal logic, and that the time dependence of dynamics motivates a logic of historical necessity. I propose multimodal propositional (classical) logics for Bohmian mechanics and the Everettian theory of many divergent worlds, and I close with a criticism of Williamson's approach to the logic of state spaces of dynamic systems. (shrink)

Theoretical equivalence and duality are two closely related notions: but their interconnection has so far not been well understood. In this paper I explicate the contribution of a recent schema for duality to discussions of theoretical equivalence. I argue that duality suggests a construal of theoretical equivalence in the physical sciences. The construal is in terms of the isomorphism of models, as defined by the schema. This construal gives interpretative constraints that should be useful for discussions of theoretical equivalence more (...) generally. I illustrate the construal in various formulations of Maxwell’s electromagnetic theory. (shrink)

Formal criteria of theoretical equivalence are mathematical mappings between specific sorts of mathematical objects, notably including those objects used in mathematical physics. Proponents of formal criteria claim that results involving these criteria have implications that extend beyond pure mathematics. For instance, they claim that formal criteria bear on the project of using our best mathematical physics as a guide to what the world is like, and also have deflationary implications for various debates in the metaphysics of physics. In this paper, (...) I investigate whether there is a defensible view according to which formal criteria have significant non-mathematical implications, of these sorts or any other, reaching a chiefly negative verdict. Along the way, I discuss various foundational issues concerning how we use mathematical objects to describe the world when doing physics, and how this practice should inform metaphysics. I diagnose the prominence of formal criteria as stemming from contentious views on these foundational issues, and endeavor to motivate some alternative views in their stead. (shrink)

Mathematics is often taken to play one of two roles in the empirical sciences: either it represents empirical phenomena or it explains these phenomena by imposing constraints on them. This article identifies a third and distinct role that has not been fully appreciated in the literature on applicability of mathematics and may be pervasive in scientific practice. I call this the “bridging” role of mathematics, according to which mathematics acts as a connecting scheme in our explanatory reasoning about why and (...) how two different descriptions of an empirical phenomenon relate to each other. I discuss two bridging roles appearing in biological and physical explanations. (shrink)

There is sometimes a sense in which one theory posits ‘less structure’ than another. Philosophers of science have recently appealed to this idea both in the debate about equivalence of theories and in discussions about structural parsimony. But there are a number of different proposals currently on the table for how to compare the ‘amount of structure’ that different theories posit. The aim of this paper is to compare these proposals against one another and evaluate them on their own merits.

This paper presents a simple pair of first-order theories that are not definitionally (nor Morita) equivalent, yet are mutually conservatively translatable and mutually 'surjectively' translatable. We use these results to clarify the overall geography of standards of equivalence and to show that the structural commitments that theories make behave in a more subtle manner than has been recognized.

Scientific realism is the view that our best scientific theories can be regarded as (approximately) true. This is connected with the view that science, physics in particular, and metaphysics could (and should) inform one another: on the one hand, science tells us what the world is like, and on the other hand, metaphysical principles allow us to select between the various possible theories which are underdetermined by the data. Nonetheless, quantum mechanics has always been regarded as, at best, puzzling, if (...) not contradictory. As such, it has been considered for a long time at odds with scientific realism, and thus a naturalized quantum metaphysics was deemed impossible. Luckily, now we have many quantum theories compatible with a realist interpretation. However, scientific realists assumed that the wave-function, regarded as the principal ingredient of quantum theories, had to represent a physical entity, and because of this they struggled with quantum superpositions. In this paper I discuss a particular approach which makes quantum mechanics compatible with scientific realism without doing that. In this approach, the wave-function does not represent matter which is instead represented by some spatio-temporal entity dubbed the primitive ontology: point-particles, continuous matter fields, space-time events. I argue how within this framework one develops a distinctive theory-construction schema, which allows to perform a more informed theory evaluation by analyzing the various ingredients of the approach and their inter-relations. (shrink)

The wave function in quantum mechanics presents an interesting challenge to our understanding of the physical world. In this paper, I show that the wave function can be understood as four intrinsic relations on physical space. My account has three desirable features that the standard account lacks: it does not refer to any abstract mathematical objects, it is free from the usual arbitrary conventions, and it explains why the wave function has its gauge degrees of freedom, something that are usually (...) put into the theory by hand. Hence, this account has implications for debates in philosophy of mathematics and philosophy of science. First, by removing references to mathematical objects, it provides a framework for nominalizing quantum mechanics. Second, by excising superfluous structure such as overall phase, it reveals the intrinsic structure postulated by quantum mechanics. Moreover, it also removes a major obstacle to ``wave function realism.''. (shrink)

Actualism is the view that only actually existing things exist. Presentism is the view that only presently existing things exist. In this paper, I argue that being an actualist without also being a presentist is not as easy as many philosophers seem to think. A common objection to presentism is that there is an unavoidable conflict between presentism and relativity theory. But actualists who do not wish to be presentists cannot point to this relativity objection alone to support their position. (...) Unless they have some antecedent reason for thinking that actualism is more plausible than presentism, anyone who is moved by the relativity objection to give up presentism should be moved by a related objection to give up actualism as well. If there is a reason to be an actualist without also being a presentist, it must go beyond the relativity objection to presentism. (shrink)

In this paper, I introduce an intrinsic account of the quantum state. This account contains three desirable features that the standard platonistic account lacks: (1) it does not refer to any abstract mathematical objects such as complex numbers, (2) it is independent of the usual arbitrary conventions in the wave function representation, and (3) it explains why the quantum state has its amplitude and phase degrees of freedom. -/- Consequently, this account extends Hartry Field’s program outlined in Science Without Numbers (...) (1980), responds to David Malament’s long-standing impossibility conjecture (1982), and establishes an important first step towards a genuinely intrinsic and nominalistic account of quantum mechanics. I will also compare the present account to Mark Balaguer’s (1996) nominalization of quantum mechanics and discuss how it might bear on the debate about “wave function realism.” In closing, I will suggest some possible ways to extend this account to accommodate spinorial degrees of freedom and a variable number of particles (e.g. for particle creation and annihilation). -/- Along the way, I axiomatize the quantum phase structure as what I shall call a “periodic difference structure” and prove a representation theorem as well as a uniqueness theorem. These formal results could prove fruitful for further investigation into the metaphysics of phase and theoretical structure. -/- (For a more recent version of this paper, please see "The Intrinsic Structure of Quantum Mechanics" available on PhilPapers.). (shrink)

I argue that a common philosophical approach to the interpretation of physical theories—particularly quantum field theories—has led philosophers astray. It has driven many to declare the quantum field theories employed by practicing physicists, so-called ‘effective field theories’, to be unfit for philosophical interpretation. In particular, such theories have been deemed unable to support a realist interpretation. I argue that these claims are mistaken: attending to the manner in which these theories are employed in physical practice, I show that interpreting effective (...) field theories yields a robust foundation for a more refined approach to scientific realism in the context of quantum field theory. The paper concludes by briefly sketching some general morals for interpretive practice in the philosophy of physics. (shrink)

Howard argues that the existence of unitarily inequivalent representations in Quantum Field Theory presents a problem for structural realism in this context. I consider two potential ways round this problem: 1), follow Wallace in adopting the 'naive' Lagrangian form of QFT with cut-offs; 2), adapt Ruetsche's 'Swiss Army Knife' approach. The first takes us into the current debate between Wallace and Fraser on conventional vs. algebraic QFT. The second involves consideration of the role of inequivalent representations in understanding spontaneous symmetry (...) breaking and quantum statistics. In both cases, I suggest, the structural realist has sufficient room to manoeuvre. (shrink)

Symmetries in physics are a guide to reality. That much is well known. But what is less well known is why symmetry is a guide to reality. What justifies inferences that draw conclusions about reality from premises about symmetries? I argue that answering this question reveals that symmetry is an epistemic notion twice over. First, these inferences must proceed via epistemic lemmas: premises about symmetries in the first instance justify epistemic lemmas about our powers of detection, and only from those (...) epistemic lemmas can we draw conclusions about reality. Second, in order to justify those epistemic lemmas, the notion of symmetry must be defined partly in epistemic terms. 1 Symmetry-to-Reality Reasoning1.1 A rough introduction to symmetry1.2 The symmetry-to-reality inference1.3 Two questions1.4 Two answers1.5 Preliminary clarifications2 Against Redundancy2.1 Redundancy2.2 Is absolute velocity redundant?2.3 Some redundancies3 Against Objectivity4 From Symmetry to Detection4.1 The epistemic approach4.2 The Occamist norm4.3 From symmetry to detection5 The Meaning of ‘Symmetry’5.1 A framework5.2 Formal definitions5.3 Ontic definitions6 Epistemic Definitions6.1 Taking observation seriously6.2 How things look6.3 Observation sentences6.4 Observational equivalence7 Symmetry as an Epistemic Notion 7.1 Observational equivalence and metaphysics7.2 The Occamist norm revisted7.3 Consequences8 Conclusion. (shrink)

Logicians and philosophers of science have proposed various formal criteria for theoretical equivalence. In this paper, we examine two such proposals: definitional equivalence and categorical equivalence. In order to show precisely how these two well-known criteria are related to one another, we investigate an intermediate criterion called Morita equivalence.

According to the semantic view of scientific theories, theories are classes of models. I show that this view -- if taken seriously as a formal explication -- leads to absurdities. In particular, this view equates theories that are truly distinct, and it distinguishes theories that are truly equivalent. Furthermore, the semantic view lacks the resources to explicate interesting theoretical relations, such as embeddability of one theory into another. The untenability of the semantic view -- as currently formulated -- threatens to (...) undermine scientific structuralism. (shrink)

We argue that Hamiltonian mechanics is more fundamental than Lagrangian mechanics. Our argument provides a non-metaphysical strategy for privileging one formulation of a theory over another: ceteris paribus, a more general formulation is more fundamental. We illustrate this criterion through a novel interpretation of classical mechanics, based on three physical conditions. Two of these conditions suffice for recovering Hamiltonian mechanics. A third condition is necessary for Lagrangian mechanics. Hence, Lagrangian systems are a proper subset of Hamiltonian systems. Finally, we provide (...) a geometric interpretation of the principle of stationary action and rebut arguments for privileging Lagrangian mechanics. (shrink)

A standard line in the contemporary philosophical literature has it that physical theories are equivalent only when they agree on their empirical content, where this empirical content is often understood as being encoded in the equations of motion of those theories. In this article, we question whether it is indeed the case that the empirical content of a theory is exhausted by its equations of motion, showing that (for example) considerations of boundary conditions play a key role in the empirical (...) equivalence (or otherwise) of theories. Having argued for this, we show that philosophical claims made by Weatherall (2016) that electromagnetism in the Faraday tensor formalism is equivalent to electromagnetism in the vector potential formalism, and by Knox (2011) that general relativity is equivalent to teleparallel gravity, can both be called into question. We then show that properly considering the role of boundary conditions in theory structure can potentially restore these claims of equivalence and close with some remarks on the pragmatics of adjudications on theory identity. (shrink)

A new argument is given for the thesis that only symmetry-invariant physical quantities are real. Non-invariant quantities are dynamically epiphenomenal in that they have no effect on the evolution of invariant quantities, and it is a significant theoretical vice to posit epiphenomenal quantities.

It has been suggested that we can tell whether two theories are equivalent by comparing the structure that they ascribe to the world. If two theories posit different structures, then they must be i...

This paper examines some recent attempts that use counterfactuals to understand the asymmetry of non-causal scientific explanations. These attempts recognize that even when there is explanatory asymmetry, there may be symmetry in counterfactual dependence. Therefore, something more than mere counterfactual dependence is needed to account for explanatory asymmetry. Whether that further ingredient, even if applicable to causal explanation, can fit non-causal explanation is the challenge that explanatory asymmetry poses for counterfactual accounts of non-causal explanation. This paper argues that several recent (...) accounts Explanation beyond causation: philosophical perspectives on non-causal explanations, Oxford University Press, Oxford, pp 117–140, 2018; Jansson and Saatsi in Br J Philos Sci, forthcoming; Jansson in J Philos 112:7–599, 2015; Saatsi and Pexton in Philos Sci 80: 613–624, 2013; French and Saatsi, in: Reutlinger and Saatsi Explanation beyond causation: philosophical perspectives on non-causal explanations, Oxford University Press, Oxford, pp 185–205, 2018) fail to meet this challenge. The paper then sketches a more positive proposal for dealing with explanatory asymmetry in non-causal explanations. (shrink)

Scientific properties come in degrees: elephants are more massive than mice. Are facts like these fundamental or can they be explained in other terms? This article argues that the structure of physical quantities like mass reduces to facts about the role that mass plays in the laws of nature. On this view elephants are more massive than mice partly in virtue of the fact that elephants are harder to throw around.

In this paper I elicit a prediction from structural realism and compare it, not to a historical case, but to a contemporary scientific theory. If structural realism is correct, then we should expect physics to develop theories that fail to provide an ontology of the sort sought by traditional realists. If structure alone is responsible for instrumental success, we should expect surplus ontology to be eliminated. Quantum field theory (QFT) provides the framework for some of the best confirmed theories in (...) science, but debates over its ontology are vexed. Rather than taking a stand on these matters, the structural realist can embrace QFT as an example of just the kind of theory SR should lead us to expect. Yet, it is not clear that QFT meets the structuralist's positive expectation by providing a structure for the world. In particular, the problem of unitarily inequivalent representations threatens to undermine the possibility of QFT providing a unique structure for the world. In response to this problem, I suggest that the structuralist should endorse pluralism about structure. (shrink)

I argue that, in order for us to be justified in believing that two theories are metaphysically equivalent, we must be able to conceive of them as unified into a single theory, which says nothing over and above either of them. I propose one natural way of precisifying this condition, and show that the quantifier variantist cannot meet it. I suggest that the quantifier variantist cannot meet the more general condition either, and argue that this gives the metaphysical realist a (...) way to rule out theses like quantifier variance without appealing to fundamentality, grounding, or "levels" of reality. (shrink)

The concept of process is ubiquitous in science, engineering and everyday life. Category theory, and monoidal categories in particular, provide an abstract framework for modelling processes of many kinds. In this paper, we concentrate on sequential and parallel decomposability of processes in the framework of monoidal categories: We will give a precise definition, what it means for processes to be decomposable. Moreover, through examples, we argue that viewing parallel processes as coupled in this framework can be seen as a category (...) mistake or a misinterpretation. We highlight the suitability of category theory for a structuralistic interpretation of mathematical modelling and argue that for appliers of mathematics, such as engineers, there is a pragmatic advantage from this. (shrink)

We often use symmetries to infer outcomes’ probabilities, as when we infer that each side of a fair coin is equally likely to come up on a given toss. Why are these inferences successful? I argue against answering this with an a priori indifference principle. Reasons to reject that principle are familiar, yet instructive. They point to a new, empirical explanation for the success of our probabilistic predictions. This has implications for indifference reasoning in general. I argue that a priori (...) symmetries need never constrain our probability attributions, even when it comes to our initial credences. (shrink)

In this paper, we examine the relationship between general relativity and the theory of Einstein algebras. We show that according to a formal criterion for theoretical equivalence recently proposed by Halvorson and Weatherall, the two are equivalent theories.

Glymour and Quine propose two different formal criteria for theoretical equivalence. In this paper we examine the relationships between these criteria.