{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:FKK7EDXEWD774D2467XFH2RSAO","short_pith_number":"pith:FKK7EDXE","canonical_record":{"source":{"id":"2205.14071","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2022-05-27T16:02:36Z","cross_cats_sorted":[],"title_canon_sha256":"d8c5f225bebf66ca1f59e5f01dd58d0fb22ce1f446d8470328a8e200e1ad70aa","abstract_canon_sha256":"6cf0ac7a7cac2490243be430c282ac232755e87bd6c1d243fc3a32a691017532"},"schema_version":"1.0"},"canonical_sha256":"2a95f20ee4b0fffe0f5cf7ee53ea3203a0e5da1ee8710614c5e5f48e401f8716","source":{"kind":"arxiv","id":"2205.14071","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.14071","created_at":"2026-07-05T04:28:11Z"},{"alias_kind":"arxiv_version","alias_value":"2205.14071v2","created_at":"2026-07-05T04:28:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.14071","created_at":"2026-07-05T04:28:11Z"},{"alias_kind":"pith_short_12","alias_value":"FKK7EDXEWD77","created_at":"2026-07-05T04:28:11Z"},{"alias_kind":"pith_short_16","alias_value":"FKK7EDXEWD774D24","created_at":"2026-07-05T04:28:11Z"},{"alias_kind":"pith_short_8","alias_value":"FKK7EDXE","created_at":"2026-07-05T04:28:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:FKK7EDXEWD774D2467XFH2RSAO","target":"record","payload":{"canonical_record":{"source":{"id":"2205.14071","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2022-05-27T16:02:36Z","cross_cats_sorted":[],"title_canon_sha256":"d8c5f225bebf66ca1f59e5f01dd58d0fb22ce1f446d8470328a8e200e1ad70aa","abstract_canon_sha256":"6cf0ac7a7cac2490243be430c282ac232755e87bd6c1d243fc3a32a691017532"},"schema_version":"1.0"},"canonical_sha256":"2a95f20ee4b0fffe0f5cf7ee53ea3203a0e5da1ee8710614c5e5f48e401f8716","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:28:11.967113Z","signature_b64":"xOh9tn0i+wjF4tF+l/FfHTkQDssP+v1WihiGuZE6mh6JeOjjUv6LxqknRkCmntZAfPNKrVJtKXtV9so8+jkJDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2a95f20ee4b0fffe0f5cf7ee53ea3203a0e5da1ee8710614c5e5f48e401f8716","last_reissued_at":"2026-07-05T04:28:11.966653Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:28:11.966653Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2205.14071","source_version":2,"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-07-05T04:28:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AtamjUcWF/1plkmXbp//bsKTk25ceuqJX6xCwWlirNi6Y8VTZkd/2WdFWYKln9FisNd14cG0vo+d+AGQY35WCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-13T04:34:03.880798Z"},"content_sha256":"77fc5301fc9ee336e8e53f90ac4200e7225fd7df92b5c7aec6dcf5963dcb5bdc","schema_version":"1.0","event_id":"sha256:77fc5301fc9ee336e8e53f90ac4200e7225fd7df92b5c7aec6dcf5963dcb5bdc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:FKK7EDXEWD774D2467XFH2RSAO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Mechanically Assisted Examination of Vacuity and Question Begging in Anselm's Ontological Argument","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"John Rushby","submitted_at":"2022-05-27T16:02:36Z","abstract_excerpt":"I use mechanized verification to examine several first- and higher-order formalizations of Anselm's Ontological Argument against the charge of begging the question. I propose three different but related criteria for a premise to beg the question in fully formal proofs and find that one or another applies to all the formalizations examined. I also show that all these formalizations entail variants that are vacuous, in the sense that they apply no interpretation to \"than which there is no greater\" and are therefore vulnerable to Gaunilo's refutation.\n  My purpose is to demonstrate that mechanize"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.14071","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/2205.14071/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"},"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-07-05T04:28:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TJ1MQzvbJiKpOn/KgAvZUMaJfc3+Rw/Z1U7ZsYo1ns0dTku9swjD2l8p7NEOwwNEXSrB6hhBT8haAwPezq0oBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-13T04:34:03.881175Z"},"content_sha256":"eef05f4573ec514c940f2996038bdeb93888284c02d15fe85a501e8e39fe84f6","schema_version":"1.0","event_id":"sha256:eef05f4573ec514c940f2996038bdeb93888284c02d15fe85a501e8e39fe84f6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FKK7EDXEWD774D2467XFH2RSAO/bundle.json","state_url":"https://pith.science/pith/FKK7EDXEWD774D2467XFH2RSAO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FKK7EDXEWD774D2467XFH2RSAO/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-07-13T04:34:03Z","links":{"resolver":"https://pith.science/pith/FKK7EDXEWD774D2467XFH2RSAO","bundle":"https://pith.science/pith/FKK7EDXEWD774D2467XFH2RSAO/bundle.json","state":"https://pith.science/pith/FKK7EDXEWD774D2467XFH2RSAO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FKK7EDXEWD774D2467XFH2RSAO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:FKK7EDXEWD774D2467XFH2RSAO","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":"6cf0ac7a7cac2490243be430c282ac232755e87bd6c1d243fc3a32a691017532","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2022-05-27T16:02:36Z","title_canon_sha256":"d8c5f225bebf66ca1f59e5f01dd58d0fb22ce1f446d8470328a8e200e1ad70aa"},"schema_version":"1.0","source":{"id":"2205.14071","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.14071","created_at":"2026-07-05T04:28:11Z"},{"alias_kind":"arxiv_version","alias_value":"2205.14071v2","created_at":"2026-07-05T04:28:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.14071","created_at":"2026-07-05T04:28:11Z"},{"alias_kind":"pith_short_12","alias_value":"FKK7EDXEWD77","created_at":"2026-07-05T04:28:11Z"},{"alias_kind":"pith_short_16","alias_value":"FKK7EDXEWD774D24","created_at":"2026-07-05T04:28:11Z"},{"alias_kind":"pith_short_8","alias_value":"FKK7EDXE","created_at":"2026-07-05T04:28:11Z"}],"graph_snapshots":[{"event_id":"sha256:eef05f4573ec514c940f2996038bdeb93888284c02d15fe85a501e8e39fe84f6","target":"graph","created_at":"2026-07-05T04:28:11Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2205.14071/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"I use mechanized verification to examine several first- and higher-order formalizations of Anselm's Ontological Argument against the charge of begging the question. I propose three different but related criteria for a premise to beg the question in fully formal proofs and find that one or another applies to all the formalizations examined. I also show that all these formalizations entail variants that are vacuous, in the sense that they apply no interpretation to \"than which there is no greater\" and are therefore vulnerable to Gaunilo's refutation.\n  My purpose is to demonstrate that mechanize","authors_text":"John Rushby","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2022-05-27T16:02:36Z","title":"A Mechanically Assisted Examination of Vacuity and Question Begging in Anselm's Ontological Argument"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.14071","kind":"arxiv","version":2},"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:77fc5301fc9ee336e8e53f90ac4200e7225fd7df92b5c7aec6dcf5963dcb5bdc","target":"record","created_at":"2026-07-05T04:28:11Z","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":"6cf0ac7a7cac2490243be430c282ac232755e87bd6c1d243fc3a32a691017532","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2022-05-27T16:02:36Z","title_canon_sha256":"d8c5f225bebf66ca1f59e5f01dd58d0fb22ce1f446d8470328a8e200e1ad70aa"},"schema_version":"1.0","source":{"id":"2205.14071","kind":"arxiv","version":2}},"canonical_sha256":"2a95f20ee4b0fffe0f5cf7ee53ea3203a0e5da1ee8710614c5e5f48e401f8716","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2a95f20ee4b0fffe0f5cf7ee53ea3203a0e5da1ee8710614c5e5f48e401f8716","first_computed_at":"2026-07-05T04:28:11.966653Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:28:11.966653Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xOh9tn0i+wjF4tF+l/FfHTkQDssP+v1WihiGuZE6mh6JeOjjUv6LxqknRkCmntZAfPNKrVJtKXtV9so8+jkJDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T04:28:11.967113Z","signed_message":"canonical_sha256_bytes"},"source_id":"2205.14071","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:77fc5301fc9ee336e8e53f90ac4200e7225fd7df92b5c7aec6dcf5963dcb5bdc","sha256:eef05f4573ec514c940f2996038bdeb93888284c02d15fe85a501e8e39fe84f6"],"state_sha256":"d45a8ed28e9ed57643d6772c7c782ab5228fcde38c2f817be7bbc871da7663cd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"09GxOW2O1GmF/Yo/OrYpgX7cJgDWoQjUklNK7x440+w2Yq9T6Yu665Rw1GXfzBmhju3uIrnGBy7I3GB7VFsMDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-13T04:34:03.886329Z","bundle_sha256":"d73d62951dd48fef088a78dca607fa29f32d82b59a349d3cb3f16ca5e0139f08"}}