Topos perspective on the Kochen-Specker theorem: I. Quantum states as generalized valuations

International Journal of Theoretical Physics

Volumn 37, Issue 11, 1998, Pages 2669-2733

  Isham, C J ^a   Butterfield, J ^b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b ALL SOULS COLLEGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0038855384     PISSN: 00207748     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1026680806775     Document Type: Review

References (22)

1. Bacciagaluppi, G., and Hemmo, M. (1996). Modal interpretations, decoherence and measurements, Studies in the History and Philosophy of Modern Physics, 27B, 239-278.
2. Bell, J. S. (1987). On the problem of hidden variables in quantum mechanics, in Speakable and Unspeakable in Quantum Mechanics, Cambridge University Press, Cambridge, pp. 1-13.
3. Brown, H. R. (1992). Bell's other theorem and its connection with non-locality. Part 1, in Bell's Theorem and the Foundations of Modern Physics, A. van der Merwe, F. Selleri, and G. Tarozzi, eds., World Scientific, Singapore.
4. Bub, J. (1997). Interpreting the Quantum World, Cambridge University Press, Cambridge.
5. Bub, J., and Clifton, C. (1996). A uniqueness theorem for "no collapse" interpretations of quantum mechanics, Studies in the History and Philosophy of Modern Physics, 27B, 181-219.
6. Busch, P., Grabowski, M., and Lahti, P. J. (1995). Operational Quantum Physics, Springer-Verlag, Berlin.
7. Butterfield, J., and Isham, C. J. (1998). A topos perspective on the Kochen-Specker theorem: II. Conceptual aspects and Classical Analogues, quant-ph/9808067, forthcoming in the International Journal of Theoretical Physics, 38.
8. Clifton, R. (1995). Independently motivating the Kochen-Dieks modal interpretation of quantum mechanics, British Journal for the Philosophy of Science, 46, 33-57.
9. Dieks, D. (1995). Physical motivation of the modal interpretation of quantum mechanics, Physics Letters A, 197, 367-371.
10. Dummett, M. (1978). Is logic empirical? In Truth and Other Enigmas, Duckworth, London.
11. Dunford, N., and Schwartz, J. T. (1964). Linear Operators Part II: Spectral Theory, Interscience Publishers, New York.
12. Goldblatt, R. (1984). Topoi: The Categorial Analysis of Logic, North-Holland, Amsterdam.
13. Healey, R. (1989). The Philosophy of Quantum Mechanics, Cambridge University Press, Cambridge.
14. Isham, C. J. (1997). Topos theory and consistent histories: The internal logic of the set of all consistent sets, International Journal of Theoretical Physics, 36, 785-814.
15. Kochen, S. (1985). A new interpretation of quantum mechanics, in Symposium on the Foundations of Modern Physics, P. Lahti and P. Mittelstaedt, eds., World Scientific, Singapore, pp. 151-170.
16. Kochen, S., and Specker, E. P. (1967). The problem of hidden variables in quantum mechanics, Journal of Mathematics and Mechanics, 17, 59-87.
17. MacLane, S., and Moerdijk, I. (1992). Sheaves in Geometry and Logic: A First Introduction to Topos Theory, Springer-Verlag, Berlin.
18. Putnam, H. (1975). The logic of quantum mechanics, in Mathematics, Matter and Method, Cambridge University Press, Cambridge, pp. 174-197.
19. Singer, I. (1978). Some remarks on the Gribov ambiguity, Communications in Mathematical Physics, 60, 7-12.
20. van Fraassen, B. C. (1981). A modal interpretation of quantum mechanics, in Current Issues in Quantum Logic, E. Beltrametti and B. C. van Fraassen, eds., Plenum Press, New York, pp. 229-258.
21. van Fraassen, B. C. (1991). Quantum Mechanics: An Empiricist View, Clarendon Press, Oxford.
22. Vermaas, P. E., and Dieks, D. (1995). The modal interpretation of quantum theory. Foundations of Physics, 25, 145-158.