In this work we discuss logical structures related to indistinguishable particles. Most of the framework used to develop these structures was presented in [17, 28] and in [20, 14, 15, 16]. We use these structures and constructions to discuss possible ontologies for identical particles. In other words, we use these structures in order to characterize the logical structure of quantum systems for the case of indistinguishable particles, and draw possible philosophical implications. We also review some proposals available in the (...) literature which may be considered within the framework of the quantum logical tradition regarding the problem of indistinguishability. Besides these discussions and constructions, we advance novel technical results, namely, a lattice theoretical structure for identical particles for the finite dimensional case. This kind of approach was not present in the scarcely literature of quantum logic and indistinguishable particles. (shrink)

The suggestion that particles of the same kind may be indistinguishable in a fundamental sense, even so that challenges to traditional notions of individuality and identity may arise, has first come up in the context of classical statistical mechanics. In particular, the Gibbs paradox has sometimes been interpreted as a sign of the untenability of the classical concept of a particle and as a premonition that quantum theory is needed. This idea of a ‘quantum connection’ stubbornly persists in (...) the literature, even though it has also been criticized frequently. Here we shall argue that although this criticism is justified, the proposed alternative solutions have often been wrong and have not put the paradox in its right perspective. In fact, the Gibbs paradox is unrelated to fundamental issues of particle identity; only distinguishability in a pragmatic sense plays a role , and in principle the paradox always is there as long as the concept of a particle applies at all. In line with this we show that the paradox survives even in quantum mechanics, in spite of the quantum mechanical symmetrization postulates. (shrink)

We investigate the hypothesis that within a combination of a ‘number concept’ plus a ‘substantive concept’, such as ‘eleven animals’, the identity and indistinguishability present on the level of the concepts, i.e., all eleven animals are identical and indistinguishable, gives rise to a statistical structure of the Bose–Einstein type similar to how Bose–Einstein statistics is present for identical and indistinguishable quantum particles. We proceed by identifying evidence for this hypothesis by extracting the statistical data from the World-Wide-Web utilizing the (...) Google Search tool. By using the Kullback–Leibler divergence method, we then compare the obtained distribution with the Maxwell–Boltzmann as well as with the Bose–Einstein distributions and show that the Bose–Einstein’s provides a better fit as compared to the Maxwell–Boltzmann’s. (shrink)

The paper investigates the understanding of quantum indistinguishability after quantum information in comparison with the “classical” quantum mechanics based on the separable complex Hilbert space. The two oppositions, correspondingly “distinguishability / indistinguishability” and “classical / quantum”, available implicitly in the concept of quantum indistinguishability can be interpreted as two “missing” bits of classical information, which are to be added after teleportation of quantum information to be restored the initial state unambiguously. That new understanding of (...) quantum indistinguishability is linked to the distinction of classical (Maxwell-Boltzmann) versus quantum (either Fermi-Dirac or Bose-Einstein) statistics. The latter can be generalized to classes of wave functions (“empty” qubits) and represented exhaustively in Hilbert arithmetic therefore connectible to the foundations of mathematics, more precisely, to the interrelations of propositional logic and set theory sharing the structure of Boolean algebra and two anti-isometric copies of Peano arithmetic. (shrink)

This paper proposes a logic, motivated by modal interpretations, in which every quantum mechanics propositions has a truth-value. This logic is completely classical, hence violates the conditions of the Kochen-Specker theorem. It is shown how the violation occurs, and it is argued that this violation is a natural and acceptable consequence of modal interpretations. It is shown that despite its classicality, the proposed logic is empirically indistinguishable from quantum logic.

This paper proposes a logic, motivated by modal interpretations, in which every quantum mechanics propositions has a truth-value. This logic is completely classical, hence violates the conditions of the Kochen-Specker theorem. It is shown how the violation occurs, and it is argued that this violation is a natural and acceptable consequence of modal interpretations. It is shown that despite its classicality, the proposed logic is empirically indistinguishable from quantum logic.

On the one hand, non-reflexive logics are logics in which the principle of identity does not hold in general. On the other hand, quantum mechanics has difficulties regarding the interpretation of ‘particles’ and their identity, also known in the literature as ‘the problem of indistinguishable particles’. In this article, we will argue that non-reflexive logics can be a useful tool to account for such quantum indistinguishability. In particular, we will provide a particular non-reflexive logic that can help (...) us to analyze and discuss this problem. From a more general physical perspective, we will also analyze the limits imposed by the orthodox quantum formalism to consider the existence of indistinguishable particles in the first place, and argue that non-reflexive logics can also help us to think beyond the limits of classical identity. (shrink)

