立的学科，并且摒弃了蒙太古对生成语言学的句法学的忽视，强调语义解释和句法结构的统一，从而最终成为生成语言学的语义学分支。现今的形式语义学的研究在欧美的语言学系都很繁荣，乔姆斯基作出了大量贡献。哲学系对形式语义学的研究已经渐渐失去了原有的兴趣，进而转向了心灵哲学的研究。
逻辑学的语义学.现代的逻辑学，或者说形式逻辑、数理逻辑等，其目的是设计出来一套形式语言系统，并对其作出语义解释。这样的形式语言系统是一个个抽象的封闭体系，但是可以应用于很多的不同领域，比如说法律、计算机等等领域对逻辑