どういつ‐せい【同一性】
同一性
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/04/26 01:28 UTC 版)
同一性(どういつせい)とは、主に英語の「identity」を翻訳した語であり、多義語である。日本語に即して説明すれば、ひとくちに同一性といっても二種類の意味があり、「Aは何者なのか」という意味での同一性と、「AとBは同じだ」という意味での同一性がある。さらに以下のように細分化して言い換えられる。
- ^ a b 飯田隆「同一性」『岩波 哲学・思想事典』岩波書店、1998年、ISBN 9784000800891
- ^ 英語には「idem」に直接あたる語が無い。一方でドイツ語などにはある。(ラテン語の文法#指示代名詞の格変化 などを参照)
- ^ Russell 1912:72,1997 edition.
- ^ 「(全ての定義はそもそも分割可能ではあるにしても、)2つのものは、それぞれの本質について述べる定義の一方が、もう一方について我々に対し表現する別の定義から分割できないとき、1つのものとして呼ばれる。」-アリストテレス「形而上学」第4書、第4部(c)
- ^ 「しかるに、それぞれの物自体およびその本質は、これまでの議論および、少なくとも一方の事物を知ることはその本質を知ることにほかならないことから、単なる偶然ではなくひとつの同一のものである。よって、両者がひとつのものに違いないということは明らかなのである。」-アリストテレス「形而上学」第7書、第6部
- ^ 「もしある事物の定義がその事物の本質を指し示す表現であり、その事物について述べる際に含まれる(複数の)述語もまたそれぞれがその事物の本質のカテゴリー(アリストテレスは、「範疇論」において、述語の種類を実体・量・質・関係…などの10種類のカテゴリーに分類し、どの個物もひとつの分類に属さねばならないものとした)の中で叙述される唯一のものであるならば、かつそれら(複数の)述語の類似点や相違点が同様にそのような本質のカテゴリーの中で叙述されるならば、その述語がそのカテゴリーにおいて叙述される唯一の属性であると言ってよい場合にその述語を含む叙述表現が必然的にその事物の定義であることは明らかである。なぜならば、本質のカテゴリーにおいてその事物についての他の叙述の仕方は存在しようがないと理解されるため、他のいかなる叙述もその事物についての定義とはなり得ないからである。」-アリストテレス「トピカ」第7書、第1部
- ^ 決定的命題とは、その命題の中に存在するある語が他の語の定義となっているものを指す(例:希望とは未来を喜びに満ちて見通すことである)。
同一性
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/08/21 07:02 UTC 版)
「インテンショナルプログラミング」の記事における「同一性」の解説
インテンショナルプログラミングの中核的概念として同一性がある。多くのプログラミング言語ではソースコードは平坦なテキストであり、オブジェクトは名前で定義/参照され、その同一性はコンパイラが推測するしかない。例えば、ある名前が変数としても、プロシージャ名としても、さらにはデータ型名としても使われることもある。大きなプログラムでは、あるシンボルが実際にはどのオブジェクトを指しているのかを把握するのが非常に困難になる。何かの名前を変更したとき、それに対応してどこを修正しなければならないかは、注意深く調査しなければならない。 対照的に、インテンショナルプログラミングでは、全ての定義には名前が付けられるだけでなく、ユニークな識別子とオブジェクトの対応付けがなされる。従って、変数やプロシージャを参照したとき、名前だけでなくオリジナルの実体に付与された識別子ともリンクされる。 このため、ある実体の名前を変更すると、プログラム内の全ての参照が自動的に更新される。また、別の名前空間で同じ名前を使った場合でも、間違った参照を修正するという作業が不要となる。この機能により、プログラムを各種言語バージョンに移植することも簡単になる。英語の名前群と日本語の名前群を必要に応じて切り換えるなどといったことが簡単にできる。 プログラム内の全ての定義されたオブジェクトにユニークな識別子を付与することで、リファクタリングの自動化や、バージョン管理システムへのコードのチェックインの単純化が容易になる。例えば、共同作業むけのバージョン管理システム(CVSなど)では、2人のプログラマの修正でコンフリクトが生じたとき(例えば、1人がある関数名を変更し、もう1人がその関数の中身を修正した場合)、バージョン管理システムはそれを間違って解釈する可能性がある(1人が新たな関数を定義し、もう1人が古い関数を修正した)。インテンショナルプログラミングでは、同一性が維持されるため、このような誤解が生じない。
※この「同一性」の解説は、「インテンショナルプログラミング」の解説の一部です。
「同一性」を含む「インテンショナルプログラミング」の記事については、「インテンショナルプログラミング」の概要を参照ください。
同一性
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/21 02:06 UTC 版)
2つの集合 A と B は、まったく同じ要素を持っている場合、つまり、A のすべての要素が B の要素であり、B のすべての要素が A の要素である場合に等しいと定義される(外延性の公理を参照)。したがって、集合はその要素によって完全に定まる。たとえば、要素 2, 3, 5 の集合は、6未満のすべての素数の集合と同じである。集合 A と B が等しい場合、これは記号としては普通と同じく A = B と表される。
※この「同一性」の解説は、「素朴集合論」の解説の一部です。
「同一性」を含む「素朴集合論」の記事については、「素朴集合論」の概要を参照ください。
「同一性」の例文・使い方・用例・文例
同一性と同じ種類の言葉
- 同一性のページへのリンク