形式语义学发展概述.pdfVIP

嘲 盟 豳 2013年第1l期 形式语义学发展概述 ■付 艺 高 芸 形式语义学是2O世纪六七十年代 由蒙太格最初发展起来的理论阵营，到20世纪70年代 中期，形式语 义学研究在美国、荷兰、德国、新西兰等国家得到空前的发展，目前在欧美国家已成为热点课题。由于静态语 义学的局限性，意义研究实现了从静态向动态的转变，这给意义的理解带来了深远的影响。动态语义学形式 化研究已成为当代意义研究的主流，并将成为 21世纪语义研究的一个重要方向。 [关键词】形式语义学；意义；静态语义学；动态语义学 【中图分类号]H030 【文献标识码]A I文章编号】1004—518X(2013)11—0020—05 【基金项 目】江西省社会科学 “十二五”规划项 目“分段式话语表现理论研究”(11ZX20)、宜春市社会科学 规划项 目“自然语言中话语逻辑结构的推理研究”(YCSKL2013—049) 付 艺，宜春学院外国语学院教授 ； 高 芸，宜春学院外国语学院副教授，博士。(江西宜春 336000) 形式语义学是逻辑与语言交叉研究的产物，是在逻 构方面息息相通，没有本质差别 ，可以通过建造 自然语 辑框架内构建的关于 自然语言的语义学。…(P66)它与哲 言形式系统的方式来解决其语义问题。形式语义学偏重 学、逻辑学、语言学 、数学、计算机科学 、人工智能和模型 句法和语义的对应，在给定句法规则的基础上确定与句 论等诸多学科息息相关，是一个横跨多个研究领域的知 法严格对应的语义运算规则，凸显意义组合性原则，其 识体系。形式语义学的传统最早可以追溯到弗雷格，他主 实质是一种关于句子的真值条件的语义学。 张用逻辑的方法研究语言的意义。[21(P”此后，维特根斯 从 19世纪末到20世纪8O年代初，“意义等价于真 坦、罗素、卡尔纳普等人把哲学和逻辑结合起来研究意 值条件”在形式语义学中广为流传，这种经典的语义观 义，较为精确地刻画了很多意义现象。~1．120世纪60年代， 把语言表征与世界之间的关系当作静态系统来处理，以 大部分逻辑学家和语言学家逐渐认为，形式语言的句法 句子为最大单位来研究意义，是一种静态的语义学。经 和语义创立的运算方式不适合分析 自然语言。逻辑学家 典形式语义学理论有两个突出代表：一个是塔斯基真值 认为 自然语言充满了多义性 、含糊性、歧义性和不确定 语义理论，另一个是蒙太格语法。 性，且缺乏系统性 ；而语言学家则认为 自然语言的结构与 (一)塔斯基真值语义理论 形式语言大相径庭，语言学与形式语言毫不相关。 1933年，波兰逻辑学家塔斯基在 形《式语言中的真 概念》中直截了当地指出：“本文只探讨真的定义问题。 一 、 经典形式语义学 它的任务是，相对于一种给定的语言，建立一个实质上 形式语义学运用逻辑和数学的形式化方法研究 自 恰当的、形式上正确的关于 真‘语句’这个词的意义。”口I 然语言的形成规律 ，认为 自然语言与人工语言在深层结 (P”真语句就是句子的意义和外延。解决真语句这个词 20 形式语义学发展概述 的定义问题就是解决形式语义学中语义真概念的定义 真值。内涵是一个从输入集产生外延的函数，外延指的 问题。塔斯基提出了著名的T等式：x是真的，当且仅当 是句子的真值、个体对象和对象序列的集合。在内涵逻 P。 辑系统中，每一条规则都是一种类型，类型也包含了语 塔斯基认为语言具有层次性，要区分对