More specifically, ontological arguments tend to start with a priori theory about the organization of the universe. In other words, ontological arguments are arguments from what are typically alleged to be none but analytic, a priori and necessary premises to the. In this paper, i formally verify the ontological argument in the pvs verification. Ontological arguments are arguments, for the conclusion that god exists, from premises which are supposed to derive from some source other than observation of the worlde. Anselms ontological argument for the existence of god. It seems at the outset that there is something strange about this argument. In step 3 of the reductio, though, the argument relies on p1b. It is the argument that, if one understands what is meant by the word god and follows it out to the logical conclusion, it is impossible for such a being not to exist. The ontological argument from st anselm, proslogium, trans.
A computationallydiscovered simplification of the ontological. However, the predicate logic of descriptions must be free, since these terms may fail to denote. My idea of god is the idea of a supremely perfect being. I ask the reader to waive any objections pertaining to s5, used in the context of the modal ontological argument, if only for the sake of argument. It turns out that this is not an especially easy question to answer, for reasons exegetical and theoretical. This argument is the primary locus for such philosophical problems as whether existence is a property and whether or not the notion of necessary existence is intelligible. It moves through logical stages to reach a conclusion. Many arguments fall under the category of the ontological, and they tend to involve arguments about the state of being or existing.
Ao1 a examine the ontological argument for the existence. The ontological argument is an argument for gods existence based entirely on reason. Their versions of the argument are slightly different, but. Anselms proof, known since the time of kant as the ontological argument for the existence of god, has played an important role in the history of philosophy and has been incorporated in various forms into the systems of descartes, leibniz, hegel, and others. One can more easily see what is going on here by noting that the con.
Matthews and lynne rudder baker the ontological argument in anselms proslogion ii continues to generate a remarkable store of sophisticated commentary and criticism. The ontological argument simple version in meditation 5, descartes argument for the existence of god looks something like this. According to this argument, there is no need to go out looking for physical evidence of gods existence. Descartes ontological argument i in the fifth meditation, descartes is considering various mathematical and conceptual truths i for instance, we know simply by analyzing the concept \triangle that the interior angles of a triangle equal two right angles i likewise, we know by the concept \mountain that wherever there is a mountain there is a valley. The ontological argument st anselm and descartes both famously presented an ontological argument for the existence of god. Matthews anselms ontological argument in proslogion 2 has been discussed and criticized so much that it is hard for us today to see its basic structure. While some people are convinced that god exists once. Contemporary philosophers such as charles hartshorne, norman malcolm, and alvin plantinga, have utilized modal logic to develop new versions of the ontological argument. Revision outline for the ontological argument ao1 a examine the ontological argument for the existence of god. To be unconditionally conclusive, the argument must be formulated as follows. Anselm book pdf free download link or read online here in pdf. The authors investigate the ontological argument computation ally.
How does the ontological argument support the existence of. I the ontological argument comes in various forms, but the common element is that it asserts that gods existence can be proven simply from the concept of god. An ontological argument is a philosophical argument for the existence of god that uses ontology. The word ontological comes from ontology, the study of ology of what exists or being ont. I wish to discuss professor malcolms absorbingly powerful defense of a version of anselms ontological proof for the existence of god. Maydole ontological arguments are deductive arguments for the existence of god from general metaphysical principles and other assumptions about the nature or essence of god. Reprinted by permission of open court publishing company, a division of carus publishing company, peru, il. The ontological argument is an idea in religious philosophy.
My goal here is to focus on spinozas ontological argument. Details title the ontological argument, its criticisms and consequences. Anselm developed a controversial a priori argument for the exis tence of god. It is supposed to show that god exists there are different versions, but they all argue something like. Norman malcolm revived the ontological argument in 1960 when he located. The ontological argument in pvs 1 introduction computer science. Anselm sought out to prove gods existence strictly through reason and rationalism alone. The same fallacy of equivocation can also be used against anselms argument by reducing it to the absurd. So consider the greatest conceivable ontological argument. Notice that in this system 3 xn 3yy x is not merely consistent it is valid. I shall take it for granted that the connection between what i call ontological arguments and traditional presenta tions of the ontological argument there is, of course, no one argument that can be called the ontological argument is plain. Anselm was the archbishop of canterbury who lived from 10331109 a.
Tes global ltd is registered in england company no 02017289 with its registered office at 26 red lion square london wc1r 4hq. Kants refutation of the ontological argument karl devries april 29, 2009 kant o ers three di erent arguments against the ontological argument, that one can always deny the subject along with the predicate of a judgment to avoid contradiction, that no existence claims are analytic, and that existence is not a predicate. The one fatal flaw in anselms argument 439 gods existence, and another under which it is validand indeed soundbut fails to prove the existence of god. It is worth noting that anselm actually presents two distinct versions. Leibniz stresses the incompleteness of previous versions of the ontological argument. A sound argument is one which is both valid and contains true premises chapter 2, writing philosophy. Speaks january 6, 2006 1 anselms presentation of the argument anselms argument begins with a statement of what god is. In order to show this, the individual premises of the ontological argument must be evaluated. About the work although anselms argument for gods existence presented in this article is based on predominately on reason, anselm presents the argument as clari. The ontological argument is widely thought to have been first clearly articulated by st. On the logic of the ontological argument stanford university. The ontological argument 3 the ontological argument explained the ontological argument for the existence of a monotheistic god was first put forth by st. Navigating a way through the ontological argument by mike tonks.
It moves through logical stages to reach a conclusion, which is selfevidently true or logically necessary. What everybody knows is wrong with the ontological argument but never quite says robert anderson saint anselm college peoples sense that one cannot argue for gods existence in the way anselms ontological argument attempts to do so can be shored up with the help of. Anselm of canterbury, who defined god as the greatest conceivable being. And, according to kevin harrelson, kants rejection of the ontological argument on epistemic grounds constitutes the most thorough criticism of that argument in the modern period harrelson, the ontological argument from. After all, if there is an argument to be assembled, even one we will never find, that is valid, sound and has p as its conclusion, then p is true. The ontological arguments of god are many, the weaknesses they suffer can be found in this reference.
Ontological argument simple english wikipedia, the free. The form of the argument is that of a reductio ad absurdum argument. Ontological arguments are arguments, for the conclusion that god. Newest ontologicalargument questions philosophy stack. Leibniz and the ontological argument 109 the requirement that for each w, fw d. Anselms text anselms ontological argument is presented in his proslogion, starting with chapter ii, though where. Anselm began with the concept of god as that than which nothing greater can be. This website and its content is subject to our terms and conditions. Thus, keeping the ontological argument alive for 900 years. Files action filename size access description license.
The ontological argument, its criticisms and consequences. Anselm, archbishop of canterbury first set forth the ontological argument in the eleventh century. An analysis of plantingas response to the ontological argument. Anselms ontological argument for the existence of god anselms argument is an a priori argument. Now we believe that you are are something than which nothing greater can be thought. Ontological, epistemological and methodological assumptions. Anselms argument found in proslogion is arguably the most famous. Hume and the ontological argument simon marcus may 2011 what was humes view of the ontological argument. Ontological arguments stanford encyclopedia of philosophy. Th e ontological argument may have seemed acceptable at. What is the ontological argument for the existence of god. Against the awful grandeur, the sublime significance, and the incontrovertible actuality of this truth, or its general acceptance by the human race, the inane carpings of isolated. Anselm presents a philosophical argument for the existence of god.
How does the ontological argument support the existence of god. A 10 minute video microlesson that takes a quick look at anselm of canterburys cunning and controversial argument for the existence of god. Ontological arguments are deductive arguments for the existence of god from general metaphysical principles and other assumptions about the nature or essence of god. What everybody knows is wrong with the ontological argument but. The ontological argument for gods existence is a particular kind of philosophical argument which christian theologians have developed for centuries as a way of showing why it is rational to believe in gods existence.
However, in our opinion, much of this literature ignores or misrepresents the elegant simplicity of the original argument. The ontological argument, its criticisms and consequences cather, jason grant. The ontological argument all nations of all ages have accepted the truth that there is a god. Anselms reasoning was that, if a being existed only in the mind but not in reality, then a greater being was conceivable a being which exists both in the mind and in reality. The idea is that existing makes a good thing better than one thats only imaginary. Anselm 10331109 of canterbury was born in aosta, italy. Teleological and cosmological arguments, for instance, demonstrate how the existence of god best explains apparent design in nature and the nature of causality, respectively. Anselms ontological argument for the existence of god in proslogion jose kuruvachira anselm of canterbury1 10331109, known also as anselm of aosta and anselm of bec, was one of the most influential and seminal thinkers of the earlier middle ages, and foremost among the medieval philosophers and theologians. The ontological argument, an 11th century proof of the existence of god. Casual readers may correctly surmise that hume would not hold. This means that one cannot generalize upon a description xwithout rst asserting 9yy x.
Ontological argument, argument that proceeds from the idea of god to the reality of god. Professor malcolm believes that in anselms proslogion and. Pdf ontological arguments are arguments, for the conclusion that god exists, from premises which are supposed to derive from some source. Introduction in this paper i will reconstruct a modal transcription of the ontological argument into a two dimensionally extended version of the modal ontological argument that will challenge tooley. The one fatal flaw in anselms argument peter millican. The ontological argument for the existence of god is one of the few arguments originating in logic rather than observation. The pvs specification and proof are available for download as a pvs dump file. Pdf this paper presents the special issue on formal approaches to the ontological argument and briefly introduces the ontological argument. All books are in clear copy here, and all files are secure so dont worry about it. The ontological argument for the existence of god is a classical christian argument that contends that the very concept of god logically and necessarily demands existence. Leibniz and the ontological argument rutgers university. However, while the ontological argument may be valid, it remains to be shown that it is sound.
918 857 542 1296 257 678 332 196 1480 899 621 1038 575 895 65 460 594 750 1542 1617 1686 1285 407 426 338 107 1231 1349 348 1264