More often than not, recently popular structuralist interpretations of physical theories leave the central concept of a structure insufficiently precisified. The incipient causal sets approach to quantum gravity offers a paradigmatic case of a physical theory predestined to be interpreted in structuralist terms. It is shown how employing structuralism lends itself to a natural interpretation of the physical meaning of causal set theory. Conversely, the conceptually exceptionally clear case of causal sets is used as a foil to illustrate how a (...) mathematically informed rigorous conceptualization of structure serves to identify structures in physical theories. Furthermore, a number of technical issues infesting structuralist interpretations of physical theories such as difficulties with grounding the identity of the places of highly symmetrical physical structures in their relational profile and what may resolve these difficulties can be vividly illustrated with causal sets. (shrink)

This paper elaborates on relationalism about space and time as motivated by a minimalist ontology of the physical world: there are only matter points that are individuated by the distance relations among them, with these relations changing. We assess two strategies to combine this ontology with physics, using classical mechanics as example: the Humean strategy adopts the standard, non-relationalist physical theories as they stand and interprets their formal apparatus as the means of bookkeeping of the change of the distance relations (...) instead of committing us to additional elements of the ontology. The alternative theory strategy seeks to combine the relationalist ontology with a relationalist physical theory that reproduces the predictions of the standard theory in the domain where these are empirically tested. We show that, as things stand, this strategy cannot be accomplished without compromising a minimalist relationalist ontology. (shrink)

This article investigates the problem of the identity of the parts of space in Newton’s natural philosophy, as well as the holistic or structuralist nature of Newton’s ontology of space. Additionally, this article relates the lessons reached in this historical and philosophical investigation to analogous debates in contemporary space-time ontology. While previous contributions, by Nerlich, Huggett, and others, have proven to be informative in evaluating Newton’s claims, it will be argued that the underlying goals of Newton’s views have largely eluded (...) prior analysis and that Newton’s approach is similar, and lends support, to several current structuralist trends in the conception of space-time ontology. (shrink)

Esfeld has proposed a minimalist ontology of nature called ‘super-Humeanism’ that purports to accommodate quantum phenomena and avoid standard objections to neo-Humean metaphysics. I argue that Esfeld’s sparse ontology has counterintuitive consequences and generates two self-undermining dilemmas concerning the nature of time and space. Contrary to Esfeld, I deny that super-Humeanism supports an ontology of microscopic particles that follow continuous trajectories through space.

In this paper I argue that if the Identity of Indiscernibles is not necessarily true, then Haecceitism ensues—where Haecceitism is the view that there are maximal possibilities that include all the same qualitative possibilities, and yet differ with respect to the non-qualitative possibilities they include. This goes against the common intuition that Anti-Haecceitism is compatible with the Identity of Indiscernibles being only contingently true. My argument is interesting in many respects. First, it shows that in any modal framework there is (...) a connection between the number of worldbound ordinary spatio-temporal objects, and the number of overall possibilities. Second, it has repercussions for the tenability of some philosophical positions, like Generalism, which is usually interpreted as entailing Anti-Haecceitism while at the same time being compatible with the claim that the Identity of Indiscernibles is not necessarily true. If I am correct, Generalism and similar philosophical accounts turn out to be inconsistent. Finally, it provides a strong argument for Haecceitism, given that the majority of authors today find counterexamples to the Identity of Indiscernibles extremely convincing, and many philosophical positions have been and continue being criticised on the basis of their commitment to the Identity of Indiscernibles. The paper is structured as follows: I introduce Haecceitism and the Identity of Indiscernibles in Sects. 1 and 2 respectively. Drawing on a result from the Philosophy of Quantum Mechanics, which I survey in Sect. 3, I give my main argument in Sect. 4. Finally, I discuss some implications in Sect. 5. (shrink)

