論理的真理
論理的真理は、分析的言明であるため、事実(fact)に関する情報は一切含まれていない。論理的真理とは別に、「no bachelor is married」のような第二種の分析的言明も存在する。この種類の言明の特徴は、類義語を真偽に影響を与えずに代入することで、論理的真理に変形できるという点である。例えば、「no bachelor is married」は、「bachelor」をその類義語である「unmarried man」に置き換えることで「no unmarried man is married」に変形できる。
哲学者ウィラード・ヴァン・オーマン・クワインは著書『経験主義の二つのドグマ(英語版)』において、分析的言明と総合的言明の区別に疑問を呈した。それは、この第二種の分析的言明についてであり、明確化の必要性に立っている類義語の概念に依存しているように見えることが、分析的であるという概念自体が明確化の必要性に立っていることに彼が注意する原因となった。クワインは結論として、論理的真理が必然的真理であるということを否定している。その代わりに、論理的真理も含めて、それ自身の完全な理論の中の他の全ての言明の真理値を再解釈すれば、どんな言明の真理値も変えられるという仮説を立てている。