《思想的力量：哲学导论》


462. 两位基督教伟人
安瑟伦（St. Anslem，约1033-1109）是从纯哲学角度来考察基督教上帝信仰的先驱之一。
他认为哲学和神学没有区别。
本体论证明（ontological argument）

上帝不存在的思想起源于《圣经旧约-诗篇》第14章第一节中提到的“愚顽人”，安瑟伦认为很显然任何否认上帝存在的人都犯了逻辑错误，确实是个十足的愚顽人。

463. 归谬法证明（reductio de absrdum）：通过证明某一观点将被归为荒谬的或者错误的东西，来推翻这个观点。在哲学和真实生活中屡见不鲜。

如果一种主张逻辑上包含着荒谬的，没有意义的，或者是完全错误的观点，你就会放弃这种主张，对吗？
安瑟伦的本体论证明就是归谬法证明（reductio proof）
高罗尼的反驳：来自于玛蒙迪埃修道院的本笃会修士（Gaunilo），用安瑟伦的推理证明了最完美的岛屿必然存在，暗示任何推出荒谬结论的推理都适用的证明存在着明显缺陷。

464. 圣托马斯-阿奎那（St.Thomas Aquinas，1225-1274）用五种方法证明上帝存在。
1）自然事物都处于运动之中，那么第一推动者(first mover），必然存在一个不受他物推动的第一推动者，这当然就是上帝。
2）在可感知世界中，没有事物是自己的动力因。
3）最复杂的。“并非每一样事物都是无需存在的，一定存在某些必然的事物。”
这个必然存在者的必然性，可能由另外一个必然存在者引起，以此类推。即上帝
4）自然中的一切事物都拥有不同程度的善、真实、崇高和其他完美的性质，它们必然有一个来源，就是上帝。
5）自然事物的活动趋向于一个目标或目的，依照计划或者设计来活动，必然存在某种智慧的存在者，所有事物都靠它被导向自己的目标，这就是上帝。