Recovering Quantum Logic Within an Extended Classical Framework

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.

Aerts, D. (1987). The origin of the non-classical character of the quantum probability model. In Blanquiere, A., et al. (Eds.), Information, complexity and control in quantum physics (pp. 77–100). New York: Springer.Google Scholar

Aerts, D. (1988). The physical origin of the EPR paradox and how to violate Bell inequalities by macroscopic systems. In Lahti, P., et al. (Eds.), Symposium on the foundations of modern physics (pp. 305–320). Singapore: World Scientific.Google Scholar