摘要
真理是对客观事物及其规律的正确反映,真理是不可错的。真理可分为科学真理和逻辑真理,前者是有关思维具体内容正确反映客观事物的真理,后者是有关思维形式正确反映客观事物的真理,亦即正确思维形式的真理。由演绎逻辑系统所揭示的各种有效式(恒真式)也即是逻辑真理。逻辑真理乃是客观事物某些最一般的性质和关系的正确反映。逻辑真理是不可错的。逻辑定理和逻辑真理不可混同,只有那些确实是恒真式的逻辑定理(它们是逻辑定理中的大多数)才是逻辑真理,并非是恒真式的所谓"逻辑怪论"的逻辑定理就不是逻辑真理。逻辑真理是不可错的,逻辑定理是可错的。
The truth correctly reflects the objective things and their laws.It must be non-wrongness.The truth can be classified into scientific truth and logical truth.The former refers to the concrete contents of thinking correctly reflecting the objective things,and the latter refers to the truth having the correct concrete thinking form.The logical truths are the various effective formulas(constant true formulas) that the deductive logic system reveals.The logical truths are the correct reflection of the objective things about some commonest properties and relations.The logical truth must not be wrong.The logical theorem and the logical truth cannot be confused.Only those constant true formulas being included in the logical theorem(they are the majority of the logical theorem) are logical truths.The strange logical theory is logical theorem rather than the constant true formula,which is not logical truth.The logical truth can't be wrong,but the logical theorem can be wrong.
出处
《河南大学学报(社会科学版)》
CSSCI
北大核心
2010年第3期44-49,共6页
Journal of Henan University(Social Sciences)
关键词
真理
逻辑真理
逻辑定理
演绎逻辑系统
truth
logical truth
logical theorem
deductive logical system