关于思想政治教育学范畴的研究 被引量：4

1

作者 张耀灿 徐志远 《学校党建与思想教育》 2002年第7期54-57,共4页

多年来，作为一门新兴的学科，思想政治教育学一直蒙受着理论性不强、体系不科学以及缺乏对思想政治教育实践的指导功能等种种责难。根源何在?笔者认为，在很大程度上应归因于缺乏严密的逻辑范畴和完整的范畴结构体系。我国思想政治教... 多年来，作为一门新兴的学科，思想政治教育学一直蒙受着理论性不强、体系不科学以及缺乏对思想政治教育实践的指导功能等种种责难。根源何在?笔者认为，在很大程度上应归因于缺乏严密的逻辑范畴和完整的范畴结构体系。我国思想政治教育学中普遍存在着概念和体系问题，概念不清、范畴不明、逻辑混乱、体系松散的思想政治教育学论著并不鲜见。故此笔者拟对思想政治教育学范畴研究的理论意义、思想政治教育学范畴的涵义、类型、特征及功能进行初步探讨。 展开更多

关键词 思想政治教育学 结构体系 学科范畴 范畴类型 功能特征

下载PDF 职称材料

英汉语篇指示语的范畴类型及其例示性对比研究 被引量：3

2

作者 杨佑文 印睿 《北京第二外国语学院学报》 2015年第6期1-12,共12页

文章分别选取10篇英汉题材与体裁相同的散文名篇原文及其各自的汉、英翻译文本,对其语篇指示语(discourse deixis)进行基于平行语料的对比研究,提出了基于实证性研究的5种语篇指示语范畴类型,并基于该范畴类型进行例示化的对比统计分析... 文章分别选取10篇英汉题材与体裁相同的散文名篇原文及其各自的汉、英翻译文本,对其语篇指示语(discourse deixis)进行基于平行语料的对比研究,提出了基于实证性研究的5种语篇指示语范畴类型,并基于该范畴类型进行例示化的对比统计分析。研究得知,属于形态倾向语言的英语,语篇中多用人称、指示和连接型等语篇指示语,在语篇形式上表现出显性的语篇标记(overt markedness)模式;而缺乏形态标记的汉语,语篇中少用或不用人称、指示型和连接型等语篇指示语,在语篇形式上表现出隐性的语篇标记(covert markedness)形式。 展开更多

关键词 英汉 语篇指示语 范畴类型 例示化 对比研究

下载PDF 职称材料

原型范畴理论视角下英特尔双核处理器术语翻译的研究

3

作者 张秀芹 高建玲 《英语教师》 2019年第11期62-66,共5页

从原型范畴的角度对英特尔双核处理器的指导手册进行翻译研究,主要集中于术语的范畴类别、上下范畴层级的关联性及范畴的典型性与非典型性,先将术语进行范畴化处理,找到范畴的原型,从而确定范畴的图式表达,对范畴的层级关系进行准确定位... 从原型范畴的角度对英特尔双核处理器的指导手册进行翻译研究,主要集中于术语的范畴类别、上下范畴层级的关联性及范畴的典型性与非典型性,先将术语进行范畴化处理,找到范畴的原型,从而确定范畴的图式表达,对范畴的层级关系进行准确定位,进而确定术语的翻译策略。从普通词汇的专业化、缩略词和新词汇的构成对英特尔双核处理器使用说明手册中的术语进行具体的范畴类别划分,进一步确定范畴的典型性与非典型性。旨在说明原型范畴理论对术语翻译具有一定的指导意义,为科技类文本的翻译提供一种新的研究视角。 展开更多

关键词 原型范畴理论 范畴类型 术语翻译 图式表达 英特尔双核处理器

下载PDF 职称材料

指示语范畴类型视阈下“This”的指示功能分析

4

作者 高俊梅 刘彦霞 《晋中学院学报》 2016年第5期102-105,共4页

基于指示语This所属的范畴类型,准确解读其所指示的包括人称、时间、空间、语篇及会话双方社会关系在内的多种功能,有助于读者更好地理解语篇,使会话双方更好地沟通与交流。

关键词 指示语“This” 范畴类型 指示功能 分析

下载PDF 职称材料

直觉在哲学讨论中被用为证据吗?——对克莱门哈贾论证的批评

5

作者 尹智鹤 《自然辩证法研究》 CSSCI 北大核心 2020年第5期35-41,共7页

