从逻辑到语言——Barbara H.Partee访谈录 被引量：12

1

作者 邹崇理 《当代语言学》 CSSCI 北大核心 2007年第2期151-165,共15页

本文为邹崇理2005年在马萨诸塞大学对Partee教授采访记录的整理和翻译,涉及的问题有形式语义学和Chomsky学派的句法理论、语言和逻辑的关系以及形式语义学向语用学领域延伸等问题。Partee的主要观点是:Chomsky的句法理论取得很大成功,... 本文为邹崇理2005年在马萨诸塞大学对Partee教授采访记录的整理和翻译,涉及的问题有形式语义学和Chomsky学派的句法理论、语言和逻辑的关系以及形式语义学向语用学领域延伸等问题。Partee的主要观点是:Chomsky的句法理论取得很大成功,蒙太格语法是其延伸和超越,但蒙太格学派的形式语义理论在句法学及语言习得机制等方面应该向Chomsky的转换语法学习;形式语义学运用逻辑和代数方法研究自然语言具有多种多样的模式;形式语义学扩展到形式语用学是当今重要的发展趋势。 展开更多

关键词 逻辑 蒙太格语法 形式语义学 形式语用学

原文传递

A Formal Approach to Meaning: Formal Semantics and Its Recent Developments 被引量：7

2

作者 Barbara Abbott 《外国语》 CSSCI 北大核心 1999年第1期3-21,共19页

语言意义问题一直是哲学家、逻辑学家和语言学家所关心的问题。近几十年来，语义学研究，特别是形式语义学（ｆｏｒｍａｌｓｅｍａｎｔｉｃｓ）取得了前所未有的进展。在国际语言学界，“形式语义学”几乎成了“理论语义学”的代名词（... 语言意义问题一直是哲学家、逻辑学家和语言学家所关心的问题。近几十年来，语义学研究，特别是形式语义学（ｆｏｒｍａｌｓｅｍａｎｔｉｃｓ）取得了前所未有的进展。在国际语言学界，“形式语义学”几乎成了“理论语义学”的代名词（ＪｏｈｎＬｙｏｎｓ语）。为了向读者介绍形式语义学的基本概念、历史渊源、研究现状、存在问题和发展趋势，本刊特邀请美国密西根州立大学语言学系副主任ＢａｒｂａｒａＡｂｂｏｔ教授撰写了此稿，旨在引起国内语言学界对形式语义学的兴趣，推动这方面的研究。 展开更多

关键词 形式语义学 蒙太古语法 意义

原文传递

论类型逻辑语法对蒙太古语法的继承与发展 被引量：2

3

作者 王欣 《山东大学学报（哲学社会科学版）》 CSSCI 北大核心 2011年第5期146-150,共5页

蒙太古语法和类型逻辑语法的内部构造和运行方式大致相同,类型逻辑语法最重要的发展在于更严格地贯彻了组合性原则,原因是它采用的范畴语法达到了兰贝克演算的生成能力,高阶内涵逻辑增加了多形态并列组合器等手段。对名词短语的处理凸... 蒙太古语法和类型逻辑语法的内部构造和运行方式大致相同,类型逻辑语法最重要的发展在于更严格地贯彻了组合性原则,原因是它采用的范畴语法达到了兰贝克演算的生成能力,高阶内涵逻辑增加了多形态并列组合器等手段。对名词短语的处理凸显了二者的异同。 展开更多

关键词 蒙太古语法 类型逻辑语法 组合性原则 兰贝克演算 多形态并列组合器

下载PDF 职称材料

一种基于规则转换的机器翻译方法初探

4

作者 王荣波 周昌乐 池哲儒 《计算机工程与应用》 CSCD 北大核心 2004年第30期97-101,135,共6页

