形式语言学是国际语言学研究的主流学派，主要是建立一套形式化的原则和规则系统，试图从语言结构内部寻找对语言现象的解释。

形式语言学理论把句法独立出来甚至作为核心自治系统，再分成词法、句法、语义、语用等不同的部分。

形式语言学往往根据真值条件来定义语义，例如“椅子”一词的意义就是由“四条腿”、“靠背”、“可坐的平面”等客观的语义成分或真值条件来界定的，只有满足这些条件的才是椅子。然而根据认知语言学的看法，三条腿的椅子仍然还可以是“椅子”，也就是说语义定义必须考虑各种可能的情况，特别是要包括主观认识的差异。

形式语言学往往认为语言中的任何东西，如词的类、句法成分的类等，都是边界清楚和非此即彼的，比如是名词就不可能是动词，是主语就不可能是宾语。

认知语言学认为人的心智和思维一样，都产生于人在后天跟外部世界相互作用的过程中通过自身得到的实际经验，这也就是所谓的“体验构建”。人的整个概念系统都植根于知觉、身体运动和人在物质和社会环境中的这种体验构建，而人的语言能力本来就是人的一般认知能力不可分割的一部分，语言能力跟一般认知能力没有本质上的差别。例如，儿童通过不断的抓起玩具又放下的身体动作才体验到“控制”和“被控制”的概念对立。

第四届国际形式语言学研讨会于2009年7月19日至22日在北京外国语大学召开。研讨会由北京外国语大学中国外语教育研究中心（教育部人文社科重点研究基地）、天津师范大学外国语学院和北京航空航天大学外国语学院联合主办，外语教学与研究出版社协办。会议组委会主任由中国外语教育研究中心研究员戴曼纯教授担任，副主任分别由天津师范大学语言研究所所长宁春岩教授、天津师范大学外国语学院院长顾钢教授和北京航空航天大学外国语学院副院长朱乐齐教授担任。

该次研讨会是在国内举办的最重要的形式语言学学术会议之一。这也是我院自成功举办“第6届全国语音学研讨会”和“中国第十一届当代语言学研讨会”之后，再次与两所国家重点211大学共同成功主办的重要国际学术会议，充分显示了我院在理论语言学研究方面的传统和实力。

北京外国语大学副校长金莉教授和中国外语教育研究中心主任文秋芳教授出席了开幕式，并分别致开幕词和欢迎词。会议的主题讲演嘉宾是马里兰大学教授Howard Lasnik。他是国际形式语言学研究的领军人物之一。其他特邀讲演嘉宾有美国哈佛大学教授黄正德、美国麻省理工学院教授Kenneth Wexler、西班牙卡特兰高级研究院教授Cedric Boeckx、日本京都大学教授Fujita Koji、天津师范大学语言研究所宁春岩教授。他们都是国际著名的学者，对形式语言学的发展做出了突出贡献。中国外语教育研究中心教授刘润清也应邀做了大会发言。