This book argues that the only kind of metaphysics that can contribute to objective knowledge is one based specifically on contemporary science as it really is, and not on philosophers' a priori intuitions, common sense, or simplifications of science. In addition to showing how recent metaphysics has drifted away from connection with all other serious scholarly inquiry as a result of not heeding this restriction, this book demonstrates how to build a metaphysics compatible with current fundamental physics, which, when combined (...) with metaphysics of the special sciences, can be used to unify physics with the other sciences without reducing these sciences to physics itself. Taking science metaphysically seriously, this book argues, means that metaphysicians must abandon the picture of the world as composed of self-subsistent individual objects, and the paradigm of causation as the collision of such objects. The text assesses the role of information theory and complex systems theory in attempts to explain the relationship between the special sciences and physics, treading a middle road between the grand synthesis of thermodynamics and information, and eliminativism about information. The consequences of the books' metaphysical theory for central issues in the philosophy of science are explored, including the implications for the realism versus empiricism debate, the role of causation in scientific explanations, the nature of causation and laws, the status of abstract and virtual objects, and the objective reality of natural kinds. (shrink)

Every Thing Must Go aruges that the only kind of metaphysics that can contribute to objective knowledge is one based specifically on contemporary science as it ...

This chapter contains sections titled: Limits for Uncommunicative Partners How Much Does a Particle Need to Know? Evaluation of Results Simulators Does Nature Simulate?

I argue against the currently prevalent view that algebraic quantum field theory (AQFT) is the correct framework for philosophy of quantum field theory and that “conventional” quantum field theory (CQFT), of the sort used in mainstream particle physics, is not suitable for foundational study. In doing so, I defend that position that AQFT and CQFT should be understood as rival programs to resolve the mathematical and physical pathologies of renormalization theory, and that CQFT has succeeded in this task and AQFT (...) has failed. I also defend CQFT from recent criticisms made by Doreen Fraser. (shrink)

What ontology does realism about the quantum state suggest? The main extant view in contemporary philosophy of physics is wave-function realism . We elaborate the sense in which wave-function realism does provide an ontological picture, and defend it from certain objections that have been raised against it. However, there are good reasons to be dissatisfied with wave-function realism, as we go on to elaborate. This motivates the development of an opposing picture: what we call spacetime state realism , a view (...) which takes the states associated to spacetime regions as fundamental. This approach enjoys a number of beneficial features, although, unlike wave-function realism, it involves non-separability at the level of fundamental ontology. We investigate the pros and cons of this non-separability, arguing that it is a quite acceptable feature, even one which proves fruitful in the context of relativistic covariance. A companion paper discusses the prospects for combining a spacetime-based ontology with separability, along lines suggested by Deutsch and Hayden. (shrink)

I analyse the conceptual and mathematical foundations of Lagrangian quantum field theory (QFT) (that is, the ‘naive’ (QFT) used in mainstream physics, as opposed to algebraic quantum field theory). The objective is to see whether Lagrangian (QFT) has a sufficiently firm conceptual and mathematical basis to be a legitimate object of foundational study, or whether it is too ill-defined. The analysis covers renormalisation and infinities, inequivalent representations, and the concept of localised states; the conclusion is that Lagrangian QFT (at least (...) as described here) is a perfectly respectable physical theory, albeit somewhat different in certain respects from most of those studied in foundational work. (shrink)

One can give a strong sense to the idea that a relation does not 'reduce' to non-relational properties by saying that a relation does not supervene upon the non-relational properties of its relata. That there are such inherent relations I call the doctrine of relational holism, a doctrine which seems to conflict with traditional ideas about physicalism. At least parts of classical physics seem to be free of relational holism, but quantum mechanics, on at least some interpretations, incorporates the doctrine (...) in an all pervasive way. (shrink)

