This chapter focuses on alternative logics. It discusses a hierarchy of logical reform. It presents case studies that illustrate particular aspects of the logical revisionism discussed in the chapter. The first case study is of intuitionistic logic. The second case study turns to quantum logic, a system proposed on empirical grounds as a resolution of the antinomies of quantum mechanics. The third case study is concerned with systems of relevance logic, which have been the subject of an especially detailed reform (...) program. Finally, the fourth case study is paraconsistent logic, perhaps the most controversial of serious proposals. (shrink)

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 idea of a 'logic of quantum mechanics' or quantum logic was originally suggested by Birkhoff and von Neumann in their pioneering paper [1936]. Since that time there has been much argument about whether, or in what sense, quantum 'logic' can be actually considered a true logic (see, e.g. Bell and Hallett [1982], Dummett [1976], Gardner [1971]) and, if so, how it is to be distinguished from classical logic. In this paper I put forward a simple and natural semantical framework (...) for quantum logic which reveals its difference from classical logic in a strikingly intuitive way, viz. through the fact that quantum logic admits (suitably formulated versions of) the characteristic quantum-mechanical notions of superposition and incompatibility of attributes. That is, precisely the features that distinguish quantum from classical physics also serve, within this framework, to distinguish quantum from classical logic. Some light is shed on the question of whether quantum logic is a genuine logical system by introducing a natural entailment relation for quantum-logical formulas with the implication symbol. The novelty is that, although implication behaves as it should (i.e. the 'deduction theorem' holds), the order of introduction of premises is significant. The fact that a reasonable entailment relation can be formulated for quantum logic supports the view that it is a genuine logical system and not merely an algebraic formalism. (shrink)

This paper treats some of the issues raised by Putnam's discussion of, and claims for, quantum logic, specifically: that its proposal is a response to experimental difficulties; that it is a reasonable replacement for classical logic because its connectives retain their classical meanings, and because it can be derived as a logic of tests. We argue that the first claim is wrong (1), and that while conjunction and disjunction can be considered to retain their classical meanings, negation crucially does not. (...) The argument is conducted via a thorough analysis of how the meet, join and complementation operations are defined in the relevant logical structures, respectively Boolean- and ortholattices (3). Since Putnam wishes to reinstate a realist interpretation of quantum mechanics, we ask how quantum logic can be a logic of realism. We show that it certainly cannot be a logic of bivalence realism (i.e., of truth and falsity), although it is consistent with some form of ontological realism (4). Finally, we show that while a reasonable explication of the idealized notion of test yields interesting mathematical structure, it by no means yields the rich ortholattice structure which Putnam (following Finkelstein) seeks. (shrink)

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)

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)

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.

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)

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)

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)

Putnam and Finkelstein have proposed the abandonment of distributivity in the logic of quantum theory. This change results from defining the connectives, not truth-functionally, but in terms of a certain empirical ordering of propositions. Putnam has argued that the use of this ordering ("implication") to govern proofs resolves certain paradoxes. But his resolutions are faulty; and in any case, the paradoxes may be resolved with no changes in logic. There is therefore no reason to regard the partially ordered set of (...) propositions as a logic--i.e. as embodying a criterion for soundness of proofs. Its role in quantum theory ought to be understood in an entirely different way. (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)

In the paper we will employ set theory to study the formal aspects of quantum mechanics without explicitly making use of space-time. It is demonstrated that von Neuman and Zermelo numeral sets, previously efectively used in the explanation of Hardy’s paradox, follow a Heisenberg quantum form. Here monadic union plays the role of time derivative. The logical counterpart of monadic union plays the part of the Hamiltonian in the commutator. The use of numerals and monadic union in the classical probability (...) resolution of Hardy’s paradox [1] is supported with the present derivation of a commutator for sets. (shrink)

It is shown that the uncertainty principle has nothing directly to do with the non-localisability of position and momentum for an individual system on the quantum logical view. The product Δ x· Δ p for localisation of the ranges of position and momentum of an individual system→ ∞ , while the quantities Δ X and Δ P in the uncertainty principle $\Delta X\cdot \Delta P\geq \hslash /2$ , must be given a statistical interpretation on the quantum logical view.

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 interpretation of quantum mechanics is discussed from the viewpoint of quantum logic (QL). QL is understood to concern the possible properties that can be ascribed to a physical system SYS. The micro-state of SYS at any given moment t is identified with the set of all properties actualized by SYS at time t. Minimal adequacy requirements are proposed for all interpretations of micro-states. A strict interpretation is defined to be one according to which the properties ascribable to SYS are (...) individuated by the projection operators on the associated Hilbert space. Two strict interpretations are examined. Kochen's interpretation is also discussed, and it is argued that it is not a strict interpretation. (shrink)

This paper explores the status of the von Neumann-Luders state transition rule (the "projection postulate") within "real-logic" quantum logic. The entire discussion proceeds from a reading of the Luders rule according to which, although idealized in applying only to "minimally disturbing" measurements, it nevertheless makes empirical claims and is not a purely mathematical theorem. An argument (due to Friedman and Putnam) is examined to the effect that QL has an explanatory advantage over Copenhagen and other interpretations which relativize truth-value assignments (...) to experimental arrangements. Two versions of QL, the lattice-theoretic (LT) and partial-Boolean-algebra (PBA), are considered. It turns out that the projection postulate is intimately connected with the choice of conditional connective for QL. The effect of the projection postulate is obtained with the Sasaki conditional. However, this choice is found to require extra assumptions, on both the LT and PBA versions, which are either just as ad hoc as the projection postulate itself or indefensible from within the real-logic QL framework. (shrink)

