4
Deuxième partie : Biographie intellectuelle
Introduction
Mathématicien de formation, Kripke a d’abord beaucoup contribué au développement de
la logique modale avant de s’intéresser à la philosophie. Ce qui est remarquable dans son travail,
c’est que ses thèses philosophiques sont directement issues de ses travaux sur la logique modale.
D’ailleurs, son ouvrage majeur, La logique des noms propres, constitue une application de la
logique modale telle qu’il l’a développé à la philosophie.
Nous nous proposons d’étudier Kripke en trois temps. Une première étape consistera à
revenir sur la logique modale telle qu’il l’a développée et surtout sa démonstration du système de
complétude du système S5 que Kripke n’a pu réaliser qu’après avoir posé sa théorie des mondes
possibles sémantiques.
Dans un deuxième temps, nous nous attarderons sur les conférences qui donnèrent lieu à
l’ouvrage La logique des noms propres. Cette seconde étape nous permettra d’exposer une
application de sa logique modale engendrant un remaniement des concepts philosophiques
important comme ceux de signification, de désignation, d’a priori, d’a posteriori, de nécessaire,
de contingent, et d’essence.
Finalement, en guise de troisième étape, nous examinerons les arguments de l’œuvre la
plus controversée de Kripke, Règles et langage privé où notre auteur nous livre les commentaires
que Investigations philosophiques lui suggèrent. C’est voulu par Kripke : il montre la pensée de
Wigttenstein tel qu’elle l’a impressionné, de façon qu’il devient difficile pour les commentateurs
de départager la contribution de chacun des philosophes. Le sujet de la recherche est
l’interprétation du paradoxe sceptique en conjonction avec l’argument du langage privé.