The concepts of truth, possibility and probability in the language of quantum physics

Claudio Garola

Scholars have wondered for a long time whether quantum mechanics (QM) subtends a quantum concept of truth which originates quantum logic (QL) and is radically different from the classical (Tarskian) concept of truth. We show in this paper that QL can be interpreted as a pragmatic language of pragmatically decidable assertive formulas, which formalize statements about physical systems that are empirically justified or unjustified in the framework of QM. According to this interpretation, QL formalizes properties of the metalinguistic concept of empirical justification within QM rather than properties of a quantum concept of truth. This conclusion agrees with a general integrationist perspective, according to which nonstandard logics can be interpreted as theories of metalinguistic concepts different from truth, avoiding competition with classical notions and preserving the globality of logic. By the way, some elucidations of the standard concept of quantum truth are also obtained.

Roland L. Omnes

Paola Zizzi

We show that any unitary transformation performed on the quantum state of a closed quantum system describes an inner, reversible, generalized quantum measurement. We also show that under some specific conditions it is possible to perform a unitary transformation on the state of the closed quantum system by means of a collection of generalized measurement operators. In particular, given a complete set of orthogonal projectors, it is possible to implement a reversible quantum measurement that preserves the probabilities. In this context, we introduce the concept of "Truth-Observable", which is the physical counterpart of an inner logical truth.

Ernst-Walther Stachow

María Luisa Dalla Chiara, Roberto Giuntini

Claudio Garola, Sandro Sozzo

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.