摘要
奎因在现代逻辑的基本技术方面做出了许多贡献,比较突出的有以下几点。一是发展了一种统一的、更加方便的谓词表达形式,对于我们理解量化模式及其替换规律有着非常大的帮助。二是针对一般量化模式,提出了一种自然而简单的有效性证明方法(即奎因方法),而且给出了此法完全性的比较容易的证明方法。三是反复强调了在表达式的使用和提及之间的区别,弗雷格和罗素对此曾有涉及,但奎因的表述是最具概括性的。
Quine has made many contributions to the technology of modern elementary logic,some of which are of especially great importance.The first is that he has developed a unified and more convenient form of predicate expressions,which is very helpful for us to understand quantificational schemata and the rules of their substitution;the second is presenting what Quine calls the Main Method(referred to in this article as Quine’s Method),which is a natural and simple method to prove the validity of quantificational schemata.In addition,he has given a relatively easy method to prove the completeness of this method.The third is that Quine also repeatedly emphasizes the distinction between the use and the mention of expressions,which has been discussed before by Frege and Russell,but it is Quine who has made the most recapitulative explanations.
作者
段玲玲
翟玉章
DUAN Ling-ling;ZHAI Yu-zhang(School of Public Administration,Nanjing Normal University,Nanjing 210023,China)
出处
《湖南科技大学学报（社会科学版）》
CSSCI
北大核心
2022年第6期39-45,共7页
Journal of Hunan University of Science and Technology(Social Science Edition)
基金
国家社会科学基金重大项目(19ZDA036)。
关键词
奎因
真值分析法
谓词提取
奎因方法
使用和提及
W.V.Quine
truth-value analysis
term abstraction
Quine’s method
use vs.mention