I begin by criticizing an elaboration of an argument in this journal due to Hawley , who argued that, where Leibniz’s Principle of the Identity of Indiscernibles faces counterexamples, invoking relations to save PII fails. I argue that insufficient attention has been paid to a particular distinction. I proceed by demonstrating that in most putative counterexamples to PII , the so-called Discerning Defence trumps the Summing Defence of PII. The general kind of objects that do the discerning in all cases (...) form a category that has received little if any attention in metaphysics. This category of objects lies between indiscernibles and individuals and is called relationals: objects that can be discerned by means of relations only and not by properties. Remarkably, relationals turn out to populate the universe. (shrink)

In his 2009 PSA Recent Ph.D. Award winning contribution to the bi-annual PSA Conference at Pittsburgh in 2008, C. Wu ̈thrich mounted an argument against struc- turalism about space-time in the context of the General Theory of Relativity, to the effect that structuralists cannot discern space-time points. An “abysmal embarrass- ment” for the structuralist, Wu ̈thrich judged. Wu ̈thrich’s characterisation of space-time structuralism is however incorrect. We demonstrate how, on the basis of a correct char- acterisation of space-time structuralism, it (...) is possible to discern space-time points in the GTR-structures under consideration. Thus Wu ̈thrich’s argument crumbles. (shrink)

The present paper argues that the typical structuralist claims according to which invariances, symmetries and the like are fundamental – especially in physics – should not be understood in terms of physical relations being fundamental. Rather, they should be understood in terms of ‘metaphysical coherentism’ - the idea that object-like parts of reality exhibit symmetric relations of ontological dependence. The view is developed in some detail, in particular by showing that i) symmetric ontological dependence does not necessarily lead to uninformative (...) metaphysical explanations, and ii) metaphysical coherentism strikes the best balance between the requirements of naturalism and those of theoretical consistency – especially in view of the difficulties that structuralists seem to have in accounting for all state-independent properties of particles in relational terms. On this basis, the coherentist picture is applied to the interpretation of the quantum domain, and contrasted with extant varieties of structuralism, of both the eliminative and the non-eliminative sort, and holism. (shrink)

The paper compares ontic structural realism in quantum physics with ontic structural realism about space–time. We contend that both quantum theory and general relativity theory support a common, contentful metaphysics of ontic structural realism. After recalling the main claim of ontic structural realism and its physical support, we point out that both in the domain of quantum theory and in the domain of general relativity theory, there are objects whose essential ways of being are certain relations so that these objects (...) do not possess an intrinsic identity. Nonetheless, the qualitative, physical nature of these relations is in the quantum case (entanglement) fundamentally different from the classical, metrical relations treated in general relativity theory. (shrink)

In prior work, we have argued that spacetime functionalism provides tools for clarifying the conceptual difficulties specifically linked to the emergence of spacetime in certain approaches to quantum gravity. We argue in this article that spacetime functionalism in quantum gravity is radically different from other functionalist approaches that have been suggested in quantum mechanics and general relativity: in contrast to these latter cases, it does not compete with purely interpretative alternatives, but is rather intertwined with the physical theorizing itself at (...) the level of quantum gravity. Spacetime functionalism allows one to articulate a coherent realist perspective in the context of quantum gravity, and to relate it to a straightforward realist understanding of general relativity. (shrink)

In prior work, we have argued that spacetime functionalism provides tools for clarifying the conceptual difficulties specifically linked to the emergence of spacetime in certain approaches to quantum gravity. We argue in this article that spacetime functionalism in quantum gravity is radically different from other functionalist approaches that have been suggested in quantum mechanics and general relativity: in contrast to these latter cases, it does not compete with purely interpretative alternatives, but is rather intertwined with the physical theorizing itself at (...) the level of quantum gravity. Spacetime functionalism allows one to articulate a coherent realist perspective in the context of quantum gravity, and to relate it to a straightforward realist understanding of general relativity. (shrink)

