Identeco de nedistingeblaĵoj

Identeco de nedistingeblaĵoj (latine principium identitas indiscernibilium) estas ontologia principo, laŭ kiu objektoj, aroj ktp estas identaj (fakte samaj) tiam kaj nur tiam, kiam ĉiuj ecoj de ili estas komunaj. Tiu principo estas uzata por pruvi multajn teoremojn pri identeco.

Ĝin verkis la germana filozofo Gottfried Wilhelm Leibniz.

Difino

Por ĉiu x kaj y, se x kaj y havas samajn ecojn, tiam x estas identa kun y.

$\mathrm{\forall }x\mathrm{\forall }y[\mathrm{\forall }P(Px\leftrightarrow Py)\to x=y]$

Por ĉiu x kaj y, se x ne estas identa kun y, tiam ekzistas almenaŭ unu eco per kiu povas distingi x kaj y.

$\mathrm{\forall }x\mathrm{\forall }y[x\ne y\to \mathrm{\neg }\mathrm{\forall }P(Px\leftrightarrow Py)]$

Vidu ankaŭ

• Identeco (filozofio)