现代形式语法理论形式语法理论学习书目介绍（续1）
完成了第一回合的学习，你对形式语法理论应当有了相当的了解，同时在英语阅读方面有了很大的进步。如果是为了应付毕业论文，或者其它任何短期的承诺而不想深研，第一回合的学习已经足够了。
第二趟的学习周期应当适合那些对跨学科学问充满激情真正想在这个领域里做点事的人。进入第二趟之前，你应当充分规划好你的职业方向，让今后的学习成为你专业成长的倍增器。另外，形式语法理论的学习，需要你投入大量的时间和精力，但所得的即时金融回报未必比期望的高，这一点也需要有思想准备。但是反过来，一旦你在这个领域坚持下去，你将是中国第一代在这个领域占据制高点的专业人士，当目前的以统计为中心的所谓计算语言学或NLP成强弩之末之时，就是你开始发光的时刻。请你时刻记住，形式语法理论和邻接其它学科，包括应用语言学（二语习得SLA）、计算机科学不同——这些学科可以直接对应现成的社会职业——它是一门发展中的学科，经过近60年的发展，这门学科获得了向上突破的所有工具、方法论和平台，现在缺乏的是洞见、眼光和站在巨人肩膀上的能力与学识。以我看来，目前无论中国还是国外，还都未出现这样的人或事件。作为年轻的你，既然要踏上这条路，应当有这样的担当。中国的传统是：天将降大任于斯人，必先苦其心志。对于现代人来说，只要肯坐冷板凳耐得住浮躁、寂寞即可。
从现在开始，你的教育背景将被忽视，不管你是来自人文科学，还是来自数理科学或是工程学科，我将不分别对待。闲话少说，既然你已经来到这里那么我们学习的征程从这里开始。
1. 语言学入门
是的，你没有看错，是语言学入门。如果你看过一千零一夜，就知道隐秘宝藏的大门并不是一道，只有不断开启新的大门才能寻得真的找到宝藏。这是你第二次语言学入门。
推荐的书是著名的语言学名著《普通语言学教程》费德南德·索绪尔。为什么这本书重要？因为现代所有的形式语法理论都受到这本书的影响，都从这本书里获得了产生新思想的灵感：无论是乔姆斯基的语言能力/语言运用说、还是HPSG特征结构中句法、语义并行描述到结构式语法的语义/形式对，无一不是《教程》中关于“sign”（符号）学说的发展和延伸。
第二本需要读的是乔姆斯基的《句法结构》，这本书是形式语法理论的经典，也是所有现代形式语法理论正当化的基础。不过更为深入的学习应当是乔氏的另一本书《Logical Structure of Linguistic Theory》，希望看到国内有认真读过此书的人。
2. 语言能力
由于形式语法理论强调的是多语言比较研究，因此除了英语的阅读能力一定要过关外，最好再学习一门语言，无论外语还是国内的少数民族语言如维吾尔语、蒙古语、藏语等也可以。对语言基本要求是一定不是孤立语，最好是形态（包括性、数、格、时态）非常发达的语言。除此之外，最理想的，最好有德语的阅读能力，因为大量的早期语义学、逻辑学和逻辑语法的论文都是德语的。
汉语方面需要加强的是对词汇、结构操纵的自如的能力，亦即，语言整体驾驭能力。这方面，基本功是文学修养，具体的，如古诗词分析、特别是对联造句、文字游戏等，目标是培养自己汉语表达的“重述”（rephrasing）和结构辨识(structure identity)能力。例如给你一句话，你能否将原句的意思重新表述出来，而且可以用各种文体，如书面语、口语表达。为什么这个能力重要？我们知道，任何一个语言处理实体（目前研究最多的语言处理实体是人和计算机），必须具备语言的获得、解析和生成的能力，而我这里所说的rephrasing能力，恰恰是语言生成能力在你作为一个语言处理实体的实例的集中体现。
在这方面，我无法向你提供完全符合你需要的教科书，但如果你恰好想从英语学习德语（阅读），我有一本书可以推荐：《German for Reading》，帮助你利用现有的英语知识快速阅读德语文献。而汉语方面，对联、古诗词作法、英汉翻译教程等。总之要让你的汉语水平成为将来你做研究时的实验对象，当给定一个抽象的语言处理实体时，可以凭着自己的汉语知识帮助设计、定义语言的获得机制，解析机制，产生机制。过程如下：给定一句话（输入）-- 获取并从中学习作为该语言处理实体语言知识的一部分 -- 解析：音位、词法、句法、语义、语境 -- 生成：利用已获得的语言知识重述这句话 -- 输出另一句话。
3. 句法学
《Constituent Structure》by A. Carnie。这本书是第一阶段《Syntax: A Generative Introduction》的后续读物，本书则需要通读。。
《Introduction to the Theory of Computation》by M. Sipser
（中译本：《计算理论导引》由唐常杰、陈鹏、向勇、刘齐宏翻译）
本书是计算机系的必读教材，作为句法学的后续读物主要是补充形式语言学方面的知识。和形式语言学有关的只包括第0章绪论和第一部分自动机与语言。两本书中的练习是否做看你。
4. 逻辑学和语义学入门
《Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical Grammar》
关于该书的介绍和读书笔记可参考【逻辑】小站的【逻辑与语义学】
http://site.douban.com/145723/room/3728984/
5. 形式语法理论框架
《Chomsky's Universal Grammar》by V. Cook & M. Newson
HPSG：《Head-driven Phrase Structure Grammar》 by Carl Pollard & Ivan Sag
这本书只有在前面的句法学习完成之后再读才不会有实质障碍。
P&P: 《The Logical Approach to Syntax: Foundations, Specifications, and Implementations of Theories of Government and Binding》by E. P. Stabler
读这本书的前提知识：一阶逻辑和对P&P理论已充分了解
LFG：《Formal Issues in Lexical-Functional Grammar》by M. Dalrymple & R. M. Kaplan & J. T. Maxwell III & A Zaenen
读这本书需要对LFG理论已经充分了解并且熟悉句法理论讨论的基本问题，有一定的数学、逻辑知识
6. 数学
抽象代数
《A Book of Abstract Algebra》by C. Pinter
万一你懂日语，《群論への３０講》志賀浩二著
这两本都是非常通俗易懂的抽象代数教科书，读起来令人享受。
如果想读中文的教科书，胡冠章的《应用近世代数》是豆瓣上分数最高的的教科书，当然，国内的数学书，水平很高，但对读者要求相应也比国外高。
这里简单说一下为什么抽象代数对语言学重要：抽象代数作为古典代数的更高层次的抽象，已经成为一个研究更一般的、脱出了普通数学对象的“代数结构”的学问。如果你有了“抽象代数”基础（例如听了一年课，自学完一本教科书），回过头再来用代数结构的观点看古诗词、对联，会有许多新的感受。
集合论
《A Book of Set Theory》by C. Pinter
集合论有了一定基础后，可选修“范畴论”(category theory)和“格理论”(lattice theory)。
概率统计
如果你有一定的基础《Probability for Statistics and Machine Learning：Fundamentals and Advanced Topics》
或
《Probability Theory: the Logic of Science》by E. Jaynes
如果是初学 《贝叶斯统计学——原理、模型及应用》，中文版是外版的翻译。
当然你如果是在校生，抽象代数和概率统计都可以作为你的选修课。
7 计算科学
《Introduction to the Theory of Computation》by M. Sipser
（中译本：《计算理论导引》由唐常杰、陈鹏、向勇、刘齐宏翻译）
第二部分和第三部分
8. 背景知识
《Linguistics and Formal Science》by M. Tomalin
见本小站【形式科学】栏目。
从这个阶段起，你应当开始对逻辑学、数学、哲学和计算科学的历史、特定学说、著名人物感兴趣，从亚里士多德、康德、到莱布尼兹，从欧拉到戴德金、从弗雷格、罗素到哥德尔，上世纪三四十年代的6个计算模型（一般人皆知图灵机）但你对所有6个模型至少要知道个大概：
Post的产生式系统
马尔科夫过程和算法
克里尼的递归函数理论
Schöfinkel和Curry的Combinator理论（组合逻辑）
Church的lambda演算和类型理论
图灵机
另外波兰的逻辑哲学学派（又称华沙学派）值得好好研究。书看完了，就进入到看论文的阶段，这个阶段何时进入取决于你对理论理解的成熟度。有可能越早越好，尽早接近最前沿成果对于提高自己非常有益。
如果你能够完成第二回合，你已经基本完成了从形式语言理论业余学习者到专业人士的转变。下一步则是要进一步从专业到专家的飞越了。
第二趟的学习周期应当适合那些对跨学科学问充满激情真正想在这个领域里做点事的人。进入第二趟之前，你应当充分规划好你的职业方向，让今后的学习成为你专业成长的倍增器。另外，形式语法理论的学习，需要你投入大量的时间和精力，但所得的即时金融回报未必比期望的高，这一点也需要有思想准备。但是反过来，一旦你在这个领域坚持下去，你将是中国第一代在这个领域占据制高点的专业人士，当目前的以统计为中心的所谓计算语言学或NLP成强弩之末之时，就是你开始发光的时刻。请你时刻记住，形式语法理论和邻接其它学科，包括应用语言学（二语习得SLA）、计算机科学不同——这些学科可以直接对应现成的社会职业——它是一门发展中的学科，经过近60年的发展，这门学科获得了向上突破的所有工具、方法论和平台，现在缺乏的是洞见、眼光和站在巨人肩膀上的能力与学识。以我看来，目前无论中国还是国外，还都未出现这样的人或事件。作为年轻的你，既然要踏上这条路，应当有这样的担当。中国的传统是：天将降大任于斯人，必先苦其心志。对于现代人来说，只要肯坐冷板凳耐得住浮躁、寂寞即可。
从现在开始，你的教育背景将被忽视，不管你是来自人文科学，还是来自数理科学或是工程学科，我将不分别对待。闲话少说，既然你已经来到这里那么我们学习的征程从这里开始。
1. 语言学入门
是的，你没有看错，是语言学入门。如果你看过一千零一夜，就知道隐秘宝藏的大门并不是一道，只有不断开启新的大门才能寻得真的找到宝藏。这是你第二次语言学入门。
推荐的书是著名的语言学名著《普通语言学教程》费德南德·索绪尔。为什么这本书重要？因为现代所有的形式语法理论都受到这本书的影响，都从这本书里获得了产生新思想的灵感：无论是乔姆斯基的语言能力/语言运用说、还是HPSG特征结构中句法、语义并行描述到结构式语法的语义/形式对，无一不是《教程》中关于“sign”（符号）学说的发展和延伸。
第二本需要读的是乔姆斯基的《句法结构》，这本书是形式语法理论的经典，也是所有现代形式语法理论正当化的基础。不过更为深入的学习应当是乔氏的另一本书《Logical Structure of Linguistic Theory》，希望看到国内有认真读过此书的人。
2. 语言能力
由于形式语法理论强调的是多语言比较研究，因此除了英语的阅读能力一定要过关外，最好再学习一门语言，无论外语还是国内的少数民族语言如维吾尔语、蒙古语、藏语等也可以。对语言基本要求是一定不是孤立语，最好是形态（包括性、数、格、时态）非常发达的语言。除此之外，最理想的，最好有德语的阅读能力，因为大量的早期语义学、逻辑学和逻辑语法的论文都是德语的。
汉语方面需要加强的是对词汇、结构操纵的自如的能力，亦即，语言整体驾驭能力。这方面，基本功是文学修养，具体的，如古诗词分析、特别是对联造句、文字游戏等，目标是培养自己汉语表达的“重述”（rephrasing）和结构辨识(structure identity)能力。例如给你一句话，你能否将原句的意思重新表述出来，而且可以用各种文体，如书面语、口语表达。为什么这个能力重要？我们知道，任何一个语言处理实体（目前研究最多的语言处理实体是人和计算机），必须具备语言的获得、解析和生成的能力，而我这里所说的rephrasing能力，恰恰是语言生成能力在你作为一个语言处理实体的实例的集中体现。
在这方面，我无法向你提供完全符合你需要的教科书，但如果你恰好想从英语学习德语（阅读），我有一本书可以推荐：《German for Reading》，帮助你利用现有的英语知识快速阅读德语文献。而汉语方面，对联、古诗词作法、英汉翻译教程等。总之要让你的汉语水平成为将来你做研究时的实验对象，当给定一个抽象的语言处理实体时，可以凭着自己的汉语知识帮助设计、定义语言的获得机制，解析机制，产生机制。过程如下：给定一句话（输入）-- 获取并从中学习作为该语言处理实体语言知识的一部分 -- 解析：音位、词法、句法、语义、语境 -- 生成：利用已获得的语言知识重述这句话 -- 输出另一句话。
3. 句法学
《Constituent Structure》by A. Carnie。这本书是第一阶段《Syntax: A Generative Introduction》的后续读物，本书则需要通读。。
《Introduction to the Theory of Computation》by M. Sipser
（中译本：《计算理论导引》由唐常杰、陈鹏、向勇、刘齐宏翻译）
本书是计算机系的必读教材，作为句法学的后续读物主要是补充形式语言学方面的知识。和形式语言学有关的只包括第0章绪论和第一部分自动机与语言。两本书中的练习是否做看你。
4. 逻辑学和语义学入门
《Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical Grammar》
关于该书的介绍和读书笔记可参考【逻辑】小站的【逻辑与语义学】
http://site.douban.com/145723/room/3728984/
5. 形式语法理论框架
《Chomsky's Universal Grammar》by V. Cook & M. Newson
HPSG：《Head-driven Phrase Structure Grammar》 by Carl Pollard & Ivan Sag
这本书只有在前面的句法学习完成之后再读才不会有实质障碍。
P&P: 《The Logical Approach to Syntax: Foundations, Specifications, and Implementations of Theories of Government and Binding》by E. P. Stabler
读这本书的前提知识：一阶逻辑和对P&P理论已充分了解
LFG：《Formal Issues in Lexical-Functional Grammar》by M. Dalrymple & R. M. Kaplan & J. T. Maxwell III & A Zaenen
读这本书需要对LFG理论已经充分了解并且熟悉句法理论讨论的基本问题，有一定的数学、逻辑知识
6. 数学
抽象代数
《A Book of Abstract Algebra》by C. Pinter
万一你懂日语，《群論への３０講》志賀浩二著
这两本都是非常通俗易懂的抽象代数教科书，读起来令人享受。
如果想读中文的教科书，胡冠章的《应用近世代数》是豆瓣上分数最高的的教科书，当然，国内的数学书，水平很高，但对读者要求相应也比国外高。
这里简单说一下为什么抽象代数对语言学重要：抽象代数作为古典代数的更高层次的抽象，已经成为一个研究更一般的、脱出了普通数学对象的“代数结构”的学问。如果你有了“抽象代数”基础（例如听了一年课，自学完一本教科书），回过头再来用代数结构的观点看古诗词、对联，会有许多新的感受。
集合论
《A Book of Set Theory》by C. Pinter
集合论有了一定基础后，可选修“范畴论”(category theory)和“格理论”(lattice theory)。
概率统计
如果你有一定的基础《Probability for Statistics and Machine Learning：Fundamentals and Advanced Topics》
或
《Probability Theory: the Logic of Science》by E. Jaynes
如果是初学 《贝叶斯统计学——原理、模型及应用》，中文版是外版的翻译。
当然你如果是在校生，抽象代数和概率统计都可以作为你的选修课。
7 计算科学
《Introduction to the Theory of Computation》by M. Sipser
（中译本：《计算理论导引》由唐常杰、陈鹏、向勇、刘齐宏翻译）
第二部分和第三部分
8. 背景知识
《Linguistics and Formal Science》by M. Tomalin
见本小站【形式科学】栏目。
从这个阶段起，你应当开始对逻辑学、数学、哲学和计算科学的历史、特定学说、著名人物感兴趣，从亚里士多德、康德、到莱布尼兹，从欧拉到戴德金、从弗雷格、罗素到哥德尔，上世纪三四十年代的6个计算模型（一般人皆知图灵机）但你对所有6个模型至少要知道个大概：
Post的产生式系统
马尔科夫过程和算法
克里尼的递归函数理论
Schöfinkel和Curry的Combinator理论（组合逻辑）
Church的lambda演算和类型理论
图灵机
另外波兰的逻辑哲学学派（又称华沙学派）值得好好研究。书看完了，就进入到看论文的阶段，这个阶段何时进入取决于你对理论理解的成熟度。有可能越早越好，尽早接近最前沿成果对于提高自己非常有益。
如果你能够完成第二回合，你已经基本完成了从形式语言理论业余学习者到专业人士的转变。下一步则是要进一步从专业到专家的飞越了。
在这个阶段的专业基础训练有3个：数学、逻辑、哲学。
> 我来回应