dorsal/arxiv
View SchemaA topos perspective on the Kochen-Specker theorem: II. Conceptual Aspects, and Classical Analogues:
| Authors | C. J. Isham, J. Butterfield |
|---|---|
| Categories | |
| ArXiv ID | quant-ph/9808067 |
| URL | https://arxiv.org/abs/quant-ph/9808067 |
| Journal | Int.J.Theor.Phys. 38 (1999) 827-859 |
Abstract
In a previous paper, we have proposed assigning as the value of a physical quantity in quantum theory, a certain kind of set (a sieve) of quantities that are functions of the given quantity. The motivation was in part physical---such a valuation illuminates the Kochen-Specker theorem; and in part mathematical---the valuation arises naturally in the topos theory of presheaves. This paper discusses the conceptual aspects of this proposal. We also undertake two other tasks. First, we explain how the proposed valuations could arise much more generally than just in quantum physics; in particular, they arise as naturally in classical physics. Second, we give another motivation for such valuations (that applies equally to classical and quantum physics). This arises from applying to propositions about the values of physical quantities some general axioms governing partial truth for any kind of proposition.
{
"annotation_id": "10d133d3-bdcf-4e4c-a091-49285cdf17e9",
"date_created": "2026-03-02T18:02:45.256000Z",
"date_modified": "2026-03-02T18:02:45.256000Z",
"file_hash": "ae7fb2574e561c52dc9ff1a25334755dd0c76ef17418f53a99ce99f3eab67c12",
"private": false,
"record": {
"abstract": "In a previous paper, we have proposed assigning as the value of a physical\nquantity in quantum theory, a certain kind of set (a sieve) of quantities that\nare functions of the given quantity. The motivation was in part physical---such\na valuation illuminates the Kochen-Specker theorem; and in part\nmathematical---the valuation arises naturally in the topos theory of\npresheaves.\n This paper discusses the conceptual aspects of this proposal. We also\nundertake two other tasks. First, we explain how the proposed valuations could\narise much more generally than just in quantum physics; in particular, they\narise as naturally in classical physics. Second, we give another motivation for\nsuch valuations (that applies equally to classical and quantum physics). This\narises from applying to propositions about the values of physical quantities\nsome general axioms governing partial truth for any kind of proposition.",
"arxiv_id": "quant-ph/9808067",
"authors": [
"C. J. Isham",
"J. Butterfield"
],
"categories": [
"quant-ph",
"gr-qc",
"math-ph",
"math.MP"
],
"journal_ref": "Int.J.Theor.Phys. 38 (1999) 827-859",
"title": "A topos perspective on the Kochen-Specker theorem: II. Conceptual Aspects, and Classical Analogues:",
"url": "https://arxiv.org/abs/quant-ph/9808067"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "bb567134-767d-4bd5-b8cd-6013707146c2",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}