机器翻译(MachineTranslation,简称MT)是21世纪科技领域的一个难题之一,而要实现机器翻译,对自然语言进行形式化是核心。机器翻译的突破依赖于语言学研究的突破。该文介绍一种汉语句子形式化的方法。涉及的内容包括Montague语法,范畴语... 机器翻译(MachineTranslation,简称MT)是21世纪科技领域的一个难题之一,而要实现机器翻译,对自然语言进行形式化是核心。机器翻译的突破依赖于语言学研究的突破。该文介绍一种汉语句子形式化的方法。涉及的内容包括Montague语法,范畴语法,内涵逻辑,汉语语法等。该文主要在理论上进行了探讨,并用例子进行详细说明该汉语句子形式化方法在英汉机器翻译中的应用。结果表明,该方法具有一定的有效性。 展开更多

关键词 机器翻译 计算语言学 范畴语法 montague语法 内涵逻辑

下载PDF 职称材料

形式语义学研究两题 被引量：2

5

作者 满海霞 《毕节学院学报（综合版）》 2010年第2期37-41,共5页

形式语义学奠基人蒙太格在其语句系统中设置了两个初始类型:对应个体的类型e与对应真值的类型t。按照传统哲学的观点,专名指个体,但是在蒙太格的系统中,专名不直接解释成论域中的个体,它表示性质的集合,对应类型<<e,t>,t>... 形式语义学奠基人蒙太格在其语句系统中设置了两个初始类型:对应个体的类型e与对应真值的类型t。按照传统哲学的观点,专名指个体,但是在蒙太格的系统中,专名不直接解释成论域中的个体,它表示性质的集合,对应类型<<e,t>,t>。这样的类型匹配方式实现了专名与量化短语的统一处理,是蒙太格语法的独到之处,有着深刻的集合论基础。 展开更多

关键词 蒙太格语法 类型 专名 量化短语

下载PDF 职称材料

蒙太格PTQ系统的内涵逻辑 被引量：1

6

作者 于宇 唐晓嘉 《西南大学学报（社会科学版）》 CSSCI 北大核心 2009年第1期81-86,共6页

蒙太格的PTQ系统通过三部分最终完成了对自然语言形式化的处理,它们分别是:建构一个部分英语语句系统的语形;给出内涵逻辑的语形和语义;通过翻译规则,给出部分英语语句的语义。PTQ系统中最具创造性的内容之一是它的内涵逻辑思想,这对正... 蒙太格的PTQ系统通过三部分最终完成了对自然语言形式化的处理,它们分别是:建构一个部分英语语句系统的语形;给出内涵逻辑的语形和语义;通过翻译规则,给出部分英语语句的语义。PTQ系统中最具创造性的内容之一是它的内涵逻辑思想,这对正确翻译英语语句语义至关重要。分析探讨PTQ系统中的内涵逻辑思想对我们深化汉语的形式化研究同样具有重要意义。 展开更多

关键词 蒙太格语法 内涵逻辑 语形 语义

下载PDF 职称材料

蒙太格语法产生的历史背景

7

作者 朱建平 《潍坊学院学报》 2001年第1期9-14,共6页

蒙太格语法是由美国逻辑学家理查德·蒙太格创立的一种形式语言理论 ,是在一阶逻辑的基础上 ,通过对语句的结构和赋值增加了某些强有力的形式工具而形成的。形式语言包括 :(i)一阶谓词逻辑 ,(ii)模态算子 ,(iii)时态算子 ,(iv)兰姆... 蒙太格语法是由美国逻辑学家理查德·蒙太格创立的一种形式语言理论 ,是在一阶逻辑的基础上 ,通过对语句的结构和赋值增加了某些强有力的形式工具而形成的。形式语言包括 :(i)一阶谓词逻辑 ,(ii)模态算子 ,(iii)时态算子 ,(iv)兰姆达抽象 ,(v)形成谓词内涵和外延的算子。蒙太格提供了一个类型论的结构 ,这种结构允许对每种表达式加以量化。蒙太格的形式语言又可称之为内涵语言。他依据个体 ,真值 ,可能世界和时间座标以及所有这些的函项概念给出了内涵语言的的一个模型。内涵语言使我们能给出对自然语言语句的间接解释。其方法是 ,首先将语句映射为内涵逻辑中的翻译语言 ,然后给出这种语言的解释。本文主要阐述蒙太格语法产生的历史背景 ,阐述奠定了蒙太格语法基础的逻辑和哲学中的语义学早期传统 ,并将这种传统与语言学中的语义学传统相对照 ,后者表现出了与蒙太格理论的重大的和富有争议的不同。 展开更多

