# Topos Perspective on the Kochen-Specker Theorem: I. Quantum States as Generalized Valuations

@article{Isham1998ToposPO, title={Topos Perspective on the Kochen-Specker Theorem: I. Quantum States as Generalized Valuations}, author={C. J. Isham and Jeremy Butterfield}, journal={International Journal of Theoretical Physics}, year={1998}, volume={37}, pages={2669-2733} }

AbstractAny attempt to construct a realistinterpretation of quantum theory founders on theKochen–Specker theorem, which asserts theimpossibility of assigning values to quantum quantitiesin a way that preserves functional relations between them. We constructa new type of valuation which is defined on alloperators, and which respects an appropriate version ofthe functional composition principle. The truth-values assigned to propositions are (i) contextual and(ii) multivalued, where the space of…

## 234 Citations

### Topos quantum theory reduced by context-selection functors

- Mathematics
- 2016

In this paper we deal with quantum theories on presheaves and sheaves on context categories consisting of commutative von Neumann algebras of bounded operators on a Hilbert space. Our aim is first to…

### A Topos Perspective on the Kochen-Specker Theorem II. Conceptual Aspects and Classical Analogues

- Philosophy
- 1998

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…

### Topos Perspective on the Kochen–Specker Theorem: IV. Interval Valuations

- Mathematics
- 2001

AbstractWe extend the topos-theoretic treatment given in previous papers (Butterfield, J. and Isham, C. J. (1999). International Journal of Theoretical Physics38, 827–859; Hamilton, J., Butterfield,…

### The Logos Categorical Approach to Quantum Mechanics: I. Kochen-Specker Contextuality and Global Intensive Valuations

- PhilosophyInternational Journal of Theoretical Physics
- 2018

The logos categorical approach to QM attempts to consider the main features of the quantum formalism as the standpoint to develop a conceptual representation that explains what the theory is really talking about —rather than as problems that need to be bypassed to allow a restoration of a classical “common sense” understanding of what there is.

### The Logos Categorical Approach to Quantum Mechanics: I. Kochen-Specker Contextuality and Global Intensive Valuations

- PhilosophyInternational Journal of Theoretical Physics
- 2018

In this paper we present a new categorical approach which attempts to provide an original understanding of QM. Our logos categorical approach attempts to consider the main features of the quantum…

### Topos quantum theory on quantization-induced sheaves

- Mathematics
- 2014

In this paper, we construct a sheaf-based topos quantum theory. It is well known that a topos quantum theory can be constructed on the topos of presheaves on the category of commutative von Neumann…

### Topos Theoretic Quantum Realism

- PhilosophyThe British Journal for the Philosophy of Science
- 2017

Topos quantum theory (TQT) is standardly portrayed as a kind of ‘neo-realist’ reformulation of quantum mechanics.1 In this article, I study the extent to which TQT can really be characterized as a…

### A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory

- Physics
- 2008

This paper is the second in a series whose goal is to develop a fundamentally new way of constructing theories of physics. The motivation comes from a desire to address certain deep issues that arise…

### Spectral Presheaves, Kochen-Specker Contextuality, and Quantale-Valued Relations

- MathematicsQPL
- 2017

The Gelfand spectrum comes equipped with a topology which has a natural interpretation when thinking of these structures as representing physical theories, and by considering its global sections it is given a non-contextuality result for these categories.

### 2 7 Se p 20 07 A topos for algebraic quantum theory

- Mathematics
- 2009

We show how a C*-algebra naturally induces a topos in which the family of its commutative subalgebras becomes a commutative C*-algebra. Its internal spectrum is a compact regular locale, and the…

## References

SHOWING 1-10 OF 21 REFERENCES

### A Topos Perspective on the Kochen-Specker Theorem II. Conceptual Aspects and Classical Analogues

- Philosophy
- 1998

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…

### Topos theory and consistent histories: The internal logic of the set of all consistent sets

- Philosophy
- 1996

A major problem in the consistent-histories approach to quantum theory is contending with the potentially large number of consistent sets of history propositions. One possibility is to find a scheme…

### Independently Motivating the Kochen—Dieks Modal Interpretation of Quantum Mechanics

- PhilosophyThe British Journal for the Philosophy of Science
- 1995

The distinguishing feature of ‘modal’ interpretations of quantum mechanics is their abandonment of the orthodox eigenstate–eigenvalue rule, which says that an observable possesses a definite value if…

### Sheaves in geometry and logic: a first introduction to topos theory

- Mathematics
- 1992

This text presents topos theory as it has developed from the study of sheaves. Sheaves arose in geometry as coefficients for cohomology and as descriptions of the functions appropriate to various…

### The Modal Interpretation of Quantum Mechanics

- Physics
- 1998

Preface D. Dieks, P.E. Vermaas. Introduction D. Dieks, P.E. Vermaas. Lorentz-Invariance in Modal Interpretations M. Dickson, R. Clifton. Locality and Lorentz-Covariance in the Modal Interpretation of…

### Operational Quantum Physics

- Physics
- 1997

Quantum physics is certainly one of the greatest scientific achievements of the 20th century. Nevertheless, there has always been a gap between the formalistics approach of quantum theory and its…

### The Logic of Quantum Mechanics

- Philosophy
- 1936

One of the aspects of quantum theory which has attracted the most general attention, is the novelty of the logical notions which it presupposes. It asserts that even a complete mathematical…

### Quantum Mechanics: An Empiricist View

- Philosophy
- 1991

Part 1 Determinism and inderterminism in classical perspective: determinism indeterminism and probability. Part 2 How the phenomena demand quantum theory: the empirical basis of quantum theory new…