The new logic of partitions is dual to the usual Boolean logic of subsets (usually presented only in the special case of the logic of propositions) in the sense that partitions and subsets are category-theoretic duals. The new information measure of logical entropy is the normalized quantitative version of partitions. The new approach to interpreting quantum mechanics (QM) is showing that the mathematics (not the physics) of QM is the linearized Hilbert space version of the mathematics (...) of partitions. Or, putting it the other way around, the math of partitions is a skeletal version of the math of QM. The key concepts throughout this progression from logic, to logical information, to quantum theory are distinctions versus indistinctions, definiteness versus indefiniteness, or distinguishability versus indistinguishability. The distinctions of a partition are the ordered pairs of elements from the underlying set that are in different blocks of the partition and logical entropy is defined (initially) as the normalized number of distinctions. The cognate notions of definiteness and distinguishability run throughout the math of QM, e.g., in the key non-classical notion of superposition (= ontic indefiniteness) and in the Feynman rules for adding amplitudes (indistinguishable alternatives) versus adding probabilities (distinguishable alternatives). (shrink)

The question to be addressed is, In what sense and to what extent do quantum statistics for, and the standard formal quantum-mechanical description of, systems of many identical particles entail that identical quantum particles are indistinguishable? This paper argues that whether or not we consider identical quantum particles as indistinguishable is a matter of theory choice underdetermined by logic and experiment.

This book studies the foundations of quantum theory through its relationship to classical physics. This idea goes back to the Copenhagen Interpretation (in the original version due to Bohr and Heisenberg), which the author relates to the mathematical formalism of operator algebras originally created by von Neumann. The book therefore includes comprehensive appendices on functional analysis and C*-algebras, as well as a briefer one on logic, category theory, and topos theory. Matters of foundational as well as mathematical interest (...) that are covered in detail include symmetry (and its "spontaneous" breaking), the measurement problem, the Kochen-Specker, Free Will, and Bell Theorems, the Kadison-Singer conjecture, quantization, indistinguishable particles, the quantum theory of large systems, and quantum logic, the latter in connection with the topos approach to quantum theory. This book is Open Access under a CC BY licence. (shrink)

We model a piece of text of human language telling a story by means of the quantum structure describing a Bose gas in a state close to a Bose–Einstein condensate near absolute zero temperature. For this we introduce energy levels for the words (concepts) used in the story and we also introduce the new notion of ‘cogniton’ as the quantum of human thought. Words (concepts) are then cognitons in different energy states as it is the case for photons (...) in different energy states, or states of different radiative frequency, when the considered boson gas is that of the quanta of the electromagnetic field. We show that Bose–Einstein statistics delivers a very good model for these pieces of texts telling stories, both for short stories and for long stories of the size of novels. We analyze an unexpected connection with Zipf’s law in human language, the Zipf ranking relating to the energy levels of the words, and the Bose–Einstein graph coinciding with the Zipf graph. We investigate the issue of ‘identity and indistinguishability’ from this new perspective and conjecture that the way one can easily understand how two of ‘the same concepts’ are ‘absolutely identical and indistinguishable’ in human language is also the way in which quantum particles are absolutely identical and indistinguishable in physical reality, providing in this way new evidence for our conceptuality interpretation of quantum theory. (shrink)

We model a piece of text of human language telling a story by means of the quantum structure describing a Bose gas in a state close to a Bose–Einstein condensate near absolute zero temperature. For this we introduce energy levels for the words used in the story and we also introduce the new notion of ‘cogniton’ as the quantum of human thought. Words are then cognitons in different energy states as it is the case for photons in different (...) energy states, or states of different radiative frequency, when the considered boson gas is that of the quanta of the electromagnetic field. We show that Bose–Einstein statistics delivers a very good model for these pieces of texts telling stories, both for short stories and for long stories of the size of novels. We analyze an unexpected connection with Zipf’s law in human language, the Zipf ranking relating to the energy levels of the words, and the Bose–Einstein graph coinciding with the Zipf graph. We investigate the issue of ‘identity and indistinguishability’ from this new perspective and conjecture that the way one can easily understand how two of ‘the same concepts’ are ‘absolutely identical and indistinguishable’ in human language is also the way in which quantum particles are absolutely identical and indistinguishable in physical reality, providing in this way new evidence for our conceptuality interpretation of quantum theory. (shrink)

