一階邏輯的內(nèi)涵語義

熟知的一階邏輯語義因為只論及個體對象而不涉及屬性實體而被認為是外延的.相對于這一外延語義,一階邏輯還可為其中只含屬性實體而不含個體對象的內(nèi)涵語義一致且完備地刻畫.比之于外延語義的解釋,內(nèi)涵語義的解釋使一階語言更接近于自然語言的語義,而且也使一階邏輯對各種題材真正保持了邏輯的中立性.

作 者： 熊明 XIONG Ming   作者單位： 華南師范大學,政治與行政學院,廣東,廣州,510631  刊 名： 湖南科技大學學報（社會科學版）  PKU 英文刊名： JOURNAL OF HUNAN UNIVERSITY OF SCIENCE & TECHNOLOGY(SOCIAL SCIENCE EDITION)  年，卷(期)： 2006 9(6)  分類號： B81  關(guān)鍵詞： 一階邏輯   外延語義   內(nèi)涵語義  

【一階邏輯的內(nèi)涵語義】相關(guān)文章：

只要表哪種邏輯語義04-27

基于描述邏輯的地圖語義模型初步研究04-27

中英民族文化內(nèi)涵習語語義的非對應性04-26

介詞短語的語義空間04-26

結(jié)果補語的語義指向04-26

從現(xiàn)代邏輯的語言層次觀看邏輯04-27

向來的語義語用特征分析04-26

試析語義變化的認知原理04-26

法律詞匯語義關(guān)系辨析04-26

LBS的數(shù)據(jù)語義分類研究04-27