同一性法

同一性は古代から哲学において議論されてきたが、論理学の原理として議論されるようになったのはずっと後のことである。^{[ a ]}

ウィリアム・ハミルトンは、いわゆる「思考の法則」の歴史を解説している。同一律について彼はこう述べている。「比較的最近の時代まで、同一律は対位法則として明確に説明されてはいなかった。私が知る限り、このことを最初に論じた著者は、 13世紀末から14世紀初頭にかけて活躍したスコトゥスの学者、アントニウス・アンドレアスである。この学者は、独創的で巧妙な見解に満ちた『アリストテレスの形而上学』第4巻において、同一律を矛盾律と同等の地位にあると断言するだけでなく、アリストテレスに反して、同一律こそが絶対的に第一の原理であると主張している。アンドレアスがそれを表現した定式は『Ens est ens（同一である）』である。この著者以降、同一律と矛盾律の二つの法則の相対的な優先順位に関する問題は、学派において大いに議論されるようになった。ただし、排中律にこの至高の地位を主張する者もいた。」 [ハミルトン講義録 第5巻 論理学 65-66ページより]

ゴットフリート・ヴィルヘルム・ライプニッツは、「万物はそれである」と表現した同一性の法則が、理性の最初の原始的な肯定的な真理であり、矛盾律が最初の否定的な真理であると主張した（『新哲学』第4巻、第2章、第1節）。そして、「あるものがそれであるという命題は、それが別のものではないという命題に先立つ」と論じた（『新哲学』第4巻、第7章、第9節）。ヴィルヘルム・ヴントは、「AはAである」という象徴的な定式化をゴットフリート・ライプニッツに帰している。 ^{[ 4 ]}

ライプニッツの法則として知られる別の法則は、単に同一性を表現するのではなく、同一性を定義します。つまり、2つの物体がすべて同じ性質を持っている場合、それらは実際には1つであり同一であるということです。FxとFyは、x = yの場合に限ります。

ジョン・ロック（『人間知性論』第4巻第7章第4節（「格率について」））は次のように述べています。

[...] 心が注意を払って命題を考察し、用語によって示される2つの観念が同一であるか異なるかを認識すれば、その命題の真偽は即座に、そして確実に判明する。そして、これらの命題がより一般的な観念を表す用語で表現されている場合でも、そうでない場合でも、同様に真偽が判明する。例えば、「存在するものはすべて存在する」という命題のように、存在という一般的な観念がそれ自体で肯定されている場合もあれば、「人は人である」や「白いものはすべて白い」のように、より具体的な観念がそれ自体で肯定されている場合もある。[...]

アフリカン・スピルは、経験的現実の変化する様相に反する、同一性の法則を知識の根本法則として宣言した。^{[ 5 ]}