一阶逻辑的内涵语义
熟知的一阶逻辑语义因为只论及个体对象而不涉及属性实体而被认为是外延的.相对于这一外延语义,一阶逻辑还可为其中只含属性实体而不含个体对象的内涵语义一致且完备地刻画.比之于外延语义的解释,内涵语义的解释使一阶语言更接近于自然语言的语义,而且也使一阶逻辑对各种题材真正保持了逻辑的中立性.
作 者: 熊明 XIONG Ming 作者单位: 华南师范大学,政治与行政学院,广东,广州,510631 刊 名: 湖南科技大学学报(社会科学版) PKU 英文刊名: JOURNAL OF HUNAN UNIVERSITY OF SCIENCE & TECHNOLOGY(SOCIAL SCIENCE EDITION) 年,卷(期): 2006 9(6) 分类号: B81 关键词: 一阶逻辑 外延语义 内涵语义