定義のソースを表示

{{WikipediaPage|ウィキペディアの編集におけるトピックを定義する方法については[[Wikipedia:定義と記述]]をご覧ください。}}

{{Otheruses|定義（ていぎ）|[[宮城県]][[仙台市]]にある西方寺の通称である定義（じょうげ、じょうぎ）|西方寺 (仙台市)}}

{{未検証|date=2008年11月}}

'''定義'''（ていぎ、{{lang-en|[[wikt:en:definition|definition]]}}）は、一般に[[コミュニケーション]]を円滑に行うために、ある[[言葉]]の正確な[[意味]]や用法について、人々の間で共通[[認識]]を抱くために行われる[[作業]]である。一般的にそれは「○○とは・・・・・である」という言い換えの形で行われる。基本的に定義が決められる場合は1つである。これは、複数の場合、[[矛盾]]が生じるからである。

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

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

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

[[自然科学]]における定義は[[通常]]、[[自然言語]]を用いて表される。対して、[[社会科学]]における定義は、[[最近類]]と[[種差]]の総体という形式をとることが多い。

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

=== 生物分類と学名 ===
例えば、'''[[トラ]]'''であれば、[[動物]][[界 (分類学)|界]] - [[脊索動物]][[門 (分類学)|門]] - [[哺乳綱]] - [[ネコ目]]（食肉目）- [[ネコ科]] - '''[[ヒョウ属]]''' ([[:en:Panthera|''Genus '''Panthera''''']]) - '''トラ''' ('''''tigris''''' <ref>''tigris'' 種を "''Species tigiris''" と表記することは無いが、意味は同じ。</ref>) という[[分類学|分類]]系列<ref>ただしこれは一般向けの極めて簡易で不正確な分類表記である。多角的で数多くの新知見がもたらされたことにより、21世紀の[[分類学]]はもはや旧来の表記法では正確性を担保できなくなっているのであり、ここでもそれを示すことはできない。とは言え、本項が論旨とする「属と種」のレベルに限って不正確な所は無い。</ref>の中にあり、[[学名]]（[[ラテン語]]名）を '''{{Snamei||Panthera tigris}}''' (''cf.'' [[wikt:en:Panthera tigris|wikt:en]]) という。ここでは "''Panthera''" が[[類概念|類（類概念）]]であり、[[属 (分類学)|分類学上の属]]、"''tigris''" が[[種概念|種（種概念）]]であり、[[種 (分類学)|分類学上の種]]である。また、'''[[ネコ科]]''' (''[[w:Family (biology)|familia]]'' [[:en:Felidae|'''Felidae''']]) を類（類概念）と見るなら、[[ネコ属]] ([[:en:Felis|''Genus Felis'']] ) や[[ピューマ属]] ([[:en:Puma (genus)|''Genus Puma'']] )、[[チーター属]] ([[:en:Acinonyx|''Genus Acinonyx'']] ) などと共に、ヒョウ属 (''Genus Panthera'' ) はその一種ということになる。さらには、いっそ大きく'''地球上の全[[生物]]'''を類（類概念）と見る場合は、[[動物]]・[[菌類]]・[[植物]]・[[原生生物]]が属する'''[[真核生物]][[ドメイン (分類学)|ドメイン]]''' (Domain '''Eukaryota''') のほか、[[真正細菌]]ドメイン、[[古細菌]]ドメインがその一種として挙げられる。

== 形式 ==
=== 最近類と種差による定義 ===
最も厳密な定義のためには、「対象を種として含む類」および「対象を他の種から区別する特徴」を述べればよい。前者を'''最近類'''、後者を'''種差'''という。
:例)　トラとは、黄色地に黒縞のある（種差）''Panthera'' （最近類）である。ただし[[分類学|分類学（生物分類学）]]における類種関係は絶対的なものでなく、文脈によっては分類学とは異なる関係を前提とした定義もあり得る。次の[[人類学]]や[[社会学]]に見られるような定義に対して、最近類として[[ヒト属]]を示さないのは誤りだ──という主張は見当違いである。
:例)　[[人間]]とは、理性的な（種差）動物（最近類）である。

