{"entities":{"Q1406610":{"pageid":1417350,"ns":120,"title":"Item:Q1406610","lastrevid":68629497,"modified":"2026-04-13T01:02:50Z","type":"item","id":"Q1406610","labels":{"en":{"language":"en","value":"Types, tableaus, and G\u00f6del's God"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1975744"}},"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":"Q1406610$64A5C62D-6C4E-483F-A2DB-949E2F342459","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7eedb31b2f30cb3506c3491efa902612974a31e","datavalue":{"value":{"text":"Types, tableaus, and G\u00f6del's God","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1406610$5B64E7B6-B95C-48EA-9E9A-3162F8DE4A90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1901c55455031b2e53c08b26d9ec5d0b94439b70","datavalue":{"value":"1038.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1406610$467D202A-1A53-4248-BB07-66C7F77A1452","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406610$FFC6B065-D4FF-407F-9E99-4F6C23ACA4E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"787dcc6dd11cb904cd0731cf31ea976c84f215b9","datavalue":{"value":{"entity-type":"item","numeric-id":178964,"id":"Q178964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406610$E43DB254-CA76-4805-9C6A-0575C18CB2B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74b94a5cf09fd14fa518de7a1d8323cdfa9e9933","datavalue":{"value":{"time":"+2003-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1406610$1C062100-EAAB-406F-AF79-EE883494C66B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"aefef6053be7abda3a40d8c436bb28c525fabdd5","datavalue":{"value":"This short book consists of three parts. Part one is an exposition of Henkin semantics for the classical simple theory of types (with or without extensionality) and a cut-elimination proof by extending semi-valuations to total valuations. Part two provides an extension to the modal systems K and S5 in terms of modal tableaux prefixed by worlds. Soundness, completeness and cut elimination are claimed to be elaborations of arguments given earlier for classical logics. They are ``left as a huge exercise''. A short chapter treats equality, de re and de dicto modalities, rigidity, definite descriptions and choice functions in a higher-order modal context. Part three is devoted to G\u00f6del's ontological argument. This one-page informal sketch by G\u00f6del, probably not intended for publication, generated considerable literature. A brief history and analysis of ontological arguments by Anselm, Descartes and Leibniz is given in Chapter 10, followed by a detailed analysis and criticism of G\u00f6del's argument. The author repeats a claim by J. Sobel that the modal system used by G\u00f6del collapses, and explores some ways out. Another flaw in G\u00f6del's argument is an assumed axiom that is directly equivalent to a key conclusion: G\u00f6del's assumption that the family of positive properties is closed under conjunction is equivalent to the possibility of God's existence. The author traces this observation to D. Scott and J. Sobel. There is a very short summary of work by P. H\u00e1jek.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1406610$592574D6-8639-43F5-9F0D-42BA146A20A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1406610$232FEB7C-3772-49CC-9BD7-2BDC159D756E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1406610$19C46CEE-D4AB-4C8D-8544-EB87706722EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1406610$85882BB0-828A-48B5-9D50-E8D2887142FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1406610$3A4279B2-A6FF-45A6-8298-6182CAA0E8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1406610$D3512A10-210C-443C-BA85-A82F4AC597F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1406610$0599A59E-F7F1-49E5-88E9-023041296E22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64fd5c3f304c44ad9f80d14b0304416bbc16682e","datavalue":{"value":"1975744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1406610$E6EDE9B7-9F5A-4FCC-B128-DA524850FD1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c99b10d223c8f468850eac937c80c61cd3d1c484","datavalue":{"value":"Henkin semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1406610$90C10C3A-D828-4032-A0B0-5991C963F148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"487d3e422c822d7adb4d8425f9c1f8e0eafa7204","datavalue":{"value":"classical simple theory of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1406610$1A1810B7-8CA8-480B-89C1-3A79BC3144C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"084de694fceed6802d939e0bd51cb5203faa13ec","datavalue":{"value":"modal tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q1406610$5ADE4372-0CCC-4890-A4F1-8D65D796B90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1406610$044F0922-9829-40CB-BC94-F8C2B40D9E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a1c731bc27812ec59ee82f28147937acc991484","datavalue":{"value":"G\u00f6del's ontological argument","type":"string"},"datatype":"string"},"type":"statement","id":"Q1406610$9F9B3EBB-E2BF-49FE-AA29-FB6E077270E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1406610$0C5E6350-24F6-44D1-98A8-49A419E82DC1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406610$61699EEC-A50F-48E4-9454-E3C4C7134C8A","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":"Q1406610$1DF0D1E4-5A9F-48F8-A805-F9FEDBFCF149","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b649116bd1845cc0b1c72d59cb3d077601c726b","datavalue":{"value":{"entity-type":"item","numeric-id":1861492,"id":"Q1861492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af2a36a2a0fe9798db78c4a40226a02e5b9eedc9","datavalue":{"value":{"amount":"+0.90382636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1406610$46107C22-6E51-4046-930C-BA8DD7D98AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f952d1a24c61678e45539dd7eeb5f68dedbec102","datavalue":{"value":{"entity-type":"item","numeric-id":3686710,"id":"Q3686710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"218abdd0b77872e326d7b0c0089bc2672f545a8a","datavalue":{"value":{"amount":"+0.8916496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1406610$6803F9BD-41FC-48C5-93D2-6EA278839B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"623065ff08437486ed50597a174c726e37e50f76","datavalue":{"value":{"entity-type":"item","numeric-id":4299858,"id":"Q4299858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d0fb06159ffa1174e3c6c332f563860e2b1403a","datavalue":{"value":{"amount":"+0.8791849","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1406610$9C9DBD53-8C59-40D4-B7CB-9AC02CF4287D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0cf5e62e41073f3080f68f61d562b02542abe89","datavalue":{"value":{"entity-type":"item","numeric-id":4428894,"id":"Q4428894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"788820010c1c2369091ec096907306aa95ce86e3","datavalue":{"value":{"amount":"+0.8719846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1406610$48C2DE81-931B-454A-B9BD-52A992BAEA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4277328c0a7052d91b9ec9e4b0e6073c0da642ec","datavalue":{"value":{"entity-type":"item","numeric-id":2787333,"id":"Q2787333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40639e40b12215f5a1f89702c01a780af23ec74a","datavalue":{"value":{"amount":"+0.8684639","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1406610$97E3319A-96D8-426E-85FF-12161BE6B4E5","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":"3f77fb5358c56cc54f16b5c64887a25ccb604eaa","datavalue":{"value":{"amount":"+0.8662195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1406610$DFBBF94A-0149-4AEB-88A9-DC5F6A889C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3722808259257067adc4e3890595504a77d4fda1","datavalue":{"value":{"entity-type":"item","numeric-id":4247308,"id":"Q4247308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afe3ab1a07db8871dc8cc4ba5887db4b9702a28a","datavalue":{"value":{"amount":"+0.8588306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1406610$38E7DB60-41DA-48F6-A923-06E3B70D9BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb62472a5c6ef87c0d6d75c2df057c2bde5a48b2","datavalue":{"value":{"entity-type":"item","numeric-id":4428704,"id":"Q4428704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6084c2568fb29a264d2f4d6788feecb3afb11734","datavalue":{"value":{"amount":"+0.85757256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1406610$EB031481-06A7-4C5D-AC00-1424D8E98098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2d156d27ba4ac79a032d9500aa1accdc2c7720","datavalue":{"value":{"entity-type":"item","numeric-id":4296962,"id":"Q4296962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c23b2d0513d6517f6c8c166d6de9609907dafb1","datavalue":{"value":{"amount":"+0.8546563","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1406610$212A332A-629D-4C81-AE13-F6B76C085D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"727b6c137e0c4344aa645538c2fa8e41f46a25a2","datavalue":{"value":{"entity-type":"item","numeric-id":3119276,"id":"Q3119276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fc2303bf0cabccc302afd852be51332d915c5a2","datavalue":{"value":{"amount":"+0.85370237","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1406610$0CE17C76-6776-4C5F-9AEE-63076EDF8FEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Types, tableaus, and G\u00f6del's God","badges":[]}}}}}