关于直觉在哲学讨论中的论证效用的争论近年来开始进入到分析哲学学界的视野中。为此,嘉比林提出了"中心性论点",将这一争论作为一个严格的"元哲学"或方法论问题引入到哲学论域中。许多学者认为,在哲学讨论中作为... 关于直觉在哲学讨论中的论证效用的争论近年来开始进入到分析哲学学界的视野中。为此,嘉比林提出了"中心性论点",将这一争论作为一个严格的"元哲学"或方法论问题引入到哲学论域中。许多学者认为,在哲学讨论中作为证据的乃是直觉性命题,而非直觉状态本身,但克莱门哈贾则坚持认为直觉状态本身就已作为证据。尽管他的解释思路有力地拓展了中心性问题的理论空间,并为中心性问题的回答提供了全新的视角和解释可能,但其论证并不成功,他终究无法在此问题中弥合命题态度与命题之间的范畴类型间隙,故而也无法成功地为中心性论点做出辩护。 展开更多

关键词 直觉 证据 范畴类型 命题 命题态度

原文传递

惊讶范畴:类型学研究的新领域 被引量：17

6

作者 万光荣 《语言科学》 CSSCI 北大核心 2017年第6期638-647,共10页

惊讶范畴是类型学研究的一个新领域,西方语言学界进行了广泛探讨。惊讶范畴表达言语交际者没有预料或者感到吃惊的信息,主要语法形式包括动词的复杂屈折变化、动词词缀、小品词、人称代词、传信语等。汉语中也有惊讶范畴,由具体的词汇或... 惊讶范畴是类型学研究的一个新领域,西方语言学界进行了广泛探讨。惊讶范畴表达言语交际者没有预料或者感到吃惊的信息,主要语法形式包括动词的复杂屈折变化、动词词缀、小品词、人称代词、传信语等。汉语中也有惊讶范畴,由具体的词汇或/和特定的句法结构表达,但还有待进一步的研究。 展开更多

关键词 惊讶 出乎预料 范畴类型学 汉语

下载PDF 职称材料

从语言到逻辑——范畴类型逻辑序列 被引量：5

7

作者 邹崇理 《重庆工学院学报》 2006年第4期1-7,共7页

范畴类型逻辑序列是近30年来语言和逻辑交叉研究的重要学派,是对自然语言的计算机处理影响很大的形式语义理论。该理论把自然语言的生成毗连看作是范畴的运算和推演,据此构造自然语言的语句系统,并确立直接或间接的语义解释。另一方面... 范畴类型逻辑序列是近30年来语言和逻辑交叉研究的重要学派,是对自然语言的计算机处理影响很大的形式语义理论。该理论把自然语言的生成毗连看作是范畴的运算和推演,据此构造自然语言的语句系统,并确立直接或间接的语义解释。另一方面构造范畴推演的逻辑系统,并配备可能世界的模态语义解释。范畴类型逻辑的研究成果可以直接应用于自然语言的计算机信息处理,也可以应用于汉语的形式语义理论研究。 展开更多

关键词 范畴类型逻辑 自然语言 范畴运算

下载PDF 职称材料

组合范畴语法与范畴类型逻辑的分析与比较 被引量：5

8

作者 姚从军 《云南师范大学学报（哲学社会科学版）》 CSSCI 北大核心 2015年第1期75-81,共7页

范畴语法的最早形式是AB-演算,目前已发展成为一系列相互联系的形式系统,它们把句法分析和语义分析视为基于类型的推理。范畴语法的两个最完善的分支是基于逻辑传统的范畴类型逻辑和基于组合传统的组合范畴语法,二者联系紧密,差异也明显... 范畴语法的最早形式是AB-演算,目前已发展成为一系列相互联系的形式系统,它们把句法分析和语义分析视为基于类型的推理。范畴语法的两个最完善的分支是基于逻辑传统的范畴类型逻辑和基于组合传统的组合范畴语法,二者联系紧密,差异也明显,前者主要关心不同逻辑算子对语言的适用性和逻辑系统的证明论性质,认为生成能力不具有主要的理论意义,在计算应用中没有价值;后者更多集中在获得低的自动机理论能力和良好计算性质的语言表达系统。 展开更多

关键词 范畴语法 范畴类型逻辑 组合范畴语法 计算 生成能力

下载PDF 职称材料

基于范畴类型逻辑的汉语反身代词指代歧义的消解 被引量：5

9

作者 张晓君 《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心 2020年第3期86-92,F0003,共8页

