All Properties are Divine or God Exists - The Sacred Thesis and its Ontological Argument

DOI10.12775/LLP.2017.027zbMath1436.03022MaRDI QIDQ3121970

Frode Bjørdal

Publication date: 20 March 2019

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

modal logichigher-order logicGödeltheologyontological argumentphilosophy of religion

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Higher-order logic (03B16)

Cites Work

• Types, tableaus, and Gödel's God
• Godelian ontological arguments
• Modal Logic as Metaphysics
• Universal grammar
• Completeness in the theory of types
• Bare possibilia
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item