It has been argued, most notably by Putnam (1969, 1974) that socalled quantum logic (which we shall often refer to as. orthomodular logic (OML)) is the one true logic,-as has been shown by quantum mechanical experiments. Putnam also has strong universalist tendencies, which would require him to use the same logic in all domains of reasoning, including mathematics, and it has been urged, recently (as one horn of a dilemma) by Hellman (1981), that there might be some problems in working out the classical mathematics of the Hilbertspace foundations of.quantum mechanics in a quantum logic framework. In this paper we show (given one natural framework)(§3) first that if the first-order Peano arithmetic is formulated with quantum logic that it has the same theorems as the classical first-order Peano arithmetic. Distribution (for first-order arithmetical formulas) is a theorem not of quantum logic but rather of arithmetic.
It has been argued, most notably by Putnam (1969, 1974) that socalled quantum logic (which we shall often refer to as. orthomodular logic (OML)) is the one true logic,-as has been shown by quantum mechanical experiments. Putnam also has strong universalist tendencies, which would require him to use the same logic in all domains of reasoning, including mathematics, and it has been urged, recently (as one horn of a dilemma) by Hellman (1981), that there might be some problems in working out the classical mathematics of the Hilbertspace foundations of.quantum mechanics in a quantum logic framework. In this paper we show (given one natural framework)(§3) first that if the first-order Peano arithmetic is formulated with quantum logic that it has the same theorems as the classical first-order Peano arithmetic. Distribution (for first-order arithmetical formulas) is a theorem not of quantum logic but rather of arithmetic.
The purpose of this dissertation is to construct a radically new type of mathematics whose underlying logic differs from the ordinary classical logic used in standard mathematics, and which we feel may be more natural for applications in quantum mechanics. Specifically, we begin by constructing a first order quantum logic, the development of which closely parallels that of ordinary (classical) first order logic --- the essential differences are in the nature of the logical axioms, which, in our construction, are motivated by quantum theory. After showing that the axiomatic first order logic we develop is sound and complete (with respect to a particular class of models), this logic is then used as a foundation on which to build (axiomatic) mathematical systems --- and we refer to the resulting new mathematics as "quantum mathematics." As noted above, the hope is that this form of mathematics is more natural than classical mathematics for the description of quantum systems, and will enable us to address some foundational aspects of quantum theory which are still troublesome --- e.g. the measurement problem --- as well as possibly even inform our thinking about quantum gravity.\n\nAfter constructing the underlying logic, we investigate properties of several mathematical systems --- e.g. axiom systems for abstract algebras, group theory, linear algebra, etc. --- in the presence of this quantum logic. In the process, we demonstrate that the resulting quantum mathematical systems have some strange, but very interesting features, which indicates a richness in the structure of mathematics that is classically inaccessible. Moreover, some of these features do indeed suggest possible applications to foundational questions in quantum theory. \n\nWe continue our investigation of quantum mathematics by constructing an axiomatic quantum set theory, which we show satisfies certain desirable criteria. Ultimately, we hope that such a set theory will lead to a foundation for quantum mathematics in a sense which parallels the foundational role of classical set theory in classical mathematics. One immediate application of the quantum set theory we develop is to provide a foundation on which to construct quantum natural numbers, which are the quantum analog of the classical counting numbers. It turns out that in a special class of models, there exists a 1-1 correspondence between the quantum natural numbers and bounded observables in quantum theory whose eigenvalues are (ordinary) natural numbers. This 1-1 correspondence is remarkably satisfying, and not only gives us great confidence in our quantum set theory, but indicates the naturalness of such models for quantum theory itself. We go on to develop a Peano-like arithmetic for these new "numbers," as well as consider some of its consequences. Finally, we conclude by summarizing our results, and discussing directions for future work.
In order to solve the problem of which is the real logic of Quantum Mechanics (QM), we suggest to study the mutual relationships between the physical theory (as a whole, that is both its experimental part and its theoretical part), its mathematics and its logic. That results to be a more general problem than what is considered by traditional studies on Quantum Logic (QL). These studies focus attention on the problem of the relationship between the experimental part of the physical theory and only its mathematics, from which logic is then derived. The new approach, that we suggest, generalises the interpretation that one of us (A. D.) successfully tested on the foundations of classical physical theories. The foundations of a theory are interpreted in terms of two options on the kind of mathematics, either classical one or constructive one, and the kind of logic, either classical logic or intuitionistic logic. It is remarkable that each theory making use of intuitionistic logic – i. e. L. Carnot’s classical mechanics, S. Carnot’s thermodynamics, Lobacevskij’s non-Euclidean geometry is organised in order to solve an universal problem (expressed by a double negated sentence), rather than in an entirely deductive way; hence, a non-classical logic does not belong exclusively to QM. From an historical and foundational analysis about QM, we conclude that in QM it is the law of double negation and not modular law (introduced by Birkhoff and von Neumann without giving physical evidence to it) which fails, i. e. which represents the true difference between Classical Logic (CL) and QL. We have looked for previous works on QL supporting our suggestion; in the past Destouches-Fevrier (1948), Fine (1974), Bell-Hallett (1981), Gauthier (1983), Adelman-Corbett (1995) already defended this thesis on the relevance of double negation law for QL. Under this light, QL results to have the same logic of a classical theory organised in a problematic manner. Hence, QM has to be referred to intuitionistic logic, in the same way every theory which is developed around a fundamental problem, expressed by a double negated sentence, does. In particular, by following the founder of intuitionism, Brouwer, we reject the identification of intuitionistic logic with an entirely deductive system; rather, the logical system of QL, as a theory, is organised in such a way to put a crucial problem to be solved. In agreement with this kind of organisation, among the several QM formulations we choose Heisenberg’s formulation, which was ignored by previous authors on QL. This formulation is aimed to solve the problem of quantum measurement, that originates the uncertainty methodological principle. Moreover, it is remarkable that it makes use of an operational mathematics (discrete matrices only). We interpret its characteristic arguing about its principal problem through double negated sentences; it results to be a moving from arguments belonging to non-classical logic expressed by a double negated sentence to the recognition of a suitable mathematics for QM formulation. In sum, QL shows how it is possible to state the relationship between QM and mathematics. This point has been almost ignored by the most traditional approaches to QL, which rather drew it from an a priori mathematics of QM (commonly, Hilbert space). As a verification of our approach, we show that even both Lobachevskij’s geometry and S. Carnot’s thermodynamics argued in order to achieve mathematical formulas expressing the content of the basic double negated sentences of respective theory. In the same way the recent book on QM by T. F. Jordan formalised his matrix mechanics. 1. Logic in classical physics and in Quantum Mechanics An historical analysis of Quantum Mechanics (QM) shows that there were at the origin of the theory two distinct formulations: Matrix Mechanics (Heisenberg, 1925) and Wave Mechanics (Schroedinger, 1926). Although Dirac subsumed these two formulations in a comprehensive mathematical framework (Hilbert space), we think that the organisation of the principles is different in Matrix Mechanics from that in Wave Mechanics, and this difference implies different logics. So we think that in order to characterise the logic of QM it is necessary to distinguish between this two formulations. In Matrix Mechanics, Heisenberg’s basic idea was to explain atomic spectra not in terms of atomic orbits (as Old Quantum Theory tried to make), but only by means of the study of experimental data; i. e., frequencies and intensities of light both emitted and absorbed by matter. Through a
This article employs a descriptive-analytical method with an algebraic and axiomatic approach to address quantum logic. Through several thought experiments, it is demonstrated that the distributive law for propositions does not hold in quantum mechanics. Therefore, the logic governing this domain of science is not classical logic. In fact, the algebra corresponding to the logic of quantum propositions is an orthomodular lattice, which is why the distributive law is not necessarily valid for such propositions. In quantum logic, various definitions are offered for the implication operator. Since none of these operators satisfy the deduction theorem, a suitable implication operator with this property must be defined. This objective is achieved by defining a unified quantum logic. By constructing a Lindenbaum-Tarski algebra for this unified quantum logic, it can be shown that it is indeed a quantum logic. Dishkant presented an embedding of quantum logic into the Br-modal logic system. This provides an appropriate semantics for quantum logic. A suitable model for this logic is the closed subspaces of a Hilbert space.
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 cruciallydoes not.The argument is conductedviaa 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 ofbivalencerealism (i.e., of truth and falsity), although itisconsistent with some form ofontologicalrealism(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.
Any logic is represented as a certain collection of well-orderingsadmitting or not some algebraic structure such as a generalized lattice. Then universallogic should refer to the class of all subclasses of all well-orderings. One can construct amapping between Hilbert space and the class of all logics. Thus there exists acorrespondence between universal logic and the world if the latter is considered acollection of wave functions, as which the points in Hilbert space can beinterpreted. The correspondence can be further extended to the foundation ofmathematics by set theory and arithmetic, and thus to all mathematics.
When we consider and analyze physical events with the purpose of creating corresponding mathematical models we often assume that the mathematical apparatus used in modeling, at least the simplest mathematical apparatus, is infallible. In particular, this relates to the use of infinitely small and infinitely large numbers in arithmetic and the use of Newton's definition of a limit in analysis. We believe that is where the main problem lies in contemporary study of nature (physics, genetics). We have introduced a new concept of “Observer's Mathematics—Mathematics of Relativity” (see references). Observer's mathematics creates new arithmetic, algebra, geometry, topology, analysis and logic which do not contain the concept of continuum, but locally coincide with the standard fields. The concept of a quantum arises automatically from the human thought process, rather than from physics. From this point of view classical mechanics is brought closer to quantum mechanics.