Some weakened Gödelian ontological systems

DOI10.1023/B:LOGI.0000003927.84602.4bzbMath1040.03005MaRDI QIDQ1425192

Srećko Kovač

Publication date: 15 March 2004

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

typeGödelKantontological proofrelative consistencyGod-likemodal ultrafilterpositive property

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Cites Work

• The true modal logic
• Types, tableaus, and Gödel's God
• A new small emendation of Gödel's ontological proof
• Gödel's Path from the Incompleteness Theorems (1931) To Phenomenology (1961)
• A completeness theorem in second order modal logic
• Unnamed Item
• Unnamed Item