We model a piece of text of human language telling a story by means of the quantum structure describing a Bose gas in a state close to a Bose–Einstein condensate near absolute zero temperature. For this we introduce energy levels for the words used in the story and we also introduce the new notion of ‘cogniton’ as the quantum of human thought. Words are then cognitons in different energy states as it is the case for photons in different (...) energy states, or states of different radiative frequency, when the considered boson gas is that of the quanta of the electromagnetic field. We show that Bose–Einstein statistics delivers a very good model for these pieces of texts telling stories, both for short stories and for long stories of the size of novels. We analyze an unexpected connection with Zipf’s law in human language, the Zipf ranking relating to the energy levels of the words, and the Bose–Einstein graph coinciding with the Zipf graph. We investigate the issue of ‘identity and indistinguishability’ from this new perspective and conjecture that the way one can easily understand how two of ‘the same concepts’ are ‘absolutely identical and indistinguishable’ in human language is also the way in which quantum particles are absolutely identical and indistinguishable in physical reality, providing in this way new evidence for our conceptuality interpretation of quantum theory. (shrink)

It is usually stated that quantum mechanics presents problems with the identity of particles, the most radical position—supported by E. Schrödinger—asserting that elementary particles are not individuals. But the subject goes deeper, and it is even possible to obtain states with an undefined particle number. In this work we present a set theoretical framework for the description of undefined particle number states in quantum mechanics which provides a precise logical meaning for this notion. This construction goes in the (...) line of solving a problem posed by Y. Manin, namely, to incorporate quantum mechanical notions at the foundations of mathematics. We also show that our system is capable of representing quantum superpositions. (shrink)

This book compares various approaches to the interpretation of quantum mechanics, in particular those which are related to the key words "the Copenhagen interpretation", "the antirealist view", "quantum logic" and "hidden variable theory". Using the concept of "correlation" carefully analyzed in the context of classical probability and in quantum theory, the author provides a framework to compare these approaches. He also develops an extension of probability theory to construct a local hidden variable theory. The book should (...) be of interest for physicists and philosophers of science interested in the foundations of quantum theory. (shrink)

The purpose of this paper is to show that the mathematics of quantum mechanics is the mathematics of set partitions linearized to vector spaces, particularly in Hilbert spaces. That is, the math of QM is the Hilbert space version of the math to describe objective indefiniteness that at the set level is the math of partitions. The key analytical concepts are definiteness versus indefiniteness, distinctions versus indistinctions, and distinguishability versus indistinguishability. The key machinery to go from indefinite to more (...) definite states is the partition join operation at the set level that prefigures at the quantum level projective measurement as well as the formation of maximally-definite state descriptions by Dirac’s Complete Sets of Commuting Operators. This development is measured quantitatively by logical entropy at the set level and by quantum logical entropy at the quantum level. This follow-the-math approach supports the Literal Interpretation of QM—as advocated by Abner Shimony among others which sees a reality of objective indefiniteness that is quite different from the common sense and classical view of reality as being “definite all the way down”. (shrink)

Our aim in this paper is to take quite seriously Heinz Post’s claim that the non-individuality and the indiscernibility of quantum objects should be introduced right at the start, and not made a posteriori by introducing symmetry conditions. Using a different mathematical framework, namely, quasi-set theory, we avoid working within a label-tensor-product-vector-space-formalism, to use Redhead and Teller’s words, and get a more intuitive way of dealing with the formalism of quantum mechanics, although the underlying logic should be (...) modified. We build a vector space with inner product, the Q-space, using the non-classical part of quasi-set theory, to deal with indistinguishable elements. Vectors in Q-space refer only to occupation numbers and permutation operators act as the identity operator on them, reflecting in the formalism the fact of unobservability of permutations. Thus, this paper can be regarded as a tentative to follow and enlarge Heinsenberg’s suggestion that new phenomena require the formation of a new “closed” (that is, axiomatic) theory, coping also with the physical theory’s underlying logic and mathematics. (shrink)

