The primary aim is the reconstruction of the main argument of the second chapter of Anselm’s Proslogion. To be proved is the statement that God, or something than which nothing greater can be thought, exists in reality. I proceed by a piecemeal analysis of every sentence of the Latin original and its subsequent translation into a formal second-order language with choice operator. Reconstructing Anselm’s reasoning demands interpretative input and additions. For example, the formula ‘quod maius est’ has to be suitably interpreted and expanded. Furthermore, I try to explicate Anselm’s maius predicate in terms of a perfection predicate and to develop a general proof for Anselm’s theorem, i.e. the statement that something/that than which something greater cannot be thought has all greater-making attributes.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.30965/26664275-01701003
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,231
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

Mathematical Logic.Joseph Robert Shoenfield - 1967 - Reading, MA, USA: Reading, Mass., Addison-Wesley Pub. Co..
Mathematical Logic.W. V. Quine - 1940 - Cambridge: Harvard University Press.
Foundations of Mathematical Logic.Haskell Brooks Curry - 1963 - New York, NY, USA: Dover Publications.

View all 6 references / Add more references

Citations of this work BETA

Existence as a Perfection.Michael Wreen - 2017 - History of Philosophy & Logical Analysis 20 (1):161-172.

Add more citations

Similar books and articles

Anselm's Neglected Argument.Brian Leftow - 2002 - Philosophy 77 (3):331-347.
Anselm and the Ontological Argument.Graham Oppy - 2011 - In Jeff Jordan (ed.), Philosophy of Religion: The Key Thinkers. London: Continuum. pp. 22-43.
Anselm's "Proslogion" Argument: A Metaphysics of Creation.Floyd Edwin Wike - 1980 - Dissertation, The Pennsylvania State University
The Modal Unity of Anselm’s Proslogion.Gary Mar - 1996 - Faith and Philosophy 13 (1):50-67.
Saint Anselm.Thomas Williams - 2008 - Stanford Encyclopedia of Philosophy.
The Ontological Argument.Stephen Makin - 1988 - Philosophy 63 (243):83 - 91.
Richard Rufus’s Reformulations of Anselm’s Proslogion Argument.Richard Dewitt & R. James Long - 2007 - International Philosophical Quarterly 47 (3):329-347.
Anselm and Russell.Maciej Nowicki - 2006 - Logic and Logical Philosophy 15 (4):355-368.
Existing by Convention: KENNETH G. FERGUSON.Kenneth G. Ferguson - 1992 - Religious Studies 28 (2):185-194.


Added to PP index

Total views
3 ( #1,329,513 of 2,455,413 )

Recent downloads (6 months)
1 ( #449,205 of 2,455,413 )

How can I increase my downloads?


My notes