Recovering Quantum Logic within an Extended Classical Framework

Details Recovering Quantum Logic within an Extended Classical Framework Recovering Quantum Logic within an Extended Classical Framework

2011-02-22

arxiv.org/abs/1102.4529v1

Physics

Quantum Physics

21 pages, 2 figures, Standard latex

Scientific paper

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 $\mathcal T$ and classical language $\mathcal L$ expressing $\mathcal T$, an observative sublanguage $L$ of $\mathcal L$ 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 $\mathcal T$, on which a \emph{weak complementation} is induced by $\mathcal T$. 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).

Affiliated with

Also associated with

No associations

Rating

Recovering Quantum Logic within an Extended Classical Framework does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Recovering Quantum Logic within an Extended Classical Framework, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Recovering Quantum Logic within an Extended Classical Framework will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-559481