PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:272 - 280 (1980)
AbstractThis contribution is concerned with a particular model theoretic semantics of the object language of quantum physics. The object language considered here comprises logically connected propositions, sequentially connected propositions and modal propositions. The model theoretic semantics arises from the already established dialogic semantics, if the pragmatic concept of the dialog-game is replaced by a "metaphysical" concept of the game. The game is determined by a game tree, the branches of which constitute a set, the set of "possible worlds" of an individual quantum physical system. The semantic concepts like truth, falsity and valuation are defined with respect to this set.
Similar books and articles
Completeness of Quantum Logic.E. -W. Stachow - 1976 - Journal of Philosophical Logic 5 (2):237 - 280.
Vector Space Semantics: A Model-Theoretic Analysis of Locative Prepositions. [REVIEW]Joost Zwarts & Yoad Winter - 2000 - Journal of Logic, Language and Information 9 (2):169-211.
The Concept of Logical Consequence: An Introduction to Philosophical Logic.Matthew W. McKeon - 2010 - Peter Lang.
Model-Theoretic Investigations Into Consequence Operation (Cn) in Quantum Logics: An Algebraic Approach.Piotr Wilczek - unknown
Formal Semantics: Origins, Issues, Early Impact.Barbara H. Partee - 2010 - The Baltic International Yearbook of Cognition, Logic and Communication 6 (1).
The Metalogic of Quantum Logic.Peter Mittelstaedt - 1978 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1978:249 - 256.
Added to PP
Historical graph of downloads