安瑟爾謨的上帝證明的反思

中古世紀的教士安瑟爾謨證明上帝存在的論證如下

大前提：只要是設想完美的東西，則他不僅僅在想像中存在，在現實中也存在
小前提：上帝是設想完美的東西
結論：上帝在現實中存在

看起來只有大前提聽起來怪怪的，立刻來檢查一下，安瑟爾謨認為不會有設想完美但是在現實中不存在的東西，因為這樣就「不夠完美了」。意即大前提隱含了另一個前提：「存在是完美的一個性質」。

個人覺得這犯了乞題謬誤，也就是在前提中暗藏了結論。在此大前提中的「完美的東西」一詞，就暗藏了「存在」的意思。因此，可以訴諸乞題謬誤，說這個論證無效。

而大哲學家康德說，存在不是一種性質，因為我們在說某某有什麼性質的時候，必須增加新的知識。例如「蘋果是紅的」這句話，一開始我們想到蘋果並不知道是紅的，但當我們看到這句話，就得到了它是紅的這個新知識。不過這樣說來，性質必須是一種後天經驗的知識嘍？也就是說上帝是存在的，只能是一想到上帝就存在了(就如同1+1=2)，並非是後來透過經驗才知道上帝存在(因為不是一種性質)。

殊途同歸，上帝存在在這邊並不是一個論證的結論，而是一個不證自明的「公理」。
既然是不證自明的公理，還是可以進行懷疑，例如指出其它為真的命題與此公理矛盾等等。