Variants of Gödel's ontological proof in a natural deduction calculus

DOI10.1007/S11225-016-9700-1MaRDI QIDQ2363503zbMATH OpenOpenAlexFDO

Authors Annika Siders, Bruno Woltzenlogel Paleo

Publication date 19 July 2017

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10138/235481

zbMATH Keywords

modal logicsnatural deductionontological argumenthigher-order logics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Gödel's ontological proof and its variants
• Computer-supported analysis of positive properties, ultrafilters and modal collapse in variants of Gödel's ontological argument
• scientific article; zbMATH DE number 922621
• A new small emendation of Gödel's ontological proof
• scientific article; zbMATH DE number 4150116

Cites work

• scientific article; zbMATH DE number 1093813 (Why is no real title available?)
• scientific article; zbMATH DE number 922621 (Why is no real title available?)
• scientific article; zbMATH DE number 932649 (Why is no real title available?)
• scientific article; zbMATH DE number 937367 (Why is no real title available?)
• scientific article; zbMATH DE number 7178362 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• Automating Gödel's ontological proof of God's existence with higher-order automated theorem provers
• Computer-assisted analysis of the Anderson-Hájek ontological controversy
• First-order modal logic
• Higher-order modal logics: automation and applications
• Higher-order semantics and extensionality
• Hilbert's Twenty-Fourth Problem
• Interacting with Modal Logics in the Coq Proof Assistant
• Isabelle/HOL. A proof assistant for higher-order logic
• Modal logic
• On logic embeddings and Gödel's God
• Types, tableaus, and Gödel's God

Cited in

(12)

• Positive qualities and the ontological argument
• Automating emendations of the ontological argument in intensional higher-order modal logic
• THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF
• Semantic analysis of some variants of Anderson-like ontological proofs
• Partly free semantics for some Anderson-like ontological proofs
• scientific article; zbMATH DE number 3557726 (Why is no real title available?)
• Computer-supported analysis of positive properties, ultrafilters and modal collapse in variants of Gödel's ontological argument
• Contingent modal semantics for some variants of Anderson-like ontological proofs
• The proofs of the existence of God by Thomas Aquinas: a full logical survey
• Gödel's ontological proof and its variants
• Formal reconstructions of St. Anselm's ontological argument
• scientific article; zbMATH DE number 922621 (Why is no real title available?)

Describes a project that uses

Uses Software

• GoedelGod
• Archive Formal Proofs
• PVS
• Isabelle/HOL
• Coq

This page was built for publication: Variants of Gödel's ontological proof in a natural deduction calculus

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