Ontic structuralism or ontic structural realism in the philosophy of physics can be broadly considered as an interpretative strategy providing a set of conceptual and metaphysical tools—or, more ambitiously, an ontological framework—in order to account for central features of current fundamental physics. This article aims to review the main structuralist interpretative moves in the context of our two best fundamental physical theories of matter and spacetime, namely, quantum theory and general relativity. We highlight in particular the structuralist understanding of permutation (...) invariance, entanglement and nonlocality in quantum theory, and of the dynamical features of spacetime, diffeomorphism invariance and background independence in general relativity. (shrink)

Radical ontic structural realism (ROSR) asserts an ontological commitment to ‘free-standing’ physical structures understood solely in terms of fundamental relations, without any recourse to relata that stand in these relations. Bain ([2013], pp.1621–35) has recently defended ROSR against the common charge of incoherence by arguing that a reformulation of fundamental physical theories in category-theoretic terms (rather than the usual set-theoretic ones) offers a coherent and precise articulation of the commitments accepted by ROSR. In this essay, we argue that category theory (...) does not offer a more hospitable environment to ROSR than set theory. We also show that the application of category-theoretic tools to topological quantum field theory and to algebraic generalizations of general relativity do not warrant the claim that these theories describe ‘object-free’ structures. We conclude that category theory offers little if any comfort to ROSR. 1 Introduction: Ridding Structures of Objects2 The Set-theoretic Peril for Radical Ontic Structural Realism3 Bain’s Categorial Strategy to Save Radical Ontic Structural Realism4 Throwing out the Relations with the Relata5 Categorial and Set-theoretical Structures6 Radical Suggestions from Topological Quantum Field Theory?7 Sheaves of Einstein Algebras as Radical Structures?8 Conclusions. (shrink)

Recent work on the hole argument in general relativity by Weatherall has drawn attention to the neglected concept of models’ representational capacities. I argue for several theses about the structure of these capacities, including that they should be understood not as many-to-one relations from models to the world, but in general as many-to-many relations constrained by the models’ isomorphisms. I then compare these ideas with a recent argument by Belot for the claim that some isometries “generate new possibilities” in general (...) relativity. Philosophical orthodoxy, by contrast, denies this. Properly understanding the role of representational capacities, I argue, reveals how Belot’s rejection of orthodoxy does not go far enough, and makes better sense of our practices in theorizing about spacetime. (shrink)

I present an argument against a relational theory of spacetime that regards spacetime as a ‘structural quality of the field’. The argument takes the form of a trilemma. To make the argument, I focus on relativistic worlds in which there exist just two fields, an electromagnetic field and a gravitational field. Then there are three options: either spacetime is a structural quality of each field separately, both fields together, or one field but not the other. I argue that the first (...) option founders on a problem of geometric coordination and that the second and third options collapse into substantivalism. In particular, on the third option it becomes clear that the relationalist’s path to Leibniz equivalence is no simpler or more straightforward than the substantivalist’s. 1Introduction 2Background 2.1Relational theories of spacetime 2.2Brief remarks on general relativity 3First Horn: Geometric Coordination 4Second Horn: Problems of Coincidence 5Third Horn: General Relativity and Gauge 5.1Preventing collapse 5.2The revised shift argument 6Conclusion. (shrink)

This paper addresses the issue of the multiplicity of various grades of discernibility that can be defined in model theory. Building upon earlier works on the subject, I first expand the known logical categorizations of discernibility by introducing several symmetry-based concepts of discernibility, including one I call “witness symmetry-discernibility”. Then I argue that only grades of discernibility stronger than this one possess certain intuitive features necessary to individuate objects. Further downsizing of the set of non-equivalent grades of discernibility can be (...) achieved by stipulating that any relation of discernibility should be applied only to those pairs of objects which have been previously distinguished from the rest of the universe. Restricting discernibility to pairs of objects satisfying this condition gives an additional bonus in the form of restoring the transitivity of some types of indiscernibility which have been known to be non-transitive. (shrink)

