外延 vs 内涵

一句话总结

外延回答”词项指哪些东西？“（对象集合），内涵回答”词项凭什么指这些东西？“（属性集合）。内涵决定外延，但外延不决定内涵。

共同点

• 都是普遍词项的语义维度——每个普遍词项同时拥有外延和内涵
• 共同构成词项的完整意义——理解一个词项需要同时把握它指什么和凭什么指
• 都是定义操作的基础——外延定义法操作外延，内涵定义法操作内涵
• 都在逻辑推理中扮演关键角色——词项含义的一致性是有效论证的前提

关键区别

维度	外延（Extension）	内涵（Intension）
回答的问题	”指哪些东西？"	"凭什么指这些东西？“
本质	对象的汇集	属性的集合
决定方向	被内涵决定	决定外延
空集可能	可为空（如”独角兽”）	不可为空（总有属性集）
定义方法	示范、实指、准实指	同义、操作、属加种差
逻辑学地位	用于判定命题真假	用于判定词项含义

深层联系

密尔：内涵是更根本的概念

来源： Mill (1843), A System of Logic, Book I, Ch. II & VIII

密尔认为，在逻辑学中，内涵比外延更根本。理由是：

1. 通过内涵可以确定外延（知道属性集就能确定哪些对象满足这些属性）
2. 通过外延不能确定内涵（知道对象集合不能反推属性集——“等边三角形”和”等角三角形”外延相同但内涵不同）
3. 定义本质上是对内涵的操作——即使是外延定义（如列举），也预设了对内涵的某种理解

波菲利树：反变关系的可视化

来源： Porphyry (3rd century), Isagoge

波菲利树（Porphyrian Tree）展示了属种层级结构，每一层划分都体现了内涵和外延的反变关系：

实体（最大外延，最小内涵）
├── 物质的
│   ├── 有生命的
│   │   ├── 有感觉的（动物）
│   │   │   ├── 有理性的（人）← 最小外延，最大内涵
│   │   │   └── 无理性的（兽）

从上到下：内涵递增（属性越来越多），外延递减（对象越来越少）。这就是反变关系在属种层级中的体现。

反变关系的精确表述

反变关系不是严格的反比例关系，而是：

• 内涵增加 → 外延非递增（缩小或不变）
• “活着的人”→“活着的有脊骨的人”：内涵增加了”有脊骨”，但外延不变（所有活着的人都有脊骨）
• “人”→“活着的人”：内涵增加了”活着”，外延缩小

参见

• 外延与内涵 — 完整概念页
• 属加种差定义 — 基于内涵的经典定义方法
• 3.5 定义的结构：外延与内涵 — 详细讨论