Proslogion Explained

Proslogion
Author:Anselm of Canterbury
Title Orig:Fides quaerens intellectum
Orig Lang Code:la
Language:Medieval Latin
Pub Date:1078
Wikisource:Proslogion

The Proslogion is a prayer (or meditation) written by the medieval cleric Saint Anselm of Canterbury between 1077 and 1078. In each chapter, Anselm juxtaposes contrasting attributes of God to resolve apparent contradictions in Christian theology. This meditation is considered the first-known philosophical formulation that sets out an ontological argument for the existence of God.

The original title for this discourse was to be Faith Seeking Understanding.[1]

Ontological arguments

The Proslogion marked what would be the beginning of Saint Anselm's famous and highly controversial ontological arguments for the existence of God. Anselm's first and most famous argument is found at the end of Chapter II, and it is followed by his second argument. Opinions concerning Anselm's twin ontological arguments widely differ, and have differed since the Proslogion was first conceived.

First argument

There are various reconstructions of Anselm's first argument. Scott H. Moore's analysis is as follows:[2]

Second argument

Donald Viney renders Anselm's second argument as follows:[3]

  1. "God" means "that than which nothing greater can be conceived."
  2. The idea of God is not contradictory.
  3. That which can be thought of as not existing (a contingent being) is not as great as that which cannot be thought of as not existing (a necessary being).
  4. Therefore, to think of God as possibly not existing (as contingent) is not to think of the greatest conceivable being. It is a contradiction to think of the greatest conceivable being as nonexistent.
  5. Therefore, God exists.

Formal Reconstruction in a set theoretic form (by Gyorgy Gereby)[4]

Vocabulary for the argument in a set logical form

The Argument of Anselm

T (b, ‘~ ∃r. r = C (g) ‘)
The Fool says in his heart that there is noGod.Existentialpremiss
g = def !x. ~ ∃ y. y ≥ xGod is the only one thing greater thanwhich cannot be conceived.Definition,stipulating

uniqueness

∀x. x ∈ P & ∃y. T(y, ‘x’) ⊇x ∈ IWhat is said and understood is in the mind.Assumption,on T def.,
g ∈ IWhat is understood by the Fool of thedefinition is in his intellect.
∀ i. ∀i*. i* ∈ U, i ∈ V, i > i*Whatever is in the intellect and also inreality is greater than that which is solely

in the intellect.

def.
g ∈ Vlemma
g ∉ V g is only in the intellect. (‘God is only a concept’ – however, there is a god-concept)Assumptionfor the

reductio ad

absurdum

g ∉ V → g ∈ U ∀x. x ∈ V V x ∈ U
V ≠ Ø V is not empty. Assumption
∃ g*. g* ∈ V > g ∈ UThe God which is an element of V is agreater thing than God in the mind.
~ ∃x. x ≥ g & ∃x. x > gGod is the greater-than-which-can-not-be-conceived and God is not the greater-than-which-can-not-be-conceived.Contradiction. Conclusion of the reduction.
g ∈ VLemma Q.E.DConclusion oflemma
∀v. ∃r. r = C (v)Applying the character of VDefinition
∃r. r = C (g)Q.E.D.: God is in the intellect in such a waythat he has a counterpart in reality.
‘C(g)’ ∈ RLemma: God exists in reality.Rule ofdetachment

Supplement

Anselm writes in Chapter XI that "you [God] are not only that than which a greater cannot be conceived, but you are a being greater than can be conceived."

Chapters

Translations

There are different translations of the Proslogion.

Chapter I

Excerpt:27:8

Editions

Notes and References

  1. Logan, Ian. 2009. Reading Anselm’s Proslogion: The History of Anselm’s Arguments and its Significance Today. Burlington, VT: Ashgate Publishing. p. 85.
  2. Moore, Scott H. "Proslogion." Scott Moore. Waco, TX: Bayler University. Archived 12 May 1997. Retrieved 21 May 2020.
  3. [Daniel Dombrowski|Dowbrowski, Daniel]
  4. Gereby . Gyorgy (George) . 2009 . What Anselm and Gaunilo told each other . Prze glad Tomistyczny . 15 . 1-22.