范畴类型逻辑利用词条在类型λ-演算语言中的意义,不仅可以决定从自然语言到语义表示语言的组合翻译,而且还可以决定对象语言的组合解释;通过证明树中词条的不同毗连顺序以及对同一词条指派不同的范畴,可以从逻辑推演和计算的双重视角... 范畴类型逻辑利用词条在类型λ-演算语言中的意义,不仅可以决定从自然语言到语义表示语言的组合翻译,而且还可以决定对象语言的组合解释;通过证明树中词条的不同毗连顺序以及对同一词条指派不同的范畴,可以从逻辑推演和计算的双重视角对汉语反身代词的指代歧义进行消解。 展开更多

关键词 范畴类型逻辑 反身代词 指代歧义 指代消解

下载PDF 职称材料

面向范畴类型数据的sIB算法 被引量：5

10

作者 叶阳东 何锡点 贾利民 《电子学报》 EI CAS CSCD 北大核心 2009年第10期2165-2172,共8页

本文针对sIB算法仅适用于共现数据的问题,提出了一种能够自动进行范畴类型数据分析的sIB算法:CD-sIB.该算法根据范畴类型数据的离散化表示、不同属性值有限的特征,进行数据的属性的拓展和二元化处理,基于属性值的出现进行X,Y的联合分布... 本文针对sIB算法仅适用于共现数据的问题,提出了一种能够自动进行范畴类型数据分析的sIB算法:CD-sIB.该算法根据范畴类型数据的离散化表示、不同属性值有限的特征,进行数据的属性的拓展和二元化处理,基于属性值的出现进行X,Y的联合分布的计算,使得sIB算法可有效应用于范畴类型数据的分析.实验结果表明:CD-sIB算法相对于现有的面向范畴类型数据聚类模式分析的算法GAClust和K-modes具有明显的优势;CD-sIB算法在进行数据属性概化程度高、类数据分布相对平衡的范畴类型数据的分析中,在效率和精确度方面均很突出. 展开更多

关键词 IB理论 SIB算法 范畴类型数据 概化 聚类

下载PDF 职称材料

探索语言逻辑与信息处理结合的新路径——《自然语言信息处理的逻辑语义学研究》评介 被引量：4

11

作者 黄华新 洪峥怡 《重庆理工大学学报（社会科学）》 CAS 2019年第4期13-16,共4页

介绍2018年9月出版的《自然语言信息处理的逻辑语义学研究》的写作背景及其主要内容。指出该书有3个鲜明特色:理论性与应用性结合、对汉语特殊性的关注、多学科交叉融通;其理论价值和应用价值都很突出,为计算机自然语言处理提供了新的... 介绍2018年9月出版的《自然语言信息处理的逻辑语义学研究》的写作背景及其主要内容。指出该书有3个鲜明特色:理论性与应用性结合、对汉语特殊性的关注、多学科交叉融通;其理论价值和应用价值都很突出,为计算机自然语言处理提供了新的思路。 展开更多

关键词 逻辑语义学 自然语言信息处理 范畴类型逻辑 组合范畴语法

下载PDF 职称材料

组合范畴语法树库及其研究 被引量：1

12

作者 邹崇理 《重庆理工大学学报（社会科学）》 2022年第8期34-43,共10页

组合范畴语法是语言逻辑服务于当今人工智能自然语言处理的前沿阵地。组合范畴语法把自然语言的句法和语义的构造看作是受逻辑规则支配的计算过程,是逻辑、语言和计算交叉研究的结果。组合范畴语法树库是组合范畴语法对自然语言的大规... 组合范畴语法是语言逻辑服务于当今人工智能自然语言处理的前沿阵地。组合范畴语法把自然语言的句法和语义的构造看作是受逻辑规则支配的计算过程,是逻辑、语言和计算交叉研究的结果。组合范畴语法树库是组合范畴语法对自然语言的大规模真实文本进行分析的产物,是计算机人工智能关于自然语言分析的机器自主学习训练的语料资源库。从以下4个方面对组合范畴语法树库进行探究:(1)组合范畴语法的源头——范畴语法;(2)范畴语法的逻辑依据——范畴类型逻辑;(3)句法和语义的并行推演计算——组合范畴语法;(4)针对自然语言大规模真实文本——组合范畴语法树库及其研究。 展开更多

关键词 范畴语法 范畴类型逻辑 组合范畴语法 组合范畴语法树库

下载PDF 职称材料

基于格语法思想的范畴类型逻辑研究 被引量：4

13

作者 邹崇理 崔佳悦 《安徽大学学报（哲学社会科学版）》 CSSCI 北大核心 2014年第4期15-22,共8页

