論理的真理
同じ言明の異なる解釈(英語版)を考慮することは、真理値の概念につながる。真理値に対する最も単純な説明は、ある場合には言明が真であっても、別の場合には偽である可能性があるということを意味する。恒真式(トートロジー)とは、どのような解釈の下でも真であることが判明した任意の種類の論理式(well-formed formula)や命題である(文脈によっては、付値(英語版)〈valuation〉または割り当て〈assignment〉と呼ばれることもある)。これは論理的真理と同義である。
しかし、恒真式という用語は、より具体的には真理関数的恒真式と呼ばれるものを指すためにも一般的に使用されている。恒真式や論理的真理は、それが一般的に含む論理学の用語(「全ての〈every〉」、「いくつかの〈some〉」、「は〈is〉」など)に対してのみ真であるのに対し、真理関数的恒真式は、それが含む論理連結語(「または〈or〉」、「かつ〈and〉」、否定論理和〈nor〉など)に対しても真である。全ての論理的真理がこの種の恒真式であるとは限らない。
論理的真理は、現実世界で真であっても、それが偽である可能世界が存在する事実(fact、偶然的言明〈contingent claim〉または総合的言明〈synthetic claim〉とも呼ばれる)と対比される。命題「pかつqならばp」や命題「結婚している人はみな結婚している」は、世界の何らかの事実ではなく命題の持つ固有の構造によって真であるため、論理的真理である。その後、形式論理学の台頭により、論理的真理は、全ての可能な解釈の下で真の言明と考えられるようになった。
論理的真理の存在は、論理的真理の知識を経験的に説明することが不可能と考える理性主義の哲学者によって経験主義への反論として提唱されてきた。経験主義者はこの反論に対し、論理的真理(彼らは通常、これは単なる恒真式であると考えている)は分析的なものであり、世界を説明することを目的としていないと主張している。