20世纪自由逻辑的产生和发展①.pdfVIP

( ) 第 7 卷 第 4 期 湖南科技大学学报 社会科学版 Vol . 7 No . 4 　　 　　 ( ) 　　 　 　 2004 年 7 月 Journal of Hunan University of Science Technology Social Science Edition J ul . 2004 20 世纪自由逻辑的产生与发展① 冯　艳 (北京大学 哲学系 ,北京 100871) 摘 　要 : 自由逻辑作为一个新兴的哲学逻辑分支在20 世纪 50 年代产生。经过近 50 年的发展 , 自由逻辑已经在证明论 和语义学发展方面达到较为完善的形态 ,但是国内学界在这一领域的研究却很少。通过对自由逻辑在 20 世纪产生和发展 过程的介绍 ,指出自由逻辑的重要意义和价值 , 以引起国内学界的注意,深入开展这方面的研究工作。 关键词 : 自由逻辑;存在预设 ;空单称词项 ( ) 中图分类号:B81 　　　文献标识码 :A 　　　文章编号 :1672 - 7835 2004 04 - 0005 - 05 　　 具是中立的。但是经典逻辑却含有“存在预设”,这 一 就要预先分清哪些东西是存在的 ,哪些东西是不存 ( ) 在的。但是 ,在形式系统内部是无法做到这一点 一 自由逻辑产生的背景 在 19 世纪中叶之前 , 以亚里士多德的词项逻 的 ,因为一个符号和它的解释之间的关系依赖于语 辑和斯多葛学派的命题逻辑为基本内容的传统逻 义。“存在预设”的引入使逻辑背上了形而上学的 辑一直占据逻辑学的主导地位。创立现代逻辑这 包袱 ,破坏了逻辑作为一种工具的“纯粹性”,所以 , 一思想最先由莱布尼茨提出 ,但他本人并未完成这 在他们看来 ,经典逻辑的“存在预设”应该被消除。 ( ) 一工作。1879 年 , 弗雷格在其名著《概念文字》中 允许空的单称词项进入经典一阶逻辑 CQC ( = ) 提出了第一个具有现代形式的命题演算系统 ,后来 或带等词的经典一阶逻辑 CQC 的标准系统而 又发展出谓词演算系统 ,现代逻辑才得以诞生。现 带来的问题是自由逻辑产生的主要原因。CQC 或 代逻辑包括命题逻辑和一阶谓词逻辑 ,又称之为经 CQC= 假定了一个非空的个体域 ,要求个体词项解 典逻辑。它很快就取代了传统逻辑的统治地位。 释域是非空的。也就是说 ,经典一阶逻辑或带等词 而且在其出现的最初几十年 ,经典逻辑获得了迅速 的经典一阶逻辑排除了空的单称词项。所以 CQC 发展。 中有定理A (t/ v) →vA 和 vA →A (t/ v) ,而且在 但是 ,有一部分逻辑学家认为