Recovering quantum logic within an extended classical framework

DOI10.1007/S10670-011-9353-4zbMATH Open1303.03093arXiv1102.4529OpenAlexW3103561058MaRDI QIDQ486962FDOQ486962

Authors: Claudio Garola, Sandro Sozzo 

Publication date: 19 January 2015

Published in: Erkenntnis (Search for Journal in Brave)

Abstract: We present a procedure which allows us to recover classical and nonclassical logical structures as emph{concrete logics} associated with physical theories expressed by means of classical languages. This procedure consists in choosing, for a given theory $mathcalT$ and classical language $mathcalL$ expressing $mathcalT$, an observative sublanguage $L$ of $mathcalL$ with a notion of truth as correspondence, introducing in $L$ a derived and theory-dependent notion of emph{C-truth} (emph{true with certainty}), defining a emph{physical preorder} induced by C-truth, and finally selecting a set of sentences that are emph{verifiable} (or emph{testable}) according to $mathcalT$, on which a emph{weak complementation} is induced by $mathcalT$. The triple consisting of the set of verifiable sentences, physical order and weak complementation is then the desired concrete logic. By applying our procedure we recover a classical logic as the concrete logic associated with classical mechanics and standard quantum logic as the concrete logic associated with quantum mechanics. We also show that our alternative view of standard quantum logic, which can be constructed in a purely formal way, 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. Our results then show that some nonstandard logics can be obtained as mathematical structures formalizing the properties of different notions of verifiability in different physical theories. More generally, they strongly support the idea that many nonclassical logics can coexist without conflicting with classical logic (emph{global pluralism}), for they formalize metalinguistic notions that do not coincide with the notion of truth (described by Tarski's truth theory).

Full work available at URL: https://arxiv.org/abs/1102.4529

Recommendations

• Classical foundations of quantum logic
• Quantum logic as a dynamic logic
• scientific article; zbMATH DE number 18115
• Quantum physics and classical physics -- in the light of quantum logic
• Speakable in quantum mechanics: babbling on

Mathematics Subject Classification ID

Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Heyting algebras (lattice-theoretic aspects) (06D20)

Cites Work

• The logic of quantum mechanics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bell’s theorem without inequalities
• Title not available (Why is that?)
• On the Problem of Hidden Variables in Quantum Mechanics
• Title not available (Why is that?)
• Linear logic
• Title not available (Why is that?)
• Intuitionism. An introduction
• Title not available (Why is that?)
• Embedding quantum mechanics into a broader noncontextual theory: a conciliatory result
• Locality and measurements within the SR model for an objective interpretation of quantum mechanics
• Reasoning in quantum theory. Sharp and unsharp quantum logics.
• Generalized observables, Bell's inequalities and mixtures in the ESR model for QM
• Extended representations of observables and states for a noncontextual reinterpretation of QM
• Quantum logic in algebraic approach
• Physical propositions and quantum languages
• Title not available (Why is that?)
• Title not available (Why is that?)
• The hidden measurement formalism: what can be explained and where quantum paradoxes remain
• Quantum structures: An attempt to explain the origin of their appearance in nature
• Title not available (Why is that?)
• A semantic approach to the completeness problem in quantum mechanics
• Title not available (Why is that?)

Cited In (7)

• Quantum logics seen as quantum testability theories
• Massively parallel classical logic via coherent dynamics of an ensemble of quantum systems with dispersion in size
• Outline of a generalization and a reinterpretation of quantum mechanics recovering objectivity
• Embedding quantum mechanics into a broader noncontextual theory
• Interpreting quantum logic as a pragmatic structure
• A survey of the ESR model for an objective reinterpretation of quantum mechanics
• Title not available (Why is that?)

This page was built for publication: Recovering quantum logic within an extended classical framework

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q486962)