Formal theories of natural languages

作者：  蔡曙山，邹崇理著=Formal theories of natural languages

出版社：人民出版社,2010

简介：　　 20世纪人类认识史上最重大的事件是语言转向。 　　 语言转向有双重含义。第一种含义是从自然语言转向形式语言，其结 　　果是分析哲学的产生和席卷西方学术的形式化运动。第二二种含义是从形 　　式语言回归自然语言，其结果是语言哲学的产生，自然语言成为语言学、 　　哲学、心理学、人类学、计算机科学和神经科学共同的研究对象，并取得 　　举世瞩目的成果。 　　 由于这些发展，导致20世纪70年代中期认知科学的诞生。 　　 本书是清华大学认知科学研究系列丛书首发的第一部研究性著作。本 　　书以第一次转向产生的形式化方法为研究手段，以第二次转向产生的核心 　　目标自然语言为研究对象，将两次语言转向的重大成果合冶于一炉。 　　 本书是国内首次以句法学、语义学和语用学的三三分框架和形式化方 　　法对自然语言进行研究的著作，以乔姆斯基、蒙太格、奥斯汀和塞尔为代 　　表性人物，在研究内容、体例和方法等多方面均有所创新。 　　 本书可供语言学、逻辑学、哲学、心理学、计算机科学和神经科学等 　　领域的教师和研究生用作教材、教学参考书或研究工作的参考读物。 　　

Categorical type logic:from language to logic

作者：  邹崇理著

出版社：中国社会科学出版社,2008

简介： 本书是“哲学宗教研究系列”之一，该书分范畴类型逻辑的发展阶段、范畴类型逻辑的特性及范畴类型逻辑研究3个章节，对范畴类型逻辑作了系统全面的介绍，具体包括Lambek句法演算、蒙太格语法、范畴类型逻辑的自然语言语句系统、基于范畴类型逻辑的语法自动分析、有关汉语灵活语序的多模态范畴逻辑等。该书可供从事相关工作的人员作为参考用书使用。 作者简介 邹崇理，成都市人，哲学博士，师从我国著名逻辑学家周礼全先生。1999年为香港理工大学外聘研究人员。2003年起为中国社会科学院哲学所研究员和博士生导师。2005年到美国宾夕法尼亚大学和马萨诸塞大学访问。现任逻辑研究室主任，哲学所学术委员会委员和职称评审委员会委员，中国逻辑学会秘书长，中国逻辑学会语言逻辑专业委员会主任，北京逻辑学会副会长。十多年来在语言和逻辑的领域辛勤耕耘，出版了《逻辑、语言和蒙太格语法》、《自然语言逻辑研究》和《逻辑、语言和信息》等专著．发表了《信息流逻辑》、《非连续量词的类型-逻辑语义处理》和《多模态范畴逻辑研究》等四十多篇论文。其专著获2002年度中国社科院优秀科研成果二等奖和2004年中国逻辑学会科研成果最高奖更多>>

Studies in Natural Language Logic

作者：  邹崇理著

出版社：北京大学出版社,2000

简介：《自然语言逻辑研究》还评述了蒙太格语法和话语表现理论所产生的各具特色的逻辑推演系统。《自然语言逻辑研究》在自然语言逻辑的基础上，构造了一个汉语部分语句系统，据此给出汉语多种时态（如进行态，完成态和短暂态等）的严格定义，为全面深入研究汉语的时间结构提供了逻辑基础。

逻辑语法研究

作者：  邹崇理[著]

出版社：人民出版社,2002

简介：　　逻辑、语言和信息处理所形成的交叉领域就是自然语言逻辑或逻辑语法的研究对象。《逻辑、语言和信息》首先系统地介绍了几种逻辑语法理论，它们是：广义量词理论、情境语义学、动态语义学和关于自然语言理解的加标演绎理论。这些理论表明：自然语言与逻辑语言本质上是相通的，都可以用形式化方法描述并进行计算机的信息处理。《逻辑、语言和信息》还进一步应用逻辑语法的工具研究汉语的语义特征，用复合量词的概念解释汉语的某些量化结构，并构造了刻画聚合语义的逻辑系统。

逻辑、语言和蒙太格语法

作者：  邹崇理著

出版社：社会科学文献出版社,1995

简介：