格语法的基本思想是:自然语言语句的底层结构以动词为中心,动词的论元由动词周围具有不同格角色的名词所担任,构成复合表达式的部分表达式分为中心成分和非中心成分。格语法的分析是多分法的语法模式。在格语法看来,有时候句中围绕同样... 格语法的基本思想是:自然语言语句的底层结构以动词为中心,动词的论元由动词周围具有不同格角色的名词所担任,构成复合表达式的部分表达式分为中心成分和非中心成分。格语法的分析是多分法的语法模式。在格语法看来,有时候句中围绕同样动词的名词性成分可多可少,动词的语法功能因此改变。汉语体现了格语法的动词中心思想,产生了各式各样的格语句。动词双宾语现象和动词前和动词后的多重介词短语句皆是多分法分析的例证。汉语格语句中有不少的可选格名词,这样使得其中动词的语法功能发生变化。对格语法进行范畴语法的抽象,获得一种新型的范畴类型逻辑系统:中心成分和非中心成分的区分要求积范畴分为左积和右积;多分法的分析模式使得积范畴和函子范畴的论元是多元的,动词语法功能的改变对应函子范畴的论元增添。这种范畴类型逻辑系统的框架语义中的可及关系是非单一的,构建基于这种框架的语义模型,可以证明系统的可靠性和完全性。 展开更多

关键词 格语法 动词中心 多分法 范畴类型逻辑

下载PDF 职称材料

指代消解的主要方法及其机制 被引量：4

14

作者 张晓君 《毕节学院学报（综合版）》 2012年第10期36-42,共7页

指代消解是人工智能研究领域的重点和难点内容之一,因而产生了各种各样的指代消解的方法。从逻辑学的角度介绍了十四种指代消解的方法,通过研究和对比发现,指代消解的机制包括:中介机制、动态约束机制、加标机制、复合机制、范畴机制。... 指代消解是人工智能研究领域的重点和难点内容之一,因而产生了各种各样的指代消解的方法。从逻辑学的角度介绍了十四种指代消解的方法,通过研究和对比发现,指代消解的机制包括:中介机制、动态约束机制、加标机制、复合机制、范畴机制。围绕这五种机制重点研究话语表现理论、动态谓词逻辑、动态蒙太格语法、增量动态逻辑、范畴类型逻辑。 展开更多

关键词 话语表现理论 动态谓词逻辑 动态蒙太格语法 增量动态逻辑 范畴类型逻辑

下载PDF 职称材料

多模态范畴类型逻辑 被引量：1

15

作者 邹崇理 《安徽师范大学学报（社会科学版）》 CSSCI 北大核心 2012年第6期661-667,共7页

多模态范畴类型逻辑是在组合范畴语法(CCG)和范畴类型逻辑(CTL)基础上发展起来的新方向。基于范畴语法的CCG强调函子范畴的组合运算,给各类规则中的斜线算子添加不同的模态下标,并在词库中给词条指派的范畴含有模态下标的斜线算子,从而... 多模态范畴类型逻辑是在组合范畴语法(CCG)和范畴类型逻辑(CTL)基础上发展起来的新方向。基于范畴语法的CCG强调函子范畴的组合运算,给各类规则中的斜线算子添加不同的模态下标,并在词库中给词条指派的范畴含有模态下标的斜线算子,从而限制了这些规则的适用范围,使描述自然语言的范畴推演进一步精细化。CTL则遵循严格的逻辑规范,对CCG涉及的函子范畴的各类规则从结构性质的角度把握其根源,用多模态范畴类型逻辑的方式涵盖了CCG各类规则。这就是CCG和CTL的融合产物。 展开更多

关键词 组合范畴语法 范畴类型逻辑 多模态范畴类型逻辑

下载PDF 职称材料

从转换生成语法看范畴类型逻辑的基本思想 被引量：2

16

作者 温雪 《重庆理工大学学报（社会科学）》 CAS 2015年第8期16-21,共6页

范畴类型逻辑基本思想中的"完整的"和"非完整的"表达式的概念,以及乔姆斯基(Chomsky)所提出的"完整的功能复合体"(complete functional complex,简称CFC)的概念,分别是范畴类型逻辑和转换生成语法在句法... 范畴类型逻辑基本思想中的"完整的"和"非完整的"表达式的概念,以及乔姆斯基(Chomsky)所提出的"完整的功能复合体"(complete functional complex,简称CFC)的概念,分别是范畴类型逻辑和转换生成语法在句法结构层面的重要理论基础。两者虽有一定相似性但又有不同之处,加上自然语言的句法语义不对称现象,造成自然语言逻辑分析中的一些由于方法论和概念冲突而引起的问题。为此,在语料的基础上分析上述问题,论证范畴类型逻辑作为一种形式化分析自然语言语义的手段的优势和有待改进之处,并举例说明语言学研究和逻辑学研究之间是取长补短、互相促进的关系。 展开更多

