Most famous form of the Ontological Argument was formulated by Anselm.
Anselm was the former Archbishop of Canterbury
Anselm said he wrote as someone with faith seeking understanding.
Anselm’s work is written as a prayer rather than a philosophical thesis.
Anselm had a medieval style of writing.
Anselm’s argument forms a proof by contradiction.
He makes an assumption but shows that this leads to a logical contradiction and therefore the assumption must be false.
Anselm’s argument was based on three premises.
God is something than which no greater can be conceived.
This can either exist in the mind only or in the mind and reality.
It is greater to exist in the mind and reality than only in the mind.
In the mind = in intellectu
Existing in reality = in re
Anselm asks us to assume that God exists in the mind only.
Yet if we add that to premise three (it is greater to exist in the mind and reality than the mind only). It is possible to imagine a being greater than God.
Therefore God is not something than which no greater can be conceived.
However this contradicts premise 1.
These form a logical contradiction and prove that the only other alternative is that God must exist in the mind and in reality.
Anslem’s second form of the Ontological Argument
God is something than which no greater can be conceived.
Things either exist contingently (dependant) or necessarily (Independant)
It is greater to exist necessarily than contingently.
Using his second form of the ontological argument, Anselm concludes that God must exist not contingently but necessarily.