【摘要】作为语义学的分支，形式语义学在语义学研究发展的过程中占有重要地位。目前的研究对形式语义学相关理论认识不全面，对各个理论分支之间如何有机组合也缺乏明确的认识。本文从形式语义学的起源和发展入手，针对地介绍了形式语义学相关理论，如类型论、模态论和兰姆达算子等理论在组合原则下如何体现语义的重组，旨在使语言研究者更加理解语义组合的层级性。

【关键词】形式语义学；组合原则；兰姆达算子

【中图分类号】H313 【文献标识码】A

基金项目：本文系太原工业学院重点科学基金项目“汉语比较结构‘越……越……的语义特征研究”（项目编号：2017RZ01）的研究成果。

引言

形式语义学是通过运用数理逻辑的方式进行语义研究，从而使语言研究有更加精准科学的语言表达。该研究方式涉及数理逻辑方面的知识，给人留下了抽象晦涩的印象。本文的理论简述目的在于揭开形式语义学神秘的面纱，重新审视形式语义学的研究方式，从而为后续研究带来相关启迪。

一、形式语义学的起源与发展简述

19世纪，波兰逻辑学家、数学家、哲学家塔尔斯基（Alfred Tarski）[1]提出了真值条件语义学，他认为，真值条件语义学为语义学提供了与自然语言不同的形式化或逻辑化的语言。真值条件的判断方法通常应用于形式语义学，真值条件语义学的主要理论假设是句子的核心含义，即它的真值条件。

19世纪60年代后期，哲学家理查德·蒙太古（Richard Montague）[2]指出，在英语中句子的分析可以使用相同的手段，奠定了形式语义学的理论基础。