Intuitively, an individual is a unity, having identity and being such that it is possible at least in principle to discern it from any other individual. But when we leave the intuitive realm and attempt a logical analysis, we find a cluster of problems that are difficult to overcome within standard logico-mathematical apparatuses. This chapter is concerned with some aspects of this intuitive concept of an individual and some related facts about individuation taken from recent discussions that arise in quantum theory, pushing the discussion to a “logical” view. It characterizes individuals by means of invariance by automorphisms. The final part of the chapter proposes a metaphysics where the notion of identity is substituted, for some objects, by a weaker notion of indiscernibility, and the chapter tries to motivate and justify such a move.
Intuitively, an individual is a unity, having identity and being such that it is possible at least in principle to discern it from any other individual. But when we leave the intuitive realm and attempt a logical analysis, we find a cluster of problems that are difficult to overcome within standard logico-mathematical apparatuses. This chapter is concerned with some aspects of this intuitive concept of an individual and some related facts about individuation taken from recent discussions that arise in quantum theory, pushing the discussion to a “logical” view. It characterizes individuals by means of invariance by automorphisms. The final part of the chapter proposes a metaphysics where the notion of identity is substituted, for some objects, by a weaker notion of indiscernibility, and the chapter tries to motivate and justify such a move.
The notion of an individual and the related issues on individuation are topics that appear in the philosophical discussion ever since the antiquity. The idea of an individual thing is intuitively clear: an individual is something of a specific kind that is a unity, having its own identity, and being so that it is possible at least in principle to discern it from any other individual, even of similar species. But when we try to leave the intuitive realm and push this idea to a logical analysis, we find a cluster of problems that are difficult to overcome within standard logico-mathematical contexts. In this work, we shall be concerned with some aspects of this intuitive concept of an individual and on some related facts about individuation taken from recent discussions that arose ever since the inception of quantum theory, pushing the discussion to a “logical” view, which in our opinion is still lacking in the usual debates on such issues. In the final part of the paper, we propose a metaphysics where the notion of identity is substituted, for some objects, by a weaker notion of indiscernibility, and we try to justify such a move. In most of the uses of the expression “quantum theory”, we shall not make explicit the distinction between the non-relativistic and the relativistic approaches, although they of course are quite different, for we think that the problems as we shall present them appear in both versions. But, as the text goes, the context will distinguish between them and these questions will become clear to the reader.
The topics of identity, individuality and indiscernibility had already entered the domain of the philosophy of physics, mainly in what respects the philosophy of quantum theories. In this paper, I present the main ideas of an underlying metaphysics that considers the basic entities of quantum physics as non-individuals, that is, as entities to which the standard theory of identity of classical logic and standard mathematics (set theory) does not apply. Two things must be emphasized: the first is that we pursue Erwin Schrödinger’s ideas that the notion of identity (or sameness ) does not apply to quantum things; the second is to follow Heinz Post’s claim that the non-individuality of quantum entities ‘must be introduced right at the start’ and not by taking individuals and making them pretend to be non-individuals ‘by hand’, say by confining them to non-rigid structures. Thus, this paper should be regarded as an attempt to justify the metaphysics of non-individuals and the logical systems that cope with them, although these systems are here only referred to. We also answer some criticisms that have been directed to such a view. The paper is directed to an audience of both physicists interested in foundations and philosophers of physics. This article is part of the theme issue ‘Identity, individuality and indistinguishability in physics and mathematics’.
Abstract This introductory chapter presents an outline of the metaphysics of identity and individuality, which emphasizes the conceptual distinction between individuality and distinguishability. The Principle of Identity of Indiscernibles effectively reduces the former to the latter, but notions of haecceity, ‘transcendental individuality’, and ‘space-time’ individuality are also presented, with the aim of laying the groundwork for the subsequent considerations of identity and individuality in the quantum context. In particular, as identity in higher-order logic is defined in terms of indistinguishability and ‘countable’ objects which feature in set theory are typically taken to be those which have well-defined identity conditions, this metaphysical framework will underpin the rest of the discussions in this book.
Abstract Drawing on philosophical accounts of identity and individuality, as well as the histories of both classical and quantum physics, this book explores two alternative metaphysical approaches to quantum particles. It asks if quantum particles can be regarded as individuals, just like books, tables, and people. Taking the first approach, the book argues that if quantum particles are regarded as individuals, then Leibniz’s famous Principle of the Identity of Indiscernibles is in fact violated. Recent discussions of this conclusion are analysed in detail and the costs involved in saving the Principle are carefully considered. For the second approach, the book considers recent work in non-standard logic and set theory to indicate how we can make sense of the idea that objects can be non-individuals. The concluding chapter suggests how these results might then be extended to quantum field theory.
Abstract This chapter discusses the concepts of indistinguishability, individuality, and non-individuality in the quantum context. It is argued that the above view of particles as non-individuals is not a necessary consequence of the physics, and that quantum particles can be taken to be individuals, subject to certain constraints. However, the sense of individuality here cannot be understood in terms of the Identity of Indiscernibles, since on a standard interpretation of quantum theory, Leibniz’s Principle is violated by both fermions and bosons. Criticisms of this argument are reviewed, as is Saunders’ recent attempt to defend a Quinean form of the Principle. The consequences of regarding quantum particles as individuals are considered in detail, and Teller’s account of entanglement in terms of non-supervenient relations is developed in this context. The conclusion is reached that quantum physics supports two alternative metaphysical packages of individuality and non-individuality, yielding a stronger form of underdetermination, which can be used to support a form of structuralism.
In this article we try to justify a way of looking for an alternative approach to quantum mechanics based on a non-classical logic. The main motivation is both to accommodate a metaphysical view according to which quantum objects are non-individuals and to introduce, so to say, these objects within the formalism, for as we know, the usual formalism treats of states of quantum systems and not (directly) of quantum systems properly speaking. We consider two specific questions related to quantum theory, namely, entanglement and the indiscernibility of quanta. Our way of looking to these concepts motivate us to construct a metaphysical view according to which quantum objects do not present identity criterion (they are ‘non-individuals’), and then we try to construct a quantum theory based on such a view, which is grounded on a non-classical logic, termed non-reflexive. From the formal point of view, the main motivation comes from the fact that in using classical logic and classical set theory (such as ZFC), we are necessarily committed to individuals, and non-individuals can be considered only by assuming ‘strong’ symmetry principles, which mask the basic idea involving non-individuality. In the core of the article, due to questions of space, only the main philosophical arguments are presented, but in two appendixes we outline, firstly, quasi-set theory, the non-reflexive mathematical framework that sustain our view, and a bottom-top construction of a quantum mechanics based on quasi-set theory.