The Role of Classical Logic in the So-Called "Quantic Logic"

Abstract

The purpose of this paper is to prove that the construction of a quantum logic is a task of specific interest for non-classical logic, but that it is relevant neither to the methodology of quantum mechanics nor to the formalisation of the alternative yes-no process. The main argument is that quantum structures (for example, orthocomplemented partially ordered sets, orthomodular lattices and partial algebras) are not systems of logic proper, but rather are perfectly formalizable structures in classical logic.

In § 1, the orthodox formulation of Jauch and Piron are analyzed. I affirm that the objections made by these authors against “quantum logic” are not eliminated by the introduction of a conditional in the lattice structures, since the true reason why quantum “logic” is not really logic lies in its formulation, which is not that of a propositional system, but rather that of a specific theory whose model is these lattices.

It is argued that the collection of the properties satisfied by certain objects of a structure does not justify their presentation as purely logical properties, nor does the presence of certain operations of the least upper bound and greatest lower bound permit us to call symbols introduced by analogy in propositionaI logic “connectives”. In any case, if that formalization is indeed possible, it does not imply the adoption of a new logic as a formal instrument for quantum mechanics.

In § 2, aspects of quantum theories which are especially semantic in nature are analyzed. I agree with van Fraassen’s statement in the sense that that semantic formulation makes specific concepts of the theory clearer, but it does not attempt to construct its own logic. I deduce that it is non-classical logic which can actually take advantage of quantum semantics, as a model which, eventually, could throw light on the metalogical properties of certain special propositional systems.

Finally, by using Benioff’s profound set theory analysis, I advance the hypothesis that classical logic is possibly the only one that can account for the richness of the meanings that appear in quantum mechanics.
[Summary by Carlos Lungarzo]