Principio di identità degli indiscernibili
Il principio di identità degli indiscernibili (o anche principio degli indiscernibili o principio di indiscernibilità degli identici) è un principio ontologico che afferma che se non c'è modo di distinguere due enti, allora sono in verità un solo e identico ente. Cioè vale a dire che le entità "x" e "y" sono identiche se e solo se ogni predicato valido per "x" è pure valido per "y".
Il principio è conosciuto anche come "Legge di Leibniz", visto che la formulazione meglio conosciuta proviene dal filosofo tedesco Gottfried Wilhelm Leibniz: Eadem sunt, quorum unum potest substitui alteri salva veritate[1]: le cose delle quali l'una può essere sostituita dall'altra mantenendone intatta la verità, sono le stesse.
Questo principio postula l'idea che in natura non esistano due enti differenti solo numero, in quanto, se così fosse, non ci sarebbe una ragione sufficiente tale da giustificarne l'esistenza. Come esempio, Leibniz citava le foglie, di cui non ne esistono di identiche sul medesimo albero.[2] Un altro esempio potrebbe essere quello delle impronte digitali.
Per questo possiamo vedere il principio degli indiscernibili come un corollario del principio di ragion sufficiente che così recita: nihil est sine ratione sufficiente, cur potius sit quam non sit[3] (nulla è senza ragione sufficiente perché sia piuttosto che non sia).
Nel suo trattato Progressione Dyadica[4] pubblicato nel 1679, Leibniz fu il primo pensatore occidentale a enunciare i fondamenti matematici e le principali applicazioni del moderno sistema numerico binario, alla base dell'informatica. L'opera, ignorata dai contemporanei, fu ripresa soltanto nell'Ottocento da George Boole. Leibniz, che fra l'altro era un bibliotecario, entrò in corrispondenza con un gesuita missionario in Cina, padre Joachim Bouvet,[5] e tramite essi venne a conoscere la tavola binaria dello yin e yang diffusa da tremila anni.[6]
Definizione formale[modifica | modifica wikitesto]
Nella logica formale l'identità degli indiscernibili può essere formulata così:
- Mentre l'indiscernibilità degli identici può essere così formulata:
- Da questi due principi deriva la seguente formula:
Si noti che queste sono espressioni della logica di second'ordine, giacché si quantifica su predicati. È impossibile esprimere questo principio nella logica di primo ordine senza ricorrere a uno schema (nello stesso modo in cui, per esempio, nella teoria ingenua degli insiemi al primo ordine si esprime l'assioma di comprensione).[non chiaro]
Note[modifica | modifica wikitesto]
- ^ "Non inelegans specimen demonstrandi in abstractis", § 1 (1687), prima edizione in Leibniz, Opera Philosophica, Pars prior, Berlino 1840, a cura di Johann Eduard Erdmann, p. 94.
- ^ "Non vi sono due individui indiscernibili. Un gentiluomo di spirito e mio amico, parlando con me in presenza di S. A. l'Elettrice, nel giardino di Herrenbausen, credette di potere trovare due foglie interamente simili. Sua Altezza pose in dubbio la cosa ed egli corse a lungo invano a cercarne.", G.W. Leibniz, Carteggio Leibniz-Clarke, Quarto scritto di Leibniz, 29 maggio 1716, n. 4.
- ^ Christian Wolff, Philosophia prima, sive Ontologia (1730), § 70.
- ^ Yves Serra, Leibniz’s De Progressione Dyadica manuscript
- ^ Leibniz-Bouvet Correspondence
- ^ James A. Ryan, "Leibniz' Binary System and Shao Yong's "Yijing", Philosophy East asnd West, vol. 46, 1996, pp. 59-90.
Voci correlate[modifica | modifica wikitesto]
- Funzione (ingegneria)
- Gottfried Leibniz
- Principio di ragion sufficiente
- Principio d'identità
- Ready-made
Collegamenti esterni[modifica | modifica wikitesto]
- (EN) Peter Forrest, The Identity of Indiscernibles, in Edward N. Zalta (a cura di), Stanford Encyclopedia of Philosophy, Center for the Study of Language and Information (CSLI), Università di Stanford.
