内涵逻辑时代的来临

发布时间：2018-05-31 16:48

  本文选题：内涵逻辑 + 内涵语义学　； 参考：《南京社会科学》2015年09期

【摘要】：内涵逻辑可以从两个方面来理解:从逻辑—哲学的角度看内涵逻辑是通过分析内涵概念,刻画内涵算子的形式特征,建构内涵概念的形式系统,提供形式系统的模型论(可能世界或内涵)语义学解释,以及给出形式系统元定理(如可靠性和完全性)等方式构造而成的内涵逻辑形式系统。从语言学的角度看,内涵逻辑也可看作是关于其意义依赖于隐晦语境的表达式的形式系统。内涵逻辑是标准逻辑在当代最重要的扩展之一,它在哲学、语言学、计算机科学、人工智能、认知科学和数学等领域都有广泛而深入的应用。
[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.
【作者单位】： 苏州大学政治与公共管理学院哲学系;
【分类号】：B81

【相似文献】

相关期刊论文 前10条

1 彭家法;当代形式语义学的争鸣与进展[J];外语学刊;2005年03期

2 邹崇理;雷建国;;论形式语义学[J];重庆工学院学报(社会科学版);2007年11期

3 邹崇理;;组合原则[J];逻辑学研究;2008年01期

4 李可胜;;语言学中的形式语义学[J];中国社会科学院研究生院学报;2009年02期

5 贾改琴;邹崇理;;形式语义学和汉语语义研究[J];贵州社会科学;2009年08期

6 周杏莉;;形式语义学初探[J];现代语文(语言研究版);2010年05期

7 付艺;高芸;;形式语义学发展概述[J];江西社会科学;2013年11期

8 代尊峰;孙洪波;;形式语义学发展综述[J];外国语文;2014年03期

9 Manfred BierWisch ,李锡胤;形式语义学和词汇语义学[J];外语学刊;1983年01期

10 E.A.Ashcroft;W.W.Wadge;陈冬凡;;形式语义学的正确运用[J];计算机科学;1984年03期

，

本文编号：1960582