Metaphysics is sensitive to the conceptual tools we choose to articulate metaphysical problems. Those tools are a lens through which we view metaphysical problems; the same problems look different when we change the lens. There has recently been a shift to "postmodal" conceptual tools: concepts of ground, essence, and fundamentality. This shift transforms the debate over structuralism in the metaphysics of science and philosophy of mathematics. Structuralist theses say that patterns are "prior" to the nodes in the patterns. In modal (...) terms this would mean that the nodes cannot vary independently of the pattern. But its postmodal meaning is unclear. Does it mean, e.g., that a fundamental account of reality somehow speaks only of patterns? What would that mean? Three structuralist positions are examined through a postmodal lens: nomic/causal/dispositional essentialism, structuralism about individuals (e.g., structural realism, e.g., ante rem mathematical structuralism), comparativism about quantities. The question of when theories are equivalent, and how that impacts the debate over structuralism, is also discussed. (shrink)

Introduction, Contributions to the founding of the theory of transfinite numbers, Article I, Article II.

We propose a new quantum ontology, in which properties are the fundamental building blocks. In this property ontology physical systems are defined as bundles of type-properties. Not all elements of such bundles are associated with definite case-properties, and this accommodates the Kochen and Specker theorem and contextuality. Moreover, we do not attribute an identity to the type-properties, which gives rise to a novel form of the bundle theory. There are no “particles” in the sense of classical individuals in this ontology, (...) although the behavior of such individuals is mimicked in some circumstances. This picture leads in a natural way to the symmetrization postulates for systems of many “identical particles”. (shrink)

How best to think about quantum systems under permutation invariance is a question that has received a great deal of attention in the literature. But very little attention has been paid to taking seriously the proposal that permutation invariance reflects a representational redundancy in the formalism. Under such a proposal, it is far from obvious how a constituent quantum system is represented. Consequently, it is also far from obvious how quantum systems compose to form assemblies, i.e. what is the formal (...) structure of their relations of parthood, overlap and fusion. In this paper, I explore one proposal for the case of fermions and their assemblies. According to this proposal, fermionic assemblies which are not entangled—in some heterodox, but natural sense of ‘entangled’—provide a prima facie counterexample to classical mereology. This result is puzzling; but, I argue, no more intolerable than any other available interpretative option. (shrink)

Structural realism is considered by many realists and antirealists alike as the most defensible form of scientific realism. There are now many forms of structural realism and an extensive literature about them. There are interesting connections with debates in metaphysics, philosophy of physics and philosophy of mathematics. This entry is intended to be a comprehensive survey of the field.

In this work, we focus on a very specific case study: assuming that quantum theories deal with “particles” of some kind, what kind of entity can such particles be? One possible answer, the one we shall examine here, is that they are not the usual kind of object found in daily life: individuals. Rather, we follow a suggestion by Erwin Schrödinger, according to which quantum mechanics poses a revolutionary kind of entity: non-individuals. While physics, as a scientific field, is not (...) concerned with whether entities posited by a specific physical theory are individuals or not, answering this question is part of the quest for a better understanding of physical reality. Here lies, in large measure, the relevance of ontology. (shrink)

In this paper I present a new argument against vague identity — one that is more fundamental than existing arguments — and I also try to explain why we find the idea of vague identity puzzling, in a way that will dispel the puzzlement. In brief, my argument is this: to make clear sense of something, one must at least model it set-theoretically; but due to the special place of identity in set-theoretic models, any vague relation that one does model (...) set-theoretically will not be identity, for real identity will already be there, built into the background of the model, and perfectly precise. (shrink)

For most of the history of metaphysics, the subject has been dominated by the concept of substance. There is an everyday commonsense notion of substance which is perfectly harmless and which I shall defend against attempts to remove it or revise it away. But I deny that substance has to be construed as a primitive even in everyday terms. Borrowing Strawson’s distinction between descriptive and revisionary metaphysics, I press the legitimate claims of revisionary metaphysics and argue that there is no (...) place for a fundamental concept of substance within it, although aspects of the concept are likely to find their place therein. (shrink)

