Principe d'indiscernabilité des identiques

Le principe d'indiscernabilité des identiques (ou principe des identiques[1]) est un principe qui stipule que si deux entités sont identiques, alors elles possèdent toutes leurs propriétés en commun[2]. S'il est vrai que x est identique à y, alors x et y possèdent exactement les mêmes propriétés. Tout ce qu'on peut prédiquer de l'un peut être prédiqué de l'autre. Sa réciproque est le principe d'identité des indiscernables (ou « principe des indiscernables ») avec lequel il ne doit pas être confondu.

Ne doit pas être confondu avec Principe d'identité des indiscernables.

Le principe d'indiscernabilité des identiques peut être considéré comme trivial ou évident[3]. Il affirme que l'indiscernabilité est une condition nécessaire à l'identité. Il décrit ce que signifie être identique. En ce sens il ne souffre aucun contre exemple sérieux. Ce principe est toutefois rejeté par certains penseurs tels que Peter Geach.

Symboliquement, ce principe (d'indiscernabilité) des identiques s'exprime : (x)(y) [(x = y) → (P)(Px ↔ Py)][4]. Ce qu'on peut[5] lire en langage naturel : « Pour tout x, pour tout y, si x est identique à y, alors pour tout P, Px est équivalent à Py ».

Articles connexes

Notes et références
  1. Qu'est ce que l'identité, Filipe Drapeau-Contim, p.24
  2. « Indiscernabilité des identiques », L'identité, Stéphane Ferret, GF Corpus, p. 214 ; « Principe de l'indiscernabilité des identiques », Vocabulaire technique et analytique de l'épistémologie, Robert Nadeau, PUF, p. 521
  3. « Indiscernabilité des identiques », L'identité, Stéphane Ferret, GF Corpus, p. 214 ; Qu'est ce que l'identité, Filipe Drapeau-Contim, p. 24
  4. Drapeau-Contim p.24 ; Ferret, p.214 ; Nadeau, p.521
  5. Identité représentée, ici, par la relation d'égalité, ce qui est fréquent mais ne va pas forcément de soi.
  • Portail de la philosophie
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.