{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:SFLW4XZYXTQ4DBKUO2M7YRPMKE","short_pith_number":"pith:SFLW4XZY","schema_version":"1.0","canonical_sha256":"91576e5f38bce1c185547699fc45ec512f46df0c623cc33cb4310b447e401cb9","source":{"kind":"arxiv","id":"2412.00356","version":2},"attestation_state":"computed","paper":{"title":"Vagueness and the Connectives","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Wesley H. Holliday","submitted_at":"2024-11-30T04:32:41Z","abstract_excerpt":"Challenges to classical logic have emerged from several sources. According to recent work, the behavior of epistemic modals in natural language motivates weakening classical logic to orthologic, a logic originally discovered by Birkhoff and von Neumann in the study of quantum mechanics. In this paper, we consider a different tradition of thinking that the behavior of vague predicates in natural language motivates weakening classical logic to intuitionistic logic or even giving up some intuitionistic principles. We focus in particular on Fine's recent approach to vagueness. Our main question is"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2412.00356","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2024-11-30T04:32:41Z","cross_cats_sorted":[],"title_canon_sha256":"847a4492231f3194ced8b269a2c919d7d51523e50a031a74f3fca022650b1a91","abstract_canon_sha256":"b7ce139101852c55275da96fb11b70d8dfaf06055cec75d88e995b11ea13f3f6"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:33:07.083794Z","signature_b64":"tqVFFBPSUvOS1ghjwUHVQGclI6tRzU+cFBdfur/52WoZhc3Bv2aYFze8rwb+IvtI8JTrrIdQAZMlIH7tRXTUAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"91576e5f38bce1c185547699fc45ec512f46df0c623cc33cb4310b447e401cb9","last_reissued_at":"2026-07-05T10:33:07.083115Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:33:07.083115Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Vagueness and the Connectives","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Wesley H. Holliday","submitted_at":"2024-11-30T04:32:41Z","abstract_excerpt":"Challenges to classical logic have emerged from several sources. According to recent work, the behavior of epistemic modals in natural language motivates weakening classical logic to orthologic, a logic originally discovered by Birkhoff and von Neumann in the study of quantum mechanics. In this paper, we consider a different tradition of thinking that the behavior of vague predicates in natural language motivates weakening classical logic to intuitionistic logic or even giving up some intuitionistic principles. We focus in particular on Fine's recent approach to vagueness. Our main question is"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.00356","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2412.00356/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2412.00356","created_at":"2026-07-05T10:33:07.083196+00:00"},{"alias_kind":"arxiv_version","alias_value":"2412.00356v2","created_at":"2026-07-05T10:33:07.083196+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.00356","created_at":"2026-07-05T10:33:07.083196+00:00"},{"alias_kind":"pith_short_12","alias_value":"SFLW4XZYXTQ4","created_at":"2026-07-05T10:33:07.083196+00:00"},{"alias_kind":"pith_short_16","alias_value":"SFLW4XZYXTQ4DBKU","created_at":"2026-07-05T10:33:07.083196+00:00"},{"alias_kind":"pith_short_8","alias_value":"SFLW4XZY","created_at":"2026-07-05T10:33:07.083196+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/SFLW4XZYXTQ4DBKUO2M7YRPMKE","json":"https://pith.science/pith/SFLW4XZYXTQ4DBKUO2M7YRPMKE.json","graph_json":"https://pith.science/api/pith-number/SFLW4XZYXTQ4DBKUO2M7YRPMKE/graph.json","events_json":"https://pith.science/api/pith-number/SFLW4XZYXTQ4DBKUO2M7YRPMKE/events.json","paper":"https://pith.science/paper/SFLW4XZY"},"agent_actions":{"view_html":"https://pith.science/pith/SFLW4XZYXTQ4DBKUO2M7YRPMKE","download_json":"https://pith.science/pith/SFLW4XZYXTQ4DBKUO2M7YRPMKE.json","view_paper":"https://pith.science/paper/SFLW4XZY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2412.00356&json=true","fetch_graph":"https://pith.science/api/pith-number/SFLW4XZYXTQ4DBKUO2M7YRPMKE/graph.json","fetch_events":"https://pith.science/api/pith-number/SFLW4XZYXTQ4DBKUO2M7YRPMKE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/SFLW4XZYXTQ4DBKUO2M7YRPMKE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/SFLW4XZYXTQ4DBKUO2M7YRPMKE/action/storage_attestation","attest_author":"https://pith.science/pith/SFLW4XZYXTQ4DBKUO2M7YRPMKE/action/author_attestation","sign_citation":"https://pith.science/pith/SFLW4XZYXTQ4DBKUO2M7YRPMKE/action/citation_signature","submit_replication":"https://pith.science/pith/SFLW4XZYXTQ4DBKUO2M7YRPMKE/action/replication_record"}},"created_at":"2026-07-05T10:33:07.083196+00:00","updated_at":"2026-07-05T10:33:07.083196+00:00"}