定義のソースを表示

{{WikipediaPage|ウィキペディアの編集におけるトピックを定義する方法については[[Wikipedia:定義と記述]]をご覧ください。}}
{{未検証}}
{{Otheruses|定義（ていぎ）|[[宮城県]][[仙台市]]にある西方寺の通称である定義（じょうげ、じょうぎ）|西方寺 (仙台市)}}
'''定義'''（ていぎ、英：definition）とは、一般にコミュニケーションを円滑に行うために、ある言葉の正確な意味や用法について、人々の間で共通[[認識]]を抱くために行われる作業である。一般的にそれは「○○とは・・・・・である」という言い換えの形で行われる。

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

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

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

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

== 定義の形式 ==

=== 予備知識 ===

==== 類と種 ====
いくつかの事物を、ある視点でひとくくりにしたとき、それら事物は階層化 ([[w:Hierarchy|Hierarchy]]) されたことになる。

このとき上位の階層を[[類概念|類]] ([[w:Genus|Genus]])、下位の階層を[[種概念|種]] ([[w:Species|Species]]) という。類は種の集まりであり、種は類の構成要素である。

複数の類を構成要素とする上位の類を考えることもできる。このとき下位の類は、上位の類にとっての種である。

==== 生物分類および学名 ====
たとえば[[トラ]]は、[[動物界]]・[[脊索動物門]]・[[哺乳綱]]・[[食肉目]]・[[ネコ科]]・'''Panthera''' （ヒョウ属）・'''tigris''' （トラ種）という系列の中にあり、[[学名]]を '''Panthera tigris''' という。ここでは '''Panthera''' が類（属）で、'''tigris''' が種である。

ネコ科を類と見れば、'''Felis''' （ネコ属）や '''Puma''' （ピューマ属）とともに、'''Panthera''' はその一種ということになる。

=== 形式 ===

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

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

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

== 定義の表現 ==

=== 予備知識 ===

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

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

=== 表現 ===

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

==== 物理量の数式による定義 ====

==== 定義風であっても定義ではない場合 ====

==== 外延による補助 ====

== 定義の定義 ==

=== 定義される対象 ===

==== 具体物を定義 ====

==== 抽象概念を定義 ====

=== 定義の定義 ===

=== 名前を定義すること ===

== 関連項目 ==
*[[意味]]
*[[外延]] - [[内包]]
*[[類]] - [[種差]]
*[[属性]] - [[本質]] - [[偶有性]]
*[[定理]]
*[[原理]]

== 参考文献 ==
* 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
:論文集。プラトン、アリストテレスからカント、ミルまで、有名な哲学者たちの定義にまつわる文章を集めた一冊。

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

{{Philos-stub}}

{{DEFAULTSORT:ていき}}
{{Link FA pl}}

{{Link FA|pl}}

[[Category:定義|*]]
[[Category:意味論]]
[[Category:言語哲学]]
[[Category:論理学]]
[[Category:方法論]]

{{Wikipedia/Ja}}