This book provides the foundation for understanding the theory and pracitce of compilers. Revised and updated, it reflects the current state of compilation. Every chapter has been completely revised to reflect developments in software engineering, programming languages, and computer architecture that have occurred since 1986, when the last edition published. The authors, recognizing that few readers will ever go on to construct a compiler, retain their focus on the broader set of problems faced in software design and software development. Computer scientists, developers, and aspiring students that want to learn how to build, maintain, and execute a compiler for a major programming language.

《汉语句法学》不仅选用了现存的或可能的论述，而且运用自己的分析，对汉语的大多数结构进行解析；这些结构在过去二十五年的理论语言学中起着重要作用。《汉语句法学》涉及各种论题，包括语类、论元结构、被动句，以及照应语等。

《走近形式语用学》是《西方最新语言学理论译介》丛书的一种，系统介绍了当前国际语言学界关于形式语用学的最新进展，内容包括语用推理的实用逻辑观念；言语行为理论的形式语用学；博弈语用学；量化、数量和形式潜伏语用分析条件句增力研究；汉语违实句分析等。《走近形式语用学》在介绍西方理论的同时，力求有原创性的观点和分析。《走近形式语用学》还特别注重对汉语的研究，研究课题基本上都是在中文出版物中较新的题目。

这是一本语言学综述著作，视点与以往国内语言学综述性著作完全相反，指出我国语言学所缺少的理论与方法。全书将国外语言学发展新动向与中国语言学当前现状进行比较，对中外语言学分道的缘由进行了深入思考。该书由我国享有世界声誉的语言学家徐烈炯教授撰写，其独特的视角必将使该书在语言学界引出极大的反响，该书也将受到国内语言学者的广泛关注。
-------
开篇语
上篇 走近当代语言学的主流
第一章 生成立语法纵横谈
第二章 生成语法学方法论
第三章 CHOMSKY的语言习得理论
第四章 心智主义语言观
第五章 生成语法三十年（1957-1987）
第六章 管辖与约整理论
第七章 生成语法最近二十年：从管约论到最简方案
中篇 观察中国语言学的现状
第八章 音标中的学问
第九章 跨语言研究的广度与深度
第十章 汉语语义研究的空白地带
第十一章 非对比性的语言语法研究
第十二章 外文系的教学与研究
下篇 思考中外语言学分道的缘由
第十三章 语言学理论与语言事实
第十四章 形式与功能
第十五章 功能主义与形式主义
第十六章 中国人看CHOMSKY的语言哲学
第十七章 中国语言学的道路
附录
2007年1月14日访谈记录
Wonder of Speech：Similarities and Differences between Languages（香港公开演讲）
后记

系统性。本教程系统地讲解了汉语语法的词法与句法，全书分4章讲词法，6章讲句法，3章讲语法与语义、语法与语音。全书以核心(head)为纲，在绪论中指明核心决定着结构体的类别和与之共现的成分，其他各章围绕着核心的作用展开。比如说第一章以偏正结构与动宾结构的复合词为例展示核心决定复合词的类别；第二章以把字句、状态补语为例展示功能核心的选择作用，并讲解了“功能范畴假设”和限制嫁接方向的“嫁接与移位同向假设”；随后各章就根据这两条假设讲解动词短语、句子、名词短语、形容词短语、并列短语、语法与语义、语法与语音，并以此反哺构词法。
学术性。本教程适用于高年级本科生，也适用于汉语言文字学、语言学及应用语言学等相关专业的硕士生，他们有一定的汉语语法基础，所以针对这些学生的教材宜强调学术性。比如说两个语言单位的语序，两个语言单位在进行组合时，谁在前谁在后。逻辑上存在两种可能，为了限制组合的方向，本教程提出“嫁接与移位同向假设”，为满足该假设，本教程提出“词汇核心在后，所有扩展它的功能核心在前”。再比如说选择性，汉语的“吃”除了跟食物这样的受事组合，还可以跟工具(“吃大碗”)、处所(“吃食堂”)等组合，为解释这种现象，本教程提出了“功能范畴假设”。这些假设有一定的解释力和限制力。
当代性。高等学校语言学科的基础教材一般是以结构主义语言学的理论为基础，但西方语言学已经发展出生成语法、认知语法等学术流派，并以生成语法为主流。本教程以生成语法的近期理论“最简方案”为基础描写、解释汉语的一些重要的语法现象，主要意图是让学生尽早接触当代语言学的理论、观念与技术手段。

