满海霞
- 作品数：23 被引量：43H指数：4
- 供职机构：北京科技大学外国语学院更多>>
- 发文基金：国家社会科学基金教育部人文社会科学研究基金中央高校基本科研业务费专项资金更多>>
- 相关领域：哲学宗教语言文字自动化与计算机技术更多>>
- 函项分层思想及其在语言学研究中的应用
- 2011年
- 基于现代逻辑思想的形式语义学理论,离不开类型和范畴的分层思想。它的理论源泉之一是逻辑学家弗雷格区分"完全"、"不完全"表达式的讨论,其影响主要为两方面:逻辑类型论和范畴理论。通过对比分析逻辑类型论和范畴理论在语言学领域的两个综合应用模式:蒙太格语法和类型逻辑语法可知,形式语义学总体来讲具有两种发展趋势,即偏向自然语言与偏向逻辑两种风格。
- 满海霞
- 关键词：逻辑类型论蒙太格语法类型逻辑语法
- 类型相配与类型贴合
- 2010年
- 类型论的诞生源于对数学基础和逻辑理论中悖论问题的解决。上世纪六十年代末,美国逻辑学家蒙太格开创了将类型论应用于自然语言语义分析的研究方向。有关的研讨在语言学界产生了较大影响,黄师哲提出的语义类型相配论就是用类型论方法研究汉语形名结构问题的一个有益尝试。但是从类型论的角度审视,语义类型相配论除了具有仅仅适用于解释合取类形名结构的局限外,它在逻辑应用于自然语言领域的一些基本概念的理解上也存在一定偏差。
- 满海霞
- 关键词：类型论蒙太格语法
- 函项分层思想及其在语言学研究中的应用
- 基于现代逻辑思想的形式语义学理论，离不开类型和范畴的分层思想。它的理论源泉之一是逻辑学家弗雷格区分“完全”、“不完全”表达式的讨论，其影响主要为两方面：逻辑类型论和范畴理论。通过对比分析逻辑类型论和范畴理论在语言学领域的...
- 满海霞
- 关键词：逻辑思想逻辑类型论形式语义学蒙太格语法
- 文献传递
- 类型逻辑语法与汉语中的照应省略
- 2011年
- 现代汉语中存在大量语义资源重复使用的现象,最典型的是代词的回指照应、以及李艳惠在《省略与成分缺失》一文中提到的三种谓词省略结构[1]。在类型逻辑语法框架下,基于Jger构造的LLC系统添加针对"省略槽"引入范畴的规则eI,再借助照应算子的回指搜索功能,不但能够处理一般的代词回指、VP回指现象,还能够推广刻画汉语的多动词单句和兼语句等现象,获得正确的语义解读。可以证明,添加对应eI规则的公理的新系统在特定框架模型下是可靠并且完全的。
- 孔繁清满海霞
- 关键词：类型逻辑语法
- 组合范畴语法与其计算特征被引量：3
- 2013年
- 组合范畴语法(CCG)是范畴语法的一个现代分支。由于它呈现优秀的计算特征,近年来得到国外计算语言学界的广泛关注和应用。组合范畴语法是一种适度的上下文自由文法,它在句法和语义之间有一个透明的接口,能够在同一框架下统一刻画自然语言中的不连续结构、无界限依存、非正常语序等现象,并可从已有的转换生成语法树库转换成CCG树库,从中提取CCG词库,效率很高。为实现组合范畴语法的跨语言不变性,Baldridge还发展出组合范畴语法的多模态版本。
- 满海霞
- 关键词：多模态
- 类型逻辑语法的词汇主义思想被引量：1
- 2011年
- 类型逻辑语法（Type Logical Grammar）是经典范畴语法（Basic Categorial Grammar）的一个现代版本，是范畴语法与类型逻辑语义学联姻的产物。利用加贝（D．Gabbay）[1]给出的加标演绎表述，类型逻辑语法实现了句法生成和语义组合的并行推演，句法生成基于Lambek演算提供的范畴运算，而语义组合则依据代表语义的入一演算进行。
- 孔繁清满海霞
- 关键词：逻辑语法逻辑语义学范畴语法语义组合句法
- VP的有界性与连动式的事件结构被引量：14
- 2013年
- 连动式具有相同的表层结构,却能表示三种不同的事件结构:毗邻、聚合和加合。本文考察了各种类型的连动式,揭示了有界性对连动式的结构作用,并从认知的角度阐释了有界性对事件结构的作用途径:有界的VP凸显了事件的个体性,在认知域中形成一个封闭的时间区域,导致连动式出现封闭语境,从而形成毗邻结构事件。本文最后部分探讨了"单字V+光杆N"对这种结构作用的干扰。
- 李可胜满海霞
- 关键词：连动式有界性
- 蒙太格语法框架下的汉语被动句分析
- 2014年
- 被动句作为汉语特殊句式,且具有汉语的特色,一直是语言学家研究的热点,但以往研究都只是从分类和句法角度进行分析,鲜有将被动句的句法和语义相结合而形成同步推演。本研究将被动句分为两类:一类是基本被动模式,描绘事物的状态;一类是被动变化模式,带"被"字的被动句,描绘受事状态的变化。并分别对这两类都被动句进行蒙太格语法基本原则的生成解读和Partee的转换解读。最后形成对被动句的句法语义的同步推演,并体现了乔姆斯基的深、表层结构之分。
- 崔佳悦满海霞
- 关键词：蒙太格语法被动句转换生成语法
- 汉语句法构造的哲学基础探析——基于亚里士多德逻辑与墨辩逻辑的对比分析
- 2021年
- 传统语法以词类划分和主谓结构思想构成语句最基本的句法结构性,其形而上的哲学基础是亚里士多德的范畴观与谓述思想。汉语缺乏系统的形态标记,词类划分缺乏形态依据。关于汉语的语法研究不断证明,以基于亚里士多德逻辑的传统语法分析汉语有诸多不适,应回到我们自己的逻辑经典中,寻找汉语句法构句的密钥。通过对比亚里士多德逻辑与中国古代逻辑经典墨辩逻辑如何定义概念与语言、概念与世界的关系、如何利用初始概念形成逻辑判断,为"主语-谓语"结构与"话题-说明"结构的差异找到哲学与逻辑上的基础。同时,从语言学研究对语言主观性的觉察入手,提出自然语言表达逻辑谓述关系的抽象模型P(X(S)),为两种逻辑以及两种语言所体现的差异给出合理的解释,并指出汉语句法的下一步研究重点为重构涵盖"世界-主观性-语言"的三元关系分析模式。
- 满海霞
- 关键词：亚里士多德逻辑汉语
- 带有受限缩并规则的兰贝克演算中的照应算子被引量：5
- 2011年
- 主要以贾戈尔(Jager)在类型逻辑框架下对照应现象的处理方法为依托展开研究。试图厘清几种从范畴角度出发处理照应现象的方法,从中筛选出简明高效的方法,即贾戈尔通过在带有受限缩并规则的兰贝克演算中引入照应算子"|"(anaphora slash)的处理方法。目的是为读者清晰地描绘出逻辑学家与语言学家们研究问题的思路历程,以提醒读者在研究的过程中不要纠缠于他们所提供的艰深知识,而要把研究重心转向对其思想方法的追寻,以期有更多斩获。
- 张晓君满海霞
- 关键词：照应关系代词
