Zasada identyczności przedmiotów nierozróżnialnych

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, wyszukiwania

Zasada identyczności przedmiotów nierozróżnialnych (łac. principium identitatis indiscernibilium) – teza ontologiczna stwierdzająca, że jeśli dane obiekty, indywidua, zbiory, etc. mają wszystkie własności wspólne, to są one identyczne (stanowią ten sam obiekt, indywiduum, zbiór, etc.). Zasada ta przyczynia się do dowodzenia szeregu twierdzeń o identyczności.

Za twórcę zasady identyczności przedmiotów nierozróżnialnych uważa się filozofa niemieckiego Gottfrieda Wilhelma Leibniza.

Sformułowanie[edytuj | edytuj kod]

Dla każdego x i y, jeżeli x i y mają te same właściwości, wtedy x jest identyczny z y.

\forall x \forall y[\forall P(Px \leftrightarrow Py) \rightarrow x=y]

Dla każdego x i y, jeżeli x nie jest identyczny z y, wtedy istnieje właściwość różniąca x od y.

\forall x \forall y [x \neq y \rightarrow \neg \forall P(Px \leftrightarrow Py)]

Zobacz też[edytuj | edytuj kod]