THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF

DOI10.1017/S1755020319000479MaRDI QIDQ5027671zbMATH OpenOpenAlexFDO

Authors Tim Lethen, Annika Siders

Publication date 7 February 2022

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020319000479

zbMATH Keywords

higher-order logicKurt Gödelmodal logicontological argument

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 922621
• Gödel's ontological proof and its variants
• scientific article; zbMATH DE number 5859785
• scientific article; zbMATH DE number 937367
• On the Philosophical Development of Kurt Gödel
• scientific article; zbMATH DE number 1911059
• Gödel and intuitionism
• On Gödel's philosophical assumptions
• Gödel on deduction
• A new small emendation of Gödel's ontological proof

Cites work

• A new small emendation of Gödel's ontological proof
• Barcan Both Ways
• Computer-assisted analysis of the Anderson-Hájek ontological controversy
• Higher-order semantics and extensionality
• scientific article; zbMATH DE number 4021069 (Why is no real title available?)
• scientific article; zbMATH DE number 107511 (Why is no real title available?)
• scientific article; zbMATH DE number 1093813 (Why is no real title available?)
• scientific article; zbMATH DE number 1855559 (Why is no real title available?)
• scientific article; zbMATH DE number 922621 (Why is no real title available?)
• scientific article; zbMATH DE number 937367 (Why is no real title available?)
• Types, tableaus, and Gödel's God
• Variants of Gödel's ontological proof in a natural deduction calculus

Cited in

(6)

• Gödel's ontological proof and its variants
• scientific article; zbMATH DE number 4150116 (Why is no real title available?)
• scientific article; zbMATH DE number 922621 (Why is no real title available?)
• Kurt Gödel on logical, theological, and physical antinomies
• Some Remarks on an Early Version of Gödel's Ontological Proof and his View Upon the Principle of the Identity of Indiscernibles
• Notes on Gödel's and Scott's variants of the ontological argument

This page was built for publication: THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5027671)