La thèse des désignateurs rigides et la distinction des modalités ...

livres d’Aristote, connaître le nom « Aristote », voire le référent Aristote, sans pour autant
savoir que ce même Aristote a enseigné à Alexandre.
La thèse que défendra Kripke se rapproche de la thèse de Mill. Ceci dit, chez Kripke il
ne s’agit pas d’une démarche empirique qui consiste à décrire comment, dans l’expérience, se
constitue la signification d’un nom. Kripke va poser des arguments logiques, épistémiques et
linguistiques qui feront que sa thèse, dans sa démarche et ses conséquences, diffère de celle de
Mill. Une objection que l’on peut faire à Mill, pour l’instant, est qu’une telle conception du
nom ne permet pas de déterminer la façon dont on reconnaît le référent d’un nom, elle ne dit
pas comment le nom permet de déterminer une référence lorsqu’il est utilisé. C’est pourquoi il
va bien falloir poser le nom dans une relation à l’objet et à la façon de se référer à l’objet
désigné. C’est ce que fait la théorie descriptiviste.
II- Théories descriptivistes : sens du nom propre et description définie
Kripke appelle « théories descriptivistes » les conceptions de Frege et Russell, lesquels
considèrent que le nom propre est synonyme d’une description définie. Le nom propre
« Aristote » est en fait une abréviation pour la description définie « celui qui a enseigné à
Alexandre », cette dernière ayant pour référent l’individu unique qui possède la propriété
d’avoir enseigné à Alexandre. On va voir en consiste cette théorie et on en profitera pour faire
un bref point sur la traduction formelle des descriptions définies, ce qui sera utile pour la suite.
Une description définie est un désignateur de la forme « le x tel que φx » où x est une
variable pour l’unique individu correspondant à la propriété φ. La propriété φ est la propriété
nécessaire et suffisante que possède le candidat unique afin d’être identifié comme référent de
la description définie. On formalise les descriptions définies au moyen de l’opérateur iota
». La description définie formalisée est un terme, au même titre que les variables ו «
individuelles ou les constantes individuelles. Pour traduire « le x tel que φx » au moyen de
l’opérateur iota, on note « ‏(‏x)(φxו)‏ ». Ainsi, si l’on veut traduire « Celui qui a enseigné à
Alexandre aimait les chiens » on notera (pour Tx : x a enseigné à Alexandre et Ax : x aimait
les chiens) : A(וx)(Tx), qui signifie « exactement un individu a enseigné à Alexandre, et tout
individu possédant cette caractéristique aimait les chiens », c’est une abréviation pour :
(1) ∃ !xTx Λ ∃x (Tx Λ Ax) , ou
(2) ∃y (∀x (Tx ↔ x = y) Λ Ay)
5