{"entities":{"Q2856497":{"pageid":2867217,"ns":120,"title":"Item:Q2856497","lastrevid":42277428,"modified":"2025-06-04T04:22:22Z","type":"item","id":"Q2856497","labels":{"en":{"language":"en","value":"G\u00f6del's ontological proof and its variants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6220609"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856497$E4B4F0A9-481C-4A65-9112-DD2C60F7E57A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4287da5af3894b6341c33f3e5f772f74b08b1e1e","datavalue":{"value":"1283.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856497$8425010B-3FC7-482C-9AC8-F59464B6ECDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6f60fe646c044641a88e51c899da6e67b19d59e","datavalue":{"value":{"entity-type":"item","numeric-id":195656,"id":"Q195656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856497$96EAC08D-B024-4EA7-B810-BBB96B3148DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13d892113b757c853e0bc4f886dd8886203ae619","datavalue":{"value":{"time":"+2013-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2856497$E8DC0CE6-A23A-489C-A6F6-70493F82B281","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856497$224B2A9B-D806-4D88-9762-472C0C4C4E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856497$C37D7E44-8C64-4E2C-9BE7-4CA918478C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856497$CC4FC752-A6A4-47DA-A8D4-E3C10F84E1C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3648a2830225de39cd0e2d13acb6e97a153b7809","datavalue":{"value":"6220609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856497$B971BAB9-14C8-415B-801D-1AC520BA99D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d7cbe85578dc78a0394e2e0bca78e1916bd91f2","datavalue":{"value":"first-order two-sorted modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856497$9442BD7E-8EE1-420D-8704-84152932A20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f797978986a166e5aaa818c2311357949abbdb","datavalue":{"value":"second-order modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856497$138D67A2-9101-4C00-94FF-78C12BEDE385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecbf395d6fde96f1529513cd2230c690d5bd8b5a","datavalue":{"value":"G\u00f6del's ontological proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856497$D38BC8CE-CE61-4500-B956-18ED55A7D860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88b87558deeb619a10aa17cf09cbc236a995f755","datavalue":{"value":"S5 modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856497$748F1A53-D0D5-4B93-8BD5-DF566ACC2886","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856497$4A450B78-DD8A-4152-B0FD-B16A6851429C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b602c71d5b7726b4501bca675fd613f8af6bee4e","datavalue":{"value":{"entity-type":"item","numeric-id":4893141,"id":"Q4893141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e91b460ea0427a3a112c5cf11d157dae1343bdf","datavalue":{"value":{"amount":"+0.9542016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2856497$10F05ED4-A03E-4BF0-986F-F3CDF44CF62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16fe625f3b76dc2efdf67e474237cb666133bb74","datavalue":{"value":{"entity-type":"item","numeric-id":2363503,"id":"Q2363503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"025ec69c3f1146ef42859123ee8a8b4f3e1ba55c","datavalue":{"value":{"amount":"+0.93142426","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2856497$7C04863C-CB0F-4CA4-85E6-136EE3C633CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed0cde566fde25d105bad4bc77def8936bb3c618","datavalue":{"value":{"entity-type":"item","numeric-id":5027671,"id":"Q5027671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bda72ed8fb3832c40980d61b416440369da23c8","datavalue":{"value":{"amount":"+0.91616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2856497$FE88D58C-5150-453C-9FB7-A6642FC83D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c638750239e6f0e63bc09dc45c2df5d6e0f3bf6d","datavalue":{"value":{"entity-type":"item","numeric-id":4896507,"id":"Q4896507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"169d94579b13aa55f495cbab9df1c278f9109493","datavalue":{"value":{"amount":"+0.90805745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2856497$2D5BC8F1-28F8-4D66-9242-8B4EE960C37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cfa3f019129ec72535374d67b0b19b082e8c34c","datavalue":{"value":{"entity-type":"item","numeric-id":3480010,"id":"Q3480010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64e4eda48cb8b0068b351d4179686413cb1be495","datavalue":{"value":{"amount":"+0.89175475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2856497$04E06598-D0B7-472A-8C9E-C5447D0454A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa1ae3d1bc1b0de45ae5949e578e96cb58f67b76","datavalue":{"value":{"entity-type":"item","numeric-id":5046248,"id":"Q5046248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afe79565839c1edcd831a54ab36d6730511579df","datavalue":{"value":{"amount":"+0.8876634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2856497$3506A264-2307-48C6-8F48-3A91D19F5CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e35cca213e02bac7351e3e47de39f600222cbe92","datavalue":{"value":{"entity-type":"item","numeric-id":1612687,"id":"Q1612687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77c9aaa2ea8ed053461493737dc1b5c9709408bc","datavalue":{"value":{"amount":"+0.88710773","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2856497$02840D29-0E02-45EE-A3C7-38498391A034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb4549cc09f6a36a3e10d1aa718d49cd81d1e042","datavalue":{"value":{"entity-type":"item","numeric-id":5250219,"id":"Q5250219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e59b9e316faf8fefe5891180e46309a16019eb8","datavalue":{"value":{"amount":"+0.8871025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2856497$8D41EDD3-4310-4D77-BF66-6BB2C75A546F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3e4630daf9502fc3f83cc7ff9cc79aa36e4262b","datavalue":{"value":{"entity-type":"item","numeric-id":2631643,"id":"Q2631643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afa74cedc4bafd8403de72cf43f96277439b667e","datavalue":{"value":{"amount":"+0.8864822","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2856497$FB46E6DA-393A-47A9-9D9E-61C09D466FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c521edc4d515f5c87778c3eeb7fc970dd53789","datavalue":{"value":{"entity-type":"item","numeric-id":4282592,"id":"Q4282592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9f46986b2636ae52dc436fe12b8360ff8a38cc1","datavalue":{"value":{"amount":"+0.88376355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2856497$E32C2250-5324-49DD-B7A8-613BFE30FFA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a35764a450e63076cbd26400630fe3a0e3eb919","datavalue":{"value":{"text":"G\u00f6del's ontological proof and its variants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2856497$351752D7-7940-42D8-92D2-5A061FCBCCD4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"19f41b78419368965155fbccd030f1c0c656d157","datavalue":{"value":"The author's main goal is to analyze the formal (mathematical) aspects of the so-called G\u00f6delian proof of God's existence. He first discusses G\u00f6del's original version of the proof (as presented by Dana Scott). The system the proof is based on is constituted by (1) either an S5 second-order modal logic or an S5 two-sorted first-order modal logic, (2) axioms stating principles relating the concept of God to the notion of properties and essence, and (3) a full comprehension schema. One of the main problems with that system is that it collapses modalities, as shown in the paper itself. This problem historically led to modifications of the system. The author mentions several of such modifications, but he pays special attention to C. A. Anderson's modification, which differs from G\u00f6del's system, mainly in the axioms relating godlikeness to properties, necessary existence and essence. The author shows that several axioms in Anderson's original system are redundant. He also explores three modal formal systems which are variants of Anderson's own system. These systems contain a constant predicate of actual existence and are based either on Adam's non-redundant axiom system or a modification thereof, together with modifications in some of Anderson's original definitions. Also, one of those formal systems is intended for fixed domain models and the other two for variable domains models. Necessary actual existence and uniqueness of a godlike being are proved in the three systems. Finally, the author analyses the criticism of G\u00f6delian proofs by G. Oppy and briefly considers the meaning of such proofs for religion.NEWLINENEWLINEFor the entire collection see [Zbl 1253.00009].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856497$484BDECB-F8DA-4102-BEC5-3983DCF9133E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2856497","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2856497"}}}}}