内涵
内涵（Intension或connotation）是指一个符号、词语、或句子的意义或特征，多半是用定义的方式表达。
内涵经常与外延一起讨论的。内涵称谓一个词能描述一下的所有可能的事物的集合。相反的，外延或指称 称谓一个词实际上描述的所有真实的事物的集合。例如，“轿车”的内涵是所有可能的轿车（包括巧克力造的一千米高的轿车）。但是“轿车”的外延是所有真实的（过去现在和未来）轿车，这可能会总计为数以亿计的轿车，
内涵（intension）与外延（extension）的区分是语言哲学和逻辑学中的核心议题之一。瑞士语言学家费尔迪南·德·索绪尔区分了能指（signifier）、所指（signified）和Lua错误：attempt to call field 'entityExists' (a nil value)。（referent），其中内涵对应所指——语词所表达的概念或意义。[1] 美国哲学家希拉里·普特南指出：“没有某种内涵，语词就没有意义。”[2]
概述[编辑]
索绪尔的三分法[编辑]
索绪尔将符号（sign）分为三个层次：能指（signifier）——语音形象或书写形式；所指（signified）——符号所表达的概念或意义（即内涵）；指称物（referent）——符号所指代的外部世界中的实际事物。例如，单词“树”的能指是字母串“shù”或“tree”，所指的是“树”的概念（即其内涵），而指称物则是实际存在的一棵棵树（即其外延）。[3]
无内涵的语词[编辑]
如果没有某种内涵，语词就没有意义。例如，“brillig”（刘易斯·卡罗尔在《Jabberwocky》中的造词）或汉语中的生造词没有内涵，因此也没有意义。这类词语可能具有暗示性，但暗示性并不等于有意义。[4]
内涵与外延[编辑]
内涵（intension）和外延（extension）是语义学中相互关联的一对概念。内涵指一个语词可能适用的所有对象的集合所共同具有的属性或特征；外延指一个语词实际上适用的所有真实对象的集合。二者之间的关系可以总结为：内涵决定外延——即一个语词的内涵确定了它的外延的边界。
从弗雷格开始，句子的外延被定义为其真值。例如，“雪是白的”的外延是“真”。相应地，句子的内涵则是由其意义决定的条件——一个句子在什么样的可能情况下为真。在可能世界语义学中，句子的内涵被定义为从可能世界到真值的函数。[5]
命题形式[编辑]
内涵命题形式[编辑]
内涵命题形式（intensional statement-form）是指这样一种命题形式：其中至少存在一个实例，使得将具有相同外延的表达式替换进去后，命题的逻辑值发生改变。例如：
(1) 所有读过《哈克贝利·费恩历险记》的人都知道马克·吐温写了这本书。
如果将“马克·吐温”替换为同外延的“《玉米面包观点》的作者”，则命题的逻辑值发生变化——并非所有读过《哈克贝利·费恩历险记》的人都知道这位作者也写了《玉米面包观点》。这类包含“知道”、“可能”、“相信”等表达的语境被称为内涵语境（intensional context），这些表达被称为内涵算子（intensional operator）。[6]
外延命题形式[编辑]
外延命题形式（extensional statement-form）是指替换同外延的表达式后始终保持逻辑值不变的命题形式。例如：
(2) 马克·吐温写了《哈克贝利·费恩历险记》。
将“马克·吐温”替换为“萨缪尔·克莱门斯”后，命题的真值不变。人工形式语言（如数学逻辑的语言）是外延性的；自然语言则是内涵性的。[7]
内涵逻辑[编辑]
内涵逻辑（intensional logic）研究包含内涵语境的推理。可能世界语义学为内涵逻辑提供了语义基础：一个语词的内涵被看作是从可能世界到其外延的函数。理查德·蒙塔古发展的蒙塔古语法系统地处理了自然语言中的内涵现象，为计算机处理自然语言提供了理论基础。[8]
在计算机科学中的应用[编辑]
在计算机科学和数据库理论中，术语“内涵”被用来指代数据库的Module:WikidataLink第216行Lua错误：attempt to call field 'entityExists' (a nil value)（schema），即数据的逻辑结构定义；而“外延”指代特定的实例（instance），即实际存储的数据。这种用法与逻辑学中内涵/外延的区分完全对应：模式（内涵）定义了数据的类型和约束，而实例（外延）是满足这些约束的具体数据集合。[9]
参见[编辑]
参考文献[编辑]
- ^ de Saussure, Ferdinand. Course in General Linguistics. Open Court. 1916 （English）.
- ^ Putnam, Hilary. Meaning and Reference. The Journal of Philosophy. 1973, 70 (19): 699–711. doi:10.2307/2025079 （English）.
- ^ de Saussure, Ferdinand. Course in General Linguistics. Open Court. 1916 （English）.
- ^ Putnam, Hilary. Meaning and Reference. The Journal of Philosophy. 1973, 70 (19): 699–711. doi:10.2307/2025079 （English）.
- ^ Carnap, Rudolf. Meaning and Necessity. University of Chicago Press. 1947 （English）.
- ^ Blackburn, Simon. Oxford Dictionary of Philosophy. Oxford University Press. 1994 （English）.
- ^ Carnap, Rudolf. Meaning and Synonymy in Natural Languages. Philosophical Studies. 1955, 6 (3): 33–47. doi:10.1007/BF02330951 （English）.
- ^ Montague, Richard. Formal Philosophy. Yale University Press. 1974 （English）.
- ^ Elmasri, Ramez; Navathe, Shamkant B. Fundamentals of Database Systems 7th. Pearson. 2015 （English）.