形式化是自然语言逻辑研究的方向之一。将自然语言形式化至少有两方面的重要意义: 一是可以准确揭示自然语言的逻辑涵义,二是可以精确刻画自然语言的形式结构。一种形式语言含有什么样的变项,从根本上决定着该形式语言是否适合于用来分析自然语言。传统逻辑的变项和数理逻辑的变项是根本不同的,这就决定了传统逻辑与数理逻辑的本质差异。
一、两种变项及其差异
亚里士多德是形式逻辑的创始人,他的直言三段论理论是传统形式逻辑的主要内容。我国着名逻辑学家江天骥先生正确地指出“亚里士多德最富于革命性的贡献是把‘变项’引入逻辑语言中”。然而,亚氏引入到传统逻辑语言中的变项与数理逻辑的变项却有着明显的差异。
何谓传统逻辑变项? 德国逻辑学家肖尔兹在其《简明逻辑史》中这样写道: “按照亚里士多德的办法,我们可以把任何一个能断定为或真或假的命题的成分,分为两类。第一类成分被看作是固定的和不变的; 第二类成分被看作是可变的。我们根据亚里士多德的方法,把后一类成分用字母表示,我们把这些字母解释为变项,即作为可以填进一些什么东西的空位的符号来对待的。但暂时不用管填进了什么。”
《普通逻辑》也采用了类似的看法: “任何一种逻辑形式都包含有两个组成部分,一是逻辑常项,一是变项。逻辑常项是指逻辑形式中不变的部分,即在同一种逻辑形式中都存在的部分,它是区分不同种类的逻辑形式的唯一依据; 变项则是逻辑形式中可变的部分,即在逻辑形式中可以表示任一具体内容的部分,变项中不管代入何种具体内容,都不改变其逻辑形式。”
由上所述可见,传统逻辑变项具有下列显着特征:
第一,传统逻辑变项是语法变项,它是对自然语言命题进行语法分析的产物,是自然语言命题的某类成分的语法符号( “空位的符号”) 。
第二,在传统逻辑中任何命题形式都是传统逻辑变项与逻辑常项两部分组成,缺一不可。例如,“凡 S 是 P”,S 和 P 是传统逻辑变项,“凡……是”是传统逻辑的逻辑常项。
第三,传统逻辑变项只出现于传统逻辑的命题形式中,在自然语言命题中无此种变项。
从传统逻辑变项的上述特征可见,传统逻辑语言是自然语言的语法语言。
数理逻辑是适应数学科学发展的需要而产生的逻辑科学。在数理逻辑中,人们广泛地使用着变项。何谓数理逻辑的变项? 《数理逻辑引论》十分明确地说: “变项表示某类特定事物里的任一个。相对于某一变项的这类事物必须是确定的,但是变项到底表示哪一个,则是不确定的……如果一变项表示某类事物里任一个,那么此类事物就是这变项的变程……变项变程里的任一分子都可以作这变项的值。变项必须从它的变程里取值。”
数理逻辑变项显然不同于传统逻辑变项:
第一,数理逻辑变项是语义变项,它是语义表达的工具,因其变程是一个特定的事物类,故可称之为“定类语义变项”。
第二,在数理逻辑的命题形式中一定含有定类语义变项,但未必含有逻辑常项,例如在原子命题 F( x) 中就不含有逻辑常项。
第三,定类语义变项既可以出现于数理逻辑的命题形式中( 如 F( x) ) ,也可以出现于数理逻辑的命题中( 如( x) ( y) ( x = y) ) ,不过命题形式中至少有一变项是自由出现的,而在命题中则所有变项均为约束出现。在自然语言命题中也有定类语义变项,普遍词项就是定类语义变项,因为普遍词项并不表示某个特定的类( 表示某个特定的类的词项是集合词项) ,它表示某特定类的任意分子,而这正好符合定类语义变项的定义。
从数理逻辑变项的上述特征可见,数理逻辑语言只是表意符号语言,而不是自然语言的语法语言。
二、两种逻辑的本质
传统逻辑语言是自然语言的语法语言,既然如此,这就说明了传统逻辑本质上是自然语言的形式逻辑。然而,传统逻辑只注重对自然语言的语法分析,而忽视对自然语言的语义分析,这就不能不产生其所特有的缺陷。我们知道,语法本质上是由语义决定的,离开了语义分析,语法分析难免流于肤浅。作为自然语言的形式逻辑,传统逻辑的缺陷主要有两条: 一是拘泥于自然语言命题的表层形式,而未能揭示出其深层形式。如“所有S 是 P”这样的命题形式实际上只是全称肯定命题的表层形式。二是命题形式的语义不清: 传统逻辑由于缺乏严格的语义分析,因而它的命题形式在语义上远不如数理逻辑的命题形式那么清楚明白,如“所有 S 是 P”中 S、P、“是”的语义究竟是什么,都缺乏清楚的说明。
与传统逻辑语言不同,数理逻辑语言只是表意符号语言,而不是自然语言的语法语言。因此,数理逻辑本质上只是符号逻辑,而不是自然语言的形式逻辑。这就是说,数理逻辑本质上是不适合用来充当自然语言形式化的工具的。这里有两点值得提出: 第一,数理逻辑最多只能用来解释自然语言的逻辑涵义,而不能用来解释自然语言的形式结构。例如,用一阶逻辑的公式来表示传统逻辑的 A、E、I、O 命题就不能保持住原命题在形式结构上的相互关系: 在自然语言中 A、E、I、O 命题只有全称、特称、肯定、否定 4 种可能的差异; 而在一阶逻辑中,全称命题必须表示为形式蕴涵( 例如全称肯定命题表示为( x) ( F( x)→G( x) ) ) ,特称命题必须表示为量化的合取式( 例如特称肯定命题表示为( x) ( F( x) ∧G( x) ) ) ,这样,A、E、I、O的表达式除了上述 4 种可能的差异外,全称命题的表达式与特称命题的表达式还有蕴涵与合取的不同。第二,即使是对自然语言作语义解释,数理逻辑也是难以胜任的。这里且举一简单的例子来说明。例如,“多数 S 是 P”这一自然语言的命题形式,用数理逻辑工具就不能得到表达: ( Mx) ( S( x)→P( x) ) ( 其中 M 表示“对于多数……而言”) 并不表示“多数 S 是 P”,即使式中→被换成比实质蕴涵更强的蕴涵关系,或换成合取,情况也不改变。有人认为“这种情况反映出自然语言逻辑与符号逻辑系统之间的某种微秒的关系”。
实际上,这种情况十分明显地反映出符号逻辑不适合用来充当自然语言形式化的工具。
参考文献:
[1] 江天骥. 西方逻辑史研究[M]. 北京: 人民出版社,1984: 3.
[2] [德]亨利希·肖尔兹. 简明逻辑史[M]. 张家龙,译.北京: 商务印书馆,1977:8.
[3] 普通逻辑编写组. 普通逻辑[M]. 上海: 上海人民出版社,1993:9.
[4] 王宪钧. 数理逻辑引论[M]. 北京: 北京大学出版社,1982: 118.
[5] 王雨田. 现代逻辑科学导引: 上册[M]. 北京: 中国人民大学出版社,1987:655 -656.
现代意义的辩证法和形式逻辑都是西方哲学的产物,于20世纪初伴随着西学东渐的文化思潮被正式引介到中国。它们的传入具有共同的时代背景,那就是在半殖民地半封建社会的旧中国,为了救亡图存,实现民族振兴,一些有使命感的知识分子有感于中华民族思想文化的落后,...
逻辑作为工具、方法或出发点,一直是形而上学的基础,自亚里士多德至今都是如此。亚里士多德关于是的第一原理就是矛盾律这条重要的逻辑规律①,因而关于是的本体论是从矛盾律这样的逻辑规律出发的,排中律也在考虑范围内,它们值得被称为关于是的普遍原理。从根本...
经典逻辑通常将逻辑的范围局限于陈述句,而排斥其他类型语句。因为它们不具有确定的真假。随着逻辑的实践和认知转向,祈使、疑问、命令等命题态度均纳入了逻辑学范畴,发展出包括问句逻辑在内的一大类认识论逻辑。问句逻辑又称问题逻辑或问答逻辑,旨在研究...
摘 要: 由于权衡论证中同时包含了正反两方面的理由, 它通常被解读为对应着一种通过对正反两方面理由加以权衡而得出结论的证成机制, 并由此而被视作一种独特的逻辑论证类型。当前对于权衡论证进行逻辑重构的主要方式, 是强调反面理由的逻辑功能, 并通过增加...
实存问题,即哪些东西是现实存在的问题,被看做是形而上学的问题。对此,《逻辑研究》的一个突出特征是形而上学的中立性。在《逻辑研究》中的形而上学中立性一文中,扎哈维认为,根据这种中立性,形而上学中的实在论和观念论都是需要避免的。更重要的是,这...
休谟所提出的是与应当问题(简称为IOP)可以看做是科技与人文关系的核心问题之一,自1739年正式提出的二百七十年多年以来,哲学史中对此进行的长期研究为这一问题的解决积累了资料,现代逻辑的发展为解决这一难题提供了途径。本文在总结哲学史和现代逻辑...
引言查尔斯汉布林(CharlesLeonardHamblin,1922--1985)是澳大利亚哲学家和计算机学家,墨尔本大学哲学硕士。早年间他主要从事计算机科学和人工智能方面的研究,后来开始转向论辩哲学的研究。20世纪70年代出版《谬误》一书,书中对传统谬误理论,尤其...
中国古代有没有逻辑?中国的逻辑是否存在?中国古代逻辑研究的困难是什么?中国古代逻辑研究的出路究竟是演绎化还是归纳化?这些重要问题近年来逐渐成为逻辑学界和哲学界争论的热点。在这里,我们将基于逻辑与文化的关系,从归纳逻辑、非形式逻辑等视角探讨...
维特根斯坦的生命之作《逻辑哲学论》自20世纪20年代初问世以来,大批学者不惜耗费心力,逐行逐字地对之进行研读和阐释,在不同的时期提出了不同的解读意见。概括地说,从该书出版到20世纪80年代末,学界对该书主流的解读是所谓的正统的解读(orthodox...
思维的发展无论是从作为整体的人类思维发展史来说,还是从作为个体的个人思维发展史来说,都可以分为两个基本阶段:第一阶段是从感性具体到思维抽象的阶段,可称之为形式思维;第二阶段是从思维抽象到思维中的具体的阶段,可称之为辩证思维。以往进行中国逻辑史的...