{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:7FSRUAMLHH5YUW5TXXL2WH4TLO","short_pith_number":"pith:7FSRUAML","schema_version":"1.0","canonical_sha256":"f9651a018b39fb8a5bb3bdd7ab1f935b84577bfadb6b2e579ae6486975036b2a","source":{"kind":"arxiv","id":"2207.08276","version":2},"attestation_state":"computed","paper":{"title":"Certain and Uncertain Inference with Indicative Conditionals","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","math.LO","math.PR"],"primary_cat":"cs.AI","authors_text":"Jan Sprenger, Lorenzo Rossi, Paul \\'Egr\\'e","submitted_at":"2022-07-17T20:06:00Z","abstract_excerpt":"This paper develops a trivalent semantics for the truth conditions and the probability of the natural language indicative conditional. Our framework rests on trivalent truth conditions first proposed by W. Cooper and yields two logics of conditional reasoning: (i) a logic C of inference from certain premises; and (ii) a logic U of inference from uncertain premises. But whereas C is monotonic for the conditional, U is not, and whereas C obeys Modus Ponens, U does not without restrictions. We show systematic correspondences between trivalent and probabilistic representations of inferences in eit"},"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":"2207.08276","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2022-07-17T20:06:00Z","cross_cats_sorted":["cs.LO","math.LO","math.PR"],"title_canon_sha256":"ea85ad9370627628f02da001fb0a05f017d87c4661c6ff3e22903adb94540cea","abstract_canon_sha256":"5c042b37d225d91a85ee1c34d96e95f0ea1908798651e2b98fec06fb32b427eb"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:05:12.445160Z","signature_b64":"AwFOUPmid5FnhJYv3VG5qVr8uIKjV3qe5HdJo9NGOVq4w2F2w5SCIo/g1bKCF3CVNZDPYUKkn8B5N9QO1UV3Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f9651a018b39fb8a5bb3bdd7ab1f935b84577bfadb6b2e579ae6486975036b2a","last_reissued_at":"2026-07-05T06:05:12.444756Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:05:12.444756Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Certain and Uncertain Inference with Indicative Conditionals","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","math.LO","math.PR"],"primary_cat":"cs.AI","authors_text":"Jan Sprenger, Lorenzo Rossi, Paul \\'Egr\\'e","submitted_at":"2022-07-17T20:06:00Z","abstract_excerpt":"This paper develops a trivalent semantics for the truth conditions and the probability of the natural language indicative conditional. Our framework rests on trivalent truth conditions first proposed by W. Cooper and yields two logics of conditional reasoning: (i) a logic C of inference from certain premises; and (ii) a logic U of inference from uncertain premises. But whereas C is monotonic for the conditional, U is not, and whereas C obeys Modus Ponens, U does not without restrictions. We show systematic correspondences between trivalent and probabilistic representations of inferences in eit"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2207.08276","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/2207.08276/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":"2207.08276","created_at":"2026-07-05T06:05:12.444802+00:00"},{"alias_kind":"arxiv_version","alias_value":"2207.08276v2","created_at":"2026-07-05T06:05:12.444802+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2207.08276","created_at":"2026-07-05T06:05:12.444802+00:00"},{"alias_kind":"pith_short_12","alias_value":"7FSRUAMLHH5Y","created_at":"2026-07-05T06:05:12.444802+00:00"},{"alias_kind":"pith_short_16","alias_value":"7FSRUAMLHH5YUW5T","created_at":"2026-07-05T06:05:12.444802+00:00"},{"alias_kind":"pith_short_8","alias_value":"7FSRUAML","created_at":"2026-07-05T06:05:12.444802+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/7FSRUAMLHH5YUW5TXXL2WH4TLO","json":"https://pith.science/pith/7FSRUAMLHH5YUW5TXXL2WH4TLO.json","graph_json":"https://pith.science/api/pith-number/7FSRUAMLHH5YUW5TXXL2WH4TLO/graph.json","events_json":"https://pith.science/api/pith-number/7FSRUAMLHH5YUW5TXXL2WH4TLO/events.json","paper":"https://pith.science/paper/7FSRUAML"},"agent_actions":{"view_html":"https://pith.science/pith/7FSRUAMLHH5YUW5TXXL2WH4TLO","download_json":"https://pith.science/pith/7FSRUAMLHH5YUW5TXXL2WH4TLO.json","view_paper":"https://pith.science/paper/7FSRUAML","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2207.08276&json=true","fetch_graph":"https://pith.science/api/pith-number/7FSRUAMLHH5YUW5TXXL2WH4TLO/graph.json","fetch_events":"https://pith.science/api/pith-number/7FSRUAMLHH5YUW5TXXL2WH4TLO/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7FSRUAMLHH5YUW5TXXL2WH4TLO/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7FSRUAMLHH5YUW5TXXL2WH4TLO/action/storage_attestation","attest_author":"https://pith.science/pith/7FSRUAMLHH5YUW5TXXL2WH4TLO/action/author_attestation","sign_citation":"https://pith.science/pith/7FSRUAMLHH5YUW5TXXL2WH4TLO/action/citation_signature","submit_replication":"https://pith.science/pith/7FSRUAMLHH5YUW5TXXL2WH4TLO/action/replication_record"}},"created_at":"2026-07-05T06:05:12.444802+00:00","updated_at":"2026-07-05T06:05:12.444802+00:00"}