终成为生成语言学的语义学分支。现今的形式语义学的研究在欧美的语言学系都很繁荣，乔姆斯基作出了大量贡献。哲学系对形式语义学的研究已经渐渐失去了原有的兴趣，进而转向了心灵哲学的研究。
逻辑学的语义学.现代的逻辑学，或者说形式逻辑、数理逻辑等，其目的是设计出来一套形式语言系统，并对其作出语义解释。这样的形式语言系统是一个个抽象的封闭体系，但是可以应用于很多的不同领域，比如说法律、计算机等等领域对逻辑学的应用。一个逻辑系统通常由三个部分组成，即词汇部分、句法部分和基于模型论的语义部分。