奎因对现代逻辑基本技术的若干贡献

摘要：

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

关键词：奎因、真值分析法、谓词提取、奎因方法、使用和提及

所属期刊栏目：25

分类号：B813(逻辑学(论理学))

资助基金：国家社会科学基金19ZDA036

在线出版日期：2023-01-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：39-45