内包(intension
)はある概念がもつ共通な性質のことを指し、外延(extension)は具体的にどんなものがあるかを指すものである。これらは互いに対義語の関係をもつ。数学の集合の記法における、内包による記法と外延による記法については、詳細は集合#記法を参照。論理においても内包と外延という語は使われることがあるが、(現代においては)数学と同様の用法がなされる。基本的に表現法の違いであり、(外延による記法では、厳密さが必要な場合に「任意の偶数の集合」のような集合は書けない、といった違いはあるが)外延性の公理により、実質が同じであれば両者は同じものとする。よって以下のような哲学の場合のような議論は通常は必要としない。
なお、量#外延量と内包量にある「外延量」「内包量」という語は、物理学における物理量に関する熱力学的概念(示量性と示強性)及び、数学では測度論的に区別を考えることができるような術語(テクニカルターム)として考えたほうが良く、ここでの議論から類推できるようなものとは異なる。詳細はやはりリンク先の記事を参照。
哲学「定義#外延と内包」も参照
内包はある記号(言葉)が意義とする、対象に共通な性質のことであり、外延は記号の指す具体対象のことを指す[1]。また、外延と内包は各々、概念の外側か内側かという意味合いを持っている[2]。例えば「芸術」という言葉は、「自己表現」「人間活動」などの属性を内包とするのにたいして、「演劇」「音楽」「絵画」「彫刻」「文学」などの非属性を外延として指す[1]。
すなわち「芸術」を内包的定義で表すと「芸術とはさまざまな方法で自己表現を行い、美的な価値を創出する人間活動」のようになり、外延的定義は「芸術とは演劇、音楽、絵画、彫刻、文学などのこと」となる。外延的定義ではすべての例をあげることは大抵困難なので、などのような言葉を用いて具体例を途中で打ちきることが多い[3]。
集合の記号で書くと、内包は「芸術」を、「芸術」=「自己表現」∩ 「人間活動」 ∩ ...
のように積集合で規定する。「芸術」は右辺の諸概念の内包(すなわち特殊化)として表される。一方、外延は「芸術」を、「芸術」=「音楽」 ∪ 「絵画」 ∪ 「彫刻」 ∪ 「文学」 ∪ ...
のように和集合で規定する。「芸術」は右辺の諸概念の外延(すなわち一般化)として表される。
「内包」と「外延」という概念は通常互いに対義語の関係である。ただしその定義については哲学者によってより限定したものとなることもある。また、内包は志向性(Intention)との関連で論じられることが多い。
家族的類似も参考。
出典^ a b 樺島忠夫・植垣節也・曽田文雄・佐竹秀雄 編『福武 国語辞典』(初版)福武書店(原著1989年9月1日)、p. 935頁。.mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation.cs-ja1 q,.mw-parser-output .citation.cs-ja2 q{quotes:"「""」""『""』"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}ISBN 4828803998。
^ 栗田賢三・古在由重 編『岩波 哲学 小辞典』岩波書店(原著1979年11月8日)。
^ 開米瑞浩 (2008年9月29日). “ ⇒第18回 常識的な概念ほど、きっちり定義を考えなければならない (2/3)”. ITmedia. 2013年11月5日閲覧。
関連項目
(英語版)
数理論理学
数学
メタ論理学
メタ数学
モデル理論
哲学的論理学
哲学
論理学の哲学
数学の哲学
証明論
集合論
論理学の歴史
基本概念
アブダクション
分析的と総合的の区別(英語版)
二律背反
アプリオリ
演繹
定義(内包と外延)
記述