安瑟尔谟
坎特伯雷的安瑟尔谟
坎特伯雷的安瑟尔谟（Anselm of Canterbury, 1033—1109年）安瑟尔谟被一些人说成是“经院哲学之父”。其实，在他之前，贝伦伽尔已经将辩证法运用于神学。安瑟尔谟的贡献在于推广了这一方法，并以教会所认可的研究成果表明辩证法可用作解决神学问题的理性工具。他与贝伦伽尔和阿伯拉尔等人一起，共同创建了辩证神学的新形式。
“信仰寻求理性”
安瑟尔谟把辩证法应用于当时的神学家认为理性无法理解的神秘领域，特别是上帝存在、三位一体、基督的肉身和赎罪、命运与意志自由等问题。他相信理性可以达到与《圣经》和教父教导相符合的结论，因此，在运用辩证法的推理时，可以把教义当作有待证明的结论，而不是证明的前提。另一方面，他也不像中世纪大多数神学家那样旁征博引，以权威意见为前提。他以逻辑所要求的简明性和必然性论证信仰的真理性。他相信：“我们信仰所坚持的与被必然理性所证明的是同等的。
安瑟尔谟并不否认逻辑推理可以达到与信仰不相符合的结论。如何能够避免理性在应用辩证法过程中的错误呢？他在《宣讲》的开头表明了他的看法。“信仰，然后理解”是他的口号。他用奥古斯丁“信仰寻求理解”的口号概括了信仰与理性的关系：信仰是理解的出发点，没有信仰就不会有理解。另一方面，有了信仰，不一定总会有理解，理解不会因信仰而自发产生，而是信仰积极寻求的产物。
上帝存在的“本体论证明”
安瑟尔谟说，他的学生提出的问题使他考虑这样一个问题：“能否找到一个独立的充足的关于上帝存在的证明？”经过长期的考虑，他突然想到问题的答案，这就是哲学史上著名的关于上帝存在的“本体论证明”。“本体论证明”是康德后来赋予它的名称，其意义就是仅仅依赖于概念的分析而不依赖于经验事实的证明。与从经验事实出发来证明上帝存在的“后天证明”相比，本体论证明是典型的先天证明。它的先天性表现在两点：第一，它是对“上帝”概念的意义所做的逻辑分析；第二，“上帝”概念是证明的出发点，不像后天证明那样直到结论中才出现。照安瑟尔谟看来，人人都有“上帝”的观念，只要弄清这一观念的意义，就能理解上帝必然存在的道理。这就是他所说“独立的充足的证明”的意思。
《宣讲》中的证明被表述为下面一个推理：
因为：上帝是一个被设想为无与伦比的东西；
又因为：被设想为无与伦比的东西不仅存在于思想之中，而且也在实际上存在；
所以：上帝实际上存在。
前提中“被设想为无与伦比的东西”的意思是“不能设想有比它更伟大的东西”。它仅仅是思想中的一个观念，不等于实际存在着的无与伦比的东西。安瑟尔谟说，即使那些不相信上帝存在的“愚人”也不能否认在他们心中有一个“不能设想比之更伟大的东西”的观念，他们可以不把这一观念称为上帝，但他能够完全理解这一观念。其次，“不能设想比之更伟大的东西”的意义不等于“可设想的最伟大的东西”。“最伟大的东西”的观念是通过与其他人的观念比较得到的一个最高观念；不同的人有不同的“最伟大的东西”的观念。因此避免了不同人的“最伟大的东西”观念之间的比较而产生的歧义。
对于证明的关键步骤，安瑟尔谟做了这样的论辩：被设想为无与伦比的东西不能仅仅在心中存在，因为假使它仅仅在心中存在，那么被设想为在实际上也存在的东西就更加伟大了。所以，如果说被设想为无与伦比的东西仅在心中存在，那么，被设想为无与伦比的东西与被设想为可与伦比的东西就是相同的了。但这根本不可能。因此，某一个被设想为无与伦比的东西毫无疑问既存在于心中，又存在于现实中。
安瑟尔谟这段推论省略了一个前提：被设想为仅在心中存在的东西，不如被设想为同时在心中与现实中存在的东西那样伟大。简要地说，这里涉及两个观念完满性的比较，而不像有些人所理解的那样涉及观念与现实之间的比较。“无与伦比的东西”如果被设想为仅在心中存在，那么，心灵还会设想另外一个观念，设想它在心中与现实中都是无与伦比的，那么，前一个观念逊于后一个观念，这一观念就不成其为“无与伦比”而陷入自相矛盾。由此可见，只要一个人在思想中有一个“无与伦比的东西”的观念，逻辑必然性就会使他同时承认这个东西的实际存在。并且，不管他把这个东西称作什么，这个东西的实际意义只能是基督教信仰的上帝。
高尼罗的反驳
当时法国马牟节的僧侣高尼罗（Gaunilon）写了《就安瑟尔谟〈宣讲〉的论辩为愚人辩》的反驳文章，高尼罗并不反对安瑟尔谟证明的结论，但他认为这样的证明并不能使不信上帝的愚人信服。他设想愚人可能提出的种种反驳意见。首先，他会说，理解一样东西和承认它的实际存在是两码事。同样，愚人可以完全理解“被设想为无与伦比的东西”这些词的意义，但却不承认这些词指示着一个真实存在的对象。高尼罗说，安瑟尔谟的证明就好像是这样一个推理：“如果它并不存在，那么其他任何真实存在着的岛屿都不会比它更完美，那样，那个被你理解的比其他岛屿都更完美的岛屿也就不会是更完美的了。”他尖锐地指出，做这样推理的人如果不是在开玩笑，就是一个真正的愚人。
安瑟尔谟的回答
安瑟尔谟把高尼罗的反驳附在自己的证明之后，然后对《为愚人辩》做出答辩。他承认，一般而言，被心灵所理解的观念并不全都指示存在的事物，观念的完满性不包括真实存在性，不能仅仅因为观念的确信性便推导观念表示的对象必定存在。然而，这些一般规则不适用于“被设想为无与伦比的东西”的观念。这个观念不同于“最完美的海岛”之类的观念。在后一种情况下，我们可以设想出一个比之更完满的其他东西，然而，“被设想为无与伦比的东西”比一个心灵所能设想的其他一切观念都伟大，如果能够设想它不存在，那么就不能设想其他任何东西存在了。如果说，我们设想的“最完美的海岛”同时被设想为不存在的海岛而不违反矛盾律，但是“被设想为无与伦比的东西”若被设想为不存在的东西必定自相矛盾。从模态逻辑的观点看，一般的观念所蕴涵的只是存在的可能性，而不是现实的存在；而“被设想为无与伦比的东西”所蕴涵的则是存在的必然性。必然性的反面是不可能性，由此可以从这一观念的不矛盾性推导出它所指示的对象必然存在。
高尼罗与安瑟尔谟之间的争论反映了哲学史上对观念与存在关系问题两种对立的立场。高尼罗代表的观点认为观念与存在是两个不同的序列，不能做出从观念到存在的跳跃。安瑟尔谟代表的观点则认为，能够解释一切的最高原则必定达到了观念与存在的同一性。哲学史上围绕着上帝存在的“本体论证明”而展开的争论延续不绝。笛卡儿、莱布尼茨和黑格尔赞同并修改了这一证明；托马斯、洛克、康德则否定了这一证明的有效性。
