The Ontological Argument for the Existence of God Lit Lyrxo (Ft. Alvin Plantinga, Anselm of Canterbury, Immanuel Kant, Peter van Inwagen & René Descartes)

ANSELM OF CANTERBURY'S ONTOLOGICAL ARGUMENT AS GIVEN BY ALVIN PLANTINGA:

- P1. God exists in the understanding but not in reality. (Assumption for reductio ad absurdum.)

- P2. Existence in reality is greater than existence in the understanding alone.

- P3. A being having all of God's properties plus existence in reality can be conceived.

- P4. A being having all of God's properties plus existence in reality is greater than God. (From P1 and P2.)

- P5. A being greater than God can be conceived. (From P3 and P4.)

- P6. It is false that a being greater than God can be conceived.

- P7. It is false that God exists in the understanding but not in reality. (From P1, P5 and P6.)

- P8. God exists in the understanding. (Even "the Fool" agrees.)

- ∴ God exists in reality. (From P7 and P8.)

Gaunilo's criticism
Anselm's response to Gaunilo
Alvin Plantinga's response to Gaunilo
Thomas Aquinas' criticism
Immanuel Kant's criticism
Philosophers supporting Kant
Philosophers opposing Kant
Peter van Inwagen's criticism
Richard Dawkins's criticism