关键词 格语法 语义学 语句 翻译语言 格理论 谓词 语言学 内涵 历史背景 重大

下载PDF 职称材料

从自然语言的真值条件到模型论语义学 被引量：1

8

作者 李可胜 邹崇理 《中国社会科学院研究生院学报》 CSSCI 北大核心 2013年第4期110-113,共4页

语义的形式化是自然语言语义计算的必要条件,其基础是戴维森真值条件语义学和蒙太格的模型论语义学。戴维森的目标是用真值条件来构建自然语言的语义理论,这种理论曾受到过很多质疑,但是在蒙太格语法那里,戴维森的设想得以部分地实现。... 语义的形式化是自然语言语义计算的必要条件,其基础是戴维森真值条件语义学和蒙太格的模型论语义学。戴维森的目标是用真值条件来构建自然语言的语义理论,这种理论曾受到过很多质疑,但是在蒙太格语法那里,戴维森的设想得以部分地实现。蒙太格语法将自然语言的语义表征为模型论语义解释,由于后者具有可判定性,也就使得自然语言的逻辑语义关系具有了可计算性。 展开更多

关键词 形式语义 戴维森纲领 蒙太格语法 真值条件

原文传递

《蒙太格语法的一些转换扩展》译介

9

作者 崔佳悦 《重庆理工大学学报（社会科学）》 CAS 2014年第10期31-36,共6页

蒙太格语法中有17条基本规则用来描述语言的基本构成,Partee对这些基本规则进行的扩充,极大地增加了蒙太格语法系统所包罗的语言现象,对蒙太格系统的充实和完善具有十分重要的意义。本文通过对Partee的《蒙太格语法的一些转换扩展》一... 蒙太格语法中有17条基本规则用来描述语言的基本构成,Partee对这些基本规则进行的扩充,极大地增加了蒙太格语法系统所包罗的语言现象,对蒙太格系统的充实和完善具有十分重要的意义。本文通过对Partee的《蒙太格语法的一些转换扩展》一文的译介和对蒙太格语法的新进发展的介绍,对蒙太格语法的基本内容、Partee的6条扩展规则和自然语言实例进行了阐述。 展开更多

关键词 蒙太格语法 基本规则 扩展规则 句法 语义

下载PDF 职称材料

语义类型的细化和转换——MG中类型论的新进展

10

作者 崔佳悦 邹崇理 《四川师范大学学报（社会科学版）》 CSSCI 北大核心 2018年第3期88-93,共6页

自然语言计算机处理(NLP)的重要性已经越来越为学者们所意识到,本文主要考虑NLP分析自然语言语义涉及到的逻辑类型论工具和蒙太格语法MG。由于自然语言真实文本的复杂多样性,传统MG的解释力明显不够。为突破这样的局限,本文关注语义类... 自然语言计算机处理(NLP)的重要性已经越来越为学者们所意识到,本文主要考虑NLP分析自然语言语义涉及到的逻辑类型论工具和蒙太格语法MG。由于自然语言真实文本的复杂多样性,传统MG的解释力明显不够。为突破这样的局限,本文关注语义类型的细化和语义类型的转换,对自然语言的语义类型进行细致的划分,在MG的类型论中添加语用算子,针对不同语境进行语义类型的转换。 展开更多

关键词 类型论 语义类型 蒙太格语法 类型细化 类型转换

下载PDF 职称材料

蒙太格语法框架下的汉语被动句分析

11

作者 崔佳悦 满海霞 《外国语文》 北大核心 2014年第4期62-66,共5页

