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

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

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

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

只要表哪種邏輯語(yǔ)義04-27

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

中英民族文化內(nèi)涵習(xí)語(yǔ)語(yǔ)義的非對(duì)應(yīng)性04-26

介詞短語(yǔ)的語(yǔ)義空間04-26

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

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

向來(lái)的語(yǔ)義語(yǔ)用特征分析04-26

試析語(yǔ)義變化的認(rèn)知原理04-26

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

LBS的數(shù)據(jù)語(yǔ)義分類(lèi)研究04-27