|
|||||
|
|
| 奎因对现代逻辑基本技术的若干贡献 | |
| 引用本文： | 段玲玲,翟玉章.奎因对现代逻辑基本技术的若干贡献[J].湖南科技大学学报(社会科学版),2022(6):39-45. |
| 作者姓名： | 段玲玲 翟玉章 |
| 作者单位： | 南京师范大学 公共管理学院，江苏 南京 210023 |
| 基金项目： | 国家社会科学基金重大项目（19ZDA036） |
| 摘 要： | 奎因在现代逻辑的基本技术方面做出了许多贡献，比较突出的有以下几点。一是发展了一种统一的、更加方便的谓词表达形式，对于我们理解量化模式及其替换规律有着非常大的帮助。二是针对一般量化模式，提出了一种自然而简单的有效性证明方法（即奎因方法），而且给出了此法完全性的比较容易的证明方法。三是反复强调了在表达式的使用和提及之间的区别，弗雷格和罗素对此曾有涉及，但奎因的表述是最具概括性的。 |
| 关 键 词： | 奎因 真值分析法 谓词提取 奎因方法 使用和提及 |
| 点击此处可从《湖南科技大学学报(社会科学版)》浏览原始摘要信息 | |
| 点击此处可从《湖南科技大学学报(社会科学版)》下载全文 | |
