
 
 
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é.