Semantic incompleteness of quantum physics
type: Item
instance of: scholarly article
title: Semantic incompleteness of quantum physics
zbMATH Open document ID: 0777.03017
DOI: 10.1007/BF00678546
author: Claudio Garola
published in: International Journal of Theoretical Physics
publication date: 1993-01-16T00:00:00Z
review text: The author seeks to provide a formal logical expression of the `incompleteness' of quantum physics, as discussed in the Einstein- Podolsky-Rosen paper. Part of the analysis provided is closely similar to my own work published in 1984. The author outlines a formal language for physics which includes `state' and `effect' predicate symbols. He briefly sketches an interpretation based on the concept of `laboratory', such that states are interpreted as physical objects prepared in a laboratory, and effects are `physical objects which could yield the answer `yes' if tested by means of a device'. While this semantics is quite different from my own work, the further developments in this paper closely follow work of my own, published in ``Modern logic and quantum mechanics'' (1984; Zbl 0586.03003). Specifically a `true domain' and `false domain' are defined and discussed, cf. my own `truth set' and `falsity set' of an interpretation. The incompleteness of quantum physics is expressed in terms of the fact that states cannot determine truth-values of all propositions, or alternatively in the non-exhaustiveness of the truth- and falsity-sets. And most importantly, at the end of the paper, a `compatibility' relation is defined among states, which is exactly comparable to my own `successor' relation, i.e. two states are `compatible' (successors) if they yield non-contradictory information, a relation which was analyzed and discussed in my own work. In my view the semantics sketched here needs far more rigorous development to be convincing. And the analysis of `incompleteness' which is the aim of the semantics, has already been developed in my own work, based on a more general and simpler semantics.
Mathematics Subject Classification ID: 03G12
zbMATH DE Number: 95355
zbMATH Keywords: compatibility
zbMATH Keywords: formal language for physics
zbMATH Keywords: semantics
zbMATH Keywords: incompleteness of quantum physics
zbMATH Keywords: states
zbMATH Keywords: truth-values
MaRDI profile type: Publication
cites work: Q5821406
cites work: Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?
cites work: Classical foundations of quantum logic
cites work: Q4747069
cites work: Q5723020
cites work: Q4100556
description: scientific article; zbMATH DE number 95355