Recovering quantum logic within an extended classical framework

DOI10.1007/S10670-011-9353-4MaRDI QIDQ486962zbMATH OpenOpenAlexFDO

Authors Claudio Garola, Sandro Sozzo

Publication date 19 January 2015

Published in Erkenntnis (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

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).

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

Cites work

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

Cited in

(7)

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

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)