Abstract
In a previous paper, we proposed assigning asthe value of a physical quantity in quantum theory acertain kind of set (a sieve) of quantities that arefunctions of the given quantity. The motivation was in part physical — such a valuationilluminates the Kochen–Specker theorem — andin part mathematical — the valuation arisesnaturally in the topos theory of presheaves. This paperdiscusses the conceptual aspects of this proposal. We also undertake two othertasks. First, we explain how the proposed valuationscould arise much more generally than just in quantumphysics; in particular, they arise as naturally in classical physics. Second, we give anothermotivation for such valuations (that applies equally toclassical and quantum physics). This arises fromapplying to propositions about the values of physical quantities some general axioms governingpartial truth for any kind of proposition.
Similar content being viewed by others
REFERENCES
C. J. Isham and J. Butterfield, A topos perspective on the Kochen-Specker theorem: I. Quantum states as generalised valuations, Int. J. Theor. Phys. (1998), to appear [quantph/ 980355].
J. Butterfield and C. J. Isham, Philosophical implications of generalised valuations. (1998), in preparation.
J. Butterfield and C. J. Isham, A topos perspective on the Kochen-Specker theorem: III. Interval-valued generalised valuations (1998), in preparation.
R. Goldblatt, Topoi: The Categorial Analysis of Logic, North-Holland, London (1984).
S. MacLane and I. Moerdijk, Sheaves in Geometry and Logic: A First Introduction to Topos Theory, Springer-Verlag, London (1992).
S. Haack, Is truth flat or bumpy? in Prospects for Pragmatism, D. H. Mellor, ed., Cambridge University Press, Cambridge (1980), pp. 1–20.
Rights and permissions
About this article
Cite this article
Butterfield, J., Isham, C.J. A Topos Perspective on the Kochen-Specker Theorem II. Conceptual Aspects and Classical Analogues. International Journal of Theoretical Physics 38, 827–859 (1999). https://doi.org/10.1023/A:1026652817988
Issue Date:
DOI: https://doi.org/10.1023/A:1026652817988