论文摘要：逻辑学是研究推理的一门学问，而推理是由定义、命题组成的，不会命题就不会推理。普通逻辑学在研究命题时，主如果从二值逻辑的角度研究命题逻辑形式的逻辑值与命题形式之间的真伪关系。本文着重从认识论的角度讲解逻辑真理的内涵，同时详细论述逻辑真理与事实真理有什么区别。为了探求真理需要保证思维的逻辑性。
逻辑学不能离开真这个定义。通常来讲大家是从下述意义上用真这个定义的：
（一）首要条件或者命题真。这种真是指命题的思想内容是真的。任何一个命题的内容不是真的就是假的，在这里真或假不是用以描述事物状况的，而是评价命题或陈述的内容的。它的核心是针对其所表达的常识或信念的，比如：台湾不是一个主权国家。这个命题的内容是符合客观事实的，所以是个真命题。
（二）推理真。这是指推理中首要条件真和结论真之间的关系。演绎推理首要条件真结论势必真，总结推理和类比推理首要条件真而结论是或然性真。因此推理真就是推理中的结论相对于首要条件是势必的真或者是或然的真。这里真指的是不是再现逻辑判断关系而不是对命题内容的评价。
（三）指派真和赋值真。在逻辑学中（尤其是在现代逻辑中）把命题形式当作真值形式，而且只从真伪的角度研究每一种命题形式的逻辑特点，真和假是命题的唯一属性。逻辑真在这里指这类真值形式和其中的变项与公式的真伪，这个时候的真伪和具体命题内容的真伪无关，而只不过一种假定的真伪和依据这种假定而推论出的真伪。
（四）形式真。这是指永真式（重言式）或常见有效式的真。逻辑学中有一类公式，对其中的变项可以代以任何命题、谓词、个体词总能得到真命题。这种公式的真是一种逻辑关系的真，比如：P或者非P中不管变项P赋真值或是假值，这个公式都是真的。
（五）系统真。现代逻辑打造了形式系统，假如它的定理都是形式真，即都是永真公式或是常见有效式，那样整个系统便是靠谱的和一致的，这种靠谱性和一致性就是一种系统的真。
在以上这五种真的状况下，逻辑学不考虑第一种意义的真，而只关注后四种真。后四种真在逻辑学中有各种表现，在其他科学中也有这类意义上的真的表现，就被叫做逻辑真理。
所谓逻辑真理是一种特殊的真理，是一种因逻辑关系或逻辑缘由而成为真的一种真理。逻辑真理不可以凭经验而得知其为真，它需要大家借用逻辑剖析、语义剖析、关系剖析确定它们是真的。它和大家日常所说的真理是不同的。
恩格斯觉得：全部哲学尤其是近代哲学的重大基本问题，是思维与存在的关系问题。它包含两个方面的问题，一方面是思维与存在何者为本原的问题；其次是思维和存在有无同一性的问题，也就是大家的思维能不承认识现实或者正确地反映现实世界的问题。从逻辑哲学的角度来看，其重大的基本问题就是逻辑与客观现实的关系问题，任何逻辑学家都要回答：逻辑真理是不是与客观现实一致？逻辑真理与事实真理之间又有哪些关系？
关于这个理论问题，亚里士多德在其所著《形而上学》一中明确提出并详细论述了逻辑基本规律（矛盾律与排中律）。在谈到矛盾律时觉得，事物不可以同时存在又没有。矛盾律第一是存在的规律。它之所以可以成为逻辑思维的基本规律，是由于它符合事理。亚里士多德一定了逻辑规律与存在规律的一致性，其依据就是真理符合现实的理论，即所谓真理符合论。它在讲解真与假这对定义时说，凡以不是为是、是为不是者，这就是假的；凡以实为实、以假为假者这就是真的。根据真理符合论，所有真理必需与现实一致，逻辑真理也不可以例外。可见亚里士多德的真理观，是唯物主义的一元论，这个真理论一定了思维与存在的同一性。但亚里士多德只强调逻辑真理与存在规律的一致性，却忽略了逻辑真理的特殊性。
莱布尼兹是现代逻辑的开创者。他第一个提出了用数学办法研究逻辑学中的推理问题，对亚里士多德的真理一元论提出了挑战。他觉得有两种真理：即推理的真理和事实的真理。推理的真理是势必的，事实的真理是偶然的。推理的真理不像事实真理那样依靠于经验，它们的证明只能来自所谓的天分的内在原则。因此莱布尼兹的这种看法，就成为真理二元论和逻辑真理先验论的一个起源。
基于莱布尼兹的推理真理和事实真理的对立，在康德的哲学中就演变为剖析判断和综合判断的分歧。康德觉得所有源自经验的判断都是综合判断；剖析判断是绝对独立于所有经验的常识，即先天常识。比如：白人是人就是剖析判断，在康德看来表示逻辑规律的判断就是剖析判断。
数理逻辑问世之后，逻辑哲学范围中出现了维特根斯坦学派，即以维也纳小组为核心的逻辑实证主义者。他们的一个一同的工作就是借助数理逻辑的成就，进步从莱布尼兹到康德的真理二元论和逻辑真理的先验论，使之获得科学化的外观和现代化的形式。维特根斯坦把逻辑真理称为重言式。他觉得重言式的命题是无条件的真，由此他断言，重言式既不可以为经验所证实，同样的也不可以为经验所否定，也就是说与现实没任何描述关系。逻辑实证主义者进一步把康德关于剖析判断和综合判断的区别推向极端。在他们看来，但凡先天的都是剖析的；反之，凡剖析的都是先天的。逻辑实证主义者确立了一个基本的哲学信条：剖析真理与综合真理有根本有什么区别。这个学派的主要代表卡尔纳普觉得，哲学家们常常区别两类真理，某些陈述的真理是逻辑的、势必的、依据意义而定的，另一些陈述的真理是经验的、偶然的、取决于世界上的事实的。前一类推理就是所谓的剖析推理，后一类推理就是所谓的综合推理。逻辑真理被看作是剖析真理的一个特殊的真子集。
1933年塔尔斯基以形式化的办法给出了真理的语义学定义，他用非形式化办法对其语义学的成就作出概述。他觉得逻辑真理同其他真理一样，必需与客观现实相符合或者相一致，在形式语言中，一个语句是否逻辑真理，取决于它是否在每一种讲解下都成为真语句；同时一个语句在某一讲解下是不是为真，取决于它在这一讲解下，是不是与它所谈论的对象相一致。可见逻辑真理的定义直接依靠于形式语言中的语句，与它们所描述的客观现实之间的符合关系，这说明它的逻辑真理或者剖析真理并不是先验的真或者先天的真，它们为真同样是由于它们与现实相符合。塔尔斯基重新打造了真理符合论，表明所有真理包含事实真理和逻辑真理，它们的一同特点就是必需与客观现实相符合。
综上所述，大家可以看出亚里士多德提出的真理符合论，一定了逻辑真理与存在规律的一致性，但忽略了它们之间的差别。莱布尼兹、康德、维特根斯坦和逻辑实证主义者觉得，逻辑真理和现实绝对无关，与事实真理根本不同。塔尔斯基倡导真理必需以亚里士多德的真理符合论为基础，而且只能以形式语言来架构，这种看法有肯定的局限性。
马克思主义认识论觉得，真理是客观事物及其规律在大家思维中的正确反映。同样逻辑真理也是客观世界规律性的反映。列宁指出，人的实践经过千百万次的重复，它在人的意识中以逻辑的格固定下来，而最常见的逻辑格，就是事物被描述的非常幼稚的最常见的关系。列宁觉得逻辑的公理、正确的推理形式是事物最常见的关系，是由大家实践中千百万次的重复而反映和巩固在乎识中。列宁说的最常见的逻辑格是指三段论推理的正确形式。在这一点上大家说逻辑真和事实真是相容的，事实真是基础，逻辑真是打造在事实真基础之上的，二者是一致的，但逻辑真理与任何具体的经验事实无关。
第一，逻辑系统的公理和定理的真是逻辑系统设定，其为真的依据是某种初始的逻辑关系。第二，逻辑公理和定理经过讲解的真命题，其为真不取决于讲解中的内容，而取决于这类公理、定理所显示的逻辑关系。第三，逻辑判断关系这种推论的结论真是一种逻辑关系真。第四，依据逻辑联系词的性质，由逻辑真得到逻辑真。如：A、B是逻辑真命题，那样A并且B、假如A那样B都是逻辑真命题。第五，数学中的逻辑真命题，是打造在公理演绎基础之上。以上这类逻辑真因为逻辑是什么原因或者逻辑关系而真，在这一点上大家可以说，在局部意义上，相对于特定的逻辑系统而言，逻辑真理可以说是剖析的，是以逻辑意义为依据的，而与任何具体的经验事实无关。
逻辑真理和事实真理的关系是：事物之间的关系显示肯定的逻辑关系，也是逻辑真的基础。逻辑真理在某些方面与事实真理是一致的，但在其次，逻辑真理又与事实真理不是一致的，逻辑真理和事实真理之间是一种交叉关系。逻辑真理既具备绝对性又具备相对性，有的逻辑关系是绝对的真，但另一些逻辑真理是相对的真。逻辑真理之所以为逻辑真理，不是因为它们揭示了事物的本质事物或事物的常见性，而只不过涉及到逻辑自己，只依据逻辑自己而成立。逻辑真理的势必性需要在逻辑自己中去探寻，而不可以在日常探寻。
综上所述可见，逻辑真理源自经验，但又不同于事实真理。因为逻辑思维有哪些用途，它越离得远远的事实，其真理性越强；当它与具体事实相符合时，即成为事实真理的必要条件。当逻辑真理和事实真理一致时，逻辑思维就正确地反映了事物的规律，因此逻辑真理在认识中有着要紧有哪些用途。当大家认识世界时，会在原有些常识基础上作出很多推断和猜想，也会试图把这类思想与已经获得的关于被研究对象的材料联系起来。为了搞好各项工作，大家要正确的调整各种思想关系，从中抛弃不适合的思想，选取可以促进大家前进的思想，这就需要大家在思维过程中严格遵守逻辑规律和规则。只有认识逻辑真理才能更好地认识事实真理，伴随人类的经验积累，逻辑真理和事实真理的交叉容量势必会不断增大，为了探求真理大家需要保证思维的逻辑性。
