THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF

DOI10.1017/S1755020319000479OpenAlexW2974566911MaRDI QIDQ5027671

Tim Lethen, Annika Kanckos

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

modal logichigher-order logicKurt Gödelontological argument

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computer-assisted analysis of the Anderson-Hájek ontological controversy
• Types, tableaus, and Gödel's God
• A new small emendation of Gödel's ontological proof
• Variants of Gödel's ontological proof in a natural deduction calculus
• Barcan Both Ways
• Higher-order semantics and extensionality