蒙太格语法相关论文
由中国逻辑学会语言逻辑和符号学两个专业委员会联合召开的９８年学术年会于当年１０月在福建省福清市举行。来自全国各地大专院校科研院所......
为了使坎普（H．Kamp）和海姆（I．R．Heim）的话语表现理论符合蒙太格语法的组合原则，胡能迪克（J．Groenendijk）与斯托克霍夫（M．Stikhof）于1991年提出了......
DRT是Discourse Representation Theory的简称，有人译为“话语表征理论”，有人译为“篇章表述理论”或“话语表达理论”，还有人译为“......
语义的形式化是自然语言语义计算的必要条件,其基础是戴维森真值条件语义学和蒙太格的模型论语义学。戴维森的目标是用真值条件来......
本文通过从理论框架和方法论两大方面对蒙太格语法和转换生成语法进行对比，旨在展示蒙太格语法在自然语言研究中的一些优势。就理论......
美国逻辑学家坎普(H.Kamp)等人在20世纪80年代初提出了DRT(Discourse Representation Theory[1]).作为一种动态语义学理论,它不仅......
近年来,形式语义学的发展颇具生机,已成为语义研究中最重要的理论学派之一.本文讨论形式语义学,重点介绍了"蒙太格语法"(Montague ......
基于现代逻辑思想的形式语义学理论,离不开类型和范畴的分层思想。它的理论源泉之一是逻辑学家弗雷格区分＂完全＂、＂不完全＂表达式的讨......
篇章表述理论（Discourse Representation Theory,简称DRT）是动态的自然语言意义的形式语义理论,由篇章语义的构造算法和语义的正确性......
自然语言计算机处理（NLP）的重要性已经越来越为学者们所意识到,本文主要考虑NLP分析自然语言语义涉及到的逻辑类型论工具和蒙太格语......
蒙太格语法中有17条基本规则用来描述语言的基本构成，Partee 对这些基本规则进行的扩充，极大地增加了蒙太格语法系统所包罗的语言现......
被动句在语言学中是典型的类别,是最能体现汉语本身所具有的特点的句式之一,但以往的分析都是从分类和句法角度进行,鲜有为被动句......
蒙太格语法(简称MG)，是美国著名数理逻辑学家Richard Montague在上个世纪七十年代初创建的理论，是在现代逻辑学和现代语言学基础上发......
语用逻辑是在现代逻辑、现代语言学和符号学基础上形成的非标准逻辑分支；数理逻辑采用的真假值语义系统是诸多语义系统中最抽象、最......
从纯句法角度看,自然语言表达式表现为由小到大生成的连续符号串。大多数情况下,这些符号串的语义追随句法进行毗连组合。但在不少......
形式语义学奠基人蒙太格在其语句系统中设置了两个初始类型：对应个体的类型e与对应真值的类型t。按照传统哲学的观点，专名指个体，但是......
蒙太格的PTQ系统通过三部分最终完成了对自然语言形式化的处理,它们分别是:建构一个部分英语语句系统的语形;给出内涵逻辑的语形和......
被动句作为汉语特殊句式,且具有汉语的特色,一直是语言学家研究的热点,但以往研究都只是从分类和句法角度进行分析,鲜有将被动句的......
动态语义学(Dynamic Semantics)是20世纪80-90年代在西方学术界发展起来的逻辑语法理论.动态语义学主要分为话语表现理论(Discours......
本文为邹崇理2005年在马萨诸塞大学对Partee教授采访记录的整理和翻译,涉及的问题有形式语义学和Chomsky学派的句法理论、语言和逻......
