The quantum logical `or' is analyzed from a physical perspective. We show that it is the existence of EPR-like correlation states for the quantum mechanical entity under consideration that make it nonequivalent to the classical situation. Specifically, the presence of potentiality in these correlation states gives rise to the quantum deviation from the classical logical `or'. We show how this arises not only in the microworld, but also in macroscopic situations where EPR-like correlation states are present. We investigate how application (...) of this analysis to concepts could alleviate some well known problems in cognitive science. (shrink)

In this article I argue that there is a sense in which logic is empirical, and hence open to influence from science. One of the roles of logic is the modelling and extending of natural language reasoning. It does so by providing a formal system which succeeds in modelling the structure of a paradigmatic set of our natural language inferences and which then permits us to extend this structure to novel cases with relative ease. In choosing the best system of (...) those that succeed in this, we seek certain virtues of such structures such as simplicity and naturalness (which will be explained). (shrink)

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)

The paper describes in detail the procedure of identification of the inner language and an inner logico of a physical theory. The procedure is a generalization of the original ideas of J. von Neuman and G. Birkhoff about quantum logic.

This paper uses a non-distributive system of Boolean fractions (a|b), where a and b are 2-valued propositions or events, to express uncertain conditional propositions and conditional events. These Boolean fractions, ‘a if b’ or ‘a given b’, ordered pairs of events, which did not exist for the founders of quantum logic, can better represent uncertain conditional information just as integer fractions can better represent partial distances on a number line. Since the indeterminacy of some pairs of quantum events is due (...) to the mutual inconsistency of their experimental conditions, this algebra of conditionals can express indeterminacy. In fact, this system is able to express the crucial quantum concepts of orthogonality, simultaneous verifiability, compatibility, and the superposition of quantum events, all without resorting to Hilbert space. A conditional (a|b) is said to be “inapplicable” (or “undefined”) in those instances or models for which b is false. Otherwise the conditional takes the truth-value of proposition a. Thus the system is technically 3-valued, but the 3rd value has nothing to do with a state of ignorance, nor to some half-truth. People already routinely put statements into three categories: true, false, or inapplicable. As such, this system applies to macroscopic as well as microscopic events. Two conditional propositions turn out to be simultaneously verifiable just in case the truth of one implies the applicability of the other. Furthermore, two conditional propositions (a|b) and (c|d) reside in a common Boolean sub-algebra of the non-distributive system of conditional propositions just in case b=d, their conditions are equivalent. Since all aspects of quantum mechanics can be represented with this near classical logic, there is no need to adopt Hilbert space logic as ordinary logic, just a need perhaps to adopt propositional fractions to do logic, just as we long ago adopted integer fractions to do arithmetic. The algebra of Boolean fractions is a natural, near-Boolean extension of Boolean algebra adequate to express quantum logic. While this paper explains one group of quantum anomalies, it nevertheless leaves no less mysterious the ‘influence-at-a-distance’, quantum entanglement phenomena. A quantum realist must still embrace non-local influences to hold that “hidden variables” are the measured properties of particles. But that seems easier than imaging wave-particle duality and instant collapse, as offered by proponents of the standard interpretation of quantum mechanics. (shrink)

A decade ago, Isham and Butterfield proposed a topos theoretic approach to quantum mechanics, which meanwhile has been extended by Doering 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 (see 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(C) of complex n x n matrices. This leads to an explicit expression for the pointfree quantum phase space 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 P(M_n(C)) of projections in M_n(C)(which forms the basis of the traditional quantum logic of Birkhoff and von Neumann)is replaced by a specific distributive lattice of functions from the poset of all unital commutative C*-subalgebras of M_n(C) to P(M_n(C)). The latter lattice is essentially the (pointfree) topology of the quantum phase space mentioned above, and as such defines a Heyting algebra. Each element of the lattice corresponds to a ``Bohrified'' proposition, in the sense that to each classical context it associates a yes-no question pertinent to this context, 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)

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)

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.

The author presents a deduction system for Quantum Logic. This system is a combination of a natural deduction system and rules based on the relation of compatibility. This relation is the logical correspondant of the commutativity of observables in Quantum Mechanics or perpendicularity in Hilbert spaces.Contrary to the system proposed by Gibbins and Cutland, the natural deduction part of the system is pure: no algebraic artefact is added. The rules of the system are the rules of Classical Natural Deduction in (...) which is added a control of contexts using the compatibility relation. (shrink)

