内包（intension）はある概念がもつ共通な性質のことを指し、外延（extension）は具体的にどんなものがあるかを指すものである。これらは互いに対義語の関係をもつ。

数学の集合の記法における、内包による記法と外延による記法については、詳細は集合#記法を参照。論理においても内包と外延という語は使われることがあるが、（現代においては）数学と同様の用法がなされる。基本的に表現法の違いであり、（外延による記法では、厳密さが必要な場合に「任意の偶数の集合」のような集合は書けない、といった違いはあるが）外延性の公理により、実質が同じであれば両者は同じものとする。よって以下のような哲学の場合のような議論は通常は必要としない。

なお、量#外延量と内包量にある「外延量」「内包量」という語は、物理学における物理量に関する熱力学的概念（示量性と示強性）及び、数学では測度論的に区別を考えることができるような術語（テクニカルターム）として考えたほうが良く、ここでの議論から類推できるようなものとは異なる。詳細はやはりリンク先の記事を参照。

内包はある記号（言葉）が意義とする、対象に共通な性質のことであり、外延は記号の指す具体対象のことを指す^[1]。また、外延と内包は各々、概念の外側か内側かという意味合いを持っている^[2]。例えば「芸術」という言葉は、「自己表現」「人間活動」などの属性を内包とするのにたいして、「演劇」「音楽」「絵画」「彫刻」「文学」などの非属性を外延として指す^[1]。

すなわち「芸術」を内包的定義で表すと「芸術とはさまざまな方法で自己表現を行い、美的な価値を創出する人間活動」のようになり、外延的定義は「芸術とは演劇、音楽、絵画、彫刻、文学などのこと」となる。外延的定義ではすべての例をあげることは大抵困難なので、などのような言葉を用いて具体例を途中で打ちきることが多い^[3]。

集合の記号で書くと、内包は「芸術」を、

「芸術」＝「自己表現」∩ 「人間活動」 ∩ ...

のように積集合で規定する。「芸術」は右辺の諸概念の内包(すなわち特殊化)として表される。一方、外延は「芸術」を、

「芸術」＝「音楽」 ∪ 「絵画」 ∪ 「彫刻」 ∪ 「文学」 ∪ ...

のように和集合で規定する。「芸術」は右辺の諸概念の外延(すなわち一般化)として表される。

「内包」と「外延」という概念は通常互いに対義語の関係である。ただしその定義については哲学者によってより限定したものとなることもある。また、内包は志向性(Intention)との関連で論じられることが多い。

家族的類似も参考。

1. ^ ^{a b} 樺島忠夫・植垣節也・曽田文雄・佐竹秀雄 編『福武 国語辞典』（初版）福武書店（原著1989年9月1日）、p. 935頁。ISBN 4828803998。 
2. ^ 栗田賢三・古在由重 編『岩波 哲学 小辞典』岩波書店（原著1979年11月8日）。 
3. ^ 開米瑞浩 (2008年9月29日). “第18回　常識的な概念ほど、きっちり定義を考えなければならない (2/3)”. ITmedia. 2013年11月5日閲覧。

