Loading article…
意味論と語用論において、真理条件とは、文が真となる条件のことである。例えば、「ネブラスカでは雪が降っている」という文は、まさにネブラスカで雪が降っているときに真となる。文の真理条件は、必ずしも現在の現実を反映しているわけではない。それらは単に、その文が真となる条件にすぎない。[ 1 ]
より厳密に言えば、真理条件は、与えられた帰納的真理定義に対して文を真にするものです。このように理解すると、真理条件は理論的な実体となります。例を挙げて説明しましょう。ある特定の真理理論[ 2 ]（意味的に可能な限り近い用語であっても真理が何らかの形で受け入れられる真理理論）において、「ニクソン」という単語がリチャード・M・ニクソンを指し、「生きている」は現在生きているものの集合に関連付けられているとします。すると、「ニクソンは生きている」という真理条件を表す一つの方法は、順序対<ニクソン、{x: xは生きている}>として表すことです。そして、「ニクソンは生きている」は、「ニクソン」の指示対象（または指示対象）が「生きている」に関連付けられた集合に属する場合、つまりニクソンが生きている場合に限り真であると言います。
意味論では、文の真理条件は、その意味とはほぼ普遍的に区別されると考えられています。文の意味は、その文の真理条件が理解されれば伝わります。さらに、真理条件が不明確であっても理解される文は数多く存在します。この見解を支持する一般的な議論の一つは、必然的に真である文、つまり、どのような状況になっても真である文が存在するというものです。そのような文はすべて同じ真理条件を持ちますが、それによって同じ意味を持つとは限りません。同様に、集合 {x: x は生きている} と {x: x は生きているかつ x は岩ではない} は同一です。つまり、まったく同じ要素を持ちますが、「ニクソンは生きている」という文と「ニクソンは生きているかつ岩ではない」という文は、おそらく異なる意味を持つでしょう。