真理条件
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/22 06:54 UTC 版)
ドナルド・デイヴィッドソンは、アルフレト・タルスキによる形式言語の意味論を自然言語の意味論に応用し、文の意味はその文が真になる条件（真理条件）であるとした。この条件は以下のような「T−文(T-sentence)」によって表される。 「雪が白い」が真なのは雪が白いときでありそのときに限る また、形式言語の意味論では表現に意味を与える「翻訳(Interpretation)」にモデル理論の「構造(Structure)」が用いられるが、形式意味論ではこれを自然言語の意味論に応用する。たとえば、名前は個体への写像として翻訳され、文は真理値への写像として翻訳される。このような意味論をモデル理論的意味論(Model theoritic semantics)と言う。 さらに、可能性や必然性、条件文などの表現を扱うために、この考えは可能世界意味論に拡張される。可能世界意味論では、文が可能世界にどのように写像されるかを取り扱う。たとえば、「雪が白いかもしれない」という文の表す命題は、雪がさまざまな色をしている可能世界の中に雪が白い可能世界が少なくとも一つ存在し、そこに写像されると考える。
※この「真理条件」の解説は、「形式意味論」の解説の一部です。
「真理条件」を含む「形式意味論」の記事については、「形式意味論」の概要を参照ください。
ウィキペディア小見出し辞書の「真理条件」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ。
真理条件と同じ種類の言葉
- 真理条件のページへのリンク
