Automating emendations of the ontological argument in intensional higher-order modal logic

DOI10.1007/978-3-319-67190-1_9MaRDI QIDQ5044857zbMATH OpenOpenAlexFDO

Authors David Fuenmayor, Christoph Benzmüller

Publication date 2 November 2022

Published in KI 2017: Advances in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-67190-1_9

zbMATH Keywords

automated theorem provingcomputational metaphysicshigher-order logicintensional logicIsabellemodal logicontological argumentsemantic embedding

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Formalization of mathematics in connection with theorem provers (68V20)

Recommendations

• Variants of Gödel's ontological proof in a natural deduction calculus
• On logic embeddings and Gödel's God
• Computer-assisted analysis of the Anderson-Hájek ontological controversy
• Interacting with Modal Logics in the Coq Proof Assistant
• Types, tableaus, and Gödel's God

Cited in

(11)

• On logic embeddings and Gödel's God
• Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments
• GoedelGod
• scientific article; zbMATH DE number 1507180 (Why is no real title available?)
• Computer-supported analysis of positive properties, ultrafilters and modal collapse in variants of Gödel's ontological argument
• Computer-assisted analysis of the Anderson-Hájek ontological controversy
• Automating Gödel's ontological proof of God's existence with higher-order automated theorem provers
• scientific article; zbMATH DE number 7594144 (Why is no real title available?)
• I/O logic in HOL
• Notes on Gödel's and Scott's variants of the ontological argument
• Exploring Simplified Variants of Gödel’s Ontological Argument in Isabelle/HOL

This page was built for publication: Automating emendations of the ontological argument in intensional higher-order modal logic

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