逻辑学导论论文

《逻辑学导论论文》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

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

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

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

4、一致性就是一种系统的真。在以上这五种“真”的情况下，逻辑学不考虑第一种意义的“真”，而只关注后四种“真后四种“真”在逻辑学中冇各种表现,在其他科学中也冇这些意义上的真的表现,就被称为逻辑真理。所谓逻辑真理是一种特殊的真理，是一种因逻辑关系或逻辑原因而成为真的一种真理。逻辑真理不能凭经验而得知其为真，它需要我们借助逻辑分析、语义分析、关系分析确定它们是真的。它和我们FI常牛活中所说的真理是有区别的。恩格斯认为：全部哲学特别是近代哲学的重大棊本问题，是思维与存在的关系问题。它包括两个方面的问题，一方面是思维与存

5、在何者为本原的问题；另一方面是思维和存在有无同一性的问题，也就是我们的思维能否认识现实或者止确地反映现实世界的问题。从逻辑粋沖的角度來看，其重人的基木问题就是逻辑与客观现实的关系问题，任何逻辑学家都要冋答:逻辑真理是否与客观现实一致？逻辑真理与事实真理之间乂有什么关系？关于这个理论问题，亚里士多徳在其所着《形而上学》一书中明确提出并详细论述了逻辑基本规律（矛盾律与排中律）。在谈到矛盾律时认为，事物不能同时存在乂不存在。才盾律首先是存在的规律。它之所以能够成为逻辑思维的基本规律，是因为它符合“事理覽亚里士多徳

6、肯定了逻辑规律与存在规律的一致性，其根据就是真理符合现实的理论，即所谓真理符介论。它在解释真与假这对概念时说，凡以不是为是、是为不是者，这就是假的；凡以实为实、以假为假者这就是真的。按照真理符合论,一切真理必需与现实一致,逻辑真理也不能例外。可见亚里士多德的真理观，是唯物主义的一元论，这个真理论肯定了思维与存在的同一性。但是亚毘士多徳只强调逻辑真理与存在规律的一致性，却忽视了逻辑真理的特殊性。莱布尼兹是现代逻辑的创始人。他第一个提出了用数学方法研究逻辑学屮的推理问题，对亚里士多徳的真理一元论提出了挑战。他认

7、为冇两种真理：即推理的真理和事实的真理。推理的真理是必然的，事实的真理是偶然的。推理的真理不像事实真理那样依赖于经验,它们的证明只能來自所谓的天赋的内在原则。因此莱布尼兹的这种观点，就成为真理二元论和逻辑真理先验论的一个起源。基于莱布尼兹的推理真理和事实真理的对立,在康徳的哲学屮就演变为分析判断和综介判断的分歧。康徳认为一切来源于经验的判断都是综合判断；分析判断是绝对独立于i切经验的知识，即先天知识。例如：“白人是人”就是分析判断，在康德看來表示逻辑规律的判断就属于分析判断。数理逻辑问世Z后，逻辑衿学领域中

8、汕现了维特根斯坦学派，即以维也纳小组为核心的逻辑实证主义者。他们的一个共同的工作就是利用数理逻辑的成果，发展从莱布尼兹到康德的真理二元论和逻辑真理的先验论，使Z获得科学化的外观和现代化的形式。维特根斯坦把逻辑真理称为重言式。他认为重言式的命题是无条件的真，rti此他断言，重言式既不能为经验所证实，同样的也不能为经验所否定，也就是说与现实没有任何描述关系。逻辑实证主义者进一步把康徳关于分析判断和综合判断的区分推向极