本體論證明

本體論證明  是證明上帝存在的一種理論 ， 屬於先驗性的證明方式 。 該理論最早由中世紀哲學家伊本 · 西那和安瑟倫提出 。 後世的哲學家 ， 包括謝哈布丁 · 蘇哈拉瓦迪 （ Shahab al - Din Suhrawardi ） 、 勒內 · 笛卡兒 、 戈特弗裏德 · 萊布尼茨 、 諾曼 · 馬爾康姆 （ Norman Malcolm ） 、 阿爾文 · 普蘭丁格等都從不同角度發展了本體論證明 。 而數學家庫爾特 · 哥德爾還通過模態邏輯給出了本體論證明的數學表達式 。 本體論證明是一個在哲學界中頗具爭議的話題 。 許多哲學家 ， 包括 、 托馬斯 · 阿奎那 、 大衛 · 休謨 、 伊曼努爾 · 康德 、 戈特洛布 · 弗雷格 、 伯特蘭 · 羅素等都曾公開地對其進行過批評 。 而包括安薩里 、 伊本 · 魯世德 、 穆拉 · 薩德拉 （ Mulla Sadra ） 在內的伊斯蘭哲學家們也都各自批評過安瑟倫的論證 ， 其中穆拉 · 薩德拉還提出過一個替代的論證 。 本體論證明通過 “ 如果我們能設想到最偉大的存在 ， 那麼它必然存在 ” 來證明上帝的存在 。 這一論證常被認爲是一種單純斷言的邏輯謬誤 ， 因爲它沒有提供任何已被證實的前提條件 。 另外 ， 它通常還被認爲是循環論證 ， 因爲其前提與結論相互依賴 。 本體論證明的幾個主要版本的區別在於所使用的上帝概念不同 。 如安瑟倫將上帝表述爲 “ 能想象得到的最偉大的存在 ” ， 而笛卡爾則表述爲 “ 絕對完美的存在 ” 。