Contextual semantics in quantum mechanics from a categorical point of view

Synthese 194 (3) (2017)
  Copy   BIBTEX

Abstract

The category-theoretic representation of quantum event structures provides a canonical setting for confronting the fundamental problem of truth valuation in quantum mechanics as exemplified, in particular, by Kochen–Specker’s theorem. In the present study, this is realized on the basis of the existence of a categorical adjunction between the category of sheaves of variable local Boolean frames, constituting a topos, and the category of quantum event algebras. We show explicitly that the latter category is equipped with an object of truth values, or classifying object, which constitutes the appropriate tool for assigning truth values to propositions describing the behavior of quantum systems. Effectively, this category-theoretic representation scheme circumvents consistently the semantic ambiguity with respect to truth valuation that is inherent in conventional quantum mechanics by inducing an objective contextual account of truth in the quantum domain of discourse. The philosophical implications of the resulting account are analyzed. We argue that it subscribes neither to a pragmatic instrumental nor to a relative notion of truth. Such an account essentially denies that there can be a universal context of reference or an Archimedean standpoint from which to evaluate logically the totality of facts of nature.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,346

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Quantum Probability and the Foundations of Quantum Theory.Luigi Accardi - 1990 - In Roger Cooke & Domenico Costantini (eds.), Boston Studies in the Philosophy of Science. Springer Verlag. pp. 119-147.
Realism and Objectivism in Quantum Mechanics.Vassilios Karakostas - 2012 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 43 (1):45-65.
Philosophen in der mikrowelt — ratlos?Manfred Stöckler - 1986 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 17 (1):68-95.
What is quantum mechanics trying to tell us?David Mermin - 1998 - American Journal of Physics 66 (9):753-767.

Analytics

Added to PP
2015-12-01

Downloads
42 (#280,303)

6 months
1 (#450,993)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

Add more citations

References found in this work

The Problem of Hidden Variables in Quantum Mechanics.Simon Kochen & E. P. Specker - 1967 - Journal of Mathematics and Mechanics 17:59--87.
The concept of truth in formalized languages.Alfred Tarski - 1936 - In A. Tarski (ed.), Logic, Semantics, Metamathematics. Oxford University Press. pp. 152--278.
Making sense of relative truth.John MacFarlane - 2005 - Proceedings of the Aristotelian Society 105 (3):321–339.
Truth.Alexis G. Burgess & John P. Burgess - 2011 - Princeton University Press.
Xiv *-making sense of relative truth.John MacFarlane - 2005 - Proceedings of the Aristotelian Society 105 (1):305-323.

View all 23 references / Add more references