本书分句法篇和语义篇两个部分，较为翔实地介绍、阐述了形式语言学近20 年来的发 展情况，内容的前沿性和丰富度领先于国内外同类著作。其中句法篇介绍了生成语法的最 新理论模型——最简方案，包括其背景情况、总体架构和核心概念（合并、语段、加标等）； 语义篇重点围绕意义标准的切换展开论述，覆盖多维语义、语境依赖性、语义本体等研究话 题以及诊断测试、实验等研究方法。 本书可以作为高校语言学方向研究生课程的教材或参考书，对相关学科的研究人员也有 较高参考价值。

第一作者，程工，浙江省“万人计划”人文社科领军人才,浙江大学文科领军学者，教授。主要研究专长是语言结构比较研究，包括句法学和形态学两个领域。是国内培养的第一个以生成语法为主要研究对象的博士，第一个向国内介绍生成语法**理论模型“最简方案”的学者，也是国内最早在最简方案理论中进行汉语研究的学者之一。著有学术专著《语言共性论》、《远程反身代词的最简方案研究》等，发表学术论文60余篇。

前 言 本书旨在介绍、阐述形式语言学近 20 年来的发展情况，分上篇和 下篇两个相对独立的部分。上篇为句法篇，主要讨论生成语法的现状； 下篇为语义篇，主要讨论形式语义学的发展。 本书之所以做如此编排，与“形式语言学”这个名称密不可分。根 据可查的文献，该名称最初是几名在美国加州工作的生成语法学者—— Peter Culicover、Tom Wasow、Adrian Akmajian 等——于 1976 年创造 的。他们当时有意召集志趣相投的同行举行一次学术会议，一方面他们 希望只邀请坚持用 Chomsky 在《句法结构》（1957）一书中所开创的 形式化理论的学者，排除那些放弃这一传统的生成语义学（generative semantics）的学者；另一方面，他们想通过一个名为“数学社科委员 会”的机构向美国国家科学基金会申请资助，需要一个与数学相关的名 称，以使申请名正言顺。在这两方面因素的驱动下，他们将会议命名为 “形式句法”。该会议顺利获得资助，组织得也非常出色，邀请到 Noam Chomsky 等学界名流，会议因此名噪一时（Culicover et al.，1977）。几 年后，这批深受鼓舞的加州学者决定把这个会议接续下去，并赋予其 一个正式的名称——“西海岸形式语言学会议”（WCCFL），并于 1982 年召开了第一届。这个系列会议目前已经召开了 40 余届，享有极高的 声望和良好的口碑，形式语言学这个名称也随之不胫而走。这一称谓 的诞生交织了 20 世纪 70 年代和 80 年代诸多的偶然因素，所指称的 对象未必十分精准，Haspelmath（20...