[精品]浅谈逻辑真理的认识论思考

《[精品]浅谈逻辑真理的认识论思考》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、浅谈逻辑真理的认识论思考论文关键词：逻辑真理；真理符合论论文摘要：逻辑学是研究推理的一门学问，而推理是由概念、命题组成的，不懂得命题就不懂得推理。普通逻辑学在研究命题时，主要是从二值逻辑的角度研究命题逻辑形式的逻辑值与命题形式Z间的真假关系。木文着重从认识论的角度阐述逻辑真理的内涵，同时详细论述逻辑真理与事实真理的区别。为了探求真理必须保证思维的逻辑性。逻辑学离不开“真”这个概念。一般来说人们是从下述意义上使用“真”这个概念的：（一）前提或者命题真。这种真是指命题的思想内容是真的。任何一个命题的内容不是真的就是假的，在这里真或假不是用以描述事物状态的，而

2、是评价命题或陈述的内容的。它的核心是针对其所表达的知识或信念的，例如：“台湾不是一个主权国家。"这个命题的内容是符合客观事实的，所以是个真命题。（二）推理真。这是指推理屮前捉真和结论真之间的关系。演绎推理前提真结论必然真,归纳推理和类比推理前提真而结论是或然性真。因此推理真就是推理屮的结论相对于前提是必然的真或者是或然的真。这里“真”指的是否再现逻辑推断关系而不是对命题内容的评价。（三）指派真和赋值真。在逻辑学中（特别是在现代逻辑中）把命题形式当作真值形式,而且只从真假的角度研究每一种命题形式的逻辑特征，真和假是命题的唯一屈性。逻辑真在这里指这些真值形式

3、和其中的变项与公式的真假，这吋的真假和具体命题内容的真假无关,而只是一种假定的真假和根据这种假定而推论出的真假。（四）形式真。这是指永真式（重言式）或普遍有效式的真。逻辑学中有一类公式，对其中的变项可以代以任何命题、谓词、个体词总能得到真命题。这类公式的真是一种逻辑关系的真，例如：P或者非P中不管变项P赋真值或是假值，这个公式都是真的。（五）系统真。现代逻辑建立了形式系统，如果它的定理都是形式真，即都是永真公式或是普遍有效式，那么整个系统便是可靠的和一致的，这种可靠性和一致性就是一种系统的真。在以上这五种“真叩勺情况下，逻辑学不考虑笫一种意义的“真”，而

4、只关注后四种“真”。后四种“真”在逻辑学屮有各种表现，在具他科学屮也有这些意义上的真的表现，就被称为逻辑真理。所谓逻辑真理是一种特殊的真理，是i种因逻辑关系或逻辑原因而成为真的一种真理。逻辑真理不能凭经验而得知其为真，它需耍我们借助逻辑分析、语义分析、关系分析确定它们是真的。它和我们口常生活中所说的真理是有区别的。恩格斯认为：全部禅学特别是近代書学的重人基本问题，是思维与存在的关系问题。它包括两个方而的问题，一方而是思维与存在何者为木原的问题；另一方而是思维和存在有无同一性的问题，也就是我们的思维能否认识现实或者正确地反映现实世界的问题。从逻辑哲学的角度

5、来看，其重人的基木问题就是逻辑与客观现实的关系问题，任何逻辑学家都要冋答:逻辑真理是否与客观现实一•致？逻辑真理与事实真理之间乂有什么关系？关于这个理论问题，亚里上多徳在其所著《形而上学》i书屮明确提出并详细论述了逻辑基木规律（矛盾律与排屮律）。在谈到矛盾律时认为，事物不能同时存在又不存在。矛盾律首先是存在的规律。它Z所以能够成为逻辑思维的某本规律，是因为它符合“事理雹亚里士多徳肯定了逻辑规律与存在规律的一•致性，其根据就是真理符合现实的理论，即所谓真理符合论。它在解释真与假这対概念时说，凡以不是为是、是为不是者，这就是假的；凡以实为实、以假为假者这就是

6、真的。按照真理符合论，一切真理必带与现实一致，逻辑真理也不能例外。可见亚里士多徳的真理观，是唯物主义的一元论，这个真理论肯定了思维与存在的同一性。但是亚里士多徳只强调逻辑真理与存在规律的一致性，却忽视了逻辑真理的特殊性。菜布尼兹是现代逻辑的创始人。他笫一个提出了用数学方法研究逻辑学中的推理问题，対亚里上多徳的真理一元论提出了挑战。他认为有两种真理：即推理的真理和事实的真理。推理的真理是必然的，事实的真理是偶然的。推理的其理不像事实真理那样依赖于经验，它们的证明只能来自所谓的天赋的内在原则。因此莱布尼兹的这种观点，就成为真理二元论和逻辑真理先验论的一个起源

7、。基于莱布尼兹的推理真理和事实真理的对立,在康德的哲学中就演变为分析判断和综合判断的分歧。康德认为一切来源于经验的判断都是综合判断；分析判断是绝对独立于一切经验的知识，即先天知识。例如：“白人是人”就是分析判断，在康徳看来表示逻辑规律的判断就属于分析判断。数理逻辑问世Z后，逻辑哲学领域中出现了维特根斯坦学派，即以维也纳小组为核心的逻辑实证主义者。他们的一个共同的工作就是利川数理逻辑的成果，发展从莱布尼兹到康德的真理二元论和逻辑真理的先验论，使之获得科沖化的外观和现代化的形式。维特根斯坦把逻辑真理称为重言式。他认为重言式的命题是无条件的真，山此他断言，重言

8、式既不能为经验所证实，同样的也不能为经验所否定，也就是说与现实没冇任何描述关系。