小议逻辑真理的认识论思考 论文关键词:逻辑真理;真理符合论 论文摘要:逻辑学是讨论推理的一门学问,而推理是由概念、命题组成的,不懂得命题就不懂得推理
普通逻辑学在讨论命题时,主要是从二值逻辑的角度讨论命题逻辑形式的逻辑值与命题形式之间的真假关系
本文着重从认识论的角度阐述逻辑真理的内涵,同时详细论述逻辑真理与事实真理的区别
为了探求真理必须保证思维的逻辑性
逻辑学离不开“真”这个概念
一般来说人们是从下述意义上使用“真”这个概念的: (一)前提或者命题真
这种真是指命题的思想内容是真的
任何一个命题的内容不是真的就是假的,在这里真或假不是用以描述事物状态的,而是评价命题或陈述的内容的
它的核心是针对其所表达的知识或信念的,例如:“台湾不是一个主权国家
”这个命题的内容是符合客观事实的,所以是个真命题
(二)推理真
这是指推理中前提真和结论真之间的关系
演绎推理前提真结论必定真,归纳推理和类比推理前提真而结论是或然性真
因此推理真就是推理中的结论相对于前提是必定的真或者是或然的真
这里“真”指的是否再现逻辑推断关系而不是对命题内容的评价
(三)指派真和赋值真
在逻辑学中(特别是在现代逻辑中)把命题形式当作真值形式,而且只从真假的角度讨论每一种命题形式的逻辑特征,真和假是命题的唯一属性
逻辑真在这里指这些真值形式和其中的变项与公式的真假,这时的真假和具体命题内容的真假无关,而只是一种假定的真假和根据这种假定而推论出的真假
(四)形式真
这是指永真式(重言式)或普遍有效式的真
逻辑学中有一类公式,对其中的变项可以代以任何命题、谓词、个体词总能得到真命题
这类公式的真是一种逻辑关系的真,例如:P或者非 P 中不管变项 P 赋真值或是假值,这个公式都是真的
(五)系统真
现代逻辑建立了形式系统,假如它的定理都是形式真,即都是永真公式或是普遍有效式,那么整个系统便是可靠的和