|
形式意味論(formal semantics)とは、自然言語や、コンピュータプログラミング言語の意味論（プログラム意味論）において、その「意味」、たとえば自然言語であれば「全ての犬は黒い」「ある犬は黒い」「全ての犬は黒くない」「ある犬は黒くない」の各文にはそれぞれ対称的な意味があるわけだが、それを形式的（formal）にあらわさんとする、あるいはプログラミング言語においては、それで書かれたプログラムをコンピュータに実行させた結果どのようにコンピュータが動作するのか（「効果」などとも言う）を、形式的にあらわさんとしたものである。この記事では主として自然言語およびそれに近い分野のものについて述べる。プログラミング言語の意味論に関してはプログラム意味論の記事を参照のこと。 自然言語においては、自然言語を一種の形式的体系と捉え、文の意味はその構成要素から一定の手順に従って構成的に決定されると考える立場である。集合、論理記号など数学で用いる概念を理論に応用して自然言語の文の真理条件の規定や、前提・含意・矛盾などの論理的関係を記述することを目標とする。論理学者モンタギューの研究に端を発し、現在では多様な理論的枠組みが提案されている。自然言語処理にも応用されている。 形式意味論は、言語と外界との直接の結びつきを仮定し、実際に言語を用いる人間の認知活動を捨象しているため、主に認知意味論の研究者からの強い批判もある。ただし、批判の中には形式意味論の研究者によっても既に自覚されて、理論の改良が試みられているものもある。 ==形式意味論の主要な概念== ===真理条件=== ドナルド・デイヴィッドソンは、アルフレト・タルスキによる形式言語の意味論を自然言語の意味論に応用し、文の意味はその文が真になる条件（真理条件）であるとした。この条件は以下のような「T−文(T-sentence)」によって表される。 *「雪が白い」が真なのは雪が白いときでありそのときに限る また、形式言語の意味論では表現に意味を与える「翻訳(Interpretation)」にモデル理論の「構造(Structure)」が用いられるが、形式意味論ではこれを自然言語の意味論に応用する。たとえば、名前は個体への写像として翻訳され、文は真理値への写像として翻訳される。このような意味論をモデル理論的意味論(Model theoritic semantics)と言う。 さらに、可能性や必然性、条件文などの表現を扱うために、この考えは可能世界意味論に拡張される。可能世界意味論では、文が可能世界にどのように写像されるかを取り扱う。たとえば、「雪が白いかもしれない」という文の表す命題は、雪がさまざまな色をしている可能世界の中に雪が白い可能世界が少なくとも一つ存在し、そこに写像されると考える。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「形式意味論」の詳細全文を読む スポンサード リンク
|