We consider the problem of therelationship between the quantum and theclassical domains from the point of view that itis possible to speak of a direct physicaldescription of quantum systems havingphysical properties. We put emphasis, inevidencing it, on the specific quantum conceptof indistinguishability of identical in aconceptual way (and not in a logical way in thevein of ``da Costa's school''). In essence, thesubsequent argumentation deals with therelationship between the classical and thequantum, with the problem of the quantum (...) theoryof measurement. Even in the absence of adefinitive response to this problem, the bestattitude for the time being, as we cannot reducethe classical and the quantum one to the other,seems to be to accept their pacific coexistence,and this is possible with the toleranceprinciple of the ``pragmatic truth'' developedfrom a logical point of view by Newton daCosta.RESUMO. As áreas quântica eclássica enquanto provisórioscoexistentes parallelos. Abordamos oproblema da relação entre as áreasdo quântico e do clássico considerandoque é possível falar de umadescrição física direta de sistemas quânticos tendo propriedades.Insistimos, para isto, sobre o conceitoespecificamente quântico daindicernabilidade dos idênticos de um ponto devista conceptual (não de um ponto de vistalógico à maneira da ``escola da Costa'')como evidenciando isto. O essencial daargumentação a seguir tem como enfoquea relação clássico-quântico, como problema da teoria quântica damedição. Mesmo não tendo umaresposta definitiva para este, a melhor atitudepor enquanto, já que não se podemreduzir um ao outro o clássico e oquântico, nos parece ser esta de aceitar suacoexistência pacífica, o que épossível com o princípio detolerância da ``verdade pragmática''desenvolvida logicamente por Newton da Costa. (shrink)

The feasibility of establishing a proper notion of a distinguishable object in the context of the de Broglie–Bohm approach to quantum mechanics seems, at first sight, uncontroversial by virtue of the fact that this theory can supposedly be interpreted in terms of a system of objective particles distinguished by individuating properties. However, after conducting a critical revision and evaluation of this trivial interpretation, and having assessed different alternatives that have been proposed in recent literature, I argue that within this (...) theory an appropriate notion of a distinguishable object can only be articulated by means of the following theoretical and metaphysical strategies: firstly, by appealing to a pre-existing, symmetrized Bohmian framework that is empirically indistinguishable but physically distinguishable from the standard Bohmian formulation; and secondly, by suggesting a different interpretation of this symmetrized formulation based upon a relational notion of the distinguishable object that can only be appropriately conceived from a structuralist point of view. (shrink)

Nonreflexive quantum mechanics is a formulation of quantum theory based on a non- classical logic termed nonreflexive logic. 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 non-individuals in some sense, and also to take (...) into account the fact that they may be absolutely indistinguishable. 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. Here, we present the ideas of the development of nonreflexive quantum mechanics and discuss some philosophical motivations and consequences of it. (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)

There is a large literature on the issue of the lack of properties (i.e. accidents) in quantum mechanics (the problem of “hidden variables”) and also on the indistinguishability of particles. Both issues were discussed as far back as the late 1920’s. However, the implications of these challenges to classical ontology were taken up rather late, in part in the ‘quantum set theory’ of Takeuti (Curr Issues Quant Logic 303–322, 1981), Finkelstein (in Beltrametti EG, Van Fraassen BC (eds) (...) Current issues in quantum logic. Plenum, New York, 1981) and the work of Décio Krause (1992)—and subsequent publications). But the problems created by quantum mechanics go far beyond set theory or the identity of indiscernibles (another subject that has been often discussed)—it extends, I argue, to our accounts of truth. To solve this problem, i.e. to have an approach to truth that facilitates a transition from a classical to a quantum ontology one must have a unified framework for them both. This is done within the context of a pluralist view of truthmaking, where the truthmakers are unified in having a monoidal structure. The structure of the paper is as follows. After a brief introduction, the idea of a monoid is outlined (in Sect. 1) followed by a standard set of axioms that govern the truthmaker relation from elements of the monoid to the set of propositions. This is followed, in Sect. 2, by a discussion of how to have truthmakers for two kinds of necessities: tautologies and analytic truths. The next Sect. 3, then applies these ideas to quantum mechanics. It gives an account of quantum states and shows how these form a monoid. The final section then argues that quantum logic does not, despite what one might initially suspect, stand in the way of an account of quantum truth. (shrink)

