现代形式语法理论的公告栏

初学者互动区 ( 全部 )

2017-03-02 10:11:51
这些年来,稍稍远离了主流的语言学理论,也没有对具体的语言现象加以注意,大部分精力都放到了语言学之外的学习,主要是逻辑学的学习,从一阶逻辑、模型论、证明论、类型论到和计算有关的可计算函数理论、包括lambda演算和组合子逻辑。除此之外就是数学的学习,包括集合论、抽象代数和范畴论的学习。 当然,学习的主要动机...... (1回应)
2016-05-03 07:49:09
最近又收到一些学习者朋友的反馈,提出了若干我认为非常有意义的问题,这些问题归纳起来,就是: 1. 所谓形式语法理论到底算是什么学科?这个学科的职业前景在哪里? 2. 如果要认真严肃地学,有没有什么好的国内外院校可以推荐? 3. 学习形式语法理论到底是人文科学背景合适还是理工科背景合适? 4. 应当如何选择一条最有效...... (11回应)
2015-12-27 04:51:27
完成了第一回合的学习,你对形式语法理论应当有了相当的了解,同时在英语阅读方面有了很大的进步。如果是为了应付毕业论文,或者其它任何短期的承诺而不想深研,第一回合的学习已经足够了。 第二趟的学习周期应当适合那些对跨学科学问充满激情真正想在这个领域里做点事的人。进入第二趟之前,你应当充分规划好你的职业方向...... (1回应)
2015-12-26 15:34:14
虽然收到许多朋友反馈要求介绍学习书目,但我一直是诚惶诚恐,因为我推荐的书籍必然带有我个人的好恶色彩,换句话说很可能带有偏见。学习形式语法理论,和其它任何学科最大不同的就是它是一个多学科的综合,没有一个单一的学习路径。而且每个人的教育背景不同,学习目的不同,因此不存在一个适合所有人的一刀切的学习书目。......
2015-12-26 12:11:17
最近收到许多朋友的反馈,其中大部分是初学者,对于如何学习形式语法理论感到困惑。本小站的定位虽然不是为初学者科普,但考虑到其小众化,国内缺乏相应的资源,故在本站首页“点缀”一些对初学者有帮助的内容。本帖是第一个尝试。 1. 形式语法理论是一门跨学科的学问 形式语法理论是一种语言学理论,相对于其它语言学理论...... (1回应)

现代形式语法理论的留言板 ( 全部2条 )

赛义甫
赛义甫: 本栏目目前正在介绍的《Linguistics and Formal Science》是一部研究早期生成语法理论和思想根源的不可多得的专著。接下来,我们将细化其中一些内容,主要线索是自希尔伯特以降数学哲学三大流派的形式主义和逻辑主义以及随之兴起的分析哲学和逻辑实证主义的逻辑语言观对现代形式语法理论的影响。代表人物以Carnap和Bar-Hillel为主,代表性理论是constructional system,代表性著作就是下个系列将要介绍的Carnap的《Logical Syntax of Language 2015-10-15 09:07
 
赛义甫
赛义甫: 小站基本架构已经建成,各个栏目都有详细介绍,但内容尚待充实。第一期准备加入的内容是 《Linguistics and Formal Science》By Marcus Tomalin读书笔记。发表在【形式科学】栏目,敬请期待。 2015-01-14 16:16
 
>

现代形式语法理论的广播 ( 全部 )

写了新日记

卡尔纳普和他的语言逻辑句法理论
本文来自中国著名分析哲学家洪谦先生的一篇介绍Carnap的文章。 【作者洪谦简介】 洪谦 )1909-1992年,安徽歙县人。早年师从梁启超,1934年以科学哲学为主科在维也纳学派创始人Schlick指导下完成博士论文获得哲学博士学位,并成为该学...

写了新日记

《类型论与形式证明》学习笔记(六)
1. Untyped Lambda Calculus 1.7 α-等价的性质和规约 我们在1.5小节讨论了α-转换,或称α-等价的概念,其基本思想是:当λ-项M阿尔法-等价于λ-项N时,M和N的结构完全相同但绑定变量和约束变量的名称不同,因此二者的树结构也应当是...

写了新日记

《类型论与形式证明》学习笔记(五)
1. Untyped Lambda Calculus 1.6 替换 (Substitution) 从本节开始我们的讨论愈来愈有意思了。 我们在1.2小节曾简单介绍了替换的概念,这是理解β-归约的前提。替换的表达式是: M[x := N] 意思是用N替换M中所有自由变量x。现在我们可...

写了新日记

类型论与形式证明读书笔记(四)
1. Untyped Lambda Calculus 1.5 阿尔法变换 (α-conversion) 前面谈到λ-表达式有三种变量,绑定变量、约束变量和自由变量。其中,绑定变量和约束变量必须保持一致。例如λx . x²,如果绑定变量由x改为u,那么表达式中的约束变量x...

写了新日记

仅存的两封信:埃尔布朗和哥德尔的对话
仅存的两封信:埃尔布朗和哥德尔的对话 两个年轻的哲学家,埃尔布朗和哥德尔,他们的研究曾经对逻辑学的研究方向产生过重大影响,在1931年初互通了两封书信。雅克·埃尔布朗1931年4月7日写信给哥德尔,而哥德尔的回信则是在同年7月25...
1人
现代形式语法理论
形式语法理论是指以生成语法为代表的、以形式化手段刻画自然语言语音、词法、句法和语义的语言学流派。本站将为所有同好提供展示、交流相关知识的平台。

关注该小站的成员 ( 331 )

  • 信念是张网
  • 世界师
  • 牧野飞霜
  • $:+D
  • 禾顷
  • W.W
  • 苦李树下一只猪
  • Eine.

关注该小站的成员也关注

本站由 赛义甫 于2015年01月08日创建