Saul Kripke

Saul Aaron Kripke (né le à Omaha dans le Nebraska) est un philosophe et logicien américain, professeur émérite de l'université de Princeton, et professeur de philosophie à l’université de la ville de New York.

Pour les articles homonymes, voir Kripke.

Il est le fils du rabbin et auteur Myer S. Kripke et de la femme de lettres Dorothy K. Kripke.

Il a eu une grande influence dans de nombreux domaines, depuis la logique jusqu’à la philosophie du langage. La sémantique de Kripke, utilisée en logique modale et pour la sémantique des mondes possibles, est nommée d'après lui. Une grande partie de ses travaux ne sont pas publiés, ou n'existent que sous la forme d'enregistrements et de manuscrits circulant de manière restreinte. Il est considéré, au début du XXIe siècle, comme l'un des philosophes vivants les plus importants.

Œuvre

Kripke est surtout connu pour quatre contributions en philosophie :

Logique modale

Deux des premiers articles de Kripke (A Completeness Theorem in Modal Logic, 1959, et Semantical Considerations on Modal Logic, 1963) furent des apports fondamentaux à la logique modale. Les systèmes de logiques les plus habituels sont ceux qui dépendent de l'axiome K, nommé d'après Kripke.

Kripke permit la démonstration de la complétude de la logique modale en donnant une sémantique. Son étudiant Henrik Sahlqvist montra la correspondance entre certains systèmes d'axiomes de la logique modale (ceux reposant sur les formules de Sahlqvist) et des propriétés de relation d'accessibilité entre les mondes possibles[1].

Naming and Necessity
Cette section ne cite pas suffisamment ses sources (novembre 2013). 
Pour l'améliorer, ajoutez des références vérifiables [comment faire ?] ou le modèle {{Référence nécessaire}} sur les passages nécessitant une source.

Ces trois conférences sont une attaque contre la théorie descriptive de la référence concernant les noms propres (Russell, Frege). Selon cette théorie, un nom propre réfère à un objet dans la mesure où le nom propre présente un contenu descriptif qui correspond à l'objet. Kripke donne plusieurs exemples pour montrer la fausseté de cette thèse : Aristote aurait pu mourir à deux ans, et ainsi ne pas satisfaire aux descriptions que nous associons généralement à son nom, alors que, quoi qu'il en soit, il est toujours identique à lui-même. Autrement dit, l'objet associé à une description définie peut changer.

Kripke propose alors une théorie causale de la référence, d'après laquelle un nom réfère à un objet par une connexion causale avec l'objet. Les noms sont alors des désignateurs rigides : ils réfèrent à l'objet nommé dans tous les mondes possibles, c'est-à-dire dans toutes les situations contrefactuelles imaginables, où cet objet existe. Cette référence est donc nécessaire, dans la mesure où la relation d'identité l'est aussi.

Cette théorie distingue être nécessaire et être connu a priori. Une vérité peut donc être a posteriori et nécessaire ou a priori et contingente :

  • une convention peut être a priori et contingente, comme la décision de référence à un mètre étalon ;
  • les propositions des sciences de la nature sont connues a posteriori, mais si elles sont vraies, elles le sont nécessairement, i.e. elles énoncent comment les choses sont ce qu'elles sont.

Cette théorie a par la suite été développée ou critiquée par Hilary Putnam, Keith Donnellan, Gareth Evans, et d'autres.

Les noms propres

En ce qui concerne les noms propres, Kripke va démonter les thèses de Russell et de Searle. Pour Russell un même individu peut être désigné par une seule description singulière, définie. Searle améliore cette définition en ajoutant que le nom propre peut être aussi désigné par un réseau de descriptions qui forment un ensemble bien défini. Variation de point de vue, mais nous arrivons au même résultat. Kripke va mettre sa pensée au service de la philosophie pour proposer une tout autre vision du sens des noms propres.

Pour Kripke, donc, un nom propre désigne une même personne dans tous les mondes possibles et imaginables. Les descriptions faites sur un individu ne servent pas à définir et à identifier la personne en question. Napoléon reste Napoléon quelle que soit son histoire. Qu'il ait été battu à Austerlitz ou qu'il soit victorieux à Waterloo, il reste Napoléon. Il en va de même avec Jésus[2]. Tous les miracles qu'il a effectués dans les Évangiles ne correspondent pas à sa vie « historique ». Il est fort probable qu'il ait eu des enfants et qu'il ait été marié. Cette différence ne change pas l'homme. Jésus reste Jésus. Le nom propre permet de faire référence à un individu x qui aurait fait telle ou telle chose, qui soit bon ou mauvais pour telle ou telle personne, mais qui reste finalement cette personne x. Ce qui est le plus important finalement, pense Kripke, ce n'est pas ce que nous savons et pensons de la personne, mais c'est le nom propre en lui-même qui est important.

