形式意味論(formal semantics)とは、
自然言語や、コンピュータ
プログラミング言語の
意味論（
プログラム意味論）において、その「意味」、たとえば自然言語であれば「全ての犬は黒い」「ある犬は黒い」「全ての犬は黒くない」「ある犬は黒くない」の各文にはそれぞれ対称的な意味があるわけだが、それを
形式的（formal）にあらわさんとする、あるいはプログラミング言語においては、それで書かれたプログラムをコンピュータに実行させた結果どのようにコンピュータが動作するのか（「効果」などとも言う）を、形式的にあらわさんとしたものである。この記事では主として自然言語およびそれに近い分野のものについて述べる。プログラミング言語の意味論に関しては
プログラム意味論の記事を参照のこと。
自然言語においては、自然言語を一種の
形式的体系と捉え、文の意味はその構成要素から一定の手順に従って構成的に決定されると考える立場である。
集合、論理記号など
数学で用いる概念を理論に応用して自然言語の文の真理条件の規定や、
前提・
含意・
矛盾などの論理的関係を記述することを目標とする。論理学者
モンタギューの研究に端を発し、現在では多様な理論的枠組みが提案されている。
自然言語処理にも応用されている。
