逻辑真与事实真及其与逻辑推理的有效性,逻辑学论文

逻辑真与事实真及其与逻辑推理的有效性,逻辑学论文逻辑,像任何科学一样,把追求真理作为自个的责任.[1](P81)但逻辑学不研究关于牵涉存在本质的真,关于作为价值的真,或者关于神秘主义的真.[2](P482)当代逻辑对真的研究是围绕语言和形式化问题展开的,构成了多种关于真的理论(theoriesoftruth),并对逻辑真(logicaltruth)和事实真(factualtruth)的区别和联络进行了多方面的讨论.一、逻辑真与事实真逻辑史上,最早明确区分逻辑真理与事实真理的是17世纪德国哲学家莱布尼兹(G.W.Leib-niz).他以为:有两种真理,推理的真理和事实的真理,推理的真理是必然的,它的否认是不可能的;事实的真理是偶尔的,它的否认是可能的[3](P482)莱布尼茨以为:推理的真理是从一些先天的概念、原则演绎出来的知识,它遵守矛盾律,具有普遍性和逻辑必然性,是无条件的,并且在一切可设想的世界里都是必然的,因而他也把这类真理称为必然真理.这种推理的真理就是我们如今所谓的逻辑真理.而事实真理则是通过归纳一类事物的性质得到的结论,包括对某种事实的判定以及自然科学的真理等,它遵守充足理由律,这类真理具有偶尔性,所以也称为偶尔真理.它们是有条件的、相对的,只在某种可能世界里为真.到18世纪末,康德(I.Kant)提出了关于分析判定和综合判定区分的着名论断.康德以为:分析判定谓词没有给主词概念增加任何东西,不需要依靠任何经历体验内容,因而,分析判定是必然的、先验的.而综合判定谓词是由经历体验提供,然后才联合到主词上去的,它给主词增添了新的内容,因而,综合判定是偶尔的、经历体验的.逻辑经历体验主义者接受并修改了康德的划分,重新定义分析命题和综合命题.艾耶尔讲,一切真正的命题分为两类,并且,在对这两类命题的证实方式方法给予讲明的时候,就解释了真实性的性质.既然逻辑和数学命题没有任何经历体验内容,完全独立于经历体验,那么证实原则就会对它失效,它们是必然的、先天的,它们的真是逻辑真;而综合命题中包含经历体验内容,其真假取决于经历体验证实,因此是偶尔的、后验的,它们的真是事实真.逻辑原子论者罗素将逻辑真理与事实真理作了截然分明的区分.他讲:在纯逻辑中,决不提及任何原子事实,我们只是限于讨论形式,而不问什么对象可填入这些形式.因而纯逻辑是独立于原子事实的;反过来讲,在某种意义上,原子事实也是独立于逻辑的,纯逻辑与原子事实是两极,一为完全先天的,一为完全经历体验的.[4](P41)奎因在他那篇着名的论文(经历体验论的两个教条〕中通过既对分析命题的非经历体验基础予以诘难,又对综合命题的真假仅依靠经历体验证实的看法提出质疑,批判了逻辑真理与事实真理之间有根本区别的观点.他以为,逻辑真理不是先验的、既不受经历体验证实也不受经历体验否认的普遍必然的真理.他指出,逻辑真理和事实真理一样都要遭到经历体验的冲击,进而对他们的真值做出修改.而且,知识总体并不是消极地接受经历体验的冲击而是修改某些陈述的,经历体验不能充分限定知识总体,与经历体验发生冲突时,知识总体对系统各部分的调整和修改是有很大的选择自由的.真理并不完全依靠经历体验事实,真理具有相对独立性.因此,经历体验并不具有充分的决定作用.假如以当代系统论的思想来看待奎因的整体主义的知识观,奎因反对区别两种真理的思想是正确的.但是,笔者以为,知识系统中的各子系统及各要素的发展亦有其相对独立性.这里,我们要肯定在认识论和逻辑学的研究中区分逻辑真和事实真是必要的,这是由于当代数理逻辑的迅速发展,使得逻辑真理的特点变得更为显着,与事实真理的区别亦更为鲜明,纯逻辑的研究是不考证事实的真假的.同时,我们要看到二者有共同基础---客观性和相对性.我们讲一命题是真的(无论是逻辑真还是事实真)都是相对于某一系统(可能世界)而言的,逻辑真相对于符号系统,事实真相对于外在世界.无论在哪一个可能世界中,都要由一定的规定、规则来确立真的定义和断定标准.符合系统内的规则和不矛盾性是命题真的最基本的要求.因而,离开某一可能世界来建构真的理论是不可能的,不相对于某一系统的绝对真理也是没有的.正确认识和把握两类真理的共同基础和不同特性,对我们研究真是很有意义.二、逻辑真与逻辑推理的有效性逻辑是研究形式推理的有效性的,符合推理规则的推理就称为有效的推理,或称正确的推理.逻辑学对推理的研究,是从形式方面或前提与结论的推出关系方面讲的,根本不考虑前提真是与否.对符合规则的推理来讲,即便推理的前提或结论不是真的,也并不影响推理关系的成立或推理形式的正确.[5](P6)在逻辑学中,任何一个推理形式都能够化归为蕴涵式,推理有效性的断定最后被归结为相应蕴涵式---永真式的断定,亦即逻辑重言式(维特根斯坦称逻辑真理为重言式)的断定.论证形式A1,,An;A是有效的,当且仅当命题形式((A1,An)(A)是一重言式.[6](P27)逻辑推理有效式的断定化归为相应蕴涵式重言式的断定,这表示清楚逻辑真理和逻辑推理的普遍有效式从本质上讲是一致的.这种一致性主要表如今下面几方面:第一、逻辑真理和逻辑推理的有效式都是形式化的.当代逻辑的符号化和形式化,使得逻辑真理和逻辑推理有效式根据其表示出形式而有效.形式化使得逻辑真理和逻辑推理的有效式有了高度抽象化的特点.在这种情况下,表述逻辑真理和逻辑推理有效式的命题不再是语词或语句,而是从原来的语句或语词抽象出来的符号,这使得逻辑真理和逻辑推理有效式独立于经历体验.逻辑真理和逻辑推理形式之所以为真取决于其表示出形式,也就是讲取决于组成该逻辑真理表示出式和逻辑推理形式的符号之间的关系符合逻辑规则.第二,逻辑真理和逻辑推理的有效式是无矛盾的.逻辑真理和逻辑推理形式的真,在于它们的无矛盾性.一个逻辑真理的表示出式不可能化归为命题p和非p的合取,逻辑真理的否认是不可能的.一个逻辑推理的有效式,在其推理经过的每一步中也不能包含有逻辑矛盾,否则,该推理形式便是无效的.第三,逻辑真理和逻辑推理有效式是普遍的有效式.逻辑真理之所以为真,关键在于其普遍性.例如,逻辑真理A((B(A)来讲,无论A、B的详细内容是什么,对于其作为逻辑真理性没有任何影响.罗素曾经指出:由于这种普遍真理不提供任何特指的事物,甚至不提供任何特指的性质和关系,它完全独立于存在世界的偶尔事实之外,在理论上,无须有关特指事物或有关其性质和关系的任何经历体验,它就能够被认识.[7](P163)维特根斯坦则以为,逻辑真理的必然性就在于它没有真值条件,是无条件的真,是重言式.当然,重言式只是命题演算中的概念.实际上他的意思就是,逻辑真理是无条件的(在一定形式系统内),是普遍有效式.一个逻辑推理的有效式也是普遍有效式,也是无条件地成立的.例如,推理形式pq,q(r,r(s,p;s,华而不实的变项p、q、r、s不管详细内容是什么,都不影响其普遍有效性.第四,逻辑真理和逻辑推理形式的有效性都依靠于相应的形式系统.固然逻辑真理的必然性主要具体表现出在它的普遍有效性上,但这种必然性并非意味着逻辑真理可任意代入变项以得到详细的命题.逻辑真理的必然性是相对的,相对于某种条件下,相对于某种特定系统中,相对于预设,这些预先存在的假设都属于系统构建者.一旦离开一定的系统及其解释,它们就有可能不再是必然的.例如,P是逻辑系统A中的一个逻辑真理,但当我们改变我们的认识的逻辑系统时,在A系统中的逻辑真理P在B系统中就不一定是真理了.讲一个逻辑真理是有效的,是相对于它所在的系统而言的.即任何一个逻辑真理都具有系统相对性.一个逻辑推理形式的有效性也同样依靠于相应的形式系统.因而,逻辑真理和逻辑推理的普遍有效式一样,都是形式化了的,不包含逻辑矛盾,依靠于一定形式系统的逻辑有效式,二者本质上是一致的.维特根斯坦以为,逻辑命题的特有标志是仅仅从符号人们就能认出它们为真,这个事实包含着全部的逻辑哲学.[8](P9)从这个意义上讲,逻辑是探寻永真式的,即研究逻辑真理的.什么样的逻辑形式能够成为逻辑真理,这就是逻辑学研究的任务.以下为参考文献[1]W.V.Quine.Methodsoflogic[M].NewYork:HarvardUniversityPress,1950.[2][波]维马奇舍夫斯.当代逻辑词典[M].北京:中国人民大学出版社,1992.[3]北京大学哲学系.西方哲学原着选读:上卷[M].北京:商务印书馆,19