定義（ていぎ、英: definition）は、一般にコミュニケーションを円滑に行うために、ある言葉の正確な意味や用法について、人々の間で共通認識を抱くために行われる作業である。一般的にそれは「○○とは・・・・・である」という言い換えの形で行われる。
定義とは何か、ということへの関心は、ソクラテスやアリストテレスといった古代ギリシャの哲学者たちの議論の中にすでに見られる。しかしそこから2000年以上を経た現在においても、この議論は未だに継続しており、定義とは何なのか、という問題についてそれほどはっきりした結論は出ていない。
歴史的にこのテーマは主に哲学の領域で、20世紀以降であればとりわけ分析哲学や言語哲学と呼ばれるような領域、そしてまた数学の一分野である記号論理学と呼ばれる分野、を中心に議論が行われてきた。そして20世紀後半からは認知科学といった、より実証的性格の強い分野で、定義についての議論をされることが増えている。
自然科学における定義は通常、自然言語を用いて表わされる。対して、社会科学における定義は、最近類と種差の総体という形式をとることが多い。
目次 |
いくつかの事物を、ある視点でひとくくりにしたとき、それら事物は階層化 (Hierarchy) されたことになる。
このとき上位の階層を類 (Genus)、下位の階層を種 (Species) という。類は種の集まりであり、種は類の構成要素である。
複数の類を構成要素とする上位の類を考えることもできる。このとき下位の類は、上位の類にとっての種である。
たとえばトラは、動物界・脊索動物門・哺乳綱・食肉目・ネコ科・Panthera （ヒョウ属）・tigris （トラ種）という系列の中にあり、学名を Panthera tigris という。ここでは Panthera が類（属）で、tigris が種である。
ネコ科を類と見れば、Felis （ネコ属）や Puma （ピューマ属）とともに、Panthera はその一種ということになる。
もっとも厳密な定義のためには、「対象を種として含む類」および「対象を他の種から区別する特徴」を述べればよい。 前者を最近類、後者を種差という。
ただし生物分類学における類種関係は絶対的なものでなく、文脈によっては生物分類学とは異なる関係を前提とした定義もあり得る。 つぎの人類学や社会学に見られるような定義に対して、最近類としてホモ属を示さないのは誤りだ──という主張は見当違いである。
定義において種差が明示されない場合がある。
種差を明示しないことには、それが不要である（積極的な理由）場合、および不可能である（消極的な理由）場合がある。 後者については、定義する対象の本質である場合と定義を行う者の知識・能力の問題である場合がある。
類が極度に広いと、存在・もの・何かなどの語を使わざるを得ないことになる。
しかし最近類を探し当てることができない結果、この表現に至ることも多い。
ある概念を類と見たとき、その類に含まれる種のすべてを外延(Extension)、その種に共通な性質を内包(Intension)という。種をすべて示すことを外延的説明、共通な性質を示すことを内包的説明という。
これらを定義にも使える。
上記の形式に還元できることを条件に、多様な表現が可能である。
つぎのように定義する。 つぎは定義である。
日本語のオープンアクセス文献