We demonstrate that the quantum-mechanical description of composite physical systems of an arbitrary number of similar fermions in all their admissible states, mixed or pure, for all finite-dimensional Hilbert spaces, is not in conflict with Leibniz's Principle of the Identity of Indiscernibles (PII). We discern the fermions by means of physically meaningful, permutation-invariant categorical relations, i.e. relations independent of the quantum-mechanical probabilities. If, indeed, probabilistic relations are permitted as well, we argue that similar bosons can also be discerned in all (...) their admissible states; but their categorical discernibility turns out to be a state-dependent matter. In all demonstrated cases of discernibility, the fermions and the bosons are discerned (i) with only minimal assumptions on the interpretation of quantum mechanics; (ii) without appealing to metaphysical notions, such as Scotusian haecceitas, Lockean substrata, Postian transcendental individuality or Adamsian primitive thisness; and (iii) without revising the general framework of classical elementary predicate logic and standard set theory, thus without revising standard mathematics. This confutes: (a) the currently dominant view that, provided (i) and (ii), the quantum-mechanical description of such composite physical systems always conflicts with PII; and (b) that if PII can be saved at all, the only way to do it is by adopting one or other of the thick metaphysical notions mentioned above. Among the most general and influential arguments for the currently dominant view are those due to Schrodinger, Margenau, Cortes, Dalla Chiara, Di Francia, Redhead, French, Teller, Butterfield, Giuntini, Mittelstaedt, Castellani, Krause and Huggett. We review them succinctly and critically as well as related arguments by van Fraassen and Massimi. (shrink)

Particle indistinguishability has always been considered a purely quantum mechanical concept. In parallel, indistinguishable particles have been thought to be entities that are not properly speaking objects at all. I argue, to the contrary, that the concept can equally be applied to classical particles, and that in either case particles may (with certain exceptions) be counted as objects even though they are indistinguishable. The exceptions are elementary bosons (for example photons).

An “intrinsically mixed” state is a mixed state of a system that is ‘orthogonal’ to every pure state of that system. Although the presence of such states in the quantum theories of infinite systems is well known to those who work with such theories, intrinsically mixed states are virtually unheralded in the philosophical literature. Rob Clifton was thoroughly familiar with intrinsically mixed states. I aim here to introduce them to a wider audience—and to encourage that audience to cultivate their acquaintance (...) by suggesting that intrinsically mixed states undermine assumptions framing standard discussions of the quantum measurement problem. (shrink)

In this paper questions about vacuum fluctuations in local measurements, and the correlations between such fluctuations, are discussed. It is shown that maximal correlations always exist between suitably chosen local projection operators associated with spacelike separated regions of space-time, however far apart these regions may be. The connection of this result with the well-known Fregenhagen bound showing exponential decay of correlations with distance is explained, and the relevance of the discussion to the question “What do particle detectors detect?” is addressed.

One of the reasons provided for the shift away from an ontology for physical reality of material objects & properties towards one of physical structures & relations (Ontological Structural Realism: OntSR) is that the quantum-mechanical description of composite physical systems of similar elementary particles entails they are indiscernible. As material objects, they 'whither away', and when they wither away, structures emerge in their stead. We inquire into the question whether recent results establishing the weak discernibility of elementary particles pose a (...) threat for this quantum-mechanical reason for OntSR, because precisely their newly discovered discernibility prevents them from 'whithering away'. We argue there is a straightforward manner to consider the recent results as a reason in favour of OntSR rather than against it. (shrink)

We maximally extend the quantum‐mechanical results of Muller and Saunders ( 2008 ) establishing the ‘weak discernibility’ of an arbitrary number of similar fermions in finite‐dimensional Hilbert spaces. This confutes the currently dominant view that ( A ) the quantum‐mechanical description of similar particles conflicts with Leibniz’s Principle of the Identity of Indiscernibles (PII); and that ( B ) the only way to save PII is by adopting some heavy metaphysical notion such as Scotusian haecceitas or Adamsian primitive thisness. We (...) take sides with Muller and Saunders ( 2008 ) against this currently dominant view, which has been expounded and defended by many. *Received July 2008; revised May 2009. †To contact the authors, please write to: F. A. Muller, Faculty of Philosophy, Erasmus University Rotterdam, Burg. Oudlaan 50, H5–16, 3062 PA Rotterdam, The Netherlands; e‐mail: [email protected] , and Institute for the History and Foundations of Science, Utrecht University, Budapestlaan 6, IGG–3.08, 3584 CD Utrecht, The Netherlands; e‐mail: [email protected] . M. P. Seevinck, Institute for the History and Foundations of Science, Utrecht University, Budapestlaan 6, IGG–3.08, 3584 CD Utrecht, The Netherlands; e‐mail: [email protected]. (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)

