O logice ontologického důkazu

Studia Neoaristotelica 4 (1):5-27 (2007)
De argumenti ontologici forma logicaTractatione proposita auctores manifestant, „Argumentum Ontologicum“ St. Anselmi in 2° capitulo eius Proslogii inscriptum ut validum exponi posse (i. e. consequentiam bonam servando). Hac in interpretatione vis et notio descriptionis illae „id quo maius cogitari nequit“, qua Anselmus usus est, rite agnoscitur. Datis enim lingua formali „primi ordinis“, ut aiunt, et systemati deductivo logicae huiusmodi, in quo descriptiones definitae genuini sunt termini et ubi a sententia „datur x quod…“ signo quantitatis praefixa ad sententiam „x exsistit“ consequentia non valet, et adhibendo adhuc regulas ordinarias logicae descriptionumrelationemque comparationis, quae „continua“ dicitur, exsistentia Dei sequitur duabus ex praemissis: Una quidem, „datur cogitabile aliquid, quo maius cogitari nequit“; et altera, „x non exsistente, aliquid eo maius cogitari potest“. Conclusio praedicta non potest negari, nisi una quoque harum praemissarum saltem negatur. Argumentum hoc vero nulla deductione modali utitur; et, quod notabile est, ratio ontologica Cartesii ex eo derivari potest.On the Logic of the Ontological ArgumentIn this paper, the authors show that there is a reading of St. Anselm’s ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm’s use of the definite description “that than which nothing greater can be conceived” seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence “there is an x such that…” does not imply “x exists”. Then, using an ordinary logic of descriptions and a connected greater-than relation, God’s existence logically follows from the claims: (a) there is a conceivable thing than which nothing greater is conceivable, and (b) if x does not exist, something greater than x can be conceived. To deny the conclusion, one must deny one of the premises. However, the argument involves no modal inferences and, interestingly, Descartes’ ontological argument can be derived from it.
Keywords Catholic Tradition  History of Philosophy  Philosophy and Religion
Categories (categorize this paper)
ISBN(s) 1214-8407
DOI 10.5840/studneoar20074113
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Translate to english
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,370
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
On the Logic of the Ontological Argument.Paul E. Oppenheimer & Edward N. Zalta - 1991 - Philosophical Perspectives 5:509-529.
Schelling's Original Insight.C. Jeffrey Kinlaw - 2003 - American Catholic Philosophical Quarterly 77 (2):213-232.
K modálnímu ontologickému důkazu.Petr Dvořák - 2004 - Studia Neoaristotelica 1 (1/2):33-69.
St. Anselm's Ontological Arguments.Marie Duží - 2011 - Polish Journal of Philosophy 5 (1):7-37.
Mercy and Justice in St. Anselm's Proslogion.Gregory B. Sadler - 2006 - American Catholic Philosophical Quarterly 80 (1):41-61.
Added to PP index

Total downloads
22 ( #233,813 of 2,193,887 )

Recent downloads (6 months)
4 ( #59,985 of 2,193,887 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature