自然言語においては、自然言語を一種の形式的体系と捉え、文の意味はその構成要素から一定の手順に従って構成的に決定されると考える立場である。集合、論理記号など数学で用いる概念を理論に応用して自然言語の文の真理条件の規定や、前提・含意・矛盾などの論理的関係を記述することを目標とする。論理学者モンタギューの研究に端を発し、現在では多様な理論的枠組みが提案されている。自然言語処理にも応用されている。形式意味論は、言語と外界との直接の結びつきを仮定し、実際に言語を用いる人間の認知活動を捨象しているため、主に認知意味論の研究者からの強い批判もある。ただし、批判の中には形式意味論の研究者によっても既に自覚されて、理論の改良が試みられているものもある。形式意味論の主要な概念.真理条件.さらに、可能性や必然性、条件文などの表現を扱うために、この考えは可能世界意味論に拡張される。可能世界意味論では、文が可能世界にどのように写像されるかを取り扱う。たとえば、「雪が白いかもしれない」という文の表す命題は、雪がさまざまな色をしている可能世界の中に雪が白い可能世界が少なくとも一つ存在し、そこに写像されると考える。構成性原理.構成性原理はフレーゲの原理ともいい、複合表現の意味はその構成要素から、一定の合成手続きに従って一意的に決定されるとする理論上の仮定である(実際には、自然言語にはイディオムのように構成的でない表現もある)。モンタギューは、文の統語的表示と意味表示とのあいだに準同型写像を与えることでこの原理を保証した。名詞、動詞、文などの範疇ごとに定まった、指示対象の形式の違い(個体、関数、真理値など)はタイプと言い、タイプの考えに基づいた理論をタイプ理論と称する。形式意味論の誕生と展開.現在、モンタギューの示した枠組みがそのまま用いられることは少なく、これを発展させたいくつかの理論に基づいた研究が活発である。特に、モンタギューが扱わなかった、文より大きい単位に見られる現象や、文脈の問題を考慮に入れた研究が発展してきている。以下に主な理論を挙げる。ダース・シディアス概要.生涯.ナブー時代.元老院議員時代.