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

Nonobjectivity of physical properties enters physics with the standard interpretation of quantum mechanics (QM), and a number of paradoxes of this theory follow from it. It seems, however, based on sound physical arguments (double slit experiment, Heisenberg's principle, Bell–Kochen–Specker theorem, etc.), so that most physicists think that avoiding it is impossible. We discuss these arguments here and show that they can be criticized from a physical viewpoint. Our criticism proves that nonobjectivity must be considered an epistemological choice rather than an (...) unavoidable feature of QM, so that an objective interpretation of QM is not a priori impossible, which justifies our attempt at providing it in some previous papers. This interpretation is based on a classical language in which the language of the standard interpretation (Quantum Logic) is embedded as a subset of statements that are directly testable according to QM. (shrink)

Scholars concerned with the foundations of quantum mechanics (QM) usually think that contextuality (hence nonobjectivity of physical properties, which implies numerous problems and paradoxes) is an unavoidable feature of QM which directly follows from the mathematical apparatus of QM. Based on some previous papers on this issue, we criticize this view and supply a new informal presentation of the extended semantic realism (ESR) model which embodies the formalism of QM into a broader mathematical formalism and reinterprets quantum probabilities as conditional (...) on detection rather than absolute. Because of this reinterpretation a hidden variables theory can be constructed which justifies the assumptions introduced in the ESR model and proves its objectivity. When applied to special cases the ESR model settles long-standing conflicts (it reconciles Bell’s inequalities with QM), provides a general framework in which previous results obtained by other authors (as local interpretations of the GHZ experiment) are recovered and explained, and supports an interpretation of quantum logic which avoids the introduction of the problematic notion of quantum truth. (shrink)

The old Bohr–Einstein debate about the completeness of quantum mechanics (QM) was held on an ontological ground. The completeness problem becomes more tractable, however, if it is preliminarily discussed from a semantic viewpoint. Indeed every physical theory adopts, explicitly or not, a truth theory for its observative language, in terms of which the notions of semantic objectivity and semantic completeness of the physical theory can be introduced and inquired. In particular, standard QM adopts a verificationist theory of truth that implies (...) its semantic nonobjectivity; moreover, we show in this paper that standard QM is semantically complete, which matches Bohr's thesis. On the other hand, one of the authors has provided a Semantic Realism (or SR) interpretation of QM that adopts a Tarskian theory of truth as correspondence for the observative language of QM (which was previously mantained to be impossible); according to this interpretation QM is semantically objective, yet incomplete, which matches EPR's thesis. Thus, standard QM and the SR interpretation of QM come to opposite conclusions. These can be reconciled within an integrationist perspective that interpretes non-Tarskian theories of truth as theories of metalinguistic concepts different from truth. (shrink)

We construct an extension P of the standard language of classical propositional logic by adjoining to the alphabet of a new category of logical-pragmatic signs. The well formed formulas of are calledradical formulas (rfs) of P;rfs preceded by theassertion sign constituteelementary assertive formulas of P, which can be connected together by means of thepragmatic connectives N, K, A, C, E, so as to obtain the set of all theassertive formulas (afs). Everyrf of P is endowed with atruth value defined classically, (...) and everyaf is endowed with ajustification value, defined in terms of the intuitive notion of proof and depending on the truth values of its radical subformulas. In this framework, we define the notion ofpragmatic validity in P and yield a list of criteria of pragmatic validity which hold under the assumption that only classical metalinguistic procedures of proof be accepted. We translate the classical propositional calculus (CPC) and the intuitionistic propositional calculus (IPC) into the assertive part of P and show that this translation allows us to interpret Intuitionistic Logic as an axiomatic theory of the constructive proof concept rather than an alternative to Classical Logic. Finally, we show that our framework provides a suitable background for discussing classical problems in the philosophy of logic. (shrink)