文章摘要
奎因对现代逻辑基本技术的若干贡献
  
DOI:
中文关键词: 奎因  真值分析法  谓词提取  奎因方法  使用和提及
英文关键词: 
基金项目:国家社会科学基金重大项目(19ZDA036)
作者单位
段玲玲,翟玉章 南京师范大学 公共管理学院江苏 南京 210023 
摘要点击次数: 652
全文下载次数: 409
中文摘要:
      奎因在现代逻辑的基本技术方面做出了许多贡献,比较突出的有以下几点。一是发展了一种统一的、更加方便的谓词表达形式,对于我们理解量化模式及其替换规律有着非常大的帮助。二是针对一般量化模式,提出了一种自然而简单的有效性证明方法(即奎因方法),而且给出了此法完全性的比较容易的证明方法。三是反复强调了在表达式的使用和提及之间的区别,弗雷格和罗素对此曾有涉及,但奎因的表述是最具概括性的。
英文摘要:
      
查看全文   查看/发表评论  下载PDF阅读器
关闭