Formal reconstructions of St. Anselm's ontological argument

DOI10.1007/S11229-015-0682-8MaRDI QIDQ514608zbMATH OpenOpenAlexFDO

Authors Günther Eder, Esther Ramharter

Publication date 9 March 2017

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11229-015-0682-8

zbMATH Keywords

ontological argumentsproofs for existence of God

Mathematics Subject Classification ID

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

Recommendations

• A brief critical introduction to the ontological argument and its formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant
• Formal approaches to the ontological argument
• Variants of Gödel's ontological proof in a natural deduction calculus
• A logical analysis of the Anselm's \textit{Unum argumentum} (from \textit{Proslogion})
• scientific article; zbMATH DE number 3557726

Cites work

• Anselm and Russell
• First-order modal logic
• scientific article; zbMATH DE number 5060486 (Why is no real title available?)

Cited in

(13)

• Gödel's second theorem and the provability of God's existence
• Anselm's argument -- once again
• A formal theory of physical necessity
• scientific article; zbMATH DE number 3557726 (Why is no real title available?)
• A logical analysis of the Anselm's \textit{Unum argumentum} (from \textit{Proslogion})
• Formal approaches to the ontological argument
• A brief critical introduction to the ontological argument and its formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant
• A mechanically assisted examination of begging the question in Anselm's ontological argument
• A Tractarian resolution to the ontological argument
• Bocheński's Formalization of Summa Theologiae (Ia,75,6) Reconsidered
• Philosophical Logic = Philosophy + Logic?
• The correctness and relevance of the modal ontological argument
• Anselm's God in Isabelle/HOL

This page was built for publication: Formal reconstructions of St. Anselm's ontological argument

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