Wittgenstein

Dans Règles et langage privé[3], Kripke a proposé une interprétation novatrice de ce qu'on appelle l'« argument du langage privé » de Wittgenstein, à savoir les paragraphes 143-246 des Recherches philosophiques (1953). L'ouvrage de Kripke a été très controversé, à la fois en tant qu'interprétation de Wittgenstein, et pour la position qui y est défendue. Kripke lui-même reste réservé dans l'ouvrage sur la question de savoir si l'argument qu'il attribue à Wittgenstein est bien celui de Wittgenstein, et considère que l'argument est intéressant en lui-même. Le Wittgenstein de Kripke, réel ou fictif, est devenu par la suite l'objet de discussions indépendantes de la discussion de Wittgenstein lui-même[4]. Le surnom de « Kripkenstein » a été forgé pour le désigner.

La théorie de la vérité

Dans son article de 1975, « Outline of a Theory of Truth » (Journal of Philosophy 72, p. 690-716), Kripke a montré qu'un langage peut en fait contenir sans contradiction le prédicat de vérité dans ce langage, ce qui est impossible dans la sémantique classique d'Alfred Tarski.

La vérité est en effet ici une propriété définie sur l'ensemble des énoncés grammaticalement bien formés dans le langage. On peut partir de l'ensemble des expressions qui ne contiennent pas le prédicat de vérité et on le définit ensuite sur ce segment : cela ajoute de nouveaux énoncés au langage et la vérité est ensuite définie récursivement sur ce nouvel ensemble. Contrairement à la théorie de Tarski, celle de Kripke permet à la « vérité » d'être l'union de toutes les étapes de la définition. Après une infinité dénombrable d'étapes, le langage atteint un point fixe et la méthode de Kripke n'étend plus le langage. Un tel point fixe peut ensuite être pris comme la forme de base d'un langage naturel qui contient son propre prédicat de vérité.

Mais ce prédicat demeure non défini pour les énoncés qui ne peuvent pas se résoudre en des énoncés plus simples ne contenant pas le prédicat de vérité.

Ainsi « 'La neige est blanche' est vrai » est bien défini, de même que « '« La neige est blanche » est vrai' est vrai », et ainsi de suite, mais « Cet énoncé est vrai » ou « Cet énoncé n'est pas vrai » n'ont pas de conditions de vérité. Ils sont selon Kripke, « non-fondés » (ungrounded : dénués de fondement).

Notes et références
  1. Théorème de complétude forte de Sahlqvist, voir Patrick Blackburn, Maarten de Rijke et Yde Venema, Modal Logic, Cambridge University Press, [détail de l’édition], chap. 4 Completeness, théorème 4.42, p. 210.
  2. Quelle source?
  3. Kripke, Wittgenstein on Rules and Private Language, Blackwell, Oxford, 1982, trad. fr. de Thierry Marchaisse, Règles et langage privé, Seuil, 1996.
  4. Stewart Cadish, « Private Language », Stanford Encyclopedia of Philosophy, 2003.

Œuvres
  • Naming and Necessity, Harvard University Press, 1980 - parution initiale 1972; trad. fr. de P. Jacob et F. Récanati, La logique des noms propres, Paris, Les éditions de Minuit, coll. « Propositions », 1982.
  • Wittgenstein on Rules and Private Language: an Elementary Exposition, Harvard University Press, Cambridge, Mass., 1982; trad. fr. de Thierry Marchaisse, Règles et langage privé. Introduction au paradoxe de Wittgenstein, Paris, Seuil, 1995.
  • Collected Papers, Vol. I, Oxford University Press, 2011.

Littérature secondaire
  • Filipe Drapeau Contim et Pascal Ludwig, Kripke, référence et modalités, Paris, PUF, 2005.
  • Pascal Engel, Identité et référence. La théorie des noms propres chez Frege et Kripke, Paris, Presses de l’École normale supérieure, 1985 (ISBN 2-7288-0115-0).

Annexes

Articles connexes

Liens externes
  • Portail de la logique
  • Portail de la philosophie
  • Portail de la philosophie analytique
  • Portail des États-Unis
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.