定義とは？ わかりやすく解説

この項目では、定義（ていぎ）について説明しています。宮城県仙台市にある西方寺の通称である定義（じょうげ、じょうぎ）については「西方寺 (仙台市)」をご覧ください。

この記事の内容の信頼性について検証が求められています。 確認のための文献や情報源をご存じの方はご提示ください。出典を明記し、記事の信頼性を高めるためにご協力をお願いします。議論はノートを参照してください。（2008年11月）

定義（ていぎ）は、ある言葉の正確な意味や用法について、人々の間で共通認識を定めるよう行われる作業。語義。一般的にそれは「○○とは・・・・・である」という言い換えの形で表現される。コミュニケーションを円滑で取り違いなく行うために必要とされる。^[1]

基本的に定義が決められる場合は1つである。これは、複数の場合、矛盾が生じるからである。ただし例外もある(例：電子掲示板用語の「キャップ」、CDソフトに付く帯の「キャップ」など)。^[2]

定義とは何か、ということへの関心は、ソクラテスやアリストテレスといった古代ギリシャの哲学者たちの議論の中に既に見られる。しかしそこから2000年以上を経た現在においても、この議論は未だに継続しており、定義とは何なのか、という問題についてそれほどはっきりした結論は出ていない。^[3]

歴史的にこのテーマは主に哲学の領域で、20世紀以降であればとりわけ分析哲学や言語哲学と呼ばれるような領域、そしてまた数学の一分野である数理論理学と呼ばれる分野、を中心に議論が行われてきた。そして20世紀後半からは認知科学といった、より実証的性格の強い分野で、定義についての議論をされることが増えている。

• 法律・ルールなどにおいては、定義が定まっていないと無効となる可能性があり、定義の存在は必要条件である。
• 哲学用語の「定義」とは、本質を表現する命題のことである。

自然科学における定義は通常、自然言語を用いて表される。対して、社会科学における定義は、最近類と種差の総体という形式をとることが多い。西周によって考案された訳語の１つである。^[4]

いくつかの事物を、ある視点で一括りにしたとき、それら事物は階層化 (Hierarchy) されたことになる。このとき上位の階層を類 (Genus)、下位の階層を種 (Species) という。類は種の集まりであり、種は類の構成要素である。複数の類を構成要素とする上位の類を考えることもできる。このとき下位の類は、上位の類にとっての種である。^[5]

例えば、トラであれば、動物界 - 脊索動物門 - 哺乳綱 - ネコ目（食肉目）- ネコ科 - ヒョウ属 (Genus Panthera) - トラ (tigris ^{[注 1]}) という分類系列^{[注 2]}の中にあり、学名（ラテン語名）を Panthera tigris (cf. wikt:en) という。ここでは "Panthera" が類（類概念）であり、分類学上の属、"tigris" が種（種概念）であり、分類学上の種である。また、ネコ科 (familia Felidae) を類（類概念）と見るなら、ネコ属 (Genus Felis ) やピューマ属 (Genus Puma )、チーター属 (Genus Acinonyx ) などと共に、ヒョウ属 (Genus Panthera ) はその一種ということになる。さらには、いっそ大きく地球上の全生物を類（類概念）と見る場合は、動物・菌類・植物・原生生物が属する真核生物ドメイン (Domain Eukaryota) のほか、細菌ドメイン、古細菌ドメインがその一種として挙げられる。^[6]

最も厳密な定義のためには、「対象を種として含む類」および「対象を他の種から区別する特徴」を述べればよい。前者を最近類、後者を種差という。この形式の起源はアリストテレスにさかのぼる。

例)　人間とは、理性的な（種差）動物（最近類）である^{[注 3]}。

例)　トラとは、黄色地に黒縞のある（種差）Panthera （最近類）である。

定義において種差が明示されない場合がある。

例)　人間とは、動物(最近類)の一種である。

種差を明示しないことには、それが不要である（積極的な理由）場合、および、不可能である（消極的な理由）場合がある。後者については、定義する対象の本質である場合と定義を行う者の知識・能力の問題である場合がある。

類が極度に広いと、存在・もの・何かなどの語を使わざるを得ないことになる。

例)　神とは、万能な（種差）存在（類）である。

しかし最近類を探し当てることができない結果、この表現に至ることも多い。