=== 種差を明示しない定義 ===
定義において種差が明示されない場合がある。
:例)　人間とは、動物(最近類)の一種である。
種差を明示しないことには、それが不要である（積極的な理由）場合、および、不可能である（消極的な理由）場合がある。後者については、定義する対象の本質である場合と定義を行う者の[[知識]]・[[能力]]の問題である場合がある。

=== 類が極度に広い場合 ===
類が極度に広いと、存在・もの・何かなどの語を使わざるを得ないことになる。
:例)　神とは、万能な（種差）存在（類）である。
しかし最近類を探し当てることができない結果、この表現に至ることも多い。
:例)　椅子とは、人が座る（種差）もの（類）である（×）。
::人が座る（種差）家具（類）である。

== 定義の表現 ==
=== 予備知識 ===
==== 「〜は〜である」という文について ====
:[[椅子]]は[[家具]]である。（椅子は家具の部分集合、椅子⊂家具）
:うちのミーちゃんは[[三毛猫]]である（ミーちゃんは三毛猫の要素、ミーちゃん∈三毛猫）
:[[愛]]は信じることである（愛すなわち信じること、愛=信じること）
:椅子(と)は座るための家具である。（定義）
:ミーちゃんは、我が家で飼っている三毛猫である。（定義）

==== 外延と内包 ====
ある[[概念]]を類と見たとき、その類に含まれる種の全てを[[外延]] ([[w:extension|Extension]])、その種に共通な性質を[[内包]] ([[w:intension|Intension]]) という。種を全て示すことを外延的説明、共通な性質を示すことを内包的説明という。
:例)　集合 A は {1, 3, 5, 7, 9} からなる。（外延的説明）
:例)　集合 A は 10 以下の奇数である。（内包的説明）
これらを定義にも使える。
:例)　A とは、{1, 3, 5, 7, 9} を要素とする集合である。（外延的定義）
:例)　A は、10 以下の奇数からなる集合である。（内包的定義）

=== 表現 ===
==== 定義の表現の多様性 ====
上記の形式に還元できることを条件に、多様な表現が可能である。
:「人間とは、ある種の（一種の）動物である」次のように定義する。次は定義である。
:「[[校則]]とは、学校での行動などについて規定したものである」「行動についての規定である」

== 脚注 ==
{{脚注ヘルプ}}
{{Reflist}}
<!--※記述のあるべき節-->

== 参考文献 ==
{{参照方法|date=2013年1月11日 (金) 14:21 (UTC)}}
* 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
:論文集。プラトン、アリストテレスからカント、ミルまで、有名な哲学者たちの定義にまつわる文章を集めた一冊。

== 関連文献 ==
{{参照方法|date=2013年1月11日 (金) 14:21 (UTC)}}
日本語のオープンアクセス文献
* 千葉 恵 [http://eprints.lib.hokudai.ac.jp/dspace/handle/2115/33977 『アリストテレス「分析論後書」における論証と定義 : アカデメイアにおける探究論の文脈』] 北海道大学文学研究科紀要 '''Vol.101''' pp.1-57 (2000)
* 茂木 和行 [http://ci.nii.ac.jp/naid/40005399652 『アリストテレスの「第三の定義」 : 「二本足の動物」は人間か』] 聖徳大学言語文化研究所論叢 '''Vol.7''' pp.105-141 (2000)
* 工藤 喜作 [http://www.journalarchive.jst.go.jp/japanese/jnlabstract_ja.php?cdjournal=philosophy1952&cdvol=1959&noissue=9&startpage=26 『スピノザの方法における「定義」について』] [[哲学 (学術雑誌)|哲学]] '''Vol.1959''', No.9 (1959) pp.26-34
* 山口 まり子 [http://ci.nii.ac.jp/naid/110007409352 『J.S.ミルの名辞・本質命題・定義について』] 慶應義塾大学 哲學 '''Vol.101''' pp.65-85 (1997)

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

== 外部リンク ==
* {{SEP|definitions|Definitions}}
* [http://www.sfu.ca/philosophy/swartz/definitions.htm Definitions, Dictionaries, and Meanings] - 定義の様々なタイプとそれらについての議論をまとめたページ{{en icon}}
* {{PhilP|definitions|Definitions}}

{{デフォルトソート:ていき}}
[[Category:定義|*]]
[[Category:意味論]]
[[Category:言語哲学]]
[[Category:論理学]]
[[Category:方法論]]
{{Philos-stub}}

{{Link FA|pl}}