表 話 編 歴 論理学
関連項目 学術的領域 議論学 価値論 批判的思考 再帰理論 形式意味論 論理史 非形式論理学 計算機科学における論理学（英語版） 数理論理学 数学 メタ論理学 メタ数学 モデル理論 哲学的論理学 哲学 論理学の哲学 数学の哲学 証明論 集合論 論理学の歴史 基本概念 アブダクション 分析的と総合的の区別（英語版） 二律背反 アプリオリ 演繹 定義(内包と外延) 記述 帰納 推論 論理的帰結 論理形式（英語版） 論理的含意（英語版） 論理的真理 名前 必要十分条件 意味 パラドックス 可能世界論 前提 確率 理性 推理 参考 意味論 命題 サブスティトゥーション（英語版） 統語論（英語版） 真理 真理値 妥当性 数学記号の表
哲学的論理学 批判的思考と非形式論理学 分析 曖昧 信念 信用性（英語版） 根拠 説明 説明力（英語版） 事実 誤謬 探究 意見 節約 根拠 プロパガンダ 思慮分別（英語版） 推理 関連 修辞学 厳格 漠然（英語版） 論理学の哲学 構成主義 真矛盾主義 虚構主義（英語版） 有限主義（英語版） 形式主義 直観主義 論理的原子論（英語版） 論理主義 唯名論 プラトニック実在論（英語版） プラグマティズム 実在論
メタ論理学と超数学 カントールの定理 決定問題 チャーチのテーゼ 無矛盾性 実効的方法（英語版） 数学基礎論 ゲーデルの完全性定理 ゲーデルの不完全性定理 健全性 完全性 決定可能性 解釈 レーヴェンハイム-スコーレムの定理 メタ定理（英語版） 充足可能性 独立性（英語版） 独立 タイプとトークンの区別 使用と言及の区別
数理論理学 基幹 形式言語 構成規則 形式体系 演繹システム（英語版） 形式的証明 形式意味論 論理式 集合 元 クラス 古典論理 公理 自然演繹 推論規則 有限関係（英語版） 定理 論理的帰結 公理系 型理論 記号 統語論（英語版） 理論（英語版） 名辞論理学（英語版） 命題 推論 論証 妥当性 三段論法 反対の正方形 ベン図 命題論理とブール論理 ブール関数 命題論理 論理演算 真理値表 原子論理式 リテラル 述語論理 量化 全称記号 存在記号 一階述語論理 二階述語論理 高階述語論理 単項述語計算（英語版） 標準形 連言標準形 選言標準形 否定標準形 冠頭標準形 スコーレム標準形 節標準形 集合論 集合 空集合 数え上げ 外延 有限集合 関数 部分集合 冪集合 可算集合 帰納的集合 定義域 値域 順序対 非可算集合 モデル理論 モデル（英語版） 解釈（英語版） 超準モデル 有限モデル理論 真理値 妥当性 証明論 形式的証明 演繹システム（英語版） 形式体系 定理 論理的帰結 推論規則 統語論（英語版） 再帰理論 再帰 帰納的集合 帰納的可算集合 決定問題 チャーチ＝チューリングのテーゼ 計算可能関数 原始再帰関数 表現 真理値表 クワイン・マクラスキー法 カルノー図 存在グラフ 概念地図 オイラー図 ベン図 スパイダー図 タブローの方法 Xバー理論 構文木 構文解析
非古典論理 様相論理学 真理様相（英語版） 価値様相（英語版） 義務論理 信念様相（英語版） 認識論理 時相論理 線形時相論理 直観主義 直観論理 構成的解析（英語版） ハイディング算術（英語版） 直観主義型理論 構成的集合論（英語版） ファジィ論理 真理の程度（英語版） ファジィルール（英語版） ファジィ集合 ファジィ有限要素（英語版） ファジィ集合演算（英語版） 部分構造論理 構造規則（英語版） 適切さの論理 線形論理 矛盾許容論理 真矛盾主義 様相記述論理（英語版） 存在論 オントロジー言語（英語版）
論理学者 アンダーソン アリストテレス イブン・ルシュド イブン・スィーナー ベイン（英語版） バーワイズ（英語版） ベルナイス ブール ブーロス（英語版） カントール カルナップ チャーチ クリュシッポス カリー ド・モルガン フレーゲ ギーチ ゲンツェン ゲーデル ヒルベルト クリーネ クリプキ ライプニッツ レーヴェンハイム（英語版） ペアノ パース パトナム クワイン ラッセル シュレーダー（英語版） スコトゥス スコーレム スマリヤン タルスキ チューリング ホワイトヘッド オッカムのウィリアム ウィトゲンシュタイン ツェルメロ
カテゴリ