Recovering Quantum Logic Within an Extended Classical Framework

Erkenntnis 78 (2):399-419 (2013)
  Copy   BIBTEX

Abstract

We present a procedure which allows us to recover classical and nonclassical logical structures as concrete logics associated with physical theories expressed by means of classical languages. This procedure consists in choosing, for a given theory ${{\mathcal{T}}}$ and classical language ${{\fancyscript{L}}}$ expressing ${{\mathcal{T}}, }$ an observative sublanguage L of ${{\fancyscript{L}}}$ with a notion of truth as correspondence, introducing in L a derived and theory-dependent notion of C-truth (true with certainty), defining a physical preorder $\prec$ induced by C-truth, and finally selecting a set of sentences ϕ V that are verifiable (or testable) according to ${{\mathcal{T}}, }$ on which a weak complementation ⊥ is induced by ${{\mathcal{T}}. }$ The triple $(\phi_{V},\prec,^{\perp})$ is then the desired concrete logic. By applying this procedure we recover a classical logic and a standard quantum logic as concrete logics associated with classical and quantum mechanics, respectively. The latter result is obtained in a purely formal way, but it 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. Hence quantum logic can be considered as a mathematical structure formalizing the properties of the notion of verification in quantum physics. This conclusion supports the general idea that some nonclassical logics can coexist without conflicting with classical logic (global pluralism) because they formalize metalinguistic notions that do not coincide with the notion of truth as correspondence but are not alternative to it either

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2011-12-13

Downloads
14 (#264,824)

6 months
62 (#252,270)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Philosophy of logic.Willard Van Orman Quine - 1970 - Cambridge: Harvard University Press. Edited by Simon Blackburn & Keith Simmons.
Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.
Conjectures and Refutations.K. Popper - 1963 - Les Etudes Philosophiques 21 (3):431-434.
The philosophy of quantum mechanics.Max Jammer - 1974 - New York,: Wiley. Edited by Max Jammer.
The Problem of Hidden Variables in Quantum Mechanics.Simon Kochen & E. P. Specker - 1967 - Journal of Mathematics and Mechanics 17:59--87.

View all 50 references / Add more references