典型文献
奎因对现代逻辑基本技术的若干贡献
文献摘要：
奎因在现代逻辑的基本技术方面做出了许多贡献,比较突出的有以下几点.一是发展了一种统一的、更加方便的谓词表达形式,对于我们理解量化模式及其替换规律有着非常大的帮助.二是针对一般量化模式,提出了一种自然而简单的有效性证明方法(即奎因方法),而且给出了此法完全性的比较容易的证明方法.三是反复强调了在表达式的使用和提及之间的区别,弗雷格和罗素对此曾有涉及,但奎因的表述是最具概括性的.
文献关键词：
奎因;真值分析法;谓词提取;奎因方法;使用和提及
中图分类号：
作者姓名：
段玲玲;翟玉章
作者机构：
南京师范大学 公共管理学院,江苏 南京210023
文献出处：
引用格式：
[1]段玲玲;翟玉章-.奎因对现代逻辑基本技术的若干贡献)[J].湖南科技大学学报（社会科学版）,2022(06):39-45
A类：
奎因方法,使用和提及,真值分析法,谓词提取
B类：
现代逻辑,基本技术,比较突出,以下几点,词表,表达形式,量化模式,证明方法,此法,完全性,反复强调,弗雷格,罗素,概括性
AB值：
0.266604
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
