本文選題：內(nèi)涵邏輯 + 內(nèi)涵語義學(xué)�。� 參考：《南京社會科學(xué)》2015年09期

【摘要】：內(nèi)涵邏輯可以從兩個方面來理解:從邏輯—哲學(xué)的角度看內(nèi)涵邏輯是通過分析內(nèi)涵概念,刻畫內(nèi)涵算子的形式特征,建構(gòu)內(nèi)涵概念的形式系統(tǒng),提供形式系統(tǒng)的模型論(可能世界或內(nèi)涵)語義學(xué)解釋,以及給出形式系統(tǒng)元定理(如可靠性和完全性)等方式構(gòu)造而成的內(nèi)涵邏輯形式系統(tǒng)。從語言學(xué)的角度看,內(nèi)涵邏輯也可看作是關(guān)于其意義依賴于隱晦語境的表達(dá)式的形式系統(tǒng)。內(nèi)涵邏輯是標(biāo)準(zhǔn)邏輯在當(dāng)代最重要的擴(kuò)展之一,它在哲學(xué)、語言學(xué)、計算機(jī)科學(xué)、人工智能、認(rèn)知科學(xué)和數(shù)學(xué)等領(lǐng)域都有廣泛而深入的應(yīng)用。
[Abstract]:Connotative logic can be understood from two aspects: from the perspective of logics-philosophy, intension logic is constructed by analyzing the concept of intension, characterizing the formal characteristics of intension operator, and constructing the formal system of the concept of intension. The semantic interpretation of model theory (possible world or connotation) of formal system is provided, and the connotation logic formal system is constructed by giving meta theorems of formal system (such as reliability and completeness). From a linguistic point of view, connotative logic can also be seen as a formal system of expressions whose meaning depends on the obscure context. Connotative logic is one of the most important extensions of standard logic in modern times. It has been widely and deeply applied in philosophy, linguistics, computer science, artificial intelligence, cognitive science and mathematics.
【作者單位】： 蘇州大學(xué)政治與公共管理學(xué)院哲學(xué)系;
【分類號】：B81

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 彭家法;當(dāng)代形式語義學(xué)的爭鳴與進(jìn)展[J];外語學(xué)刊;2005年03期

2 鄒崇理;雷建國;;論形式語義學(xué)[J];重慶工學(xué)院學(xué)報(社會科學(xué)版);2007年11期

3 鄒崇理;;組合原則[J];邏輯學(xué)研究;2008年01期

4 李可勝;;語言學(xué)中的形式語義學(xué)[J];中國社會科學(xué)院研究生院學(xué)報;2009年02期

5 賈改琴;鄒崇理;;形式語義學(xué)和漢語語義研究[J];貴州社會科學(xué);2009年08期

6 周杏莉;;形式語義學(xué)初探[J];現(xiàn)代語文(語言研究版);2010年05期

7 付藝;高蕓;;形式語義學(xué)發(fā)展概述[J];江西社會科學(xué);2013年11期

8 代尊峰;孫洪波;;形式語義學(xué)發(fā)展綜述[J];外國語文;2014年03期

9 Manfred BierWisch ,李錫胤;形式語義學(xué)和詞匯語義學(xué)[J];外語學(xué)刊;1983年01期

10 E.A.Ashcroft;W.W.Wadge;陳冬凡;;形式語義學(xué)的正確運用[J];計算機(jī)科學(xué);1984年03期

，

本文編號：1960582