内涵逻辑【英】

intensional logic

译文来源

[1] 尼古拉斯•布宁，余纪元.西方哲学英汉对照辞典[Z].人民出版社，2001：511.
[2] intensional logic. via: https://en.wikipedia.org/wiki/Intensional_logic

定义

内涵逻辑是以涉及语言表达式的内涵的语义学和语法学研究为基础的关于推理关系的一般理论。传统逻辑研究的对象是概念、判断、推理和论证。概念有外延和内涵。由于语词是概念的语言形式，有时也可把语词看成有外延和内涵。符号逻辑中的个体词、谓词就属于这类表达式。另外一类语言表达式句子，也可作相仿的处理，如句子也有外延和内涵。句子的外延是真值，句子的内涵是命题。传统逻辑在研究概念时，既处理了外延，也处理了内涵。如划分就是明确概念外延的逻辑方法，而定义却是揭示概念内涵的逻辑方法。当然，它使用普通的日常语言，而且一般采用的方法是非定量的。数理逻辑与之相反，它用形式的符号语言表述思想，采用的方法是定量的。它把推理处理得相当于真值蕴涵，利用真值蕴涵的单义性，把传统逻辑的命题、推理等转化成演算。但是，数理逻辑所作的定量的、精确的处理，主要是针对外延的。在一阶逻辑中，个体表达式的外延是它指称的对象，谓词表达式的外延是它指称的个体类，句子的外延是真值，量词只作用在个体变元之上。赋值、满足、真假、推理的正确性、系统的可靠性、完全性等问题的解决，都建立在对语言表达式的外延作深入、定量的分析之上。就此而言，通常把它称为外延逻辑。现代形态的内涵逻辑，一般认为要从刘易斯建立严格蕴涵的模态逻辑开始。古希腊斯多亚学派对于Lekton(所意谓的东西)的分析，已经显示出他们对内涵方面作了相当深入的研究。同时他们还提出了著名的厄勒克特拉悖论，这些都孕育了内涵逻辑。到了19世纪弗雷格提出的涵义，实际上就是以后卡尔纳普所说的内涵。以后并由卡普兰(D.Kaplan)、克里普克、蒙塔古(Richard Montague)等人加以发展。刘易斯的模态逻辑，卡尔纳普的外延内涵方法，蒙塔古语法等都可以看成是内涵逻辑发展中的重要标志（金炳华，2001：1049）。内涵逻辑是经典逻辑的一种重要的扩展类型。内涵逻辑是关于必然、可能、时间、空间、行动、知识、信念、义务和其他内涵概念的逻辑研究。内涵逻辑研究的主要目的是分析内涵概念，围绕内涵概念给出相应的形式系统，形式系统的语义模型解释及关于系统的可靠性和完全性证明等问题。内涵逻辑在哲学问题的分析和自然语言语义学及人工智能等领域都有极为重要的应用（朱建平，2010：23）。

定义来源

[1] 金炳华，冯契.哲学大辞典[Z].上海辞书出版社，2001.
[2] 朱建平.当代内涵逻辑的理论发展[J].苏州大学学报（哲学社会科学版），2010（03）.

例句

1. 在20世纪，内涵逻辑、内涵语义学和内涵形而上学是由逻辑学家、哲学家和语言学家在逻辑哲学和语言哲学领域共同缔造的为数不多但却无可置疑的进步之一。自上世纪60年代内涵逻辑诞生以来，这一逻辑分支在计算机科学、人工智能、语言学和哲学甚至数学基础等众多领域以其强有力的理论和实践工具的方式发挥着自己的作用。然而，作为一门激动人心的学科，在内涵逻辑的研究中人们会遇到各种困难，对这些困难的解决不仅对逻辑学家，而且对哲学家、语言学家和计算机科学家都是一种挑战。本文通过解释内涵逻辑的关键性发展和存在的问题，进而梳理出一条20世纪内涵逻辑理论发展和未来趋势的路径。——《20世纪的内涵逻辑》，2013:44

1. In the twentieth century intensional logic, intensional semantics and metaphysics of intension are one of the few areas of philosophy of logic and philosophy of language in which logician philosophers and linguistician made indisputable progress. Intensional logic has emerged since the 1960’s as a powerful theory and practical tool in such diverse disciplines as computer science, artificial intelligence linguistics philosophy and even the foundation of mathematics. However intensional logic is an exciting discipline in which we meet many problems the solution of which is a challenge not only to logician, but also to philosophers, linguists and computer scientists, etc. Purpose in this paper is to explain some of the key developments and existing problems in intensional logic and then to tease out the path of development of the theory in the 20th century and further trend in intensional logic. -Quoted from The Intensional Logic in the Twentieth Century, 2013: 51.

网络参考例句

例句 1：
历史的内涵逻辑——《资本论》的辩证法长期以来，人们总是不自觉地脱离开《资本论》辩证法的真实内容和真实根基——“现实的人及其历史发展”，仅仅只把《资本论》的辩证法理解为纯粹方法。——《历史的内涵逻辑—<资本论>的辩证法》，吉林大学博士学位论文，2016
the Historical Connotation Logic: Research of the Dialectic of Das Kapital For a long time, the dialectic of Das Kapital was regarded as a pure method owing to departing from its real foundation and contents, namely "realistic humans and the development of their history".

例句 2：
《资本论》历史的内涵逻辑以非概念的历史来演绎辩证法的特质，又以辩证的运动来描述历史。——“论《资本论》的‘历史的内涵逻辑’”，载于《华侨大学学报(哲学社会科学版)》2015年第1期
The historic connotative logic of the "Das Capita" deducted the traits of dialectic by the non-concept history and described the history by the dialectical movement.

例句 3：
黑格尔首先变革了对历史的编年史式理解，以思想的内涵逻辑在存在论的意义上展现了历史的生成性和辩证性。——《历史的客观性研究》，吉林大学博士学位论文，2012
The Hegel First change the annals of history to understand, to show the generation of history and the dialectic of ideological connotation of logic in the ontological sense.