奎因在现代逻辑的基本技术方面做出了许多贡献，比较突出的有以下几点。一是发展了一种统一的、更加方便的谓词表达形式，对于我们理解量化模式及其替换规律有着非常大的帮助。二是针对一般量化模式，提出了一种自然而简单的有效性证明方法(即奎因方法),而且给出了此法完全性的比较容易的证明方法。三是反复强调了在表达式的使用和提及之间的区别，弗雷格和罗素对此曾有涉及，但奎因的表述是最具概括性的。
科研之友
微信
新浪微博
Facebook
分享链接
