Saul Kripke

Le Saul Aaron Kripke (soutenu dans le 13 novembre , 1940 dans le rivage de compartiment de , New York ) est un philosophe américain du et le du logicien maintenant honoraire de Princeton et enseigne car professeur distingué de philosophie au centre gradué du CUNY. Il a été immensément influent dans un certain nombre de domaines liés à la logique et à la philosophie de de la langue . Beaucoup de son travail reste non publié ou existe seulement comme enregistrements sur bande et manuscrits en privé distribués. Kripke était le destinataire du prix 2001 de Schock en logique et philosophie.

Biographie

Saul Kripke est le plus vieux de trois enfants soutenus à Dorothy et à Rabbin Myer Kripke. Son père était le chef de la synagogue d'EL de Beth, le seul rassemblement conservateur dans le Omaha , Nébraska . Sa mère a écrit les livres d'enfants éducatifs juifs. Saul et ses deux soeurs, Madeline et Netta, école fréquentée de catégorie de Dundee de à Omaha et lycée central d'Omaha de . Il a écrit son premier essai à l'âge de seize sur la sémantique des logiques modales censément, il a été invité à venir travail à l'Université de Princeton basée sur cet essai. Il a répondu : « Je suis honoré par votre proposition, mais ma maman dit que je dois finir le lycée d'abord. » Après la graduation du lycée en 1958, Kripke a assisté à l'Université de Harvard , gagnant une licence dans les mathématiques . Pendant son année de l'étudiant en deuxième année à Harvard, Kripke a enseigné un cours de logique de recevoir un diplôme-niveau au MIT voisin . Pendant quelques années il a enseigné à Harvard, déplacé à l'université de Rockefeller de dans le New York City en 1967, puis à l'Université de Princeton à plein temps en 1977. En Kripke 2002 l'enseignement commencé au centre gradué du CUNY dans le Midtown Manhattan, et a été nommé un professeur distingué de philosophie là en 2003. Kripke a marié (et a plus tard divorcé) le Margaret Gilbert de philosophe. Ils n'ont aucun enfant. Il est un juif religieux .

Travail

Kripke est le plus connu pour quatre contributions à la philosophie : sémantique de Kripke pour les logiques modales et relatives , éditée dans plusieurs essais commençant tandis qu'il était toujours dans ses années de l'adolescence.

Sa nomination et nécessité (édité en 1972 et 1980), celui du 1970 de de conférences de Princeton ont restructuré de manière significative la philosophie de de la langue et, comme certains l'ont mise, du " ; métaphysique faite again" respectable ;.

Son interprétation de la philosophie du Wittgenstein .

Sa théorie de la vérité .

Logique modale

Deux des premiers travaux de Kripke (" ; Un théorème de perfection dans Logic" modal ; - écrit tandis qu'il était toujours un adolescent - et " ; Considérations sémantiques sur Logic" modal ;) étaient au sujet de la logique modale . Les logiques les plus familières dans le famille modal sont construites d'une logique faible appelée le K, baptisé du nom de Kripke pour ses contributions à la logique modale.

Dans le " ; Considérations sémantiques sur Logic" modal ; , édité dans le 1963 , Kripke a répondu à une difficulté avec la théorie de quantification classique . La motivation pour l'approche monde-relative était de représenter la possibilité que les objets en un monde peuvent pour exister dans des autres. Si des règles standard de quantifier sont employées, cependant, chaque limite doit se rapporter à quelque chose qui existe dans tous les mondes possibles. Ceci semble incompatible avec notre pratique ordinaire d'employer des termes pour se rapporter aux choses qui existent éventuellement.

La réponse de Kripke à cette difficulté était d'éliminer des limites. Il a donné un exemple d'un système qui emploie l'interprétation monde-relative et préserve les règles classiques. Cependant, les coûts sont graves. D'abord, sa langue est artificiellement appauvrie, et deuxième, les règles pour la logique modale propositionnelle doivent être affaiblies.

Nomination et nécessité

Trois conférences de Kripke constituent une attaque sur la théorie de descriptiviste ( Fregean , Russellian ) de référence en ce qui concerne les noms propres , selon lesquels un nom se rapporte à un objet en vertu du nom étant associé à une description que l'objet satisfait alternativement. Il a donné plusieurs exemples prétendant rendre le descriptivism invraisemblable (par exemple, sûrement le Aristote pourrait être mort à l'âge deux et aux descriptions l'unes des ainsi non satisfaites que nous associons à son nom, mais il semblerait erroné de nier qu'il était Aristote). Comme alternative, Kripke adumbrated une théorie causale de de la référence , selon laquelle un nom se rapporte à un objet en vertu d'un raccordement causal avec l'objet comme négocié par les communautés des haut-parleurs. De cette façon, un nom est un indicateur rigide de : il se rapporte à l'objet appelé en chaque monde possible en lequel l'objet existe. Des théories causales de référence ont été également élaborées et développées par le Michael Devitt , le Keith Donnellan , le David Kaplan , le Hilary Putnam , les saumons de Nathan de , le Scott Soames , le Gareth Evans , et d'autres, et sont peut-être plus très répandues que des théories de descriptiviste maintenant. Les résistants notables incluent le John Searle , le Richard Rorty , et l'église d'Alonzo de ; également le notable est le fait que le Hilary Putnam a tiré en arrière d'un compte complètement causal.