《核心推导语法》（第二版）内容简介
我国流行的句子分析法主要有两种： 传统的句子成分分析法和结构主义的直接成分分析法。前者因为强调结构内核心词的作用，所以又称“中心词分析法”；而后者强调层次，又称“层次分析法”。《核心推导语法》（第二版）从比较这两种分析法的得失出发，提出一种兼顾核心词和层次的“向心层次分析法”和由有限多项式构成的“向心轨层”的语法描写形式和结构观念。
以此为出发点，根据核心词在切分中的“定向”（确定切分深入的方向）、“定界”（确定切分的下限）作用，在《核心推导语法》（第二版）的前半部，也对汉语语法中一些传统的基本问题，如词本位、短语本位和句本位的得失问题，结构核心的判断和内向、外向问题，形式和意义的关系问题，词类问题等，在统一的基础上进行了系统的分析。
《核心推导语法》（第二版）的后半部，根据核心词在结构分析中的“定义”（确定结构成分的范畴）、“定位”（确定成分的位置）作用，以核心所定义的“整体性”（板块）和内、外层为基础，对语序的变换进行了讨论。这些内容，也是形式语法的转换生成语法所讨论的基本现象。本书对这些现象提供了一个建立在认知基础上，从传统语法角度也能理解的功能主义分析、解释。
在上述讨论的基础上，本书最后一章提出一种听话者取向的、动态的句法分析——“同步组块分析”；它既不同于结构主义中静态的和听话者取向的语法分析，也不同于生成语法中动态的、说话者取向的语法分析。“同步组块分析”也是对句法结构分析加以数量化的一个尝试。

《范畴类型逻辑》是“哲学宗教研究系列”之一，该书分范畴类型逻辑的发展阶段、范畴类型逻辑的特性及范畴类型逻辑研究3个章节，对范畴类型逻辑作了系统全面的介绍，具体包括Lambek句法演算、蒙太格语法、范畴类型逻辑的自然语言语句系统、基于范畴类型逻辑的语法自动分析、有关汉语灵活语序的多模态范畴逻辑等。该书可供从事相关工作的人员作为参考用书使用。

This book investigates the relation between language and logic. Gennaro Chierchia looks at the way syntactic and inferential processes interact in determining polarity sensitive and free choice phenomena. He analyses these as a form of grammaticized scalar implicature and seeks to identify the common core of the polarity system by examining many of its manifestations as well as the choices that determine its diversity. To do so he reassesses the relations between syntax, semantics, and pragmatics and in the process makes startling insights into the relation of syntax to logic. Rudolf Carnap's classic, The Logical Syntax of Language, defines syntax as a lexicon and a set of formation rules and logic as a set of inference rules. Modern generative linguistics maintains a similar modular approach: a combinatorial apparatus is said to generate structures over which semantic and pragmatic relations, such as presupposition and implicature, are defined. This book argues by contrast that many structures typically perceived as syntactically deviant owe their status to their logical properties, in other words to whether they are contradictory or analytically true in specific ways. This alters the Carnapian view. The characterization of grammatical structure requires a more direct role of logical inferences: the functional lexicon of grammar comes, Professor Chierchia shows, with a set of inference rules that crucially and directly determine grammaticality patterns. Logic in Grammar presents the results of the author's decade-long work on pragmatics and scalar implicatures and extends his long-term project on how humans reason and categorize the world. It is a book that will interest linguists, philosophers, and cognitive scientists alike.