Classical foundations of quantum logic |
| |
Authors: | Claudio Garola |
| |
Affiliation: | (1) Dipartimento di Fisica dell'Università di Lecce, Lecce, Italy |
| |
Abstract: | We construct a languageL for a classical first-order predicate calculus with monadic predicates only, extended by means of a family of statistical quantifiers. Then, a formal semantic model is put forward forL which is compatible with a physical interpretation and embodies a truth theory which provides the statistical quantifiers with properties that fit their interpretation; in this framework, the truth mode of physical laws is suitably characterized and a probability-frequency correlation principle is established. By making use ofL and , a set of basic physical laws is stated that hold both in classical physics (CP) and in quantum physics (QP), which allow the selection of suitable subsets of primitive predicates ofL (the set P of pure states; the sets o and E of operational and exact effects, respectively) and the introduction on these subsets of binary relations (a preclusion relation # on P, an order relation < on E. By assuming further physical laws, ( E, <) turns out to be a complete orthocomplemented lattice [mixtures and atomicity of ( E, <) also can be introduced by means of suitable physical assumptions]. Two languagesLEx andLES are constructed that can be mapped intoL; the mapping induces on them mathematical structures, some kind of truth function, an interpretation. The formulas ofLEx can be interpreted as statements about properties of a physical object, and the truth function onLEx is two valued. The formulas ofLES can be endowed with two different interpretations as statements about the frequency of some physical property in some class (state) of physical objects; consequently, a two-valued truth function and a multivalued fuzzy-truth function are defined onLES. In all cases the algebras of propositions of these logics are complete orthocomplemented lattices isomorphic to ( E, <). These results hold both in CP and in QP; further physical assumptions endow the lattice ( E, <), henceLEx andLE/S, with further properties, such as distributivity in CP and weak modularity and covering law in QP. In the latter case,LES andLES, together with their interpretations, can be considered different models of the same basic mathematical structure, and can be identified with standard (elementary) quantum logics. These are therefore founded on the classical extended languageL with semantic model . |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|