The treatment of identical particles in quantum mechanics rests on two (related) principles: the spin-statistics connection and the Symmetrization Postulate. In light of recent theories (such as q-deformed commutators) that allow for ‘small’ violations of the spin-statistics connection and the Symmetrization Postulate, we revisit the issue of how quantum mechanics deals with identical particles and how it supports or fails to support various philosophical stances concerning individuality. As a consequence of the expanded possibilities for quantum statistics, we (...) argue that permutation symmetry is best formulated as a formal property of the state function describing the system of particles rather than as a property of the individual particles. 1 Introduction 2 Philosophical background 2.1 Important terminology 2.1.1 Identity 2.1.2 Indistinguishability 2.1.3 Indiscernibility 2.2 When are particles indistinguishable? 2.3 The Principle of the Identity of Indiscernibles and quantum mechanics 2.4 The Principle of the Identity of Indiscernibles and logic 2.5 Particle history 2.6 Transcendental individuality 3 Some quantum formalism 3.1 The Principle of Permutation Invariance and the Symmetrization Postulate 3.2 The configuration-space approach 3.3 Commutators and anticommutators, and identical particle statistics 3.4 Q-mutators 4 Identical particle statistics: a holistic point of view 5 Conclusions. (shrink)

We show that using quasi-set theory, or the theory of collections of indistinguishable objects, we can define an algebra that has most of the standard properties of an orthocomplete orthomodular lattice, which is the lattice of all closed subspaces of a Hilbert space. We call the mathematical structure so obtained $\mathfrak{I}$-lattice. After discussing (in a preliminary form) some aspects of such a structure, we indicate the next problem of axiomatizing the corresponding logic, that is, a logic which has (...) $\mathfrak{I}$-lattices as its Lindembaum algebra, which we postpone to a future work. Thus we conclude that the initial intuitions by Birkhoff and von Neumann that the ``logic of quantum mechanics" would be not classical logic (a Boolean algebra), is consonant with the idea of considering indistinguishability right from the start, that is, as a primitive concept. In the first sections, we present the main motivations and a ``classical'' situation which mirrors that one we focus on the last part of the paper. This paper is our first analysis of the algebraic structure of indiscernibility. (shrink)

We show that using quasi-set theory, or the theory of collections of indistinguishable objects, we can define an algebra that has most of the standard properties of an orthocomplete orthomodular lattice, which is the lattice of all closed subspaces of a Hilbert space. We call the mathematical structure so obtained $\mathfrak{I}$-lattice. After discussing some aspects of such a structure, we indicate the next problem of axiomatizing the corresponding logic, that is, a logic which has $\mathfrak{I}$-lattices as its Lindembaum (...) algebra, which we postpone to a future work. Thus we conclude that the initial intuitions by Birkhoff and von Neumann that the ``logic of quantum mechanics" would be not classical logic, is consonant with the idea of considering indistinguishability right from the start, that is, as a primitive concept. In the first sections, we present the main motivations and a ``classical'' situation which mirrors that one we focus on the last part of the paper. This paper is our first analysis of the algebraic structure of indiscernibility. (shrink)

In a series of recent papers, Simon Saunders, Fred Muller, and Michael Seevinck have collectively argued, against the folklore, that some nontrivial version of Leibniz’s principle of the identity of indiscernibles is upheld in quantum mechanics. They argue that all particles—fermions, paraparticles, anyons, even bosons—may be weakly discerned by some physical relation. Here I show that their arguments make illegitimate appeal to nonsymmetric, that is, permutation-noninvariant, quantities and that therefore their conclusions do not go through. However, I show that (...) alternative, symmetric quantities may be found to do the required work. I conclude that the Saunders-Muller-Seevinck heterodoxy can be saved. (shrink)

Paraconsistent quantum logics are weak forms of quantum logic, where the noncontradiction and the excluded-middle laws are violated. These logics find interesting applications in the operational approach to quantum mechanics. In this paper, we present an axiomatization, a Kripke-style, and an algebraic semantical characterization for two forms of paraconsistent quantum logic. Further developments are contained in Giuntini and Greuling's paper in this issue.

Itamar Pitowsky's book, published in the Springer-Verlag Lecture Notes in Physics series, brings together several extremely interesting component investigations concerning the foundations of quantum mechanics. All deal with issues of probability including, in one case, the relation of probability to logic. It is a significant contribution, offering both new, nontrivial mathematical results, and provocative philosophical remarks about their significance.

