Monotonic and non-monotonic embeddings of Anselm's proof

DOI10.1007/s11787-017-0162-7zbMath1365.01005OpenAlexW2589622685MaRDI QIDQ523299

Jacob Archambault

Publication date: 20 April 2017

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-017-0162-7

zbMATH Keywords

monotonicitynon-monotonic logic\textit{Proslogion}ontological argument

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) History of mathematics in Late Antiquity and medieval Europe (01A35) Historiography (01A85)

Related Items

Counterpossibles and normal defaults in the filioque controversy ⋮ Non-monotonic logic and the compatibility of science and religion

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• CIFOL: case-intensional first order logic. I: Toward a theory of sorts
• BH-CIFOL: case-intensional first order logic. II: Branching histories
• A logic for default reasoning
• First-order modal logic
• Non-monotonic and uncertain reasoning in cognition. Selected papers of the workshop on non-monotonic and uncertain reasoning in the focus of competing paradigms of cognition, Salzburg, Austria, July 18--20, 2002
• The ontological argument and Russell’s antinomy
• Outline of a Theory of Truth