The procedures of canonical quantization of the gravitational field apparently lead to entities for which any interpretation in terms of spatio-temporal localization or spatio-temporal extension seems difficult. This fact is the main ground for the suggestion that can often be found in the physics literature on canonical quantum gravity according to which spacetime may not be fundamental in some sense. This paper aims to investigate this radical suggestion from an ontologically serious point of view in the cases of two standard (...) forms of canonical quantum gravity, quantum geometrodynamics and loop quantum gravity. We start by discussing the physical features of the quantum wave functional of quantum geometrodynamics and of the spin networks of loop quantum gravity that motivate the view according to which spacetime is not fundamental. We then point out that, by contrast, for any known ontologically serious understanding of quantum entanglement, the commitment to spacetime seems indispensable. Against this background, we then critically discuss the idea that spacetime may emerge from more fundamental entities. As a consequence, we finally suggest that the emergence of classical spacetime in canonical quantum gravity faces a dilemma: either spacetime ontologically emerges from more fundamental non-spatio-temporal entities or it already belongs to the fundamental quantum gravitational level and the emergence of the classical picture is merely a matter of levels of description. On the first horn of the dilemma, it is unclear how to make sense of concrete physical entities that are not in spacetime and of the notion of ontological emergence that is involved. The second horn runs into the difficulties raised by the physics of canonical quantum gravity. (shrink)

The procedures of canonical quantization of the gravitational field apparently lead to entities for which any interpretation in terms of spatio-temporal localization or spatio-temporal extension seems difficult. This fact is the main ground for the suggestion that can often be found in the physics literature on canonical quantum gravity according to which spacetime may not be fundamental in some sense. This paper aims to investigate this radical suggestion from an ontologically serious point of view in the cases of two standard (...) forms of canonical quantum gravity, quantum geometrodynamics and loop quantum gravity. We start by discussing the physical features of the quantum wave functional of quantum geometrodynamics and of the spin networks of loop quantum gravity that motivate the view according to which spacetime is not fundamental. We then point out that, by contrast, for any known ontologically serious understanding of quantum entanglement, the commitment to spacetime seems indispensable. Against this background, we then critically discuss the idea that spacetime may emerge from more fundamental entities. As a consequence, we finally suggest that the emergence of classical spacetime in canonical quantum gravity faces a dilemma: either spacetime ontologically emerges from more fundamental non-spatio-temporal entities or it already belongs to the fundamental quantum gravitational level and the emergence of the classical picture is merely a matter of levels of description. On the first horn of the dilemma, it is unclear how to make sense of concrete physical entities that are not in spacetime and of the notion of ontological emergence that is involved. The second horn runs into the difficulties raised by the physics of canonical quantum gravity. (shrink)