The paper defends a view of structural realism similar to that of French and Ladyman, although it differs from theirs in an important respect: I do not take indistinguishabiity of particles in quantum mechanics to have the significance they think it has. It also differs from Cao's view of structural realism, criticized in my "Critical Notice: Cao's `The Conceptual Development of 20th Century Field Theories".

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).

We extend the work of French and Redhead [1988] further examining the relation of quantum statistics to the assumption that quantum entities have the sort of identity generally assumed for physical objects, more specifically an identity which makes them susceptible to being thought of as conceptually individuatable and labelable even though they cannot be experimentally distinguished. We also further examine the relation of such hypothesized identity of quantum entities to the Principle of the Identity of Indiscernibles. We conclude that although (...) such an assumption of identity is consistent with the facts of quantum statistics, methodological considerations show that we should take quantum entities to be entirely unindividuatable, in the way suggested by a Fock space description. (shrink)

The practice of describing multiparticle quantum systems in terms of labeled particles indicates that we think of quantum entities as individuatable. The labels, together with particle indistinguishability, create the need for symmetrization or antisymmetrization (or, in principle, higher-order symmetries), which in turn results in “surplus formal structure” in the formalism, formal structure which corresponds to nothing in the real world. We argue that these facts show quanta to be unindividuatable entities, things in principle incapable of supporting labels, and so things (...) which support no factual difference_if two of them are thought of as being switched. When thinking of the metaphysics of quanta, we should eschew the misleading labels of the tensor product Hilbert space formalism and prefer the ontologically more faithful description of the Fock space formalism. This conception eliminates puzzles about the quantum statistics of bosons. (shrink)

Some authors have attempted to defend Leibniz’s Identity of Indiscernibles through weak discernibility. The idea is that if there is a symmetric, nonreflexive physical relation that holds between two particles, then those particles cannot be identical. In this article I focus only on Muller and Saunders’s account and argue that the means by which they achieve weak discernibility is not through a quantum mechanical observable but an alternate mathematical construction that is both unorthodox and incomplete.

We investigate the higher-order modal logic , which is a variant of the system presented in our previous work. A semantics for that system, founded on the theory of quasi sets, is outlined. We show how such a semantics, motivated by the very intuitive base of Schrödinger logics, provides an alternative way to formalize some intensional concepts and features which have been used in recent discussions on the logical foundations of quantum mechanics; for example, that some terms like 'electron' have (...) no precise reference and that 'identical' particles cannot be named unambiguously. In the last section, we sketch a classical semantics for quasi set theory. (shrink)

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)

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)

We discuss the case against Factorism, which is the standard assumption in quantum mechanics that the labels of the $$\otimes$$ ⊗ -factor Hilbert-spaces in direct-product Hilbert-spaces of composite physical systems of similar particles refer to particles, either directly or descriptively. We distinguish different versions of Factorism and argue for their truth or falsehood. In particular, by introducing the concepts of snapshot Hilbert-space and Schrödinger-movie, we demonstrate that there are Hilbert-spaces and $$\otimes$$ ⊗ -factorisations where the labels do refer, even descriptively, (...) to similar particles, which renders them probabilistically absolutely discernible. (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)

This paper puts forward the hypothesis that the distinctive features of quantum statistics are exclusively determined by the nature of the properties it describes. In particular, all statistically relevant properties of identical quantum particles in many-particle systems are conjectured to be irreducible, ‘inherent’ properties only belonging to the whole system. This allows one to explain quantum statistics without endorsing the ‘Received View’ that particles are non-individuals, or postulating that quantum systems obey peculiar probability distributions, or assuming that there are primitive (...) restrictions on the range of states accessible to such systems. With this, the need for an unambiguously metaphysical explanation of certain physical facts is acknowledged and satisfied. (shrink)

This paper concerns the question of whether Pauli's Exclusion Principle (EP) vindicates the contingent truth of Leibniz's Principle of the Identity of Indiscernibles (PII) for fermions as H. Weyl first suggested with the nomenclature ‘Pauli–Leibniz principle’. This claim has been challenged by a time-honoured argument, originally due to H. Margenau and further articulated and champione by other authors. According to this argument, the Exclusion Principle—far from vindicating Leibniz's principle—would refute it, since the same reduced state, viz. an improper mixture, can (...) be assigned as a separate state to each fermion of a composite system in antisymmetric state. As a result, the two fermions do have the same monadic state-dependent properties and hence are indiscernibles. PII would then be refuted in its strong version (viz. for monadic properties). I shall argue that a misleading assumption underlies Margenau's argument: in the case of two fermions in antisymmetric state, no separate states should be invoked since the states of the two particles are entangled and the improper mixture—assigned to each fermion by reduction—cannot be taken as an ontologically separate state nor consequently as encoding monadic properties. I shall then conclude that the notion of monadic properties together with the strong version of PII are inapplicable to fermions in antisymmetric state and this undercuts Margenau's argument. (shrink)

After decades of neglect philosophers of physics have discovered gauge theories--arguably the paradigm of modern field physics--as a genuine topic for foundational and philosophical research. Incidentally, in the last couple of years interest from the philosophy of physics in structural realism--in the eyes of its proponents the best suited realist position towards modern physics--has also raised. This paper tries to connect both topics and aims to show that structural realism gains further credence from an ontological analysis of gauge theories--in particular (...) U(1) gauge theory. In the first part of the paper the framework of fiber bundle gauge theories is briefly presented and the interpretation of local gauge symmetry will be examined. In the second part, an ontological underdetermination of gauge theories is carved out by considering the various kinds of non-locality involved in such typical effects as the Aharonov-Bohm effect. The analysis shows that the peculiar form of non-separability figuring in gauge theories is a variant of spatiotemporal holism and can be distinguished from quantum theoretic holism. In the last part of the paper the arguments for a gauge theoretic support of structural realism are laid out and discussed. (shrink)

To which ontological category do quantum systems belong? Although we usually speak of particles, it is well known that these peculiar items defy several traditional metaphysical principles. In the present chapter these challenges will be discussed in the light of certain distinctions usually not taken into account in the debate about the ontological nature of quantum systems. On this basis, it will be argued that an ontology of properties without individuals, framed in the algebraic formalism of quantum mechanics, provides adequate (...) answers to the ontological challenges raised by the theory.What kind of item is a quantum system? In the practice of physics it is common to speak of quantum particles, as if they were items of a similar nature to classical items, but obeying different laws of motion. However, as is well known, quantum systems have such peculiar features that they challenge certain ontological principles and categories as understood in traditional metaphysics. In general, these features are analyzed in the context of the so-called problem of indistinguishability, which is a consequence of the particular statistical behavior of quantum systems. But the fact that certain items are “indistinguishable” is not the only difficulty to be overcome in order to elucidate the ontological category of quantum systems. (shrink)

The aim of this paper is to introduce a new member of the family of the modal interpretations of quantum mechanics. In this modal-Hamiltonian interpretation, the Hamiltonian of the quantum system plays a decisive role in the property-ascription rule that selects the definite-valued observables whose possible values become actual. We show that this interpretation is effective for solving the measurement problem, both in its ideal and its non-ideal versions, and we argue for the physical relevance of the property-ascription rule by (...) applying it to well-known physical situations. Moreover, we explain how this interpretation supplies a description of the elemental categories of the ontology referred to by the theory, where quantum systems turn out to be bundles of possible properties. (shrink)

If quantum mechanics (QM) is to be taken as an atomistic theory with the elementary particles as atoms (an ATEP), then the elementary particlcs must be individuals. There must then be, for each elementary particle a, a property being identical with a that a alone has. But according to QM, elementary particles of the same kind share all physical properties. Thus, if QM is an ATEP, identity is a metaphysical but not a physical property. That has unpalatable consequences. Dropping the (...) assumption that QM is an ATEP makes it possible to replace the assumption that elementary particles are individuals with the assumption that there are various kinds of elementary stuff that have smallest quantities — the smallest quantity of light, for example, is a photon. The problems about identity disappear, and the explanatory virtues of an ATEP are maintained. (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.

In this paper I consider some logical and mathematical aspects of the discussion of the identity and individuality of quantum entities. I shall point out that for some aspects of the discussion, the logical basis cannot be put aside; on the contrary, it leads us to unavoidable conclusions which may have consequences in how we articulate certain concepts related to quantum theory. Behind the discussion, there is a general argument which suggests the possibility of a metaphysics of non-individuals, based on (...) a reasonable interpretation of quantum basic entities. I close the paper with a suggestion that consists in emphasizing that quanta should be referred to by the cardinalities of the collections to which they belong, for which an adequate mathematical framework seems to be possible. (shrink)

We critically examine the claim that identity is a fundamental concept. According to those putting forward this thesis, there are four related reasons that can be called upon to ground the fundamental character of identity: identity is presupposed in every conceptual system; identity is required to characterize individuality; identity cannot be defined; the intelligibility of quantification requires identity. We address each of these points and argue that none of them advances compelling reasons to hold that identity is fundamental; in fact, (...) most of the tasks that seem to require identity may be performed without identity. So, in the end, identity may not be a fundamental concept after all. (shrink)

The notion of strict identity is sometimes given an explicit second-order definition: objects with all the same properties are identical. Here, a somewhat different problem is raised: Under what conditions is the identity relation on the domain of a structure first-order definable? A structure may have objects that are distinct, but indiscernible by the strongest means of discerning them given the language (the indiscernibility formula). Here a number of results concerning the indiscernibility formula, and the definability of identity, are collected (...) and a number of applications discussed. (shrink)

In this paper, I try to decipher the role of internal symmetries in the ontological maze of particle physics. The relationship between internal symmetries and laws of nature is discussed within the framework of “Platonic realism.” The notion of physical “structure” is introduced as representing a deeper ontological layer behind the observable world. I argue that an internal symmetry is a structure encompassing laws of nature. The application of internal symmetry groups to particle physics came about in two revolutionary steps. (...) The first was the introduction of the internal symmetries of hadrons in the early 1960s. These global and approximate symmetries served as means of bypassing the dynamics. I argue that the realist could interpret these symmetries as ontologically prior to the hadrons. The second step was the gauge revolution in the 1970s, where symmetries became local and exact and were integrated with the dynamics. I argue that the symmetries of the second generation are fundamental in the following two respects: According to the so-called “gauge argument,” gauge symmetry dictates the existence of gauge bosons, which determine the nature of the forces. This view, which has been recently criticized by some philosophers, is widely accepted in particle physics at least as a heuristic principle. In view of grand unified theories, the new symmetries can be interpreted as ontologically prior to baryon matter. (shrink)

It has been suggested that puzzles in the interpretation of quantum mechanics motivate consideration of entities that are numerically distinct but do not stand in a relation of identity with themselves or non-identity with others. Quite apart from metaphysical concerns, I argue that talk about such entities is either meaningless or not about such entities. It is meaningless insofar as we attempt to take the foregoing characterization literally. It is meaningful, however, if talk about entities without identity is taken as (...) elliptical for either nominal or predicative use of a special class of mass terms. (shrink)

Physical theories continue to be interpreted in terms of particles. The idea of a particle required modification with the advent of quantum theory, but remains central to scientific explanation. Particle ontologies also have the virtue of explaining basic epistemic features of the world, and so remain appealing for the scientific realist. However, particle ontologies are untenable when coupled with the empirically necessary postulate of permutation invariance—the claim that permuting the roles of particles in a representation of a physical state results (...) in a representation of the same physical state. I demonstrate that any theory which is permutation invariant in this sense is incompatible with a particle ontology. (shrink)

Muller and Saunders ([2008]) purport to demonstrate that, surprisingly, bosons and fermions are discernible; this article disputes their arguments, then derives a similar conclusion in a more satisfactory fashion. After briefly explicating their proof and indicating how it escapes earlier indiscernibility results, we note that the observables which Muller and Saunders argue discern particles are (i) non-symmetric in the case of bosons and (ii) trivial multiples of the identity in the case of fermions. Both problems undermine the claim that they (...) have shown particles to be physically discernible. We then prove two results concerning observables that are truly physical: one showing when particles are discernible and one showing when they are not (categorically) discernible. Along the way we clarify some frequently misunderstood issues concerning the interpretation of quantum observables. 1 Background2 Criticisms2.1 Bosons2.2 Fermions3 Reformulating the Insight3.1 What weakly discerns?3.2 General results4 Conclusion. (shrink)

There has been considerable recent philosophical debate over the implications of many particle quantum mechanics for the metaphysics of individuality (cf. Huggett [1997]). In this paper I look at things from a rather different perspective: by investigating the significance of permutation symmetry. I consider how various philosophical positions link up to the physical postulate of the indistinguishability of permuted states-permutation invariance-and how this postulate is used to explain quantum statistics. I offer an explanation of the statistics that relies on the (...) neglected parallel between permutations and covariant spatial transformation. And I explore the parallel, showing that a further kind of symmetry explains why permutations are invariant when spatial symmetries are not. (shrink)

I want to review some ways in which Quantum Mechanics seems to affront our “common-sense” notions of identity. Let’s start with a list.

In previous works, an ontology of properties for quantum mechanics has been proposed, according to which quantum systems are bundles of properties with no principle of individuality. The aim of the present article is to show that, since quasi-set theory is particularly suited for dealing with aggregates of items that do not belong to the traditional category of individual, it supplies an adequate meta-language to speak of the proposed ontology of properties and its structure.

Simon Saunders argues that, although distinct objects must be discernible, they need only be weakly discernible (Saunders 2003, 2006a). I will argue that this combination of views is unmotivated: if there can be objects which differ only weakly, there can be objects which don’t differ at all.

Putative counterexamples to the Principle of Identity of Indiscernibles (PII) are notoriously inconclusive. I establish ground rules for debate in this area, offer a new response to such counterexamples for friends of the PII, but then argue that no response is entirely satisfactory. Finally, I undermine some positive arguments for PII.