Principe de l'indiscernabilité des identiques

Un article de Wikipédia, l'encyclopédie libre.
Sauter à la navigation Sauter à la recherche
Ne doit pas être confondu avec Principe d'identité des indiscernables.

Le principe de l'indiscernabilité des identiques est un principe qui stipule que si deux entités sont identiques, alors elles possèdent toutes leurs propriétés en commun[1]. 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. Ce principe est également nommé principe des identiques[2]. Sa réciproque est le principe d'identité des indiscernables (ou « principe des indiscernables ») avec lequel il ne doit pas être confondu.

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 de 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 (de l'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[modifier | modifier le code]

Notes et références[modifier | modifier le code]

  1. « 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
  2. Qu'est ce que l'identité, Filipe Drapeau-Contim, p.24
  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.