关键词 范畴类型逻辑 转换生成语法 句法-语义接口 词汇语义学 多体类型逻辑

下载PDF 职称材料

多模态范畴语法和汉语部分“的”字研究 被引量：2

17

作者 张璐 《安徽大学学报（哲学社会科学版）》 CSSCI 北大核心 2016年第5期48-53,共6页

范畴语法是对自然语言信息进行可计算处理的逻辑语义体系。从20世纪70年代的蒙太古语法开始基于句法范畴和语义类型的对应来尝试处理英语部分语段,到目前多模态范畴语法对组合范畴语法和范畴类型逻辑的结合,都是为了能够取范畴语法体系... 范畴语法是对自然语言信息进行可计算处理的逻辑语义体系。从20世纪70年代的蒙太古语法开始基于句法范畴和语义类型的对应来尝试处理英语部分语段,到目前多模态范畴语法对组合范畴语法和范畴类型逻辑的结合,都是为了能够取范畴语法体系中具有不同结构性质的类型逻辑系统的长处,以便更好地处理自然语言的句法和语义。汉语中独有的虚化成分"的"的可计算研究正体现了范畴语法的发展思路。 展开更多

关键词 多模态范畴语法 混合范畴类型逻辑 汉语虚化成分“的”

下载PDF 职称材料

皮尔士谜题的范畴类型逻辑解析 被引量：2

18

作者 贾青 《哲学动态》 CSSCI 北大核心 2017年第10期93-97,共5页

皮尔士谜题关注的是自然语言及其形式化表达式真值不一致的问题。本文在概述皮尔士谜题的基本构造及其解决方案的基础上,借助范畴类型逻辑的技术手段,给出这一谜题的语言学解析方案,以便于进一步说明皮尔士谜题出现的语言学原因。

关键词 皮尔士谜题 范畴类型逻辑 自然语言 形式语言

原文传递

带有受限缩并规则的兰贝克演算的模型论 被引量：1

19

作者 张晓君 《哲学动态》 CSSCI 北大核心 2011年第8期97-102,共6页

自然语言是一个由较小语言成分逐步递增地形成较大语言成分的符号体系，这就是自然语言的毗连性（concatenation）。通过毗连，自然语言符号串可以逐步增长扩张，这就是自然语言的生成性（generation）。自然语言的毗连生成体现出由小... 自然语言是一个由较小语言成分逐步递增地形成较大语言成分的符号体系，这就是自然语言的毗连性（concatenation）。通过毗连，自然语言符号串可以逐步增长扩张，这就是自然语言的生成性（generation）。自然语言的毗连生成体现出由小到大的递增性，弗雷格（Frege）用语句函项的思想来分析其构造过程，即把某一语言成分当作函项，把旁边的成分当作函项的主目，把两个成分的毗连当作函项运算获得的结果。这就是范畴类型逻辑从运算的角度揭示自然语言构造规律的基本思想。 展开更多

关键词 自然语言符号 模型论 演算 贝克 范畴类型逻辑 小语言 符号体系 构造过程

原文传递

逻辑语义学的形成和发展综述研究 被引量：1

20

作者 江悦 《天水师范学院学报》 2007年第5期126-128,共3页

逻辑语义学是用逻辑和数学的方法研究自然语言的新兴学科,它的研究范围不仅涉及逻辑学、语言学还涉及到认知科学、语言哲学、数学、计算机和人工智能科学等学科的概念、理论、方法,是一个横跨多学科的知识体系。逻辑语义学的兴起和发展... 逻辑语义学是用逻辑和数学的方法研究自然语言的新兴学科,它的研究范围不仅涉及逻辑学、语言学还涉及到认知科学、语言哲学、数学、计算机和人工智能科学等学科的概念、理论、方法,是一个横跨多学科的知识体系。逻辑语义学的兴起和发展不仅推动了自然语言形式化的研究,加速了计算机对自然语言识别的研究进程,更为语言学研究开拓了一个新的方向,使人们对自然语言有了更深刻的认识。 展开更多

关键词 逻辑语义学 真值 内涵 外延 范畴类型逻辑

下载PDF 职称材料