nucleation

LIT-381: A Topos Perspective on the Kochen-Specker Theorem: II. Conceptual Aspects, and Classical Analogues

1 min read

Properties5
StatusActive — read in full 2026-10-01 (NOTE-329); worth reading as the series' conceptual companion and the only place it states the classical analogue and the partial-truth motivation; the mathematics is light (one short theorem), and the sieve semantics it motivates is carried on in part III, part IV and Döring–Isham (LIT-343, LIT-335).
Version2
Tagsquantum-foundations, logic, contextuality, philosophy-of-science, mathematics
Cited as “paper” byNOTE-329 — A Topos Perspective on the Kochen-Specker Theorem: II. Conceptual Aspects, and Classical Analogues
Cited as “source” byTHEORY-516 — For any presheaf of propositions over a small category of contexts, a sieve-valued valuation satisfies the generalized functional-composition condition exactly when it is a subobject of that presheaf, and the construction runs unchanged in classical physics, where every microstate gives a global section yet truth values are still non-Boolean sieves; so the logic of the truth values is fixed by the base category, not by whether a presheaf has global sections

Graph View

Butterfield & Isham (1998), International Journal of Theoretical Physics 38(3):827–859 (March 1999), per Crossref; the journal pages were not seen — arXiv:quant-ph/9808067

Standing in the record

Filed on 2026-10-01 at the owner’s request. published: is the first appearance (ADR-002).

It was filed Deferred, unread. NOTE-329 is the close reading of 2026-10-01, and it placed the work: Active — worth reading as the series’ conceptual companion and the only place it states the classical analogue and the partial-truth motivation; the mathematics is light (one short theorem), and the sieve semantics it motivates is carried on in part III, part IV and Döring–Isham (LIT-343, LIT-335).

Backlinks