論理的真理
論理的真理（ろんりてきしんり、）は、論理学の基本的な概念の一つであり、その性質については様々な説がある。論理的真理とは、真であり、かつ、論理定項以外の構成要素を全てしても真であり続けるのことである。これはの一種である。全ての哲学的論理学は、論理的帰結と同様に、論理的真理の性質についての説明を提供していると考えることができる。
論理的真理（恒真式を含む）は、必然的真理(necessarily true)であると考えられる真理である。これは、それが真実でないことはありえないと考えられ、論理的真理が拒否されるような状況は生じないと考えられるということを意味している。それは、直感、実践、信念の総体(body of beliefs)のあらゆる意味で真理でなければならない。しかし、「必然的」真理でなければならない言明があるということは、普遍的には認められていない。
一部の哲学者は、論理的真理とは全ての可能世界において真実である言明であると考えている。これは、事実（fact、偶発的主張(contingent claims)や合成的主張(synthetic claims)と呼ばれることもある）が、「この」世界では真実であっても、少なくとも一つの可能世界において真実ではないことがあるのとは対照的である。命題「pかつqならばp」や命題「結婚している人はみんな結婚している」は、それが、世界における何らかの事実によってではなく、固有の構造によって真理であるので、論理的真理である。その後、形式論理学の台頭により、論理的真理とは、全ての可能な解釈の下で真理であると考えられるようになった。
論理的真理の存在は、理性主義の哲学者によって経験主義への反論として提唱されてきた。なぜなら彼らは、論理的真理の知識を経験主義的に説明することは不可能だと考えているからである。経験主義者はこの反論に対し、論理的真理（彼らは通常、これは単なる恒真式であると考えている）は分析的なものであり、世界を説明することを目的としていないと主張している。