Radical Ontic Structural Realism (ROSR) claims that structure exists independently of objects that may instantiate it. Critics of ROSR contend that this claim is conceptually incoherent, insofar as, (i) it entails there can be relations without relata, and (ii) there is a conceptual dependence between relations and relata. In this essay I suggest that (ii) is motivated by a set-theoretic formulation of structure, and that adopting a category-theoretic formulation may provide ROSR with more support. In particular, I consider how a (...) category-theoretic formulation of structure can be developed that denies (ii), and can be made to do work in the context of formulating theories in physics. Keywords: structural realism, category theory, general relativity.. (shrink)

The paper spells out five different accounts of the relationship between objects and relations three of which are versions of ontic structural realism. We argue that the distinction between objects and properties, including relations, is merely a conceptual one by contrast to an ontological one: properties, including relations, are modes, that is the concrete, particular ways in which objects exist. We then set out moderate OSR as the view according to which irreducible relations are central ways in which the fundamental (...) physical objects exist. Physical structures thus consist in objects for whom it is essential that they are related in certain ways. There hence are objects, but they do not possess an intrinsic identity. This view can also admit intrinsic properties as ways in which objects exist provided that these do not amount to identity conditions for the objects. Finally, we indicate how this view can take objective modality into account. (shrink)

Motivated by examples from general relativity and Newtonian gravitation, this essay attempts to distinguish between the dynamical structure associated with a theory in physics, and its kinematical structure. This enables a distinction to be made between a structural realist interpretation of a theory based on its dynamical structure, and a structural realist interpretation of spacetime, as described by a theory, based on its kinematical structure. I offer category-theoretic formulations of dynamical and kinematical structure and indicate the extent to which such (...) formulations deflect recent criticism of the radical ontic structural realist's conception of structure as "relations devoid of relata". (shrink)

The claim that there can be relations without relata, submitted by the radical ontic structural realist, mounts a serious challenge to her: on the one hand, the world is constituted, according to this sort of realism, just by structures and relations, and on the other hand, relations depend, mathematics says, on individual objects as relata. To resolve the problem, Steven French has argued that while the dependency of relations on relata is conceivable concerning the structure associated with the source of (...) representation, radical ontic structural realism assumes the existence of relations devoid of relata regarding the target of representation. In this article, I will argue this solution considered together with his semantics for the sentences that contain terms referring apparently to individual objects seems incoherent. (shrink)

This work is a conceptual analysis of certain recent developments in the mathematical foundations of Classical and Quantum Mechanics which have allowed to formulate both theories in a common language. From the algebraic point of view, the set of observables of a physical system, be it classical or quantum, is described by a Jordan-Lie algebra. From the geometric point of view, the space of states of any system is described by a uniform Poisson space with transition probability. Both these structures (...) are here perceived as formal translations of the fundamental twofold role of properties in Mechanics: they are at the same time quantities and transformations. The question becomes then to understand the precise articulation between these two roles. The analysis will show that Quantum Mechanics can be thought as distinguishing itself from Classical Mechanics by a compatibility condition between properties-as-quantities and properties-as-transformations. -/- Moreover, this dissertation shows the existence of a tension between a certain "abstract way" of conceiving mathematical structures, used in the practice of mathematical physics, and the necessary capacity to specify particular states or observables. It then becomes important to understand how, within the formalism, one can construct a labelling scheme. The “Chase for Individuation” is the analysis of different mathematical techniques which attempt to overcome this tension. In particular, we discuss how group theory furnishes a partial solution. (shrink)

These preprints were automatically compiled into a PDF from the collection of papers deposited in PhilSci-Archive in conjunction with the PSA 2012.

I argue that the standard interpretation of Leibniz as a relationist about space is mistaken, and defend a reading according to which his correspondence with Samuel Clarke actually suggests that Leibniz holds a view closely resembling modern spacetime structuralism. I distinguish my proposal from Belot's recent reading of Leibniz as a modal relationist, arguing for the superiority of my reading based on the Clarke correspondence and on Leibniz's conception of God's relation to the created world. I note a tension between (...) my proposal and Leibniz's ontology, and suggest that a solution is forthcoming and worth pursuing. (shrink)