例)　椅子とは、人が座る（種差）もの（類）である（×）。

人が座る（種差）家具（類）である。

椅子は家具である。（椅子は家具の部分集合、椅子⊂家具）

うちのミーちゃんは三毛猫である（ミーちゃんは三毛猫の要素、ミーちゃん∈三毛猫）

愛は信じることである（愛すなわち信じること、愛=信じること）

椅子(と)は座るための家具である。（定義）

ミーちゃんは、我が家で飼っている三毛猫である。（定義）

ある概念等について、「それに含まれる全て」を列挙したようなものを「外延」、「それら全てが共通して持ち、それに含まれないものは持たないような属性」を示したようなものを「内包」という。

ここでは集合の例で説明する（詳細は集合#記法）。なお、集合の場合は外延性の公理により両者は同じものとするが、哲学では外延と内包がどういったものであるかについては議論がある（詳細は内包と外延#哲学）。

例)　集合 A は {1, 3, 5, 7, 9} 、という集合である。（外延）

例)　集合 A は 10 以下の奇数である自然数の集合、という集合である。（内包）

上記の形式に還元できることを条件に、多様な表現が可能である。

「人間とは、ある種の（一種の）動物である」次のように定義する。次は定義である。

「校則とは、学校での行動などについて規定したものである」「行動についての規定である」

出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。 記事の信頼性向上にご協力をお願いいたします。（2013年1月）

• Richard Robinson "Definition" Oxford University Press (1950) ISBN 0-19-824160-7

様々な「定義」の定義や、定義にまつわる歴史上の様々な論点をまとめている一冊。古いが読みやすく有用。

• Juan C. Sager"Essays on Definition" John Benjamins Publishing (2000) ISBN 1-55619-773-X

論文集。プラトン、アリストテレスからカント、ミルまで、有名な哲学者たちの定義にまつわる文章を集めた一冊。

出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。 記事の信頼性向上にご協力をお願いいたします。（2013年1月）

日本語のオープンアクセス文献

• 千葉惠「アリストテレス『分析論後書』における発見的探求論と論証」『哲学』第1986巻第36号、日本哲学会、1986年、107-117頁、doi:10.11439/philosophy1952.1986.107、ISSN 0387-3358、NAID 130003446833。 
• 茂木和行「アリストテレスの「第三の定義」 : 「二本足の動物」は人間か」『聖徳大学言語文化研究所論叢』第7巻、聖徳大学、2000年3月、105-141頁、ISSN 1346857X、NAID 40005399652。 
• 工藤喜作「スピノザの方法における「定義」について」『哲学』第1959巻第9号、日本哲学会、1959年、26-34頁、doi:10.11439/philosophy1952.1959.26、ISSN 0387-3358、NAID 130003446793。 
• 山口まり子「J.S.ミルの名辞・本質命題・定義について : 'denotation'と'connotation'をめぐるミルの意味論の予備的考察」『哲学』第101号、三田哲學會、1997年3月、65-86頁、ISSN 05632099、NAID 110007409352。 

ウィクショナリーに関連の辞書項目があります。

定義

ウィクショナリーに関連の辞書項目があります。

広義

ウィクショナリーに関連の辞書項目があります。

狭義

• 意味
• 外延 - 内包
• 類 - 種差
• 属性 - 本質 - 偶有性
• 定理
• 原理
• 分類
• カテゴリー - カテゴリー錯誤 - 錯誤
• 区別 - 判別 - 判別分析
• 弁別 - 丁度可知差異 - 差異
• 命名 - レッテル - ラベリング理論
• プロトタイプ理論 - 理想化認知モデル
• ベン図 - オイラー図 - 存在グラフ
• 概念 - 概念地図 - マインドマップ
• 関係 - 関係性 - 関連 - 連関 - 相関
• well-defined - 定義が矛盾を含まないことを表す数学用語。

• Definitions （英語） - スタンフォード哲学百科事典「定義」の項目。
• Definitions, Dictionaries, and Meanings （英語） - 定義の様々なタイプとそれらについての議論をまとめたページ
• （文献リスト）Definitions （英語） - PhilPapers 「定義」の文献一覧。

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

この項目は、哲学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（Portal:哲学）。

• 表示
• 編集