真理
フレーゲは、現在の分析哲学の基礎を作った人物である。彼は、数学・論理学の基礎を生物学的・心理学的な過程に求めようとする心理主義、殊に意味・思想までも表象ととらえることに強く反対し、意味・思想という論理的なものと心理的なものを厳密に区別しようとした。彼によれば、語は記号である「意義」と記号によって表示される「意味」は区別されなければならず、伝統的に命題といわれてきた文は意義である。文は客観的な思想を含むが、文の真理値がその文の意味なのだとする。すると、ある文、例えば、命題Pは命題「命題Pは真である」と同値になる。したがって、真理の概念は定義不可能になる。彼は、このように、言語表現の内包(意味)が外延(指示対象)を決定すると考え、心理的なものから論理的なものの領域を守ったのであった。
フランク・ラムゼイは、フレーゲの論を更に進めて真理は余分な概念であるとした。命題Pは命題「命題Pは真である」と同値になる。それゆえ真理は余分な概念であり、真理述語はいかなる性質も表現していない。対応説や整合説のように真理述語に存在論的・認識論的性質の表現を認める見解は真理のインフレ理論にあたり、これを認めない見解は真理のデフレ理論にあたる。真理述語は一定の推論的役割という下がり続ける貨幣価値しか有しない。しかし、それは命題が真になる条件を明らかにしてくれる。それは、『「Alice is alive.」が真であるのは、アリスが生きているときであり、かつ、そのときだけである。』との真理条件を満たすかどうか、によってテストすることができる。
真理が真理であると証明することは、ゲーデルの不完全性定理と同じように証明できないであろうので、これが真理だという完全な証明は不可能だと思われる。
真理とは何か、についての研究を真理論という。以下に代表的な説を挙げる。
真理の対応説(correspondent theory of truth):「思惟」と「事物」(羅:res、レス)が一致ないし対応していることが真理であるとする。アリストテレス、トマス・アクィナス、イマヌエル・カント、カール・マルクス、バートランド・ラッセル、前期ルートヴィヒ・ウィトゲンシュタイン、アルフレッド・タルスキ、カール・ポパー
真理の整合説:他の命題と整合的な認識が真理であるとする。公理的で演繹的な真理観。中期プラトン、ライプニッツ、スピノザ、ヘーゲル
真理の明証説:意識に対して明証的に現れるものを真理とみる。ルネ・デカルト、エトムント・フッサール
真理の実用説(有用説):生にとって有効・実用的な認識を真理であるとする。フリードリヒ・ニーチェ、ウィリアム・ジェイムズ
真理の合意説:合意された認識を真理であるとする。チャールズ・サンダース・パース、ユルゲン・ハーバーマス
真理の定義不可能説:命題Pは命題「命題Pは真である」と同値であるから、真理の概念は定義不可能であるという立場。フレーゲ
真理の余剰説(redundancy theory of truth):命題Pは命題「命題Pは真である」と同値であるから、真理の概念は無用な余剰であるとする。フランク・ラムゼイ
規約主義:真理はその言語体系における規約に依存するという立場。アンリ・ポアンカレ、デュエム、オットー・ノイラート