{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:XQ2INHRNENUZMQD4XVV7V2PTDJ","short_pith_number":"pith:XQ2INHRN","canonical_record":{"source":{"id":"1606.08326","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-06-27T15:46:44Z","cross_cats_sorted":[],"title_canon_sha256":"f520d89a87acb97dba9471caa6f50bd439baede13113ba575be0d5b96becb19e","abstract_canon_sha256":"ec0ed32f599d48af36565232ac2208883d5bded9a6031c7fe66e96eaf29f2755"},"schema_version":"1.0"},"canonical_sha256":"bc34869e2d236996407cbd6bfae9f31a7fb194298f205aadd73d26903a9e2c67","source":{"kind":"arxiv","id":"1606.08326","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.08326","created_at":"2026-05-18T01:11:52Z"},{"alias_kind":"arxiv_version","alias_value":"1606.08326v1","created_at":"2026-05-18T01:11:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.08326","created_at":"2026-05-18T01:11:52Z"},{"alias_kind":"pith_short_12","alias_value":"XQ2INHRNENUZ","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"XQ2INHRNENUZMQD4","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"XQ2INHRN","created_at":"2026-05-18T12:30:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:XQ2INHRNENUZMQD4XVV7V2PTDJ","target":"record","payload":{"canonical_record":{"source":{"id":"1606.08326","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-06-27T15:46:44Z","cross_cats_sorted":[],"title_canon_sha256":"f520d89a87acb97dba9471caa6f50bd439baede13113ba575be0d5b96becb19e","abstract_canon_sha256":"ec0ed32f599d48af36565232ac2208883d5bded9a6031c7fe66e96eaf29f2755"},"schema_version":"1.0"},"canonical_sha256":"bc34869e2d236996407cbd6bfae9f31a7fb194298f205aadd73d26903a9e2c67","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:11:52.322789Z","signature_b64":"bxSaPxzC0AHueq4NFz726cKLPSn1AdQ4LPGZnE4KcQd3DkGYbf3nRkDTMETpSqkbCc9K72CJFInA/hly9oWBAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bc34869e2d236996407cbd6bfae9f31a7fb194298f205aadd73d26903a9e2c67","last_reissued_at":"2026-05-18T01:11:52.322446Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:11:52.322446Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1606.08326","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:11:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XtDUwKTONVFJWpH4howCfvDd40zIm0GChWrZmSKOlhydBKozasdcom1GqWLDcS86LDBD7LVGAcaMaI6qsA73Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T20:26:23.716676Z"},"content_sha256":"2cf5da963476eb9025da481a05ea0df031a46a81180b2d61ef2adadf72e53339","schema_version":"1.0","event_id":"sha256:2cf5da963476eb9025da481a05ea0df031a46a81180b2d61ef2adadf72e53339"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:XQ2INHRNENUZMQD4XVV7V2PTDJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Aristotle's square of opposition in the light of Hilbert's epsilon and tau quantifiers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Christian Retor\\'e, Fabio Pasquali","submitted_at":"2016-06-27T15:46:44Z","abstract_excerpt":"Aristotle considered particular quantified sentences in his study of syllogisms and in his famous square of opposition. Of course, the logical formulas in Aristotle work were not modern formulas of mathematical logic, but ordinary sentences of natural language. Nowadays natural language sentences are turned into formulas of predicate logic as defined by Frege, but, it is not clear that those Fregean sentences are faithful representations of natural language sentences. Indeed, the usual modelling of natural language quantifiers does not fully correspond to natural language syntax, as we shall s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.08326","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:11:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mKutJVRYWj4FPxf69HE1uVWPFXa7xIBcgYx+aT7+vS4eGfyARGiJ8QcZWiXJreryQWA/Xlcj/67j8WzgpXJPAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T20:26:23.717816Z"},"content_sha256":"260121d2ee110ada1aa94d6bf6a55e07713e81831184b720744d09b50ece8eed","schema_version":"1.0","event_id":"sha256:260121d2ee110ada1aa94d6bf6a55e07713e81831184b720744d09b50ece8eed"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XQ2INHRNENUZMQD4XVV7V2PTDJ/bundle.json","state_url":"https://pith.science/pith/XQ2INHRNENUZMQD4XVV7V2PTDJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XQ2INHRNENUZMQD4XVV7V2PTDJ/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-23T20:26:23Z","links":{"resolver":"https://pith.science/pith/XQ2INHRNENUZMQD4XVV7V2PTDJ","bundle":"https://pith.science/pith/XQ2INHRNENUZMQD4XVV7V2PTDJ/bundle.json","state":"https://pith.science/pith/XQ2INHRNENUZMQD4XVV7V2PTDJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XQ2INHRNENUZMQD4XVV7V2PTDJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:XQ2INHRNENUZMQD4XVV7V2PTDJ","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"ec0ed32f599d48af36565232ac2208883d5bded9a6031c7fe66e96eaf29f2755","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-06-27T15:46:44Z","title_canon_sha256":"f520d89a87acb97dba9471caa6f50bd439baede13113ba575be0d5b96becb19e"},"schema_version":"1.0","source":{"id":"1606.08326","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.08326","created_at":"2026-05-18T01:11:52Z"},{"alias_kind":"arxiv_version","alias_value":"1606.08326v1","created_at":"2026-05-18T01:11:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.08326","created_at":"2026-05-18T01:11:52Z"},{"alias_kind":"pith_short_12","alias_value":"XQ2INHRNENUZ","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"XQ2INHRNENUZMQD4","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"XQ2INHRN","created_at":"2026-05-18T12:30:51Z"}],"graph_snapshots":[{"event_id":"sha256:260121d2ee110ada1aa94d6bf6a55e07713e81831184b720744d09b50ece8eed","target":"graph","created_at":"2026-05-18T01:11:52Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Aristotle considered particular quantified sentences in his study of syllogisms and in his famous square of opposition. Of course, the logical formulas in Aristotle work were not modern formulas of mathematical logic, but ordinary sentences of natural language. Nowadays natural language sentences are turned into formulas of predicate logic as defined by Frege, but, it is not clear that those Fregean sentences are faithful representations of natural language sentences. Indeed, the usual modelling of natural language quantifiers does not fully correspond to natural language syntax, as we shall s","authors_text":"Christian Retor\\'e, Fabio Pasquali","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-06-27T15:46:44Z","title":"Aristotle's square of opposition in the light of Hilbert's epsilon and tau quantifiers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.08326","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:2cf5da963476eb9025da481a05ea0df031a46a81180b2d61ef2adadf72e53339","target":"record","created_at":"2026-05-18T01:11:52Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"ec0ed32f599d48af36565232ac2208883d5bded9a6031c7fe66e96eaf29f2755","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-06-27T15:46:44Z","title_canon_sha256":"f520d89a87acb97dba9471caa6f50bd439baede13113ba575be0d5b96becb19e"},"schema_version":"1.0","source":{"id":"1606.08326","kind":"arxiv","version":1}},"canonical_sha256":"bc34869e2d236996407cbd6bfae9f31a7fb194298f205aadd73d26903a9e2c67","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bc34869e2d236996407cbd6bfae9f31a7fb194298f205aadd73d26903a9e2c67","first_computed_at":"2026-05-18T01:11:52.322446Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:11:52.322446Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bxSaPxzC0AHueq4NFz726cKLPSn1AdQ4LPGZnE4KcQd3DkGYbf3nRkDTMETpSqkbCc9K72CJFInA/hly9oWBAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:11:52.322789Z","signed_message":"canonical_sha256_bytes"},"source_id":"1606.08326","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2cf5da963476eb9025da481a05ea0df031a46a81180b2d61ef2adadf72e53339","sha256:260121d2ee110ada1aa94d6bf6a55e07713e81831184b720744d09b50ece8eed"],"state_sha256":"5ec453f569353a6536b306b2f46c9d7162db8d93058365525ed445a6b4de1489"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7iaKeG+1jQY9gHMinjRI9lB4tX9n9lDaqQiAWVldN0iLT+6Ohv6EBT+Z5BReZoJEGf14yg5KNlQTxC+NTqatDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-23T20:26:23.723968Z","bundle_sha256":"fca4f923f9fd55ab72ea05b9eb24fdf9f89027929146fb47b1a0cf571e97222b"}}