Argumen ontologis

Argumen ontologis pertama dalam tradisi Kekristenan Barat dikemukakan oleh Anselm dari Canterbury dalam karyanya dari tahun 1078 yang berjudul "Proslogion". Anselm menyatakan bahwa Tuhan adalah pengada yang tidak dapat dipikirkan sesuatu yang lebih besar daripadanya. Menurutnya, pengada yang ada sebagai gagasan di dalam pikiran sekaligus ada dalam kenyataan merupakan pengada yang lebih besar daripada pengada yang hanya ada sebagai gagasan di dalam pikiran. Maka dari itu, jika Tuhan itu hanya ada sebagai gagasan di dalam pikiran, maka seharusnya dapat dibayangkan pengada yang lebih besar daripada Tuhan. Namun, tidak ada pengada yang lebih besar daripada Tuhan karena bertentangan dengan premis dasar bahwa Tuhan tidak dapat dipikirkan sesuatu yang lebih besar daripadanya. Maka dari itu, Tuhan tidak mungkin hanya berupa gagasan di dalam pikiran dan memang sungguh ada di dunia nyata.