被动句作为汉语特殊句式,且具有汉语的特色,一直是语言学家研究的热点,但以往研究都只是从分类和句法角度进行分析,鲜有将被动句的句法和语义相结合而形成同步推演。本研究将被动句分为两类:一类是基本被动模式,描绘事物的状态;一类是... 被动句作为汉语特殊句式,且具有汉语的特色,一直是语言学家研究的热点,但以往研究都只是从分类和句法角度进行分析,鲜有将被动句的句法和语义相结合而形成同步推演。本研究将被动句分为两类:一类是基本被动模式,描绘事物的状态;一类是被动变化模式,带"被"字的被动句,描绘受事状态的变化。并分别对这两类都被动句进行蒙太格语法基本原则的生成解读和Partee的转换解读。最后形成对被动句的句法语义的同步推演,并体现了乔姆斯基的深、表层结构之分。 展开更多

关键词 蒙太格语法 被动句 范畴 基本规则 转换生成语法

下载PDF 职称材料

函项分层思想及其在语言学研究中的应用

12

作者 满海霞 《重庆理工大学学报（社会科学）》 CAS 2011年第8期83-88,共6页

基于现代逻辑思想的形式语义学理论,离不开类型和范畴的分层思想。它的理论源泉之一是逻辑学家弗雷格区分"完全"、"不完全"表达式的讨论,其影响主要为两方面:逻辑类型论和范畴理论。通过对比分析逻辑类型论和范畴... 基于现代逻辑思想的形式语义学理论,离不开类型和范畴的分层思想。它的理论源泉之一是逻辑学家弗雷格区分"完全"、"不完全"表达式的讨论,其影响主要为两方面:逻辑类型论和范畴理论。通过对比分析逻辑类型论和范畴理论在语言学领域的两个综合应用模式:蒙太格语法和类型逻辑语法可知,形式语义学总体来讲具有两种发展趋势,即偏向自然语言与偏向逻辑两种风格。 展开更多

关键词 函项分层 逻辑类型论 范畴理论 蒙太格语法 类型逻辑语法

下载PDF 职称材料

类型相配与类型贴合

13

作者 满海霞 《中国社会科学院研究生院学报》 CSSCI 北大核心 2010年第3期59-63,共5页

类型论的诞生源于对数学基础和逻辑理论中悖论问题的解决。上世纪六十年代末,美国逻辑学家蒙太格开创了将类型论应用于自然语言语义分析的研究方向。有关的研讨在语言学界产生了较大影响,黄师哲提出的语义类型相配论就是用类型论方法研... 类型论的诞生源于对数学基础和逻辑理论中悖论问题的解决。上世纪六十年代末,美国逻辑学家蒙太格开创了将类型论应用于自然语言语义分析的研究方向。有关的研讨在语言学界产生了较大影响,黄师哲提出的语义类型相配论就是用类型论方法研究汉语形名结构问题的一个有益尝试。但是从类型论的角度审视,语义类型相配论除了具有仅仅适用于解释合取类形名结构的局限外,它在逻辑应用于自然语言领域的一些基本概念的理解上也存在一定偏差。 展开更多

关键词 类型论 语义类型相配论 蒙太格语法

原文传递

用蒙太格文法解决汉语语义悖论

14

作者 张昕 陈小平 《计算机工程》 CAS CSCD 北大核心 2001年第10期63-64,92,共3页

:蒙太格文法是处理语法、语义和语用的典型方法,尤其在语义学方面独树一帜。通过对一个汉语语义悖论的案例分析,来表明Montague文法对于汉语语义悖论的解决,乃至对于整个汉语语义学的研究都具有非常重要的价值。

关键词 信息处理 汉语语义悖论 蒙太格文法 计算机

下载PDF 职称材料

组合原则探赜

15

作者 崔佳悦 《重庆理工大学学报（社会科学）》 CAS 2014年第4期24-27,55,共5页