It is argued that recent discussion of the principle of the identity of indiscernibles (PII) and quantum mechanics has lost sight of the broader philosophical motivation and significance of PII and that the `received view' of the status of PII in the light of quantum mechanics survives recent criticisms of it by Muller, Saunders, and Seevinck.

The identity and diversity of individual objects may be grounded or ungrounded, and intrinsic or contextual. Intrinsic individuation can be grounded in haecceities, or absolute discernibility. Contextual individuation can be grounded in relations, but this is compatible with absolute, relative or weak discernibility. Contextual individuation is compatible with the denial of haecceitism, and this is more harmonious with science. Structuralism implies contextual individuation. In mathematics contextual individuation is in general primitive. In physics contextual individuation may be grounded in relations via (...) weak discernibility. (shrink)

Eventually, Kuhlmann proposes a dispositional trope ontology, according to which particularized properties and not things are the most basic entities.

David Malament (1996) has recently argued that there can be no relativistic quantum theory of (localizable) particles. We consider and rebut several objections that have been made against the soundness of Malament’s argument. We then consider some further objections that might be made against the generality of Malament’s conclusion, and we supply three no‐go theorems to counter these objections. Finally, we dispel potential worries about the counterintuitive nature of these results by showing that relativistic quantum field theory itself explains the (...) appearance of “particle detections.”. (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)

-/- Although much of its history has been neglected or misunderstood, a structuralist ‘tendency’ has re-emerged within the philosophy of science. Broadly speaking, it consists of two fundamental strands: on the one hand, there is the identification of structural commonalities between theories; on the other, there is the metaphysical decomposition of objects in structural terms. Both have been pressed into service for the realist cause: the former has been identified primarily with Worrall's ‘epistemic’ structural realism; the latter with Ladyman's ‘ontic’ (...) form. And both raise important issues of general interest within the philosophy of science and metaphysics, respectively. The former invites questions regarding the identification and appropriate representation of these commonalities; the latter touches on different views regarding the nature of objects, the constitutive role of properties and the seat of causal powers. Both strands have recently come under critical fire. It is my intention to present a unified account of the 'structuralist tendency’ which emphasizes the dual roles of structure as representational and constitutive, and to indicate how the more acute critical remarks can be dealt with. (shrink)

According to ‘Ontic Structural Realism’ (OSR), physical objects—qua metaphysical entities—should be reconceptualised, or, more strongly, eliminated in favour of the relevant structures. In this paper I shall attempt to articulate the relationship between these putative objects and structures in terms of certain accounts of metaphysical dependence currently available. This will allow me to articulate the differences between the different forms of OSR and to argue in favour of the ‘eliminativist’ version. A useful context is provided by Floridi’s account of the (...) relationship between ‘ontic’ and ‘epistemic’ structural realisms and I shall conclude with some brief remarks on possible extensions of OSR into other scientific domains. (shrink)

According to 'Ontic Structural Realism' (OSR), physical objects—qua metaphysical entities—should be reconceptualised, or, more strongly, eliminated in favour of the relevant structures. In this paper I shall attempt to articulate the relationship between these putative objects and structures in terms of certain accounts of metaphysical dependence currently available. This will allow me to articulate the differences between the different forms of OSR and to argue in favour of the 'eliminativist' version. A useful context is provided by Floridi's account of the (...) relationship between 'ontic' and 'epistemic' structural realisms and I shall conclude with some brief remarks on possible extensions of OSR into other scientific domains. (shrink)

We outline Ladyman's 'metaphysical' or 'ontic' form of structuralrealism and defend it against various objections. Cao, in particular, has questioned theview of ontology presupposed by this approach and we argue that by reconceptualisingobjects in structural terms it offers the best hope for the realist in thecontext of modern physics.

Although much of its history has been neglected or misunderstood, a structuralist 'tendency' has re-emerged within the philosophy of science. Broadly speaking, it consists of two fundamental strands: on the one hand, there is the identification of structural commonalities between theories; on the other, there is the metaphysical decomposition of objects in structural terms. Both have been pressed into service for the realist cause: the former has been identified primarily with Worrall's 'epistemic' structural realism; the latter with Ladyman's 'ontic' form. (...) And both raise important issues of general interest within the philosophy of science and metaphysics, respectively. The former invites questions regarding the identification and appropriate representation of these commonalities; the latter touches on different views regarding the nature of objects, the constitutive role of properties and the seat of causal powers. Both strands have recently come under critical fire. It is my intention to present a unified account of the 'structuralist tendency' which emphasizes the dual roles of structure as representational and constitutive, and to indicate how the more acute critical remarks can be dealt with. (shrink)

Most philosophical discussion of the particle concept that is afforded by quantum field theory has focused on free systems. This paper is devoted to a systematic investigation of whether the particle concept for free systems can be extended to interacting systems. The possible methods of accomplishing this are considered and all are found unsatisfactory. Therefore, an interacting system cannot be interpreted in terms of particles. As a consequence, quantum field theory does not support the inclusion of particles in our ontology. (...) In contrast to much of the recent discussion on the particle concept derived from quantum field theory, this argument does not rely on the assumption that a particulate entity be localizable. (shrink)

Quantum field theory (QFT) presents a genuine example of the underdetermination of theory by empirical evidence. There are variants of QFT—for example, the standard textbook formulation and the rigorous axiomatic formulation—that are empirically indistinguishable yet support different interpretations. This case is of particular interest to philosophers of physics because, before the philosophical work of interpreting QFT can proceed, the question of which variant should be subject to interpretation must be settled. New arguments are offered for basing the interpretation of QFT (...) on a rigorous axiomatic variant of the theory. The pivotal considerations are the roles that consistency and idealization play in this case. *Received June 2009; revised August 2009. †To contact the author, please write to: Department of Philosophy, University of Waterloo, 200 University Avenue West, Waterloo, ON N2L 3G1, Canada; e‐mail: [email protected]. (shrink)

Further arguments are offered in defence of the position that the variant of quantum field theory (QFT) that should be subject to interpretation and foundational analysis is axiomatic quantum field theory. I argue that the successful application of renormalization group (RG) methods within alternative formulations of QFT illuminates the empirical content of QFT, but not the theoretical content. RG methods corroborate the point of view that QFT is a case of the underdetermination of theory by empirical evidence. I also urge (...) caution in extrapolating interpretive conclusions about QFT from the application of RG methods in other contexts (e.g., condensed matter physics). This paper replies to criticisms advanced by David Wallace, but aims to be self-contained. (shrink)

This paper argues that ontic structural realism (OSR) faces a dilemma: either it remains on the general level of realism with respect to the structure of a given theory, but then it is, like epistemic structural realism, only a partial realism; or it is a complete realism, but then it has to answer the question how the structure of a given theory is implemented, instantiated or realized and thus has to argue for a particular interpretation of the theory in question. (...) This claim is illustrated by examining how OSR fares with respect to the three main candidates for an ontology of quantum mechanics, namely many worlds-type interpretations, collapse-type interpretations and hidden variable-type interpretations. The result is that OSR as such is not sufficient to answer the question of what the world is like if quantum mechanics is correct. (shrink)

This paper argues for a metaphysics of relations based on a characterization of quantum entanglement in terms of non-separability, thereby regarding entanglement as a sort of holism. By contrast to a radical metaphysics of relations, the position set out in this paper recognizes things that stand in the relations, but claims that, as far as the relations are concerned, there is no need for these things to have qualitative intrinsic properties underlying the relations. This position thus opposes a metaphysics of (...) individual things that are characterized by intrinsic properties. A principal problem of the latter position is that it seems that we cannot gain any knowledge of these properties insofar as they are intrinsic. Against this background, the rationale behind a metaphysics of relations is to avoid a gap between epistemology and metaphysics. (shrink)

This paper argues for a metaphysics of relations based on a characterization of quantum entanglement in terms of non-separability, thereby regarding entanglement as a sort of holism. By contrast to a radical metaphysics of relations, the position set out in this paper recognizes things that stand in the relations, but claims that, as far as the relations are concerned, there is no need for these things to have qualitative intrinsic properties underlying the relations. This position thus opposes a metaphysics of (...) individual things that are characterized by intrinsic properties. A principal problem of the latter position is that it seems that we cannot gain any knowledge of these properties insofar as they are intrinsic. Against this background, the rationale behind a metaphysics of relations is to avoid a gap between epistemology and metaphysics. (shrink)

ZusammenfassungFasst man die Ψ‐Funktion in der Quantenmechanik als eine vollständige Beschreibung eines realen Sachverhaltes auf, so ist die Hypothese einer schwer annehm‐baren Fernwirkung impliziert. Fasst man die Ψ‐Funktion aber als eine unvollständige Beschreibung eines realen Sachverhaltes auf, so ist es schwer zu glauben, dass für eine unvollständige Beschreibung strenge Gesetze für die zeitliche Abhängigkeit gelten.‐ A. E.

Textbooks present classical particle and field physics as theories of physical systems situated in Newtonian absolute space. This absolute space has an influence on the evolution of physical processes, and can therefore be seen as a physical system itself; it is substantival. It turns out to be possible, however, to interpret the classical theories in another way. According to this rival interpretation, spatiotemporal position is a property of physical systems, and there is no substantival spacetime. The traditional objection that such (...) a relationist view could not cope with the existence of inertial effects and other manifestations of the causal efficacy of spacetime can be answered successfully. According to the new point of view, the spacetime manifold of classical physics is a purely representational device. It represents possible locations of physical objects or events; but these locations are physical properties inherent in the physical objects or events themselves and having no existence independently of them. In relativistic quantum field theory the physical meaning of the spacetime manifold becomes even less tangible. Not only does the manifold lose its status as a substantival container, but also its function as a representation of spacetime properties possessed by physical systems becomes problematic. 'Space and time' become ordering parameters in the web of properties of physical systems. They seem to regain their traditional meaning only in the non-relativistic limit in which the classical particle concept becomes approximately applicable. (shrink)

Saunders has recently claimed that “identical quantum particles” with an anti-symmetric state (fermions) are weakly discernible objects, just like irreflexively related ordinary objects in situations with perfect symmetry (Black’s spheres, for example). Weakly discernible objects have all their qualitative properties in common but nevertheless differ from each other by virtue of (a generalized version of) Leibniz’s principle, since they stand in relations an entity cannot have to itself. This notion of weak discernibility has been criticized as question begging, but we (...) defend and accept it for classical cases likes Black’s spheres. We argue, however, that the quantum mechanical case is different. Here the application of the notion of weak discernibility indeed is question begging and in conflict with standard interpretational ideas. We conclude that the introduction of the conceptual resource of weak discernibility does not change the interpretational status quo in quantum mechanics. (shrink)

Entanglement has long been the subject of discussion by philosophers of quantum theory, and has recently come to play an essential role for physicists in their development of quantum information theory. In this paper we show how the formalism of algebraic quantum field theory (AQFT) provides a rigorous framework within which to analyse entanglement in the context of a fully relativistic formulation of quantum theory. What emerges from the analysis are new practical and theoretical limitations on an experimenter's ability to (...) perform operations on a field in one spacetime region that can disentangle its state from the state of the field in other spacelike-separated regions. These limitations show just how deeply entrenched entanglement is in relativistic quantum field theory, and yield a fresh perspective on the ways in which the theory differs conceptually from both standard non-relativistic quantum theory and classical relativistic field theory. (shrink)

This article develops an analogy proposed by Stachel between general relativity (GR) and quantum mechanics (QM) as regards permutation invariance. Our main idea is to overcome Pooley's criticism of the analogy by appeal to paraparticles. In GR, the equations are (the solution space is) invariant under diffeomorphisms permuting spacetime points. Similarly, in QM the equations are invariant under particle permutations. Stachel argued that this feature—a theory's ‘not caring which point, or particle, is which’—supported a structuralist ontology. Pooley criticizes this analogy: (...) in QM the (anti-)symmetrization of fermions and bosons implies that each individual state (solution) is fixed by each permutation, while in GR a diffeomorphism yields in general a distinct, albeit isomorphic, solution. We define various versions of structuralism, and go on to formulate Stachel's and Pooley's positions, admittedly in our own terms. We then reply to Pooley. Though he is right about fermions and bosons, QM equally allows more general types of particle symmetry, in which states (vectors, rays, or density operators) are not fixed by all permutations (called ‘paraparticle states’). Thus Stachel's analogy is revived. (shrink)

Using the Hilbert-Bernays account as a spring-board, we first define four ways in which two objects can be discerned from one another, using the non-logical vocabulary of the language concerned. Because of our use of the Hilbert-Bernays account, these definitions are in terms of the syntax of the language. But we also relate our definitions to the idea of permutations on the domain of quantification, and their being symmetries. These relations turn out to be subtle---some natural conjectures about them are (...) false. We will see in particular that the idea of symmetry meshes with a species of indiscernibility that we will call `absolute indiscernibility'. We then report all the logical implications between our four kinds of discernibility. We use these four kinds as a resource for stating four metaphysical theses about identity. Three of these theses articulate two traditional philosophical themes: viz. the principle of the identity of indiscernibles, and haecceitism. The fourth is recent. Its most notable feature is that it makes diversity weaker than what we will call individuality : two objects can be distinct but not individuals. For this reason, it has been advocated both for quantum particles and for spacetime points. Finally, we locate this fourth metaphysical thesis in a broader position, which we call structuralism. We conclude with a discussion of the semantics suitable for a structuralist, with particular reference to physical theories as well as elementary model theory. (shrink)