dorsal/arxiv
View SchemaOn the Notion of Proposition in Classical and Quantum Mechanics
| Authors | Claudio Garola, Sandro Sozzo |
|---|---|
| Categories | |
| ArXiv ID | quant-ph/0603172 |
| URL | https://arxiv.org/abs/quant-ph/0603172 |
Abstract
The term proposition usually denotes in quantum mechanics (QM) an element of (standard) quantum logic (QL). Within the orthodox interpretation of QM the propositions of QL cannot be associated with sentences of a language stating properties of individual samples of a physical system, since properties are nonobjective in QM. This makes the interpretation of propositions problematical. The difficulty can be removed by adopting the objective interpretation of QM proposed by one of the authors (semantic realism, or SR, interpretation). In this case, a unified perspective can be adopted for QM and classical mechanics (CM), and a simple first order predicate calculus L(x) with Tarskian semantics can be constructed such that one can associate a physical proposition (i.e., a set of physical states) with every sentence of L(x). The set $P^{f}$ of all physical propositions is partially ordered and contains a subset $P^{f}_{T}$ of testable physical propositions whose order structure depends on the criteria of testability established by the physical theory. In particular, $P^{f}_{T}$ turns out to be a Boolean lattice in CM, while it can be identified with QL in QM. Hence the propositions of QL can be associated with sentences of L(x), or also with the sentences of a suitable quantum language $L_{TQ}(x)$, and the structure of QL characterizes the notion of testability in QM. One can then show that the notion of quantum truth does not conflict with the classical notion of truth within this perspective. Furthermore, the interpretation of QL propounded here proves to be equivalent to a previous pragmatic interpretation worked out by one of the authors, and can be embodied within a more general perspective which considers states as first order predicates of a broader language with a Kripkean semantics.
{
"annotation_id": "9c540595-65b0-43d9-9e7a-3457078893d4",
"date_created": "2026-03-02T18:02:23.718000Z",
"date_modified": "2026-03-02T18:02:23.718000Z",
"file_hash": "813e8e5b2af504d90c3d55c666dd6ec148ee8087869741b94fe589c33e297e46",
"private": false,
"record": {
"abstract": "The term proposition usually denotes in quantum mechanics (QM) an element of\n(standard) quantum logic (QL). Within the orthodox interpretation of QM the\npropositions of QL cannot be associated with sentences of a language stating\nproperties of individual samples of a physical system, since properties are\nnonobjective in QM. This makes the interpretation of propositions\nproblematical. The difficulty can be removed by adopting the objective\ninterpretation of QM proposed by one of the authors (semantic realism, or SR,\ninterpretation). In this case, a unified perspective can be adopted for QM and\nclassical mechanics (CM), and a simple first order predicate calculus L(x) with\nTarskian semantics can be constructed such that one can associate a physical\nproposition (i.e., a set of physical states) with every sentence of L(x). The\nset $P^{f}$ of all physical propositions is partially ordered and contains a\nsubset $P^{f}_{T}$ of testable physical propositions whose order structure\ndepends on the criteria of testability established by the physical theory. In\nparticular, $P^{f}_{T}$ turns out to be a Boolean lattice in CM, while it can\nbe identified with QL in QM. Hence the propositions of QL can be associated\nwith sentences of L(x), or also with the sentences of a suitable quantum\nlanguage $L_{TQ}(x)$, and the structure of QL characterizes the notion of\ntestability in QM. One can then show that the notion of quantum truth does not\nconflict with the classical notion of truth within this perspective.\nFurthermore, the interpretation of QL propounded here proves to be equivalent\nto a previous pragmatic interpretation worked out by one of the authors, and\ncan be embodied within a more general perspective which considers states as\nfirst order predicates of a broader language with a Kripkean semantics.",
"arxiv_id": "quant-ph/0603172",
"authors": [
"Claudio Garola",
"Sandro Sozzo"
],
"categories": [
"quant-ph"
],
"title": "On the Notion of Proposition in Classical and Quantum Mechanics",
"url": "https://arxiv.org/abs/quant-ph/0603172"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "95a9e021-a3f3-4a0f-a62d-3afe4cf3f7d0",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}