Quantum logic as genuine non-classical logic provides no solution to the "paradoxes" of quantum mechanics. From the minimal condition that synonyms be substitutable salva veritate, it follows that synonymous sentential connectives be alike in point of truth-functionality. It is a fact of pure mathematics that any assignment Φ of (0, 1) to the subspaces of Hilbert space (dim. ≥ 3) which guarantees truth-preservation of the ordering and truth-functionality of QL negation, violates truth-functionality of QL ∨ and $\wedge $ . Thus, (...) from within both the classical framework and that of any QL that preserves elementary set theory, two distinct (nonsynonymous) sets of connectives are discernible. Classical derivations of QM paradoxes are all available unless the language of QM is not classically closed. Maintaining this requires a strong and selfdefeating verification theory of meaning, the philosophical cornerstone of the Copenhagen interpretation to which QL was to provide an alternative. (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)

One problem with assessing quantum logic is that there are considerable differences between its practitioners. In particular they offer different versions of the set of sentences which the logic governs. On some accounts the sentences involved describe events, on others they are ascriptions of properties. In this paper a framework is offered within which to discuss different quantum logical interpretations of quantum theory, and then the works of Jauch, Putnam, van Fraassen and Kochen are located within it.

In much the same way that it is possible to construct a model of hyperbolic geometry in the Euclidean plane, it is possible to model quantum logic within the classical propositional calculus.

This paper is a study of similarities and differences between strong and weak quantum consequence operations determined by a given class of ortholattices. We prove that the only strong orthologics which admits the deduction theorem (the only strong orthologics with algebraic semantics, the only equivalential strong orthologics, respectively) is the classical logic.

We prove that no logic (i.e. consequence operation) determined by any class of orthomodular lattices admits the deduction theorem (Theorem 2.7). We extend those results to some broader class of logics determined by ortholattices (Corollary 2.6).

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)

A new constructivist approach to modeling in economics and theory of consciousness is proposed. The state of elementary object is defined as a set of its measurable consumer properties. A proprietor's refusal or consent for the offered transaction is considered as a result of elementary economic measurement. Elementary (indivisible) technology, in which the object's consumer values are variable, in this case can be formalized as a generalized economic measurement. The algebra of such measurements has been constructed. It has been shown (...) that in the general case the quantummechanical formalism of the theory of selective measurements is required for description of such conditions. The economic analogs of the elementary slit experiments in physics have been created. The proposed approach can be also used for consciousness modeling. (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)

The logic of quantum physical propositions can be established by means of dialogs which take account of the general incommensurability of these propositions. Investigated first are meta-propositions which state the formal truth of object-propositions. It turns out that the logic of these meta-propositions is equivalent to ordinary logic. A special class of meta-propositions which state the material truth of object-propositions may be considered as quantum logical modalities. It is found that the logic of these modalities contains all the quantum logical (...) restrictions and thus differs essentially from the modal calculi of ordinary logic. (shrink)

If p(x 1 ,...,x n ) and q(x 1 ,...,x n ) are two logically equivalent propositions then p(π (x 1 ),...,π (x n )) and q(π (x 1 ),...,π (x n )) are also logically equivalent where π is an arbitrary permutation of the elementary constituents x 1 ,...,x n . In Quantum Logic the invariance of logical equivalences breaks down. It is proved that the distribution rules of classical logic are in fact equivalent to the meta-linguistic rule of (...) universal substitution and that the more restrictive structure of the substitution group of Quantum Logic prevents us from defining truth in a classical fashion. These observations lead to a more profound understanding of the Logic of Quantum Mechanics and of the role that symmetry principles play in that theory. (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.

The projection lattices T(Mr), T(M2) of two von Neumann subalgebras Mr, M2 of the von Neumann algebra M are defined to be logically independent if A A B g 0 for any 0 g A E P(&r), 0 g B E 7 (M2). After motivating this notion of independence it is shown that 7 (Mr), 7 (M2) are logically independent if Mr is a subfactor in a finite factor M and T(&r),V'(M2) commute. Also, logical independence is related to the statistical (...) independence conditions called C*-independence W*- independence and strict locality. Logical independence of T(Mr), T(M2) turns out to be equivalent to the C*- independence of (Mr, M2) for mutually commuting Mr, M2, and it is shown that if (Mr, M2) is a pair of (not necessarily commuting) von Neumann subalgebras, then T(&r),V'(M2) are logically independent if (Mr, M2) is a W*-independent pair or if Mr, M2 have the property of strict locality. (shrink)

Research within the operational approach to the logical foundations of physics has recently pointed out a new perspective in which quantum logic can be viewed as an intuitionistic logic with an additional operator to capture its essential, i.e., non-distributive, properties. In this paper we will offer an introduction to this approach. We will focus further on why quantum logic has an inherent dynamic nature which is captured in the meaning of "orthomodularity" and on how it motivates physically the introduction of (...) dynamic implication operators, each for which a deduction theorem holds with respect to a dynamic conjunction. As such we can offer a positive answer to the many who pondered about whether quantum logic should really be called a logic. Doubts to answer the question positively were in first instance due to the former lack of an implication connective which satisfies the deduction theorem within quantum logic. (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)

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.

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)

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)