数理逻辑之美

出版时间：2012-8  出版社：北京语言大学出版社  作者：王路江 编  页数：312  字数：407000  

内容概要

《数理逻辑之美:方立教授纪念文集》内容除序外由两部分组成：（一）纪念文章；（二）学术论文。其中“纪念文章”部分主要由北京语言文学校长崔希亮教授、北京语言大学外国语学院院长宁一中教授和分党委书记姚秀英博士、著名语言学家陆俭明教授（北京大学中文系）、胡壮麟教授（恶京大学外国语学院）和李行德教授（香港中文大学）以及方立先生的关门弟子戴悉心博士和方立先生的生前好友阎纯德教授赐稿。“学术论文”部分又由“上”、“下”两部分组成，“上”主要收录方立先生遗作（包括方立先生与其弟子合写的作品）；“下”收录了著名语言学家冯胜利教授，吴道平教授、国际学者John R.te Velde博士的学术论文以及方立教授弟子的文章（按入室先后排序）。

作者简介

方立（1942～2010）：北京语言大学已故教授、博士生导师、著名语言学家。方立教授生前曾长期担任北京语言大学外国语学院领导职务，历任外语系系主任、外国语学院院长等职。曾获国家人事部授予的“国家有突出贡献的中青年专家”称号。1992年获得国务院颁发的政府特殊津贴，1995年，获香港柏宁顿（中国）教育基金会酋届“孺子牛金球奖”。

书籍目录

序
第一部分　纪念文章
　怀念方立教授
　哲人其萎，风范长存
　怀念虚怀若谷的方立教授
　鞠躬尽瘁，一代英才
　悼念方立教授
　冬夜孤坐忆念恩师
　方立的微笑
第二部分　学术论文（上）
　可判断性和计算复杂性
　“这本书的出版”的结构分析及相关的理论问题
　Further Remarks on Scope Ambiguities in English
　The Acquisition of Sentence—Final Particles in Beijing
Mandarin
　（下）
　Empty Operator Movement in Chinese Passive Syntax
　从自然语言的形式复杂性看强人工智能的可能性
　Using Phase Theory for Deriving Coordinate Symmetries
　自然语言的非线性特征
　论元结构与句法语义接口
　A Tentative Model for ST and EST
　从三种句式的变换再探汉语语法关系
　汉语方位关系歧义的Prolog语言实现
　《语言的动态性》介绍
　由接纳在先设投射中的作用看语义—语用接口
　合并次序和附加语结构的类型差异
　“Every+名词”和“每+名词”的句法语义研究
　双宾句中的题元角色

章节摘录

版权页：   插图：   说到这里，读者或许会问：递归集怎么又跟图灵机扯到一起的呢？确实，上下文有关语法生成的语言属于递归集，图灵机以及无限制语法生成递归列举集。但有两点需提请注意：图灵机和无限制语法的生成能力是最强大的，因此任何种类的语言都是可以生成的；既然递归集是递归列举集的真子集，那么递归集本身也是递归列举集的一部分，有关这一点我们在文章的开头部分已作过交代，但另一点更为重要，即并不是递归列举集中的所有子集都是递归集。 2.4 人类自然语言的定位 关于人类自然语言应当定位在哪一类形式语言？虽然绝大多数语言学家假设，人类自然语言应定位在上下文无关语言集和上下文有关语言集之间，并且应靠近上下文无关语言集一侧（参见Partee et al.，1990：535），但是，长期以来是有争论的。普伦和盖茨达曾驳斥了自然语言不是上下文无关语言的观点，但承认回答是还是不是还为时过早（参见Pullum & Gazdar，1982）。后来，雪伯（Shieber，1985）发现瑞士德语为例外，这是乔姆斯基层级建立以来差不多三十年的时间里找到的唯一的一种上下文有关语言。但不管怎么样，这一有意义的发现足以证明人类自然语言不是上下文无关语言。 3.自然语言理论中的可判断性问题和计算复杂性问题 本文主要讨论转换—生成语法的标准理论和管辖—约束理论、广义短语结构语法和词汇—功能语法的可判断性问题。 3.1 转换语法的标准理论和管辖—约束理论 所谓转换语法的标准理论，就是指《句法理论若干方面》（Chomsky，1965）中提出的理论。 根据转换—生成语法的标准理论，句法由基础部分和转换部分组成。基础部分可以是某种上下文无关语法，也可以是上下文有关语法。转换部分由一组有序的转换规则组成。基础部分生成基本的树图。转换规则把一种树图变换为另一种树图；转换规则的应用从内嵌最深的子句开始，逐步向外扩展，最后到达最外层的句子，于是规则的应用也就形成了一个又一个的循环圈。转换规则具有消去、替换和添加的作用。消去规则在应用时必须遵守可复原条件。 彼得斯和里奇在“转换语法的生成能力”（Peters & Ritchie，1973：49—83）一文中考察了转换语法的弱生成能力，结论是，不管是以上下文无关语法为基础部分的转换语法，还是以上下文有关语法为基础部分的转换语法，它们生成的都是递归列举语言，亦即递归列举集。有关人类自然语言、递归集和递归列举集之间的关系，我们在前面已作过讨论。这一结论说明乔姆斯基提出的标准理论没有受到应有的制约，因为它允许语法生成非人类自然语言。语言理论的一个重要目标，就是要对什么样的语法是人类自然语言的语法作出确切的规定。显然转换—生成语法的标准理论并没有取得这一目标。

编辑推荐

《数理逻辑之美:方立教授纪念文集》由北京语言大学出版社出版。