Ontological argument ≈ Ontological argument
View article: Automating Godel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers
Automating Godel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers Open
Kurt Godel’s ontological argument for God’s existence has been formalized and automated on a computer with higher-order automated theorem provers. From Godel’s premises, the computer proved: necessarily, there exists God. On the other hand…
View article
Semantic Deflationism and Meta-Ontological Deflationism Open
Deflationary positions have been defended in many areas of philosophy. Most prominent are semantic deflationism about truth and reference, and meta-ontological deflationism, according to which existence has no deep nature and the standard …
View article
Dummett's objection to the ontological route to intuitionistic logic: a rejoinder Open
In 'The philosophical basis of intuitionistic logic', Michael Dummett discusses two routes towards accepting intuitionistic rather than classical logic in number theory, one meaning-theoretical (his own) and the other ontological (Brouwer …
View article
SYMBOLIC AI AND GÖDEL'S ONTOLOGICAL ARGUMENT Open
Over the past decade, variants of Gödel's ontological arguments have been critically examined using modern symbolic AI technology. Computers have unearthed new insights about them and even contributed to the exploration of new, simplified …
View article
A Modal Ontological Argument for the Existence of an Imperfect God. Open
This paper will present a modal ontological argument for an imperfect God, arguing that God is necessary, is the creator of the Universe, is omnipotent and omniscient, but is not omnibenevolent. It will dispute J.N. Findlay’s 1948 contenti…
View article
How Save Aquinas’s “Intellectus essentiae Argument” for the Real Distinction between Essence and Esse? Open
Aquinas’ so-called “Intellectus essentiae Argument” for the distinction between being and essence is notoriously suspect, including among defenders of Aquinas’ distinction. For the paper in this volume, I take as my starting point the rece…
View article
The “Ontological Difference” Again. A Dialetheic Perspective on Heidegger’s Mainstay Open
This paper intends to offer a new assessment of the “Ontological Difference” (OD), one of Martin Heidegger’s mainstays, in the light of the metaphysical view called “dialetheism”. In the first paragraph I briefly summarize the main argumen…
View article
On the logical formalization of Anselm’s ontological argument Open
The general theme of this paper is the issue of formalization in philosophy; in a more specific way, it deals with the issue of formalization of arguments in analytic philosophy of religion. One argument in particular ”“ Anselm’s Proslogio…
View article
The reverse ontological argument Open
Modal ontological arguments argue from the possible existence of a perfect being to the actual (necessary) existence of a perfect being. But modal ontological arguments have a problem of symmetry; they can be run in both directions. Revers…
View article
Semantic compositionality and Berkeley's divine language argument Open
Critics of Berkeley's divine language argument usually dismiss it for one of two main reasons: (1) it appears to be a mere variation on Descartes's argument for the existence of other minds, or (2) there is too little similarity between hu…
View article
From the Unity of the World to God. A Teleo-Cosmological Argument for God’s Existence Open
In this paper I pursue an avenue of argument implicit in Patristic thinkers — such as Tertullian and Athanasius — and explicit in the thomistic and scholastic tradition. I argue that there is an ontological unity to the world, and that thi…
View article
Aquinas on the real distinction and the twofold character of esse Open
The article analyzes Aquinas? argument for the real distinction between esse and essence in De ente et essentia IV, in the context of accidental and essential character of esse in his metaphysics. All three phases of the argument are analy…
View article
ARTIFICIAL INTELLIGENCE AND IN GOD'S EXISTENCE: CONNECTING PHILOSOPHY OF RELIGION AND COMPUTATION Open
The exploration of metaphysical arguments in the symbolic AI environment provides clarification and raises unexpected questions about notions in philosophy of religion and theology. Recent attempts to apply automatic theorem prover technol…
View article
Murdoch's ontological argument Open
Anselm's ontological argument is an argument for the existence of God. This paper presents Iris Murdoch's ontological argument for the existence of the Good. It discusses her interpretation of Anselm's argument, her own distinctive appropr…
View article
Sterba’s Logical Argument from Evil and the God Who Walks Away from Omelas Open
The logical argument from evil, generally thought to have been defused by Alvin Plantinga’s free will defense, has been reinvigorated by James Sterba’s exposition and defense of a new version of the argument that draws on recent work in mo…
View article
Dowody na istnienie Boga Open
The increased interest in arguments for the existence of God appeared in the XI century, with the development of the dialectic. One of the most famous ontological proof is a proof of Anselm of Canterbury – to prove the existence of God by …
View article
RICHARD CAMPBELL, Rethinking Anselm’s Arguments: A Vindication of his Proof of the Existence of God, Boston, Brill, 2018 Open
Since Anselm first published his 9rosfogion in in the late fi070s, two things have generally been assumed: first, that his argument for the existence of God is a form of what later became known as an ontological argument; and, second, that…
View article
An inexplicably good argument for causal finitism Open
Causal finitism, the view that the causal history of any event must be finite, has garnered much philosophical interest recently—especially because of its applicability to the Kalām cosmological argument. The most prominent argument for ca…
View article
I—The Presidential Address Open
This paper considers the analogies and disanalogies between a certain sort of argument designed to oppose scepticism about free will (in the sense of genuine agency) and a certain sort of argument designed to oppose scepticism about the ex…
View article
Waiting for Godo… and Godan: Completing Rowe’s Critique of the Ontological Argument Open
In his critique of Anselm’s ontological argument for God’s existence, William Rowe introduces the concepts of “magico” and “magican”—defining “magicos” as magicians that do not exist, and “magicans” as magicians that do exist—to help diagn…
View article
Notes on Gödel’s and Scott’s variants of the ontological argument Open
Notes on Kurt Gödel’s modal ontological argument and Dana Scott’s variant of it are presented. These remarks, supported by experimental studies with a proof assistant system for classical higher-order logic, implicitly answer some question…
View article
Divine Simplicity and The Myth of Modal Collapse Open
This paper responds to the modal collapse argument against divine simplicity or classical theism offered by neo-classical or complex theists. The modal collapse argument claims that if God is both absolutely simple and absolutely necessary…
View article
All Properties are Divine or God Exists - The Sacred Thesis and its Ontological Argument Open
A metaphysical system engendered by a third order quantified modal logic S5 plus impredicative comprehension principles is used to isolate a third order predicate D, and by being able to impredicatively take a second order predicate G to h…
View article
The correctness and relevance of the modal ontological argument Open
This paper deals with some metaphilosophical aspects of the modal ontological argument originating from Charles Hartshorne. One of the specific premises of the argument expresses the idea that the existence of God is not contingent. Severa…
View article
Logic of the ontological argument Open
In his ontological argument Gödel says nothing about its underlying logic. The argument is modal and at least of second-order and since S5 axiom is used so it is widely accepted that the logic of the argument is the S5 second-order modal l…
View article
An African Alternative to Western Cosmological Argument Hopeless Reliance on Ontological Argument Open
This paper demonstrates that as used in Western philosophy cosmological argument relies on ontological argument to jump to its conclusion about the existence of a Supreme-being-creator. Pointing to the failure of the Western cosmological a…
View article
GETTING TO KNOW A GOD YOU DO NOT BELIEVE IN: PANENTHEISM, EXTERNALISM, AND DIVINE HIDDENNESS Open
J. L. Schellenberg's hiddenness argument is one of the key contemporary justifications for atheism and has prompted numerous responses from those defending the plausibility of belief in God. I will outline a recent counterargument from Mic…
View article
Durkheim, Kant e as categorias do pensamento Open
\n O objetivo geral desse trabalho é analisar alguns aspectos da teoria do conhecimento e, principalmente, a questão das categorias do pensamento, tal como formulada por duas grandes tradições intelectuais: a filosofia kantiana e a sociolo…
View article
FILSAFAT KETUHANAN: Argumen Logis Tentang Tuhan Perspektif Filosof-Filosof Barat Open
God is an essential aspect of human life. There is nothing in the history of human life that does not have a belief in God, although the concept of the divinity of each religion or belief has differences. Many ideas or concepts about God a…
View article
How can we know the existence of God: Anselm and Aquinas? Open
This article is concerned with how we can know about the existence of God. In attempting to do this, the article will single out two medieval thinkers, Anselm and Aquinas, and will examine their stances on the subject. The former holds, as…