In this paper we consider the notions of structure and models within the semantic approach to theories. To highlight the role of the mathematics used to build the structures which will be taken as the models of theories, we review the notion of mathematical structure and of the models of scientific theories. Then, we analyse a case-study and argue that if a certain metaphysical view of quantum objects is adopted, one seeing them as non-individuals, then there would be strong reasons to ask for a different mathematical framework for describing the structures that would be the models of the corresponding theory. In departing from the standard frameworks (those worked on within standard mathematics), we hope to bring to the scene, within the scope of the semantic approach, the importance of paying attention to some fundamental concepts usually only superficially touched by philosophers of science (if touched).
In this paper we consider the notions of structure and models within the semantic approach to theories. To highlight the role of the mathematics used to build the structures which will be taken as the models of theories, we review the notion of mathematical structure and of the models of scientific theories. Then, we analyse a case-study and argue that if a certain metaphysical view of quantum objects is adopted, one seeing them as non-individuals, then there would be strong reasons to ask for a different mathematical framework for describing the structures that would be the models of the corresponding theory. In departing from the standard frameworks (those worked on within standard mathematics), we hope to bring to the scene, within the scope of the semantic approach, the importance of paying attention to some fundamental concepts usually only superficially touched by philosophers of science (if touched).
Abstract. In this paper we consider the notions of structure and models within the semantic approach to theories. To highlight the role of the mathematics used to build the structures which will be taken as the models of theories, we review the notion of mathematical structure and of the models of scientific theories. Then, we analyse a case-study and argue that if a certain metaphysical view of quantum objects is adopted, namely, that which sees them as non-individuals, then there would be strong reasons to ask for a different mathematical framework for describ-ing the structures that would be the models of the corresponding theory. In departing from the standard frameworks (that is, worked on within standard mathematics), we hope to bring to the scene, within the scope of the semantic approach, the importance of paying attention to some fundamental concepts usually only superficially touched by philosophers of science (if touched).
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.
One recent debate in philosophy of physics has centered whether quantum particles are individuals or not. The received view is that particles are not individuals and the standard methodology is to approach the question via the structure of quantum theory. I challenge both the received view and the standard methodology. I contend not only that the structure of quantum theory is not the right place to look for conditions of individuality that quantum particles may or may not satisfy, but also that there is an important role for traditional metaphysics to play. Consequently, my work brings together the philosophy of physics and traditional metaphysics literatures to shed new light on the debate over the individuality of quantum particles. I defend a set of conditions of individuality and argue that quantum particles satisfy these conditions thereby defending the view that particles are individuals in opposition to the received view. I also challenge a second feature of the standard methodology insofar as I challenge the significance of the Principle of the Identity of Indiscernibles in terms of which much discussion in the philosophy of physics literature is framed. My work is significant in a number of additional ways as well. My work implies that the dominant explanation for quantum statistics in terms of non-individuality is incorrect and it also undermines the ontic-structural realists metaphysical underdetermination challenge to the scientific realist.
In this brief survey, we discuss some of the scientific and philosophical problems and debates that underlie the notions of identity , individuality and indistinguishability in physics and mathematics. We critically analyse the different positions for or against the existence of indistinguishable objects in different scientific theories, notably quantum mechanics and gauge theories in physics and homotopy type theory in mathematics. We argue that the different forms of indistinguishability that occur in many areas of physics and mathematics—far from being a problem to be eradicated—exhibit a rich formal structure that plays a key role in the corresponding theories that needs to be properly understood. This article is part of the theme issue ‘Identity, individuality and indistinguishability in physics and mathematics’.
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.
In the non-reflexive formulation of quantum physics, attention is given to a metaphysical view of quantum objects (q-objects) as non-individuals, characterised as entities to which the standard notion of identity lacks sense. The reference to the nature of q-objects is usually omitted in other interpretations and the most we can find is some vague reference to “to each [quantum] system we associate a Hilbert space”, and nothing more is said about them; we need to infer from the theory their characteristics, and it gives us several alternatives. One of them, to be justified here in broad aspects, is the non-individual view. It is important to enlighten that we are not trying to just find a way to deal with quantum entities but to defend a possible ontology of non-individuals, which can be applied also to ‘particles’ arising from quantum fields. Our account is based on two assumptions: (i) the ‘classical theory of identity’ does not apply to q-objects, and (ii) their non-individuality must be attributed from the start, that is, as a primitive notion and not ‘made a posteriori’ say by assuming symmetry principles. The underlying logic is called non-reflexive because the reflexive law of identity ∀x(x=x) is supposed not to hold for q-objects. Since all the details demand a lot of space, here we only sketch and justify our view. The references provide a more detailed account.