摘要
形式语义学脱胎于哲学、逻辑、语言学和计算科学,具有跨学科的性质。它于20世纪60年代开始萌芽,70年代初正式建立,标志为蒙太古三篇重要文章的发表,80年代发展壮大并形成一门独立的学科,成为与乔姆斯基句法并驾齐驱的主流语言学理论。然而,国内对此介绍不多,只有几部专著介绍。集中介绍形式语义学产生的跨学科背景及其核心理论的形成与发展,并就其关键问题的解决方案进行了简要评述。
Formal semantics is an interdiseipline deeply influenced by philosophy, logics, linguistics and computional sci- ence. It budded in 1960s and came into being with the publication of Montague' s three important theses in 1970s. Blooming into an independent discipline in 1980s, it was accepted as a mainstream linguistic theory as important as the Chomskyan syntax. However, in China only a few works have placed emphasis on the introduction to formal semantics. This paper expatiates the formation and development of its core theories and makes a brief review of the solutions to its key issues.
出处
《外国语文》
北大核心
2014年第3期85-89,共5页
Foreign Languages and Literature
基金
中央高校基本科研业务费专项资金资助的北京语言大学校级项目(13YBG42)
山东省社会科学规划项目(13CWJJ13)
山东省高校人文社科项目(J11WD55)
菏泽学院人文社科研究基金项目(XYJJSK-03)的阶段性成果
关键词
形式语义学
逻辑
哲学
语言学
formal semantics
logics
philosophy
linguistics