一阶逻辑的内涵语义

一阶逻辑的内涵语义

熟知的一阶逻辑语义因为只论及个体对象而不涉及属性实体而被认为是外延的.相对于这一外延语义,一阶逻辑还可为其中只含属性实体而不含个体对象的内涵语义一致且完备地刻画.比之于外延语义的解释,内涵语义的解释使一阶语言更接近于自然语言的语义,而且也使一阶逻辑对各种题材真正保持了逻辑的中立性.

作 者： 熊明 XIONG Ming   作者单位： 华南师范大学,政治与行政学院,广东,广州,510631  刊 名： 湖南科技大学学报（社会科学版）  PKU 英文刊名： JOURNAL OF HUNAN UNIVERSITY OF SCIENCE & TECHNOLOGY(SOCIAL SCIENCE EDITION)  年，卷(期)： 2006 9(6)  分类号： B81  关键词： 一阶逻辑   外延语义   内涵语义  

【一阶逻辑的内涵语义】相关文章：

只要表哪种逻辑语义04-27

基于描述逻辑的地图语义模型初步研究04-27

中英民族文化内涵习语语义的非对应性04-26

介词短语的语义空间04-26

结果补语的语义指向04-26

从现代逻辑的语言层次观看逻辑04-27

向来的语义语用特征分析04-26

试析语义变化的认知原理04-26

法律词汇语义关系辨析04-26

LBS的数据语义分类研究04-27