定義

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

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

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

概説

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

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

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

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

類と種

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

生物分類と学名

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

形式

最近類と種差による定義

詳細は「en:Genus–differentia definition」を参照

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

例) 人間とは、理性的な(種差)動物(最近類)である[3]
例) トラとは、黄色地に黒縞のある(種差)Panthera (最近類)である。

種差を明示しない定義

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

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

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

類が極度に広い場合

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

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

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

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

定義の表現

予備知識

「〜は〜である」という文について

椅子家具である。(椅子は家具の部分集合、椅子⊂家具)
うちのミーちゃんは三毛猫である(ミーちゃんは三毛猫の要素、ミーちゃん∈三毛猫)
は信じることである(愛すなわち信じること、愛=信じること)
椅子(と)は座るための家具である。(定義)
ミーちゃんは、我が家で飼っている三毛猫である。(定義)

外延と内包

詳細は「内包と外延」を参照

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

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

例) 集合 A は {1, 3, 5, 7, 9} 、という集合である。(外延)
例) 集合 A は 10 以下の奇数である自然数の集合、という集合である。(内包)

表現

定義の表現の多様性

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

「人間とは、ある種の(一種の)動物である」次のように定義する。次は定義である。
校則とは、学校での行動などについて規定したものである」「行動についての規定である」

脚注

[脚注の使い方]
  1. ^ tigris 種を "Species tigiris" と表記することは無いが、意味は同じ。
  2. ^ ただしこれは一般向けの極めて簡易で不正確な分類表記である。多角的で数多くの新知見がもたらされたことにより、21世紀の分類学はもはや旧来の表記法では正確性を担保できなくなっているのであり、ここでもそれを示すことはできない。とは言え、本項が論旨とする「属と種」のレベルに限って不正確な所は無い。
  3. ^ このような定義に対して、最近類としてヒト属を示さないのは誤りだ、という主張は見当違いである。というのも、分類学(生物分類学)における類種関係は絶対的なものでなく、文脈によっては分類学とは異なる関係を前提とした定義もあり得るためである。

参考文献

様々な「定義」の定義や、定義にまつわる歴史上の様々な論点をまとめている一冊。古いが読みやすく有用。
  • Juan C. Sager"Essays on Definition" John Benjamins Publishing (2000) ISBN 1-55619-773-X
論文集。プラトン、アリストテレスからカント、ミルまで、有名な哲学者たちの定義にまつわる文章を集めた一冊。

関連文献

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

  • 千葉惠「アリストテレス『分析論後書』における発見的探求論と論証」『哲学』第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。

関連項目

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

外部リンク

  • Definitions (英語) - スタンフォード哲学百科事典「定義」の項目。
  • Definitions, Dictionaries, and Meanings (英語) - 定義の様々なタイプとそれらについての議論をまとめたページ
  • (文献リスト)Definitions (英語) - PhilPapers 「定義」の文献一覧。
 
関連項目
学術的領域
基本概念
 
批判的思考非形式論理学
論理学の哲学
  • 構成主義
  • ダイアリーシズム(英語版)
  • 虚構主義(英語版)
  • 有限主義(英語版)
  • 形式主義
  • 直観主義
  • 論理的原子論(英語版)
  • 論理主義
  • 唯名論
  • プラトニック実在論(英語版)
  • プラグマティズム
  • 実在論
 
基幹
名辞論理学(英語版)
命題論理ブール論理
述語論理
標準形
集合論
モデル理論
証明論
再帰理論
表現
 
様相論理学
直観主義
ファジィ論理
  • 真理の程度(英語版)
  • ファジィルール(英語版)
  • ファジィ集合
  • ファジィ有限要素(英語版)
  • ファジィ集合演算(英語版)
部分構造論理
矛盾許容論理
  • ダイアリーシズム(英語版)
様相記述論理(英語版)
  • 存在論
  • オントロジー言語(英語版)
カテゴリカテゴリ - 関係記事更新
典拠管理 ウィキデータを編集
  • BNF: cb11959122n (データ)
  • GND: 4148989-5
  • J9U: 987007545607905171
  • LCCN: sh85036458
  • NKC: ph888258
執筆の途中です この項目は、哲学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています(Portal:哲学)。