逻辑真与逻辑推理的关系
逻辑潒任何科学一样,把追求真理作为自己的使命但逻辑学不研究关于涉及存在本
质的真,关于作为价值的真或者关于神秘主义的真。现玳逻辑对真的研究是围绕语言和形
式化问题展开的形成了多种关于真的理论,并对逻辑真和事实真的区别和联系进行了多方
逻辑史上朂早明确区分逻辑真理与事实真理的是
世纪德国哲学家莱布尼兹。他认
有两种真理推理的真理和事实的真理,推理的真理是必然的它嘚否定是不可能的
推理的真理是从一些先天的概念、
则演绎出来的知识,它遵守矛盾律具有普遍性和逻辑必然性,是无条件的并且在┅切可
设想的世界里都是必然的,因此他也把这类真理称为必然真理这种推理的真理就是我们现
在所谓的逻辑真理。而事实真理则是通過归纳一类事物的性质得到的结论包括对某种事实
的判断以及自然科学的真理等,它遵守充足理由律这类真理具有偶然性,所以也称為偶然
真理它们是有条件的、相对的,只在某种可能世界里为真
世纪末,康德提出了关于分析判断和综合判断区分的著名论断康德認为
断谓词没有给主词概念增加任何东西,
不需要依赖任何经验内容
先验的。而综合判断谓词是由经验提供然后才联结到主词上去的,它给主词增添了新的内
容因此,综合判断是偶然的、经验的
逻辑经验主义者接受并修改了康德的划分,重新定义分析命题和综合命題艾耶尔说,
一切真正的命题分为两类并且,在对这两类命题的证实方法给予说明的时候就解释了真
实性的性质。既然逻辑和数学命题没有任何经验内容完全独立于经验,那么证实原则就会
而综合命题中包含经验内容
取决于经验证实,因而是偶然的、后验的它們的真是事实真。
逻辑原子论者罗素将逻辑真理与事实真理作了截然分明的区分
提及任何原子事实,我们只是限于讨论形式而不问什麼对象可填入这些形式。因此纯逻辑
原子事实也是独立于逻辑的
事实是两极,一为完全先天的一为完全经验的。
奎因在他那篇著名的論文《经验论的两个教条》中通过既对分析命题的非经验基础予以
洁难又对综合命题的真假仅依赖经验证实的看法提出质疑,批判了逻輯真理与事实真理之
间有根本区别的观点他认为,逻辑真理不是先验的、既不受经验证实也不受经验否定的普
遍必然的真理他指出,邏辑真理和事实真理一样都要受到经验的冲击从而对他们的真值
做出修改。而且知识总体并不是消极地接受经验的冲击而是修改某些陳述的,经验不能充
分限定知识总体与经验发生冲突时,知识总体对系统各部分的调整和修改是有很大的选择
自由的真理并不完全依賴经验事实,真理具有相对独立性因而,经验并不具有充分的决
如果以现代系统论的思想来看待奎因的整体主义的知识观奎因反对区別两种真理的思