Kripke également a soulevé la perspective du '' a posteriori '' &mdash des nécessités de ; faits qui sont nécessairement vrais, bien qu'elles puissent être connues seulement par la recherche empirique. Les exemples incluent le « Hesperus est le phosphore », le « Cicero est Tully », la « eau est H₂O » et d'autres réclamations d'identité où deux noms se rapportent au même objet.

En conclusion, Kripke a donné un argument contre le matérialisme d'identité de en philosophie de de l'esprit , la vue que chaque fait mental est identique à un certain fait physique (le voient l'entretien ). Kripke a argué du fait que la seule manière de défendre cette identité est comme identité nécessaire du a posteriori , mais qu'un tel identity&mdash ; par exemple, la douleur est firing&mdash des C-fibres ; ne pourrait pas être nécessaire, donné la possibilité de douleur qui n'a rien à faire avec la mise à feu de C-fibres. On a proposé des arguments semblables par le David Chalmers .

Kripke a fourni les conférences de John Locke de en philosophie au Oxford dans le 1973 . La référence et l'existence intitulées de , elles sont à bien des égards une suite de appelant et la nécessité , et traitent les sujets des noms fictifs et de l'erreur perceptuelle. Elles n'ont été jamais éditées et la transcription est officiellement disponible seulement dans une copie de lecture dans la bibliothèque de philosophie d'université, qui ne peut pas être copiée ou citée sans permission de Kripke. En fait beaucoup de copies sont officieusement distribuées parmi des philosophes. Il est ainsi difficile tracer son influence, bien que considérable. Cependant, elle a été intensivement mentionnée par quelques philosophes, en particulier Gareth Evans et saumons de Nathan de .

Accusations de plagiat

Dans des 1995 papier, le Quentin Smith de philosophe a argué du fait que les concepts principaux dans théorie du de Kripke la nouvelle de la référence avaient provenu du travail du Ruth Barcan Marcus davantage qu'une décennie plus tôt. Smith a identifié six idées significatives à la nouvelle théorie qu'il a réclamé que Marcus s'était développé :

l'idée que les noms propres sont des références directes, qui ne se composent pas a contenu des définitions.
Tandis qu'on peut choisir une chose simple par une description, cette description n'est pas équivalente avec un nom propre de cette chose.
L'argument modal que les noms propres sont directement référentiels, et descriptions non déguisées.
Une preuve formelle de logique modale de la nécessité de l'identité.
Le concept d'un indicateur rigide , bien que le nom réel du concept ait été inventé par Kripke.
L'idée de l'identité a posteriori.

Smith a procédé discuter ce Kripke pour comprendre la théorie de Marcus alors, pourtant plus tard a adopté plusieurs de ses thèmes conceptuels principaux dans sa nouvelle théorie de référence.

Plusieurs disciples ont plus tard offert des réponses détaillées prouvant qu'aucun plagiat ne s'est produit.

Wittgenstein

Kripke a également contribué à l'étude du postérieur Wittgenstein dans les conférences éditées comme Wittgenstein sur les règles et la langue privée , bien que son travail ici ait été censuré pour représenter mal le Wittgenstein historique. En effet, beaucoup de philosophes se réfèrent au sujet du livre de Kripke comme " ; Kripkenstein , " ; parce que l'argument qu'il présente n'aurait pas été approuvé par Wittgenstein. (Pour les lectures alternatives de Wittgenstein, voir le Wittgenstein de s de McGinn Colin le 'sur la signification .) La vraie signification du " ; Kripkenstein" ; était proposer un rapport clair d'un nouveau genre de scepticisme, " doublé ; scepticism" de signification ; , qui est l'idée qui pour un individu d'isolement là n'est aucun fait dans la vertu dont un mot a sa signification. Le " de Kripke ; solution" sceptique ; à la signification le scepticisme est de rectifier la signification dans le comportement d'une communauté. Le livre de Kripke a produit d'une grande littérature secondaire, divisée entre ceux qui trouvent son problème sceptique intéressant et clairvoyant, et d'autres (tel que Baker de Gordon de et intrus de Peter de ) qui arguent du fait que son scepticisme de signification est un pseudo-problème qui provient d'une lecture confuse et sélective de Wittgenstein.

Vérité

Dans son " 1975 d'article ; Contour d'une théorie de Truth" ; , Kripke a prouvé qu'une langue peut uniformément contenir son propre attribut de la vérité , qui a été considéré impossible par le Alfred Tarski , un pionnier dans le secteur des théories formelles de vérité. Le tour implique de laisser la vérité soit une propriété partiellement définie au-dessus de l'ensemble de phrases grammaticalement bien formées dans la langue. Kripke a montré comment faire ceci périodiquement près à partir de l'ensemble d'expressions dans une langue ce qui ne contiennent pas l'attribut de vérité, définissant un attribut de vérité au-dessus juste de ce segment : ceci ajoute de nouvelles phrases à la langue, et la vérité alternativement est définie pour tous. À la différence de l'approche de Tarski, cependant, Kripke laisse le " ; truth" ; être l'union de toutes ces définition-étapes ; après un infini denumerable des étapes la langue atteint un " ; point" fixe ; tels que l'utilisation de la méthode de Kripke pour augmenter le vérité-attribut fait le changement du pas la langue pas plus. Un point si fixe peut alors être pris comme forme de base d'un de langage naturel contenant son propre attribut de vérité. Mais cet attribut est non défini pour toutes les phrases qui ne font pas, comme on dit, " ; out" inférieur ; dans des phrases plus simples ne contenant pas un attribut de vérité. C'est-à-dire, " ; La « neige est blanche » est true" ; est bien défini, de même que " ; « " ; La neige est white" ; est vrai » est vrai, " ; et ainsi de suite, mais ni l'un ni l'autre " ; Cette phrase est true" ; ni " ; Cette phrase n'est pas true" ; recevoir les vérité-conditions ; elles sont, en termes de Kripke, " ; ungrounded." ;

Signification de " ; I" ;

Dans le défunt janvier 2006, Kripke a participé à une conférence célébrant son soixante-cinquième anniversaire et travail au centre gradué de l'université de ville de New York, et a fourni un entretien de 70 minutes sur le " ; Le premier Person" ; , discutant la signification et la référence du " de pronom ; I" ;. ( New York Times , 28 janvier 2006). Voir les liens externes.

Publications notables par Kripke

1959. " ; Un théorème de perfection dans Logic" modal ; , journal de de la logique symbolique 24 (1) : 1-14. " ; L'Undecidability de la quantification modale univalente Theory" ; , 8:113 de Mathematik de der de Grundlagen d'und de Mathematische Logik de für de Zeitschrift de - 116
1963. " ; Considérations sémantiques dans Logic" modal ; , 16:83 de Philosophica Fennica d'acta de - 94
1963. " ; Analyse sémantique de la logique modale I : Calculi" propositionnel modal normal ; , 9:67 de Mathematik de der de Grundlagen d'und de Mathematische Logik de für de Zeitschrift de - 96
1965. " ; Analyse sémantique de la logique intuitionniste I" ; , Dans les systèmes formels et les fonctions récurrentes de , édités par M. Amsterdam : La Nord-Hollande éditant la Cie. " ; Analyse sémantique de la logique modale II : Calculi" propositionnel modal Non-Normal ; , Dans le la théorie des modèles , éditée par J. Amsterdam : La Nord-Hollande éditant la Cie. " ; Identité et Necessity" ; , Dans l'identité et l'Individuation de , édités par M. New York : Presse d'université de New York. " ; Nomination et Necessity" ; , Dans la sémantique de de de langage naturel, éditée par D. Dordrecht ; Boston : Reidel. Visent la théorie causale de de la référence . " ; Contour d'une théorie de Truth" ; , journal de du 72:690 de la philosophie - 716. Place sa théorie de vérité (contre Alfred Tarski), où un de langage objet peut contenir son propre attribut de vérité. " ; La référence et le Reference" sémantique de l'orateur ; , le Midwest étudie dans le 2:255 de la philosophie - 276
1979. " ; Un puzzle au sujet de Belief" ; , Dans la signification et l'utilisation de , éditées par A. Dordrecht et Boston : Reidel. Nomination et nécessité de . Cambridge, Massachusetts : Presse d'Université de Harvard. ISBN 0-674-59845-8 et réimpressions 1972. Wittgenstein sur des règles et la langue privée : une exposition élémentaire . Cambridge, Massachusetts : Presse d'Université de Harvard. Visent son interprétation de Kripkenstein d'aka de Wittgenstein . " ; La notion de Russell de Scope" ; , 114:1005 de l'esprit de - 1037

Littérature au sujet de Kripke

Arif Ahmed (2007), Saul Kripke . New York, NY ; Londres : Continuum. Fitch (2005), Saul Kripke .
Christopher Hughes (2004), Kripke : Noms, nécessité, et identité .
Consuelo Preti (2002), sur Kripke . ISBN 0534583660
Scott Soames (2002), au delà de rigidité : L'ordre du jour sémantique non fini de la nomination et de la nécessité .

Random links: