Friedman and Putnam have argued (Friedman and Putnam 1978) that the quantum logical interpretation of quantum mechanics gives us an explanation of interference that the Copenhagen interpretation cannot supply without invoking an additional ad hoc principle, the projection postulate. I show that it is possible to define a notion of equivalence of experimental arrangements relative to a pure state φ , or (correspondingly) equivalence of Boolean subalgebras in the partial Boolean algebra of projection operators of a system, which (...) plays a role in the Copenhagen explanation of interference analogous to the role played by the material equivalence, given φ , of certain propositions in the Friedman-Putnam quantum logical analysis. I also show that the quantum logical interpretation and the Copenhagen interpretation are equally capable of avoiding the paradoxical conclusion of the Einstein-Podolsky-Rosen argument (Einstein, Podolsky, and Rosen 1935). Thus, neither interference phenomena nor the correlations between separated systems provide a test case for distinguishing between the relative acceptability of the Copenhagen interpretation and the quantum logical interpretation as explanations of quantum effects. (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)

Quantum geometry on a discrete set means a directed graph with a weight associated to each arrow defining the quantum metric. However, these ‘lattice spacing’ weights do not have to be independent of the direction of the arrow. We use this greater freedom to give a quantum geometric interpretation of discrete Markov processes with transition probabilities as arrow weights, namely taking the diffusion form ∂+f = f for the graph Laplacian Δθ, potential functions q, p built from (...) the probabilities, and finite difference ∂+ in the time direction. Motivated by this new point of view, we introduce a ‘discrete Schrödinger process’ as ∂+ψ = ıψ for the Laplacian associated to a bimodule connection such that the discrete evolution is unitary. We solve this explicitly for the 2-state graph, finding a 1-parameter family of such connections and an induced ‘generalised Markov process’ for f = |ψ|2 in which there is an additional source current built from ψ. We also mention our recent work on the quantum geometry of logic in ‘digital’ form over the field F2 = {0, 1}, including de Morgan duality and its possible generalisations. (shrink)

The use of probability theory is widespread in our daily life as well as in scientific theories. In virtually all cases, calculations can be carried out within the framework of classical probability theory. A special exception is given by quantum mechanics, which gives rise to a new probability theory: quantum probability theory. This dissertation deals with the question of how this formalism can be understood from a philosophical and physical perspective. The dissertation is divided (...) into three parts. In the first part, the formalism of quantum probability theory and its relation to quantum mechanics is presented. The second part considers the possibility of reformulating quantum probability theory to embed it within classical probability. Mathematically, this possibility overlaps with the possibility of the existence of hidden variables theories of quantum mechanics: theories that attempt to solve fundamental problems in quantum mechanics by introducing additional physical properties of systems. The conclusion of this part is that, although classical reformulations of quantum probability theory are formally possible, they offer little insight into the formalism of quantum probability theory itself. The third part regards a more direct investigation of quantum probability theory. A reformulation of quantum probability theory is obtained by constructing a quantum logic on the basis of empirical non-probabilistic predictions of quantum mechanics. In this reformulation quantum probability functions are conditional probability functions on an algebra of propositions about measurements and measurement outcomes. (shrink)

During the academic years 1972-1973 and 1973-1974, an intensive sem inar on the foundations of quantum mechanics met at Stanford on a regular basis. The extensive exploration of ideas in the seminar led to the org~ization of a double issue of Synthese concerned with the foundations of quantum mechanics, especially with the role of logic and probability in quantum meChanics. About half of the articles in the volume grew out of this seminar. The remaining articles have (...) been so licited explicitly from individuals who are actively working in the foun dations of quantum mechanics. Seventeen of the twenty-one articles appeared in Volume 29 of Syn these. Four additional articles and a bibliography on -the history and philosophy of quantum mechanics have been added to the present volume. In particular, the articles by Bub, Demopoulos, and Lande, as well as the second article by Zanotti and myself, appear for the first time in the present volume. In preparing the articles for publication I am much indebted to Mrs. Lillian O'Toole, Mrs. Dianne Kanerva, and Mrs. Marguerite Shaw, for their extensive assistance. (shrink)

Probability measures can be constructed using the measure-theoretic techniques of Caratheodory and Hausdorff. Under these constructions one obtains first an outer measure over "events" or "propositions." Then, if one restricts this outer measure to the measurable propositions, one finally obtains a classical probability theory. What I argue is that outer measures can also be used to yield the structures of probability theories in quantum mechanics, provided we permit them to range over at least some unmeasurable propositions. (...) I thereby show that nonclassical probability theories can be seen to arise naturally within the framework of possible worlds semantics. (shrink)

This volume provides a broad perspective on the state of the art in the philosophy and conceptual foundations of quantum mechanics. Its essays take their starting point in the work and influence of Itamar Pitowsky, who has greatly influenced our understanding of what is characteristically non-classical about quantum probabilities and quantum logic, and this serves as a vantage point from which they reflect on key ongoing debates in the field. Readers will find a definitive and multi-faceted description (...) of the major open questions in the foundations of quantum mechanics today, including: Is quantum mechanics a new theory of (contextual) probability? Should the quantum state be interpreted objectively or subjectively? How should probability be understood in the Everett interpretation of quantum mechanics? What are the limits of the physical implementation of computation? The impact of this volume goes beyond the exposition of Pitowsky’s influence: it provides a unique collection of essays by leading thinkers containing profound reflections on the field. (shrink)

The term “vagueness” describes a property of natural concepts, which normally have fuzzy boundaries, admit borderline cases, and are susceptible to Zeno's sorites paradox. We will discuss the psychology of vagueness, especially experiments investigating the judgment of borderline cases and contradictions. In the theoretical part, we will propose a probabilistic model that describes the quantitative characteristics of the experimental finding and extends Alxatib's and Pelletier's () theoretical analysis. The model is based on a Hopfield network for predicting truth values. Powerful (...) as this classical perspective is, we show that it falls short of providing an adequate coverage of the relevant empirical results. In the final part, we will argue that a substantial modification of the analysis put forward by Alxatib and Pelletier and its probabilistic pendant is needed. The proposed modification replaces the standard notion of probabilities by quantum probabilities. The crucial phenomenon of borderline contradictions can be explained then as a quantum interference phenomenon. (shrink)

We introduce a model with a set of experiments of which the probabilities of the outcomes coincide with the quantum probabilities for the spin measurements of a quantum spin- $ \frac{1}{2} $ particle. Product tests are defined which allow simultaneous measurements of incompatible observables, which leads to a discussion of the validity of the meet of two propositions as the algebraic model for conjunction in quantum logic. Although the entity possesses the same structure for the logic of (...) its experimental propositions as a genuine spin- $ \frac{1}{2} $ quantum entity, the probability measure corresponding with the meet of propositions using the Hilbert space representation and quantum rules does not render the probability of the conjunction of the two propositions. Accordingly, some fundamental concepts of quantum logic, Piron-products, “classical” systems and the general problem of hidden variable theories for quantum theory are discussed. (shrink)

A variety of ideas arising in decoherence theory, and in the ongoing debate over Everett's relative-state theory, can be linked to issues in relativity theory and the philosophy of time, specifically the relational theory of tense and of identity over time. These have been systematically presented in companion papers (Saunders 1995; 1996a); in what follows we shall consider the same circle of ideas, but specifically in relation to the interpretation of probability, and its identification with relations in the Hilbert (...) Space norm. The familiar objection that Everett's approach yields probabilities different from quantum mechanics is easily dealt with. The more fundamental question is how to interpret these probabilities consistent with the relational theory of change, and the relational theory of identity over time. I shall show that the relational theory needs nothing more than the physical, minimal criterion of identity as defined by Everett's theory, and that this can be transparently interpreted in terms of the ordinary notion of the chance occurrence of an event, as witnessed in the present. It is in this sense that the theory has empirical content. (shrink)

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 discuss the mathematical structures that underlie quantum probabilities. More specifically, we explore possible connections between logic, geometry and probability theory. We propose an interpretation that generalizes the method developed by R. T. Cox to the quantum logical approach to physical theories. We stress the relevance of developing a geometrical interpretation of quantum mechanics.

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)

Quantum probability is used to provide a new organization of basic quantum theory in a logical, axiomatic way. The principal thesis is that there is one fundamental time evolution equation in quantum theory, and this is given by a new version of Born’s Rule, which now includes both consecutive and conditional probability as it must, since science is based on correlations. A major modification of one of the standard axioms of quantum theory allows the (...) implementation of various mathematically distinct models (commonly called ‘pictures’) of them. A natural definition of isomorphism of models is presented next. For a given Hamiltonian the standard ‘pictures’ of quantum theory (e.g., Schrödinger, Heisenberg, interaction) are isomorphic models, whose probabilities are nonetheless model independent. The Schrödinger equation remains valid in one model of the axioms, even though it is no longer the fundamental equation of time evolution. All the usual calculations of standard, textbook quantum theory remain valid, but they are put in a new light. For example, the ‘collapse’ of the state is now viewed in the Schrödinger model as _one_ step in a _two_ step algorithm for calculating _one_ conditional probability. In the isomorphic Heisenberg model, where states are constant in time, one has the same conditional probability given by the same formula. Also, entanglement is defined in a new, more general model independent way as an aspect of quantum probability without using ‘collapse’ or tensor products. (shrink)

The concept of quantum logic is extended so that it covers a more general set of propositions that involve non-trivial probabilities. This structure is shown to be embedded into a multi-modal framework, which has desirable logical properties such as an axiomatization, the finite model property and decidability.

This comment suggests that Pothos & Busmeyer (P&B) do not provide an intuitive rational foundation for quantum probability (QP) theory to parallel standard logic and classical probability (CP) theory. In particular, the intuitive foundation for standard logic, which underpins CP, is the elimination of contradictions – that is, believing p and not-p is bad. Quantum logic, which underpins QP, explicitly denies non-contradiction, which seems deeply counterintuitive for the macroscopic world about which people must reason. I propose (...) a possible resolution in situation theory. (shrink)

In this paper we attempt to analyze the concept of quantum probability within quantum computation and quantum computational logic. While the subjectivist interpretation of quantum probability explains it as a reliable predictive tool for an agent in order to compute measurement outcomes, the objectivist interpretation understands quantum probability as providing reliable information of a real state of affairs. After discussing these different viewpoints we propose a particular objectivist interpretation grounded on the idea (...) that the Born rule provides information about an intensive realm of reality. We then turn our attention to the way in which the subjectivist interpretation of probability is presently applied within both quantum computation and quantum computational logic. Taking as a standpoint our proposed intensive account of quantum probability we discuss the possibilities and advantages it might open for the modeling and development of both quantum computation and quantum computational logic. (shrink)

Quantum theory is a probabilistic theory that embodies notoriously striking correlations, stronger than any that classical theories allow but not as strong as those of hypothetical ‘super-quantum’ theories. This raises the question ‘Why the quantum?’—whether there is a handful of principles that account for the character of quantum probability. We ask what quantum-logical notions correspond to this investigation. This project isn’t meant to compete with the many beautiful results that information-theoretic approaches have yielded but (...) rather aims to complement that work. (shrink)

We present a procedure which allows us to recover classical and nonclassical logical structures as concrete logics associated with physical theories expressed by means of classical languages. This procedure consists in choosing, for a given theory ${{\mathcal{T}}}$ and classical language ${{\fancyscript{L}}}$ expressing ${{\mathcal{T}}, }$ an observative sublanguage L of ${{\fancyscript{L}}}$ with a notion of truth as correspondence, introducing in L a derived and theory-dependent notion of C-truth (true with certainty), defining a physical preorder $\prec$ induced by C-truth, and finally selecting (...) a set of sentences ϕ V that are verifiable (or testable) according to ${{\mathcal{T}}, }$ on which a weak complementation ⊥ is induced by ${{\mathcal{T}}. }$ The triple $(\phi_{V},\prec,^{\perp})$ is then the desired concrete logic. By applying this procedure we recover a classical logic and a standard quantum logic as concrete logics associated with classical and quantum mechanics, respectively. The latter result is obtained in a purely formal way, but it can be provided with a physical meaning by adopting a recent interpretation of quantum mechanics that reinterprets quantum probabilities as conditional on detection rather than absolute. Hence quantum logic can be considered as a mathematical structure formalizing the properties of the notion of verification in quantum physics. This conclusion supports the general idea that some nonclassical logics can coexist without conflicting with classical logic (global pluralism) because they formalize metalinguistic notions that do not coincide with the notion of truth as correspondence but are not alternative to it either. (shrink)

The idea of quantum logic first appears explicitly in the short Section 5 of Chapter III. in von Neumann’s 1932 book on the mathematical foundations of quantum mechanics [31]; however, the real birthplace of quantum logic is commonly identified with the 1936 seminal paper co-authored by G. Birkhoff and J. von Neumann [5]. The aim of this review is to recall the main idea of the Birkhoff-von Neumann concept1 of quantum logic as this was put forward (...) in the 1936 paper. The review is motivated partly by two facts related to quantum logic: one, peculiar, is that the 1936 von Neumann concept is an almost totally neglected2 topic in the enormous quantum logic literature [17]; the other, not very well-known, is that von Neumann was never completely satisfied with how he had worked out quantum logic. (shrink)

The story of quantum probability theory and quantum logic begins with von Neumann’s recognition1, that quantum mechanics can be regarded as a kind of “probability theory”, if the subspace lattice L of the system’s Hilbert space H plays the role of event algebra and the ‘tr’-s play the role of probability distributions over these events. This idea had been completed in the Gleason theorem 2.

Local hidden-variable model of singlet-state correlations discussed in Czachor (Acta Phys Polon A 139:70, 2021a) is shown to be a particular case of an infinite hierarchy of local hidden-variable models based on an infinite hierarchy of calculi. Violation of Bell-type inequalities can be interpreted as a ‘confusion of languages’ problem, a result of mixing different but neighboring levels of the hierarchy. Mixing of non-neighboring levels results in violations beyond the Tsirelson bounds.

Quantum information science is a source of task-related axioms whose consequences can be explored in general settings encompassing quantum mechanics, classical theory, and more. Quantum states are compendia of probabilities for the outcomes of possible operations we may perform on a system: ''operational states.'' I discuss general frameworks for ''operational theories'' (sets of possible operational states of a system), in which convexity plays key role. The main technical content of the paper is in a theorem that any (...) such theory naturally gives rise to a ''weak effect algebra'' when outcomes having the same probability in all states are identified and in the introduction of a notion of ''operation algebra'' that also takes account of sequential and conditional operations. Such frameworks are appropriate for investigating what things look like from an ''inside view,'' i.e., for describing perspectival information that one subsystem of the world can have about another. Understanding how such views can combine, and whether an overall ''geometric'' picture (''outside view'') coordinating them all can be had, even if this picture is very different in structure from the perspectives within it, is the key to whether we may be able to achieve a unified, ''objective'' physical view in which quantum mechanics is the appropriate description for certain perspectives, or whether quantum mechanics is truly telling us we must go beyond this ''geometric'' conception of physics. (shrink)

In a recent paper, Michael Friedman and Hilary Putnam argued that the Luders rule is ad hoc from the point of view of the Copenhagen interpretation but that it receives a natural explanation within realist quantum logic as a probability conditionalization rule. Geoffrey Hellman maintains that quantum logic cannot give a non-circular explanation of the rule, while Jeffrey Bub argues that the rule is not ad hoc within the Copenhagen interpretation. As I see it, all four are (...) wrong. Given that there is to be a projection postulate, there are at least two natural arguments which the Copenhagen advocate can offer on behalf of the Luders rule, contrary to Friedman and Putnam. However, the argument which Bub offers is not a good one. At the same time, contrary to Hellman, quantum logic really does provide an explanation of the Luders rule, and one which is superior to that of the Copenhagen account, since it provides an understanding of why there should be a projection postulate at all. (shrink)

We define two types of convergence for observables on a quantum logic which we call M-weak and uniform M-weak convergence. These convergence modes correspond to weak convergence of probability measures. They are motivated by the idea that two (in general unbounded) observables are “close” if bounded functions of them are “close.” We show that M-weak and uniform M-weak convergence generalize strong resolvent and norm resolvent convergence for self-adjoint operators on a Hilbert space. Also, these types of convergence strengthen (...) the weak operator convergence and operator norm convergence of bounded self-adjoint operators on a Hilbert space. Finally, we consider spectral perturbation by showing that the spectra of approximating observables approach the spectrum of the limit in a certain sense. (shrink)

Following Birkhoff and von Neumann, quantum logic has traditionally been based on the lattice of closed linear subspaces of some Hubert space, or, more generally, on the lattice of projections in a von Neumann algebra A. Unfortunately, the logical interpretation of these lattices is impaired by their nondistributivity and by various other problems. We show that a possible resolution of these difficulties, suggested by the ideas of Bohr, emerges if instead of single projections one considers elementary propositions to be (...) families of projections indexed by a partially ordered set C(A) of appropriate commutative subalgebras of A. In fact, to achieve both maximal generality and ease of use within topos theory, we assume that A is a so-called Rickart C*-algebra and that C(A) consists of all unital commutative Rickart C*-subalgebras of A. Such families of projections form a Hey ting algebra in a natural way, so that the associated propositional logic is intuitionistic: distributivity is recovered at the expense of the law of the excluded middle. Subsequently, generalizing an earlier computation for n x n matrices, we prove that the Heyting algebra thus associated to A arises as a basis for the internal Gelfand spectrum (in the sense of Banaschewski-Mulvey) of the "Bohrification" A̱ of A, which is a commutative Rickart C*-algebra in the topos of functors from C(A) to the category of sets. We explain the relationship of this construction to partial Boolean algebras and Bruns-Lakser completions. Finally, we establish a connection between probability measures on the lattice of projections on a Hubert space H and probability valuations on the internal Gelfand spectrum of A̱ for A = B(H). (shrink)

I argue that the overly simplistic scenarios discussed by Pothos & Busemeyer (P&B) establish at best that quantum probability theory (QPT) is a logical possibility allowing distinct predictions from classical probability theory (CPT). The article fails, however, to provide convincing evidence for the proposal that QPT offers unique insights regarding cognition and the nature of human rationality.

We develop a systematic approach to quantum probability as a theory of rational betting in quantum gambles. In these games of chance, the agent is betting in advance on the outcomes of several (finitely many) incompatible measurements. One of the measurements is subsequently chosen and performed and the money placed on the other measurements is returned to the agent. We show how the rules of rational betting imply all the interesting features of quantum probability, even (...) in such finite gambles. These include the uncertainty principle and the violation of Bell's inequality among others. Quantum gambles are closely related to quantum logic and provide a new semantics for it. We conclude with a philosophical discussion on the interpretation of quantum mechanics. (shrink)

We discuss the relationship between logic, geometry and probability theory under the light of a novel approach to quantum probabilities which generalizes the method developed by R. T. Cox to the quantum logical approach to physical theories.

The nature of quantum mechanical probability has often seemed mysterious. To shed some light on this topic, the present paper analyzes the logical form of probability assignment in quantum mechanics. To begin the paper, I set out and criticize several attempts to analyze the form. I go on to propose a new form which utilizes a novel, probabilistic conditional and argue that this proposal is, overall, the best rendering of the quantum mechanical probability assignments. (...) Finally, quantum mechanics aside, the discussion here has consequences for counterfactual logic, conditional probability, and epistemic probability. (shrink)

In a series of recent papers, Randall and Foulis have developed a generalized theory of probability (operational statistics) which is based on the notion of a physical operation. They have shown that the quantum logic description of quantum mechanics can be naturally imbedded into this generalized theory of probability. In this paper we shall investigate the role of entropy (in the sense of Shannon's theory of information) in operational statistics. We shall find that there are several (...) related entropy concepts in operational statistics. We shall examine the relationships between these different entropy concepts and examine their implications for the foundations of quantum theory. We shall also examine the extension of the Jaynes inference scheme to the operational statistics formalism, and apply the latter to the case of quantum statistical mechanics. (shrink)

In his entry on "Quantum Logic and Probability Theory" in the Stanford Encyclopedia of Philosophy, Alexander Wilce (2012) writes that "it is uncontroversial (though remarkable) the formal apparatus quantum mechanics reduces neatly to a generalization of classical probability in which the role played by a Boolean algebra of events in the latter is taken over the 'quantum logic' of projection operators on a Hilbert space." For a long time, Patrick Suppes has opposed this view (see, (...) for example, the paper collected in Suppes and Zanotti (1996). Instead of changing the logic and moving from a Boolean algebra to a non-Boolean algebra, one can also 'save the phenomena' by weakening the axioms of probability theory and work instead with upper and lower probabilities. However, it is fair to say that despite Suppes' efforts upper and lower probabilities are not particularly popular in physics as well as in the foundations of physics, at least so far. Instead, quantum logic is booming again, especially since quantum information and computation became hot topics. Interestingly, however, imprecise probabilities are becoming more and more popular in formal epistemology as recent work by authors such as James Joye (2010) and Roger White (2010) demonstrates. (shrink)

Quantum mechanics and probability theory share one peculiarity. Both have well established mathematical formalisms, yet both are subject to controversy about the meaning and interpretation of their basic concepts. Since probability plays a fundamental role in QM, the conceptual problems of one theory can affect the other. We first classify the interpretations of probability into three major classes: inferential probability, ensemble probability, and propensity. Class is the basis of inductive logic; deals with the frequencies (...) of events in repeatable experiments; describes a form of causality that is weaker than determinism. An important, but neglected, paper by P. Humphreys demonstrated that propensity must differ mathematically, as well as conceptually, from probability, but he did not develop a theory of propensity. Such a theory is developed in this paper. Propensity theory shares many, but not all, of the axioms of probability theory. As a consequence, propensity supports the Law of Large Numbers from probability theory, but does not support Bayes theorem. Although there are particular problems within QM to which any of the classes of probability may be applied, it is argued that the intrinsic quantum probabilities are most naturally interpreted as quantum propensities. This does not alter the familiar statistical interpretation of QM. But the interpretation of quantum states as representing knowledge is untenable. Examples show that a density matrix fails to represent knowledge. (shrink)

The notion of a partition on a set is mathematically dual to the notion of a subset of a set, so there is a logic of partitions dual to Boole's logic of subsets (Boolean logic is usually mis-specified as "propositional" logic). The notion of an element of a subset has as its dual the notion of a distinction of a partition (a pair of elements in different blocks). Boole developed finite logical probability as the normalized counting measure on elements (...) of subsets so there is a dual concept of logical entropy which is the normalized counting measure on distinctions of partitions. Thus the logical notion of information is a measure of distinctions. Classical logical entropy naturally extends to the notion of quantum logical entropy which provides a more natural and informative alternative to the usual Von Neumann entropy in quantum information theory. The quantum logical entropy of a post-measurement density matrix has the simple interpretation as the probability that two independent measurements of the same state using the same observable will have different results. The main result of the paper is that the increase in quantum logical entropy due to a projective measurement of a pure state is the sum of the absolute squares of the off-diagonal entries ("coherences") of the pure state density matrix that are zeroed ("decohered") by the measurement, i.e., the measure of the distinctions ("decoherences") created by the measurement. (shrink)

It, is shown that Birkhoff –von Neumann quantum logic (i.e., an orthomodular lattice or poset) possessing an ordering set of probability measures S can be isomorphically represented as a family of fuzzy subsets of S or, equivalently, as a family of propositional functions with arguments ranging over S and belonging to the domain of infinite-valued Łukasiewicz logic. This representation endows BvN quantum logic with a new pair of partially defined binary operations, different from the order-theoretic ones: Łukasiewicz (...) intersection and union of fuzzy sets in the first case and Łukasiewicz conjunction and disjunction in the second. Relations between old and new operations are studied and it is shown that although they coincide whenever new operations are defined, they are not identical in general. The hypothesis that quantum-logical conjunction and disjunction should be represented by Łukasiewicz operations, not by order-theoretic join and meet is formulated and some of its possible consequences are considered. (shrink)

In this paper we present two families of probability logics (denoted _QLP_ and \(QLP^{ORT}\) ) suitable for reasoning about quantum observations. Assume that \(\alpha \) means “O = a”. The notion of measuring of an observable _O_ can be expressed using formulas of the form \(\square \lozenge \alpha \) which intuitively means “if we measure _O_ we obtain \(\alpha \) ”. In that way, instead of non-distributive structures (i.e., non-distributive lattices), it is possible to relay on classical logic (...) extended with the corresponding modal laws for the modal logic \({\textbf{B}}\). We consider probability formulas of the form \(CS_{z_{1},\rho _{1}; \ldots ; z_{m},\rho _{m}} \square \lozenge \alpha \) related to an observable _O_ and a possible world (vector) _w_: if _a_ is an eigenvalue of _O_, \(w_{1}\),..., \(w_{m}\) form a base of a closed subspace of the considered Hilbert space which corresponds to eigenvalue _a_, and if _w_ is a linear combination of the basis vectors such that \(w=c_{1}\cdot w_{1}+ \cdots + c_{m}\cdot w_{m}\) for some \(c_{i}\in {\mathbb {C}}\), then \(\Vert c_{1}-z_{1}\Vert \le \rho _{1}\),..., \(\Vert c_{m}-z_{m}\Vert \le \rho _{m}\), and the probability of obtaining _a_ while measuring _O_ in the state _w_ is equal to \(\Sigma _{i=1}^{m}\Vert c_{i}\Vert ^{2}\). Formulas are interpreted in reflexive and symmetric Kripke models equipped with probability distributions over families of subsets of possible worlds that are orthocomplemented lattices, while for \(QLP^{ORT}\) also satisfy ortomodularity. We give infinitary axiomatizations, prove the corresponding soundness and strong completeness theorems, and also decidability for _QLP_-logics. (shrink)

The Greenberger–Horne–Zeilinger argument against noncontextual local hidden variables is recast in quantum logical terms of fundamental propositions, states and probabilities. Unlike Kochen–Specker- and Hardy-like configurations, this operator based argument proceeds within four nonintertwining contexts. The nonclassical performance of the GHZ argument is due to the choice or filtering of observables with respect to a particular state. We study the varieties of GHZ games one could play in these four contexts, depending on the chosen state of the GHZ basis.

Alexander Wendt’s Quantum Mind and Social Science reopens the question of the relevance of quantum mechanics to the social sciences. In response, I argue that due to “quantum decoherence,” the macroscopic world filters out quantum effects. Moreover, quantum decoherence makes it unlikely that the theory of quantum brains, on which Wendt relies, is true. Finally, while quantum decision theory is a potentially revolutionary field, it has not clearly accounted for alleged anomalies in classical (...) understandings of decision making. However, the logic of quantum decoherence can motivate a new approach to the structure-agent problem. (shrink)