We forward an epistemological perspective regarding non-classical logics which restores the universality of logic in accordance with the thesis of global pluralism. In this perspective every non-classical truth-theory is actually a theory of some metalinguistic concept which does not coincide with the concept of truth (described by Tarski's truth theory). We intend to apply this point of view to Quantum Logic (QL) in order to prove that its structure properties derive from properties of the metalinguistic concept of testability in Quantum (...) Physics. To this end we construct a classical language L cand endow it with a classical effective interpretation which is partially inspired by the Ludwig approach to the foundations of Quantum Mechanics. Then we select two subsets of formulas in L cwhich can be considered testable because of their interpretation and we show that these subsets have the structure properties of Quantum Logics because of Quantum Mechanical axioms, as desired. Finally we comment on some relevant consequences of our approach (in particular, the fact that no non-classical logic is strictly needed in Quantum Physics). (shrink)

Logical matrices for orthomodular logic are introduced. The underlying algebraic structures are orthomodular lattices, where the conditional connective is the Sasaki arrow. An axiomatic calculusOMC is proposed for the orthomodular-valid formulas.OMC is based on two primitive connectives — the conditional, and the falsity constant. Of the five axiom schemata and two rules, only one pertains to the falsity constant. Soundness is routine. Completeness is demonstrated using standard algebraic techniques. The Lindenbaum-Tarski algebra ofOMC is constructed, and it is shown to be (...) an orthomodular lattice whose unit element is the equivalence class of theses ofOMC. (shrink)

The working assumption of this paper is that noncommuting variables are irreducibly interdependent. The logic of such dependence relations is the author's independence-friendly (IF) logic, extended by adding to it sentence-initial contradictory negation ¬ over and above the dual (strong) negation . Then in a Hilbert space turns out to express orthocomplementation. This can be extended to any logical space, which makes it possible to define the dimension of a logical space. The received Birkhoff and von Neumann quantum logic can (...) be interpreted by taking their disjunction to be ¬(A & B). Their logic can thus be mapped into a Boolean structure to which an additional operator has been added. (shrink)

Nervous systems are intricately organized on many levels of analysis.The intricate organization invites the development of mathematicalsystems that reflect its logical structure. Particular logical structures and choices of invariants within those structures narrowthe ranges of perceptions that are possible and sensorimotorcoordination that may be selected. As in quantum logic, choicesaffect outcomes.Some of the mathematical tools in use in quantum logic havealready also been used in neurobiology, including the mathematicsof ordered structures and a product like a tensor product. Astheoretical neurobiology is (...) developed on its own foundation, wemay expect a rich dialogue between theoretical neurobiology andquantum logic. (shrink)

The principle of excluded middle is the logical interpretation of the law V A v in an orthocomplemented lattice and, hence, in the lattice of the subspaces of a Hilbert space which correspond to quantum mechanical propositions. We use the dialogic approach to logic in order to show that, in addition to the already established laws of effective quantum logic, the principle of excluded middle can also be founded. The dialogic approach is based on the very conditions under which propositions (...) can be confirmed by measurements. From the fact that the principle of excluded middle can be confirmed for elementary propositions which are proved by quantum mechanical measurements, we conclude that this principle is inherited by all finite compound propositions. For this proof it is essential that, in the dialog-game about a connective, a finite confirmation strategy for the mutual commensurability of the subpropositions is used. (shrink)

In the paper it is shown that every physically sound Birkhoff – von Neumann quantum logic, i.e., an orthomodular partially ordered set with an ordering set of probability measures can be treated as partial infinite-valued Łukasiewicz logic, which unifies two competing approaches: the many-valued, and the two-valued but non-distributive, which have co-existed in the quantum logic theory since its very beginning.

In the literature the work of C. Piron on OQL, ``the operational quantum logic of the Geneva School", has a few times been criticised. Those criticisms were often due to misunderstandings, as has already been pointed out by D.J. Foulis and C.H. Randall. In this paper we follow the line of defense in favour of OQL by replying to the criticisms formulated some time ago by W. Balzer and W.K. Essler & G. Zoubek. In order for the reader to follow (...) our argumentation, we briefly analyze the basic conceptual machinery of OQL. (shrink)

We analyze G.M. Hardegree's interpretation of the Sasaki hook as a Stalnaker conditional and explain how he makes use of the basic conceptual machinery of OQL, i.e. the operational quantum logic which originated with the Geneva Approach to the foundations of physics. In particular we focus on measurements which are ideal and of the first kind, since these encode the content of the so-called Sasaki projections within the Geneva Approach. The Sasaki projections play a fundamental role when analyzing the condition (...) under which the properties expressed by Sasaki hooks can be considered as actual. We finish with a note on how the Sasaki hook can be conceived as ``assigning causes for properties to be actual", which links the interpretation of G.M. Hardegree to what has been called ``dynamic OQL". (shrink)

This paper is based on a semantic foundation of quantum logic which makes use of dialog-games. In the first part of the paper the dialogic method is introduced and under the conditions of quantum mechanical measurements the rules of a dialog-game about quantum mechanical propositions are established. In the second part of the paper the quantum mechanical dialog-game is replaced by a calculus of quantum logic. As the main part of the paper we show that the calculus of quantum logic (...) is complete and consistent with respect to the dialogic semantics. Since the dialog-game does not involve the excluded middle the calculus represents a calculus of effective (intuitionistic) quantum logic.In a forthcoming paper it is shown that this calculus is equivalent to a calculus of sequents and more interestingly to a calculus of propositions. With the addition of the excluded middle the latter calculus is a model for the lattice of subspaces of a Hilbert space. (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.

The logic that was purpose-built to accommodate the hoped-for reduction of arithmetic gave to language a dominant and pivotal place. Flowing from the founding efforts of Frege, Peirce, and Whitehead and Russell, this was a logic that incorporated proof theory into syntax, and in so doing made of grammar a senior partner in the logicistic enterprise. The seniority was reinforced by soundness and completeness metatheorems, and, in time, Quine would quip that the “grammar [of logic] is linguistics on purpose” [Quine, (...) 1970, p. 15] and that “logic chases truth up the tree of grammar” [Quine, 1970, p. 35]. Nor was the centrality of syntax lost with the G¨. (shrink)