以下是小编为大家准备了一阶逻辑的内涵语义,本文共5篇,欢迎参阅。本文原稿由网友“男同砖家”提供。
篇1:一阶逻辑的内涵语义
一阶逻辑的内涵语义
熟知的一阶逻辑语义因为只论及个体对象而不涉及属性实体而被认为是外延的.相对于这一外延语义,一阶逻辑还可为其中只含属性实体而不含个体对象的'内涵语义一致且完备地刻画.比之于外延语义的解释,内涵语义的解释使一阶语言更接近于自然语言的语义,而且也使一阶逻辑对各种题材真正保持了逻辑的中立性.
作 者:熊明 XIONG Ming 作者单位:华南师范大学,政治与行政学院,广东,广州,510631 刊 名:湖南科技大学学报(社会科学版) PKU英文刊名:JOURNAL OF HUNAN UNIVERSITY OF SCIENCE & TECHNOLOGY(SOCIAL SCIENCE EDITION) 年,卷(期): 9(6) 分类号:B81 关键词:一阶逻辑 外延语义 内涵语义篇2:只要表哪种逻辑语义
只要表哪种逻辑语义
这里从语言和逻辑结合的视角,通过与“只有”的.对比,探讨了连词“只要”的表义功能.根据它联结对象的不同,划分出两个语用层面,即客观事物关系层面和主观构造事物关系层面.“只要”在不同层面的表义功能并不相同,在前一个层面中既可表充分条件,也可表充分必要条件;在后一层面中只能表充分条件.在此基础上,还就部分专业书的一些不同观点和用例进行了商榷.
作 者:迟永长 作者单位:辽宁师范大学中文系,辽宁,大连,116029 刊 名:辽宁师范大学学报(社会科学版) 英文刊名:JOURNAL OF LIAONING NORMAL UNIVERSITY(SOCIAL SCIENCES EDITION) 年,卷(期): 25(1) 分类号:B812 关键词:只要 只有 表义功能 充分条件 必要条件 充分必要条件篇3:递进的逻辑语义基础及相关问题
递进的逻辑语义基础及相关问题
本文以范畴为出发点,从显性与隐性、多层与转化、一致性与差异性等角度分析递进关系的建立与分类,最后分析逻辑语义在建立汉语递进范畴中的作用:语义决定形式,形式反过来又影响语义.递进的.构成基础就是递进项在逻辑语义上的兼容性与梯度性.
作 者: 作者单位: 刊 名:西南民族大学学报(人文社科版) PKU CSSCI英文刊名:JOURNAL OF SOUTHWEST UNIVERSITY FOR NATIONALITIES(HUMANITIES & SOCIAL SCIENCES) 年,卷(期): 26(10) 分类号:H14 关键词:递进 逻辑 语义 形式篇4:英汉语篇逻辑语义特征对比
英汉语篇逻辑语义特征对比
英汉语篇逻辑语义特征的异同是当前国内语言学界讨论较多并有争议的一个话题.以Halliday提出的逻辑语义关系理论为依据,通过对英汉样本语篇的.组构方式进行对比分析,发现英汉语篇逻辑语义特征存在以下两点异同:英汉语篇逻辑语义存在着显性或隐性的差异,但是这种差异是相对而言的;英语语篇的语义联系更多地依赖逻辑联系语,而汉语语篇的语义逻辑联系更多地依赖语境.
作 者:郭梦秋 作者单位:安徽财经大学,外语学院,安徽,蚌埠,233041 刊 名:淮北煤炭师范学院学报(哲学社会科学版) 英文刊名:JOURNAL OF HUABEI COAL INDUSTRY TEACHERS COLLEGE(PHILOSOPHY AND SOCIAL SCIENCES) 年,卷(期): 29(3) 分类号:H04 关键词:英汉语篇 逻辑语义 联系语 对比篇5:基于描述逻辑的地图语义模型初步研究
基于描述逻辑的地图语义模型初步研究
为了研究地图的.形式化语义表达问题,将语言学的理论和方法应用到地图领域,把地图符号系统作为一种二维图形语言,在分析地图语言的基本语言单位、语法规则和语义规则的基础上,采用扩展的描述逻辑AL-CRP(D),建立了地图语义模型.模型能完备地表达地图语言的语义,为用逻辑方法研究地图信息提供了借鉴意义.
作 者:苏里 SU Li 作者单位:沈阳农业大学土地,与环境学院,沈阳,110161 刊 名:测绘科学 ISTIC PKU英文刊名:SCIENCE OF SURVEYING AND MAPPING 年,卷(期):2009 34(3) 分类号:P282 关键词:描述逻辑 地图语义模型 地图语言 语法和语义规则- 《金融的逻辑》读后感2024-02-06
- 逻辑联结词的教案2025-08-31
- 网络流行语的语义变异探析2023-04-20
- 英汉委婉语的语义特征2024-08-03
- 提高逻辑能力的题目2022-12-31
- 逻辑狗教学总结2024-01-19
- SONY逻辑笔试题2025-01-09
- 数学逻辑思维能力的培养2025-01-03
- 思维发散逻辑题2025-03-27
- 爱情经典语录:爱情不合乎逻辑2023-12-18