Logical information theory is the quantitative version of the logic of partitions just as logical probability theory is the quantitative version of the dual Boolean logic of subsets. The resulting notion of information is about distinctions, differences and distinguishability and is formalized using the distinctions of a partition. All the definitions of simple, joint, conditional and mutual entropy of Shannon information theory are derived by a uniform transformation from the corresponding definitions at the logical level. The purpose of (...) this paper is to give the direct generalization to quantum logical information theory that similarly focuses on the pairs of eigenstates distinguished by an observable, i.e., qudits of an observable. The fundamental theorem for quantum logical entropy and measurement establishes a direct quantitative connection between the increase in quantum logical entropy due to a projective measurement and the eigenstates that are distinguished by the measurement. Both the classical and quantum versions of logical entropy have simple interpretations as “two-draw” probabilities for distinctions. The conclusion is that quantum logical entropy is the simple and natural notion of information for quantum information theory focusing on the distinguishing of quantum states. (shrink)

We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others (Among whom we may count or not E. W. Beth, depending on how we interpret some of his statements), our answer is a clear "no". Philosophically, our argument is based on combining a formal semantic approach, in the spirit of E. W. Beth's proposal of applying Tarski's semantical methods to the analysis of physical (...) theories, with an empirical-experimental approach to Logic, as advocated by both Beth and Putnam, but understood by us in the view of the operationalrealistic tradition of Jauch and Piron, i. e. as an investigation of "the logic of yes-no experiments" (or "questions"). Technically, we use the recently-developed setting of Quantum Dynamic Logic (Baltag and Smets 2005, 2008) to make explicit the operational meaning of quantum-mechanical concepts in our formal semantics. Based on our recent results (Baltag and Smets 2005), we show that the correct interpretation of quantum-logical connectives is dynamical, rather than purely propositional. We conclude that there is no contradiction between classical logic and (our dynamic reinterpretation of) quantum logic. Moreover, we argue that the Dynamic-Logical perspective leads to a better and deeper understanding of the "non-classicality" of quantum behavior than any perspective based on static Propositional Logic. (shrink)

The recently established universal uncertainty principle revealed that two nowhere commuting observables can be measured simultaneously in some state, whereas they have no joint probability distribution in any state. Thus, one measuring apparatus can simultaneously measure two observables that have no simultaneous reality. In order to reconcile this discrepancy, an approach based on quantum logic is proposed to establish the relation between quantum reality and measurement. We provide a language speaking of values of observables independent of measurement (...) based on quantum logic and we construct in this language the state-dependent notions of joint determinateness, value identity, and simultaneous measurability. This naturally provides a contextual interpretation, in which we can safely claim such a statement that one measuring apparatus measures one observable in one context and simultaneously it measures another nowhere commuting observable in another incompatible context. (shrink)

Since the pioneering work of Birkhoff and von Neumann, quantum logic has been interpreted as the logic of (closed) subspaces of a Hilbert space. There is a progression from the usual Boolean logic of subsets to the "quantum logic" of subspaces of a general vector space--which is then specialized to the closed subspaces of a Hilbert space. But there is a "dual" progression. The notion of a partition (or quotient set or equivalence relation) is (...) dual (in a category-theoretic sense) to the notion of a subset. Hence the Boolean logic of subsets has a dual logic of partitions. Then the dual progression is from that logic of partitions to the quantum logic of direct-sum decompositions (i.e., the vector space version of a set partition) of a general vector space--which can then be specialized to the direct-sum decompositions of a Hilbert space. This allows the logic to express measurement by any self-adjoint operators rather than just the projection operators associated with subspaces. In this introductory paper, the focus is on the quantum logic of direct-sum decompositions of a finite-dimensional vector space (including such a Hilbert space). The primary special case examined is finite vector spaces over ℤ₂ where the pedagogical model of quantum mechanics over sets (QM/Sets) is formulated. In the Appendix, the combinatorics of direct-sum decompositions of finite vector spaces over GF(q) is analyzed with computations for the case of QM/Sets where q=2. (shrink)

This paper is a continuation of the authors' attempts to deal with the notion of indistinguishability (or indiscernibility) from a logical point of view. Now we introduce a two-sorted first-order modal logic to enable us to deal with objects of two different species. The intended interpretation is that objects of one of the species obey the rules of standard S5, while the objects of the other species obey only the rules of a weaker notion of indiscernibility. Quantum mechanics (...) motivates the development. The basic idea is that in the ‘actual’ world things may be indiscernible but in another accessible world they may be distinguished in some way. That is, indistinguishability needs not be seen as a necessary relation. Contrariwise, things might be distinguished in the ‘actual’ world, but they may be indiscernible in another world. So, while two quantum systems may be entangled in the actual world, in some accessible world, due to a measurement, they can be discerned, and on the other hand, two initially separated quantum systems may enter in a state of superposition, losing their individualities. Two semantics are sketched for our system. The first is constructed within a standard set theory (the ZFC system is assumed at the metamathematics). The second one is constructed within the theory of quasi-sets, which we believe suits better the purposes of our logic and the mathematical treatment of certain situations in quantum mechanics. Some further philosophically related topics are considered. (shrink)

