Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Non-Reflexive Quantum Logics

Steven French, Décio Krause

Published Jun 22, 2006• 0 citations
Publisher

Abstract

Abstract Traditionally by ‘quantum logic’, one understands the study of the lattice of the subspace of Hilbert space. Here, ‘quantum logic’ is taken to be the underlying logic of quantum physics. Following Schrödinger’s idea that the standard concept of identity cannot be applied to quantum objects, a kind of ‘non-reflexive’ logic called Schrödinger logic is presented, in which the reflexive law of identity is taken not to apply. First order Schrödinger logics are presented, and extended to higher order logics and also to an intensional logic. Classical semantics is presented, and a weak completeness theorem is sketched. The last part of the chapter covers a logic of sortal predicates for which a quasi-set semantics is delineated. This completes the formal framework capable of accommodating quantum non-individuality and thus the initial understanding of Born, Heisenberg, and Schrödinger, as well as the second horn of the above metaphysical underdetermination, can be formally represented.

DOI
10.1093/0199278245.003.0008

Related papers

The Non-Reflexive Formulation of Quantum Mechanics: the Whys and the Hows

Décio Krause

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 \(\forall{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.

Qeios•Mar 19, 2025•0 citations

The problem of identity and a justification for a non-reflexive quantum mechanics

Décio Krause

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.

Logic Journal of IGPL•Jul 31, 2013•3 citations

Presenting Nonreflexive Quantum Mechanics: Formalism and Metaphysics

Décio Krause, Jonas R. Becker Arenhart

Nonreflexive quantum mechanics is a formulation of quantum theory based on a non-classical logic termed \ita{nonreflexive logic} (a.k.a. `non-reflexive'). In these logics, the standard notion of identity, as encapsulated in classical logic and set theories, does not hold in full. The basic aim of this kind of approach to quantum mechanics is to take seriously the claim made by some authors according to whom quantum particles are \ita{non-individuals} in some sense, and also to take into account the fact that they may be absolutely indistinguishable (or indiscernible). The nonreflexive formulation of quantum theory assumes these features of the objects already at the level of the underlying logic, so that no use is required of symmetrization postulates or other mathematical devices that serve to pretend that the objects are indiscernible (when they are not: all objects that obey classical logic are \ita{individuals} in a sense). Here, we present the ideas of the development of nonreflexive quantum mechanics and discuss some philosophical (mainly metaphysical) motivations and consequences of it.

arXiv:1510.07297•Jan 1, 2015•4 citations

Beyond Quantum Individuals: Quasi-Sets and the Philosophy of Quantum Logics

José Alejandro Fernández Cuesta, Juan Pablo Jorge

Abstract Standard quantum logics are typically defined over the orthomodular lattice associated with Hilbert space, yet there is no consensus on how this structure should be interpreted logically or ontologically. This paper offers a unified perspective on these issues by combining an epistemological three-layer model for scientific theories with quantum set theory. We argue that quasi-set theory is best understood not as an alternative semantics for quantum logics, but as an ontological framework operating at a different epistemological level: the ontological one. From this standpoint, the distinctive non-classical features of quantum logic are explained by representational assumptions about identity and individuality, rather than by positing any direct revisions of the logical principles themselves.

International Journal of Theoretical Physics•Mar 27, 2026•0 citations

On identity, indiscernibility and (non-)individuality in the quantum domain

Décio Krause

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

Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences•Jul 30, 2023•7 citations

Systems of quantum logic

R I G Hughes

According to quantum mechanics, the pure states of a microsystem are represented by vectors in a Hilbert Space. Sentences of the form, "x є L" (where x is the state vector for a system, L a subspace of the appropriate Hilbert space), may be called Q-propositions: such sentences serve to summarise our information about the results of possible experiments on the system. Quantum logic investigates the relations which hold among the Q-propositions about a given physical sys tem. These logical relations correspond to algebraic relations among the subspaces of Hilbert space. The algebra of this set of subspaces is non-Boolean, and may be regarded either as an orthomodular lattice or as a partial Boolean algebra. With each type of structure we can associate a logic. A general approach to the semantics for such a logic is provided in terms of interpretations of a formal language within an algebraic structure; an interpretation maps sentences of the language homomorphically onto elements of the structure. When the structure in question is a Boolean algera, the resulting logic is classical; here we develop a semantics for the logic associated with partial Boolean algebras. Two systems of proof, based on the natural deduction systems of Gentzen, are shown for this logic. With respect to the given sematics, these calculi are sound and weakly complete. Strong completeness is conjectured. Quantum logic deals with the logical relations between sentences, and so is properly called a logic. However, it is the logic appropriate to a limited class of sentences: proposals that it should replace classical logic wherever the latter is used should be viewed with suspicion.

•Jan 1, 2010•0 citations
Abstract Traditionally by ‘quantum logic’, one understands the study of the lattice of the subspace of Hilbert space. Here, ‘quantum logic’ is taken to be the underlying logic of quantum physics. Following Schrödinger’s idea that the standard concept of identity cannot be applied to quantum objects, a kind of ‘non-reflexive’ logic called Schrödinger logic is presented, in which the reflexive law of identity is taken not to apply. First order Schrödinger logics are presented, and extended to higher order logics and also to an intensional logic. Classical semantics is presented, and a weak completeness theorem is sketched. The last part of the chapter covers a logic of sortal predicates for which a quasi-set semantics is delineated. This completes the formal framework capable of accommodating quantum non-individuality and thus the initial understanding of Born, Heisenberg, and Schrödinger, as well as the second horn of the above metaphysical underdetermination, can be formally represented.
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)\forall{x{({x = x})}}∀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.
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.
Nonreflexive quantum mechanics is a formulation of quantum theory based on a non-classical logic termed \ita{nonreflexive logic} (a.k.a. `non-reflexive'). In these logics, the standard notion of identity, as encapsulated in classical logic and set theories, does not hold in full. The basic aim of this kind of approach to quantum mechanics is to take seriously the claim made by some authors according to whom quantum particles are \ita{non-individuals} in some sense, and also to take into account the fact that they may be absolutely indistinguishable (or indiscernible). The nonreflexive formulation of quantum theory assumes these features of the objects already at the level of the underlying logic, so that no use is required of symmetrization postulates or other mathematical devices that serve to pretend that the objects are indiscernible (when they are not: all objects that obey classical logic are \ita{individuals} in a sense). Here, we present the ideas of the development of nonreflexive quantum mechanics and discuss some philosophical (mainly metaphysical) motivations and consequences of it.
Abstract Standard quantum logics are typically defined over the orthomodular lattice associated with Hilbert space, yet there is no consensus on how this structure should be interpreted logically or ontologically. This paper offers a unified perspective on these issues by combining an epistemological three-layer model for scientific theories with quantum set theory. We argue that quasi-set theory is best understood not as an alternative semantics for quantum logics, but as an ontological framework operating at a different epistemological level: the ontological one. From this standpoint, the distinctive non-classical features of quantum logic are explained by representational assumptions about identity and individuality, rather than by positing any direct revisions of the logical principles themselves.
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’.
According to quantum mechanics, the pure states of a microsystem are represented by vectors in a Hilbert Space. Sentences of the form, "x є L" (where x is the state vector for a system, L a subspace of the appropriate Hilbert space), may be called Q-propositions: such sentences serve to summarise our information about the results of possible experiments on the system. Quantum logic investigates the relations which hold among the Q-propositions about a given physical sys tem. These logical relations correspond to algebraic relations among the subspaces of Hilbert space. The algebra of this set of subspaces is non-Boolean, and may be regarded either as an orthomodular lattice or as a partial Boolean algebra. With each type of structure we can associate a logic. A general approach to the semantics for such a logic is provided in terms of interpretations of a formal language within an algebraic structure; an interpretation maps sentences of the language homomorphically onto elements of the structure. When the structure in question is a Boolean algera, the resulting logic is classical; here we develop a semantics for the logic associated with partial Boolean algebras. Two systems of proof, based on the natural deduction systems of Gentzen, are shown for this logic. With respect to the given sematics, these calculi are sound and weakly complete. Strong completeness is conjectured. Quantum logic deals with the logical relations between sentences, and so is properly called a logic. However, it is the logic appropriate to a limited class of sentences: proposals that it should replace classical logic wherever the latter is used should be viewed with suspicion.