- 相關(guān)推薦
一階邏輯的內(nèi)涵語義
熟知的一階邏輯語義因為只論及個體對象而不涉及屬性實體而被認(rèn)為是外延的.相對于這一外延語義,一階邏輯還可為其中只含屬性實體而不含個體對象的內(nèi)涵語義一致且完備地刻畫.比之于外延語義的解釋,內(nèi)涵語義的解釋使一階語言更接近于自然語言的語義,而且也使一階邏輯對各種題材真正保持了邏輯的中立性.
作 者： 熊明 XIONG Ming 作者單位： 華南師范大學(xué),政治與行政學(xué)院,廣東,廣州,510631 刊 名： 湖南科技大學(xué)學(xué)報（社會科學(xué)版） 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)涵習(xí)語語義的非對應(yīng)性04-26
介詞短語的語義空間04-26
結(jié)果補(bǔ)語的語義指向04-26
從現(xiàn)代邏輯的語言層次觀看邏輯04-27
向來的語義語用特征分析04-26
試析語義變化的認(rèn)知原理04-26
法律詞匯語義關(guān)系辨析04-26