In this work we present a dynamical approach to quantum logics. By changing the standard formalism of quantum mechanics to allow non-Hermitian operators as generators of time evolution, we address the question of how can logics evolve in time. In this way, we describe formally how a non-Boolean algebra may become a Boolean one under certain conditions. We present some simple models which illustrate this transition and develop a new quantum logical formalism based in complex spectral resolutions, (...) a notion that we introduce in order to cope with the temporal aspect of the logical structure of quantum theory. (shrink)

Lattice logic, bilattice logic, and paraconsistent quantum logic are investigated based on monosequent systems. Paraconsistent quantum logic is an extension of lattice logic, and bilattice logic is an extension of paraconsistent quantum logic. Monosequent system is a sequent calculus based on the restricted sequent that contains exactly one formula in both the antecedent and succedent. It is known that a completeness theorem with respect to a lattice-valued semantics holds for a (...) monosequent system for lattice logic. A completeness theorem with respect to a lattice-valued semantics is proved for paraconsistent quantum logic, and a completeness theorem with respect to a bilattice-valued semantics is proved for bilattice logic. Some syntactical properties, including cut-elimination and duality, are also investigated for the monosequent systems for these logics. (shrink)

One of the most interesting programs in the foundations of quantum mechanics is the realist quantum logic approach associated with Putnam, Bub, Demopoulos and Friedman (and which is the focus of my own research.) I believe that realist quantum logic is our best hope for making sense of quantum mechanics, but I have come to suspect that the usual version may not be the correct one. In this paper, I would like to say why (...) and to propose an alternative. (shrink)

Quantum logic understood as a reconstruction program had real successes and genuine limitations. This paper offers a synopsis of both and suggests a way of seeing quantum logic in a larger, still thriving context.

This book provides a general survey of the main concepts, questions and results that have been developed in the recent interactions between quantum information, quantum computation and logic. Divided into 10 chapters, the books starts with an introduction of the main concepts of the quantum-theoretic formalism used in quantum information. It then gives a synthetic presentation of the main “mathematical characters” of the quantum computational game: qubits, quregisters, mixtures of quregisters, quantum logical gates. (...) Next, the book investigates the puzzling entanglement-phenomena and logically analyses the Einstein–Podolsky–Rosen paradox and introduces the reader to quantum computational logics, and new forms of quantum logic. The middle chapters investigate the possibility of a quantum computational semantics for a language that can express sentences like “Alice knows that everybody knows that she is pretty”, explore the mathematical concept of quantum Turing machine, and illustrate some characteristic examples that arise in the framework of musical languages. The book concludes with an analysis of recent discussions, and contains a Mathematical Appendix which is a survey of the definitions of all main mathematical concepts used in the book. (shrink)

In Coecke (2002) we proposed the intuitionistic or disjunctive representation of quantum logic, i.e., a representation of the property lattice of physical systems as a complete Heyting algebra of logical propositions on these properties, where this complete Heyting algebra goes equipped with an additional operation, the operational resolution, which identifies the properties within the logic of propositions. This representation has an important application “towards dynamic quantum logic”, namely in describing the temporal indeterministic propagation of actual (...) properties of physical systems. This paper can as such by conceived as an addendum to “Quantum Logic in Intuitionistic Perspective” that discusses spin-off and thus provides an additional motivation. We derive a quantaloidal semantics for dynamic disjunctive quantum logic and illustrate it for the particular case of a perfect (quantum) measurement. (shrink)

Is the quantum-logic interpretation dead? Its near total absence from current discussions about the interpretation of quantum theory suggests so. While mathematical work on quantum logic continues largely unabated, interest in the quantum-logic interpretation seems to be almost nil, at least in Anglo-American philosophy of physics. This paper has the immodest purpose of changing that fact. I shall argue that while the quantum-logic interpretation faces challenges, it remains a live option. The (...) usual objections either miss the mark, or admit a reasonable answer, or fail to decide the issue conclusively. (shrink)