意义组合原则,又称组合性原则或组合原则,是蒙太格语法等逻辑语法理论的指导性原则。学界对组合原则的理解有两层含义:一是复合表达式的整体意义是其部分意义的函项;二是在相应语法系统中句法和语义的对应。本文针对这两个特征,介绍蒙... 意义组合原则,又称组合性原则或组合原则,是蒙太格语法等逻辑语法理论的指导性原则。学界对组合原则的理解有两层含义:一是复合表达式的整体意义是其部分意义的函项;二是在相应语法系统中句法和语义的对应。本文针对这两个特征,介绍蒙太格语法中意义组合原则的应用,对意义组合原则第一层含义的使用实例进行分析,同时对组合原则第二层含义的情况也给予分析,最后讨论DRT对组合原则的挑战,说明意义组合原则的重要的理论价值。 展开更多

关键词 意义组合原则 蒙太格语法 语义学 自然语言

下载PDF 职称材料

篇章表述理论初探

16

作者 李应洪 《湖南科技学院学报》 2007年第5期102-103,共2页

篇章表述理论(Discourse Representation Theory,简称DRT)是动态的自然语言意义的形式语义理论,由篇章语义的构造算法和语义的正确性验证两部分组成,它是在MG(Montague Grammar)的基础上起来的而又克服了MG的局限性的语义理论。文章从... 篇章表述理论(Discourse Representation Theory,简称DRT)是动态的自然语言意义的形式语义理论,由篇章语义的构造算法和语义的正确性验证两部分组成,它是在MG(Montague Grammar)的基础上起来的而又克服了MG的局限性的语义理论。文章从与MG的对比研究中探讨DRT的理论意义及其对自然语言部分语句系统的句法构造及其语义解释的方法论意义。 展开更多

关键词 篇章表述理论 篇章表述结构 形式语义学 蒙太格语法

下载PDF 职称材料

动态谓词逻辑的改进与扩张 被引量：2

17

作者 张晓君 邹崇理 《中国社会科学院研究生院学报》 CSSCI 北大核心 2012年第6期48-52,共5页

动态谓词逻辑实质上是利用计算机程序的状态间的关系来描述自然语言的语义,动态谓词逻辑体现了这样一个统一的观念:所有的意义都是状态之间的关系,"意义就是潜在的语境更新"。动态谓词逻辑的改进与扩张有四种主要方式。从动... 动态谓词逻辑实质上是利用计算机程序的状态间的关系来描述自然语言的语义,动态谓词逻辑体现了这样一个统一的观念:所有的意义都是状态之间的关系,"意义就是潜在的语境更新"。动态谓词逻辑的改进与扩张有四种主要方式。从动态谓词逻辑向动态蒙太格语法发展有两种思路历程。动态语义学的基本理念是:在动态语义学中,意义被看作是模型中的状态变元之间的关系。 展开更多

关键词 动态谓词逻辑 动态蒙太格语法 动态语义学

原文传递

从组合性角度看类型匹配问题——以量词在宾语位置产生的问题为例

18

作者 姚从军 罗丹 《湖南科技大学学报（社会科学版）》 CSSCI 北大核心 2018年第5期31-35,共5页

按照传统理论分析,量词在主语位置,名词短语与动词短语的类型相匹配。但是量词在宾语位置则会产生类型不匹配的问题。量词在宾语位置所产生的问题是一个非常古老的问题,最早可追溯到亚里士多德,但是直到近代才获得相对满意的解决。目前... 按照传统理论分析,量词在主语位置,名词短语与动词短语的类型相匹配。但是量词在宾语位置则会产生类型不匹配的问题。量词在宾语位置所产生的问题是一个非常古老的问题,最早可追溯到亚里士多德,但是直到近代才获得相对满意的解决。目前,有三种方案用来解决上述问题。从组合性角度看,这三种方案各有特点。组合性在哲学、语义学等领域意义重大。按照大诃（Dag Westersthl）的观点,如果要认真对待组合性,那么就要弄清楚这三种方案是否遵循组合性以及在何种意义上遵循组合性。 展开更多

关键词 组合性 类型匹配 移位方案 蒙太格语法方案 在原地方案

原文传递