This paper gives a formulation of quantum logic in the abstract algebraic setting laid out by Dunn and Hardegree (2001). On this basis, it provides a comparative analysis of viable quantum logical bivalent semantics and their classical counterparts, thereby showing that the truth-functional status of classical and quantum connectives is not as different as usually thought. Then it points out that bivalent semantics for quantum logic - compatible with realism about quantum mechanics - (...) can be maintained, albeit at the price of truth-functionality. Finally, the paper improves on Hellman (1980)'s argument that this lack of truth-functionality entails a change of meaning between classical and quantum logical connectives. (shrink)

In 1936, G. Birkhoff and J. v. Neumann published an article with the title The logic of quantum mechanics'. In this paper, the authors demonstrated that in quantum mechanics the most simple observables which correspond to yes-no propositions about a quantum physical system constitute an algebraic structure, the most important proper ties of which are given by an orthocomplemented and quasimodular lattice Lq. Furthermore, this lattice of quantum mechanical proposi tions has, from a formal point (...) of view, many similarities with a Boolean lattice L8 which is known to be the lattice of classical propositional logic. Therefore, one could conjecture that due to the algebraic structure of quantum mechanical observables a logical calculus Q of quantum mechanical propositions is established, which is slightly different from the calculus L of classical propositional logic but which is applicable to all quantum mechanical propositions. This calculus has sometimes been called 'quan tum logic'. However, the statement that propositions about quantum physical systems are governed by the laws of quantum logic, which differ from ordinary classical logic and which are based on the empirically well-established quantum theory, is exposed to two serious objec tions: Logic is a theory which deals with those relationships between various propositions that are valid independent of the content of the respective propositions. Thus, the validity of logical relationships is not restricted to a special type of proposition, e. g. to propositions about classical physical systems. (shrink)

In their seminal paper Birkhoff and von Neumann revealed the following dilemma:[ ] whereas for logicians the orthocomplementation properties of negation were the ones least able to withstand a critical analysis, the study of mechanics points to the distributive identities as the weakest link in the algebra of logic.

Is the quantum-logic interpretation dead? Its near total absence from current discussions about the interpretation of quantum theory suggests so. While mathematical work on quantum logic continues largely unabated, interest in the quantum-logic interpretation seems to be almost nil, at least in Anglo-American philosophy of physics. This paper has the immodest purpose of changing that fact. I shall argue that while the quantum-logic interpretation faces challenges, it remains a live option. The (...) usual objections either miss the mark, or admit a reasonable answer, or fail to decide the issue conclusively. (shrink)

A decade ago, Isham and Butterfield proposed a topos-theoretic approach to quantum mechanics, which meanwhile has been extended by Döring and Isham so as to provide a new mathematical foundation for all of physics. Last year, three of the present authors redeveloped and refined these ideas by combining the C*-algebraic approach to quantum theory with the so-called internal language of topos theory (Heunen et al. in arXiv:0709.4364). The goal of the present paper is to illustrate our abstract setup (...) through the concrete example of the C*-algebra M n (ℂ) of complex n×n matrices. This leads to an explicit expression for the pointfree quantum phase space Σ n and the associated logical structure and Gelfand transform of an n-level system. We also determine the pertinent non-probabilisitic state-proposition pairing (or valuation) and give a very natural topos-theoretic reformulation of the Kochen–Specker Theorem.In our approach, the nondistributive lattice ℘(M n (ℂ)) of projections in M n (ℂ) (which forms the basis of the traditional quantum logic of Birkhoff and von Neumann) is replaced by a specific distributive lattice $\mathcal{O}(\Sigma_{n})$ of functions from the poset $\mathcal{C}(M_{n}(\mathbb{C}))$ of all unital commutative C*-subalgebras C of M n (ℂ) to ℘(M n (ℂ)). The lattice $\mathcal{O}(\Sigma_{n})$ is essentially the (pointfree) topology of the quantum phase space Σ n , and as such defines a Heyting algebra. Each element of $\mathcal{O}(\Sigma_{n})$ corresponds to a “Bohrified” proposition, in the sense that to each classical context $C\in\mathcal{C}(M_{n}(\mathbb{C}))$ it associates a yes-no question (i.e. an element of the Boolean lattice ℘(C) of projections in C), rather than being a single projection as in standard quantum logic. Distributivity is recovered at the expense of the law of the excluded middle (Tertium Non Datur), whose demise is in our opinion to be welcomed, not just in intuitionistic logic in the spirit of Brouwer, but also in quantum logic in the spirit of von Neumann. (shrink)