Saul Kripke

Saul Kripke
Saul Kripke en 2005.
Información personal
Nombre de nacimiento	Saul Aaron Kripke Karp
Nacimiento	13 de noviembre de 1940 Bay Shore(Estados Unidos)
Fallecimiento	15 de septiembre de 2022(81 años) Nueva York(Estados Unidos)
Causa de muerte	Cáncer de páncreas
Nacionalidad	estadounidense
Religión	Judaísmo
Familia
Padres	Dorothy Karp Mereminsky Myer Kripke
Cónyuge	Margaret Gilbert(hasta 1990)
Educación
Educado en	Omaha Central High School Universidad Harvard(GradoenMatemáticas;hasta 1962)
Supervisor doctoral	Willard Van Orman Quine
Información profesional
Ocupación	filósofo,lógico,profesor, escritor, metafísico
Empleador	Universidad de Princeton Universidad de la Ciudad de Nueva York Universidad Rockefeller CUNY Graduate Center
Obras notables	El nombrar y la necesidad
Miembro de	Academia Noruega de Ciencias y Letras Academia Europea de Ciencias y Artes Academia Estadounidense de las Artes y las Ciencias
Sitio web	Saul Kripke
Distinciones	Premio Schocken 2001

Saul Aaron Kripke(Bay Shore,Nueva York,13 de noviembre de 1940-15 de septiembre de 2022) fue unprofesor,filósofoylógicoestadounidense​

Kripke realizó importantes y originales contribuciones en diversos campos relacionados con lalógica,lametafísicay lafilosofía del lenguaje.Su trabajo, una referencia obligada en las áreas mencionadas, ha dejado una impronta profunda en lafilosofía analíticacontemporánea. Gran parte de sus escritos no han sido publicados, y existen solo como grabaciones y manuscritos que circulan en medios privados. En 2001 la Academia Real Sueca le otorgó elPremio Schocken las áreas de lógica y filosofía; dicho premio se considera análogo al premio Nobel. Una reciente encuesta considera a Kripke uno de los más importantes filósofos, al ubicarse entre los diez más importantes de los últimos doscientos años.​

Biografía

Saul Kripke en la Universidad de Bolonia en 2005

Saul Kripke fue el mayor de los tres hijos de Dorothy Karp Mereminsky y el rabino Myer Kripke. Nació el 13 de noviembre de 1940 enBay Shore(Nueva York) pero su familia se trasladó aOmaha(Nebraska), donde pasó la mayor parte de su infancia.​ Su padre fue el líder de la sinagoga Beth El, la única congregación conservadora en Omaha. Su madre escribió libros para la educación de niños judíos.

Saul y sus dos hermanas, Madeline y Netta, estudiaron en laDundee Grade Schooly en laOmaha Central High School.Escribió su primer ensayo a los 16 años, sobre la semántica para las lógicas modales. Se dice que fue invitado a trabajar en la Universidad Princeton por ese ensayo, a lo que contestó: «Me siento honrado por su propuesta, pero mi mamá dice que primero debo terminar la preparatoria»; sin embargo, en numerosas ocasiones Kripke ha declarado que la historia es completamente falsa.

Después de graduarse de la preparatoria en 1958, Kripke estudió en laUniversidad de Harvard,obteniendo un gradobacheloren matemáticas y graduándose «summa cum laude». Durante su segundo año en Harvard, Kripke enseñó un curso de lógica para graduados en elMIT.Por algunos años enseñó en Harvard, luego se movió a laUniversidad RockefellerenNueva Yorken 1967, aCornellen 1977 y, finalmente, profesor en laUniversidad de Princeton.En 2002, Kripke comenzó a enseñar en el Centro de Graduados de laUniversidad de la Ciudad de Nueva York,en el centro de Manhattan, y fue reconocido como profesor distinguido de filosofía de la última en 2003 y como profesor emérito dePrinceton.​

Estuvo casado con la filósofa inglesaMargaret Gilbert,de quien se divorció a fines de la década de los 90.

Las siguientes universidades le otorgaron el título de doctorhonoris causa:Universidad de Nebraska-Omaha(1977),Universidad Johns Hopkins(1997),Universidad de Haifa,Israel (1998), y laUniversidad de Pensilvania(2005). Kripke es miembro de laSociedad Filosófica Estadounidense,laAcademia Estadounidense de las Artes y las Ciencias,laAcademia Británicay laAcademia Europea de Ciencias y Artes.

Trabajo

Kripke es mayormente conocido por cuatro contribuciones a la filosofía:

1. Su interpretación de la filosofía deLudwig Wittgenstein.
2. Su teoría de laverdad.
3. Semántica para lalógica modal(y otras relacionadas), llamadassemánticas Kripke,publicada en varios ensayos que había comenzado cuando aún era adolescente.
4. Sus conferencias de 1970 (publicadas en 1972 y 1980) en Princeton, llamadasEl nombrar y la necesidad(Naming and Necessity), que revolucionaron drásticamente la filosofía del lenguaje, y, como algunos lo han dicho, "hicieron a la metafísica respetable de nuevo".

Ejemplo del modelo de Kripke para lalógica temporal lineal,una lógica modal particular

Lógica modal

Dos de los trabajos más tempranos de Kripke, -«A Completeness Theorem in Modal Logic» y «Semantical Considerations on Modal Logic»- (Un teorema de completitud en lógica modal;Consideraciones semánticas sobre la lógica modal) fueron muy influyentes en lalógica modal.Las lógicas más comunes en la familia de la lógica modal están construidas desde una lógica débil, llamadaKen honor a las contribuciones de Kripke a la lógica modal.

En «Semantical Considerations on Modal Logic», publicado en 1963, Kripke respondió a un problema de lateoría cuantificacionalclásica: la motivación del enfoque que usa mundos posibles era reflejar la posibilidad de que los objetos en un mundo podrían no existir en otro. Si las reglas estándar de cuantificación son usadas, cada término debe referirse a algo que existe en todos losmundos posibles.Esto parece incompatible con nuestra práctica ordinaria, donde usamos términos para referirnos a cosas que existen sólo contingentemente.

La respuesta de Kripke a este problema fue eliminar términos. Dio un ejemplo de un sistema que usa la interpretación con mundos posibles y preserva las reglas clásicas. Los costos eran severos. Primero, su lenguaje es artificialmente empobrecido, y segundo, las reglas para la lógica modalproposicionaldeben ser debilitadas.

Portada deNaming and Necessity

El nombrar y la necesidad

Las tres conferencias de Kripke constituyen un ataque a la teoría descriptivista de la referencia respecto a losnombres propios(sostenida porGottlob FregeyBertrand Russell), de acuerdo a la cual un nombre se refiere a un objeto en virtud de estar asociado con una descripción que el objeto satisface. Dio varios ejemplos proponiendo al descriptivismo como implausible (por ejemplo, seguramenteAristótelespudo haber muerto a los dos años y entonces no haber satisfecho ninguna de las descripciones que asociamos con su nombre, pero parecería incorrecto negar que él era Aristóteles). Como alternativa, Kripke dio unateoría causal de la referencia,de acuerdo a la cual un nombre se refiere a un objeto en virtud de una conexión causal con el objeto, como mediado entre una comunidad de hablantes. De esta manera, un nombre es undesignador rígido:se refiere al objeto nombrado en todomundo posibleen que el objeto exista. Teorías causales de la referencia han sido elaboradas y desarrolladas porKeith Donnellan,Gareth Evans,David Kaplan,Hilary Putnam,Nathan Salmon,y otros, y son ahora probablemente más aceptadas que las teorías descriptivistas. Algunas resistencias notables sonAlonzo ChurchyJohn Searle.

Kripke también ha levantado la perspectiva de necesidadesa posteriori:hechos que serían necesariamente verdaderos, aunque sólo podrían ser conocidos por investigación empírica. Un par de ejemplos ya famosos son: "Héspero es Fósforo" y "Cicerón es Tulio"; y otras identidades donde dos nombres distintos se refieren al mismo objeto. Es controversial si Kripke estaba haciendo eco del trabajo temprano deRuth Barcan Marcusen estas dos ideas.

Finalmente, Kripke dio un argumento contra elfisicalismo(o materialismo de la identidad) en lafilosofía de la mente,donde se cree que todo hecho mental está relacionado con un hecho físico. Kripke discutió que la única manera para defender esta identidad es una identidad necesariaa posteriori,pero que dicha identidad -por ejemplo, que el dolor es el estímulo de las fibras C- podría no ser necesaria, dada la posibilidad de que el dolor realmente honesto no tenga nada que ver con el estímulo de las fibras C. Argumentos similares son hoy defendidos porDavid Chalmers.

Kripke impartió lasConferencias John Lockeen filosofía enOxforden 1973. TituladasReferencia y existencia(Reference and Existence), son en muchos aspectos una continuación deEl nombrar y la necesidad,y una problematización de los temas de los nombres ficticios y error perceptual. Nunca han sido publicadas y el manuscrito está oficialmente disponible sólo en una copia en la biblioteca de la universidad, que no puede ser copiada o citada sin el permiso de Kripke. De hecho, muchas copias han circulado informalmente entre filósofos. Su influencia, aunque considerable, es difícil de evaluar. De cualquier forma, ha sido muchas veces citado por muchos filósofos, particularmenteGareth EvansyNathan Salmon.

Kripkenstein

Kripke también hizo contribuciones interesantes al estudio del últimoWittgensteinen conferencias publicadas comoWittgenstein sobre las reglas y el lenguaje privado(Wittgenstein on Rules and Private Language), aunque su trabajo en éstas ha sido culpado de no ser particularmente fiel al tratamiento del problema ofrecido por Wittgenstein (de hecho, algunos filósofos llaman al libro de Kripke el "Kripkenstein" ), pues el argumento que presenta no hubiera sido aceptado por Wittgenstein. (Para lecturas alternativas de Wittgenstein, véaseWittgenstein on Meaningde Colin McGinn). El libro de Kripke también ha sido culpado por no dar crédito a otros autores que interpretaron a Wittgenstein similarmente (véaseWittgensteinde Robert J. Fogelin). Otros filósofos sostienen por el contrario que las críticas a Kripke por no ser fiel a Wittgenstein son triviales (no conciernen al argumento de Kripke en sí), e incluso defienden que el argumento que ofrece Kripke es mejor y más interesante que el que ofrece Wittgenstein.​​

Teoría de la verdad

Saul Kripke en una conferencia sobre Gödel en laUniversidad de California,Santa Bárbara.

En su artículo de 1975Esbozo de una teoría de la verdad( "Outline of a Theory of Truth" ), Kripke demostró que un lenguaje puede contener consistentemente su propiopredicado de verdad,lo cual segúnTarski-un pionero en las teorías formales de la verdad- era imposible. El truco envuelve dejar a la verdad ser una propiedad parcialmente definida sobre el conjunto de enunciados gramaticalmente bien formados del lenguaje. Kripke mostró cómo hacer esto recursivamente, iniciando del conjunto de expresiones en un lenguaje que no contienen el predicado de verdad, definiendo un predicado de verdad sobre sólo ese segmento: esto añade nuevos enunciados al lenguaje, y la verdad es alternadamente definido por todos ellos. A diferencia de la visión de Tarski, la de Kripke deja a la verdad ser la unión de todos esos estados de definición; después de una infinidad de pasos el lenguaje alcanza un "punto fijo" tal que usando el método de Kripke para expandir el predicado de verdad no cambia el lenguaje. Ese punto fijo puede ser tomado como la forma básica de un lenguaje natural conteniendo su propio predicado de verdad. Pero este predicado es indefinido para cualquier sentencia que no "florezca" en sentencias más simples que no contengan un predicado de verdad. Esto es "'La nieve es blanca' es verdadero" está bien definido, como en "'" La nieve es blanca "es verdadero' es verdadero", y así; pero ni "Este enunciado es verdadero" ni "Este enunciado no es verdadero" reciben condiciones de verdad: son, en términos de Kripke, "infundados" (ungrounded). Más sobre la teoría de la verdad de Kripke

La influencia de Kripke ha sido sustancial, pero desafortunadamente mucho de su trabajo existe sólo grabado en cinta o en manuscrito.

El significado de "yo"

A finales de enero de 2006, Kripke estuvo presente en una conferencia celebrando su cumpleaños número 65, así como su trabajo, en el CUNY Graduate Center. Dio una charla de 70 minutos sobre "La Primera Persona", discutiendo el significado y la referencia del pronombre "yo". (New York Times,28 de enero de 2006). Véanse los enlaces externos.

Obras

Publicaciones notables

• «A Completeness Theorem in Modal Logic».Journal of Symbolic Logic24(1): 1-14. 1959.
• «The Undecidability of Monadic Modal Quantification Theory».Zeitschrift für Mathematische Logik und Grundlagen der Mathematik8:113-116. 1962.
• «Semantical Considerations in Modal Logic».Acta Philosophica Fennica16:83-94. 1963.
• «Semantical Analysis of Modal Logic I: Normal Modal Propositional Calculi».Zeitschrift für Mathematische Logik und Grundlagen der Mathematik9:67-96. 1963.
• «Transfinite Recursions on Admissible Ordinals, I (abstract)».The Journal of Symbolic Logic29(3): 162. 1964.
• «Transfinite Recursions on Admissible Ordinals, II (abstract)».The Journal of Symbolic Logic29(3): 162. 1964.
• «Admissible Ordinals and the Analytic Hierarchy (abstract)».The Journal of Symbolic Logic29(3): 162. 1964.
• Michael Dummetty J. N. Crossley, ed. (1965). «Semantical Analysis of Intuitionistic Logic I».Formal Systems and Recursive Functions(Amsterdam: North Holland Publishing Co).
• J. W. Addison, Leon Henkin yAlfred Tarski,ed. (1965). «Semantical Analysis of Modal Logic II: Non-Normal Modal Propositional Calculi».The Theory of Models(Amsterdam: North Holland Publishing Co).
• «An Extension of a Theorem of Gaifman-Hales-Solovay».Fundamenta Mathematicae61:29-32. 1967.
• M. K. Munitz, ed. (1971). «Identity and Necessity».New York(New York University Press).
• Donald Davidsony Gilbert Harman, ed. (1972 [1980]). «Naming and Necessity».Semantics of Natural Language(Dordrecht y Boston: Reidel).
• «Outline of a Theory of Truth».Journal of Philosophy72:690-716. 1975.
• Gareth Evans and John McDowell, ed. (1976). «Is There a Problem about Substitutional Quantification?».Truth and Meaning: Essays in Semantics(Oxford:Oxford University Press).
• «Speaker's Reference and Semantic Reference».Midwest Studies in Philosophy2:255-276. 1977.
• A. Margalit, ed. (1979). «A Puzzle about Belief».Meaning and Use(Dordrecht y Boston: Reidel).
• Wittgenstein on Rules and Private Language: an Elementary Exposition.Cambridge, Massachusetts:Harvard University Press.1982.
• «A Problem in the Theory of Reference: the Linguistic Division of Labor and the Social Character of Naming».Philosophy and Culture (Proceedings of the XVIIth World Congress of Philosophy)(Montreal: Montmorency): 241-247. 1986.
• «Summary: Individual Concepts: Their Logic, Philosophy, and Some of Their Uses».Proceedings and Addresses of the American Philosophical Association66:70-73. 1992.
• «Russell's Notion of Scope».Mind114:1005-1037. 2005.
• «Frege’s Theory of Sense and Reference: Some Exegetical Notes».Theoria74:181-218. 2008.
• «Presupposition and Anaphora: Remarks on the formulation of the projection problem».Linguistic Inquiry.40(3): 367-386. 2009.
• The Collapse of the Hilbert Program, (Abstract) publicación= Bulletin of Symbolic Logic.15(2). 2009. pp. 229-231.
• (En prensa). "The First Person,"Collected Papers Vol. I,Oxford University Press.
• (En prensa). "Two Paradoxes of Knowledge,"Collected Papers Vol. I,Oxford University Press.
• (En prensa). "Nozick on Knowledge,"Collected Papers Vol. I,Oxford University Press.
• (En prensa). "A Puzzle about Time and Thought,"Collected Papers Vol. I,Oxford University Press.
• (En prensa). "Vacuous Names and Fictional Entities,"Collected Papers Vol. I,Oxford University Press.
• (En prensa). "Unrestricted Exportation and Some Morals for the Philosophy of Language,"Collected Papers Vol. I,Oxford University Press.
• (En prensa). “Another Approach: The Church-Turing ‘Thesis’ as a Special Corollary of Gödel’s Completeness Theorem,” inComputability: Gödel, Turing, Church, and beyond,Copeland, B. J., Posy, C., and Shagrir, O. (eds), Cambridge, Mass.,MIT Press.

Manuscritos y conferencias disponibles en Internet

• 1971. "Two Paradoxes of Knowledge" (Moral Sciences Club, Cambridge. Algunas de las ideas centrales son discutidas por Thomas Kelly:http://www.princeton.edu/~tkelly/papers/Beliefpolarizationfinal.pdf
• 1973. John Locke Lectures: "Reference and Existence". (Disponible en Philosophy Library, Oxford University)
• 1975. "Three Lectures on Truth". Princeton University. Discutidas por John Burgess:https://web.archive.org/web/20120107074053/http://www.princeton.edu/~jburgess/Kripke2.doc(ver apartado 9: "Glimpses Beyond" )
• 1978. "Time and Identity". Seminario dictado en la universidad de Princeton, 1978. Algunas de sus las ideas principales son discutidas por Ted Sider en su libroFour-Dimensionalism: An Ontology of Persistence and Time
• 19- "Non-Standard Models and Godel's Theorem: A Model-Theoretic Proof of Godel's Theorem". Resumen por Hilary Putnam disponible en:

http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.ndjfl/1027953483)

• 1984. "Lessons on Functionalism and Automata". (International Wittgenstein Symposium, 1984. Algunas de las ideas centrales son discutidas por Edward P. Stabler en:http://www.springerlink.com/content/lr745776l7g24u63/(enlace rotodisponible enInternet Archive;véase elhistorial,laprimera versióny laúltima).
• 1986. "Nozick on Knowledge". (Algunas de las ideas son discutidas en:https://web.archive.org/web/20081217003336/http://sammelpunkt.philo.at:8080/1493/1/adams.pdf)
• 1988/89. "Seminars on Truth". Seminarios dictados en Princeton en 1988-89. Ver John Burgesshttps://web.archive.org/web/20120107074053/http://www.princeton.edu/~jburgess/Kripke2.doc(nota 16)
• 19- "Semantical Analysis of Intuitionistic Logic II. Undecidability of the Monadic Fragment"
• 19- "Semantical Analysis of Intuitionistic Logic III"
• 1990. "Presupposition and Anaphora". (Interdisciplinary Conference on Linguistic and Philosophical Approaches to the Study of Anaphora, Princeton University, 1990)
• 1992. Whitehead Lectures: "Logicism, Wittgenstein, and De Re Beliefs about Natural Numbers". Harvard University, 1992.
• 1992. "Individual Concepts: Their Logic, Philosophy, and Some of Their Uses".
• 1994. "No Fool's Red? Some Considerations on the Primary/Secondary Quality Distinction".
• 1999. "The Road to Gödel". Haifa University, Israel, 1999.
• 2006. "The First Person" The City University of New York, Graduate Center. Videos "The First Person" y "Questions and Answers" disponibles en:http://web.gc.cuny.edu/Philosophy/events/kripke_conference.html
• 2006. "From Church's Thesis to the First Order Algorithm Theorem," Tel Aviv University, 13 de junio de 2006. Video disponible en:https://web.archive.org/web/20080922181235/http://www.vanleer.org.il/eng/videoShow.asp?id=317

Resumen:http://portal.acm.org/citation.cfm?id=788022.789011

• 2007. "Roundtable on Externalism" (Hilary Putnam, Tyler Burge, Saul Kripke y Michael Devitt). University College Dublin, Ireland. Podcast disponible en:http://www.ucd.ie/news/mar07/030507_Putnam_Award.htm
• 2007. "The Collapse of the Hilbert Program". Indiana University, Presidential Lecture. Video disponible en:http://broadcast.iu.edu/ceremon/celeb07/index.htmlArchivadoel 19 de julio de 2011 enWayback Machine.

Traducciones al español

• Identidad y necesidad.Traducción de Margarita Valdés. Cuadernos de Crítica #7, UNAM / IIFF. 1978.
• Esbozo de una teoría de la verdad.Traducción de Margarita Valdés. Cuadernos de Crítica #36, UNAM / IIFF. 1984.
• Wittgenstein: reglas y lenguaje privado.Traducción de Alejandro Tomassini. UNAM / IIFF. 1989.
• El nombrar y la necesidad.Traducción de Margarita Valdés. UNAM / IIFF. 2005.
• Wittgenstein: a propósito de reglas y lenguaje privado. Una exposición elemental.Tecnos. 2006.ISBN978-84-309-4434-7.

Véase también

• Estructura de Kripke
• Contrafactual
• Lógica modal
• Filosofía del lenguaje
• Teoría causal de la referencia

Bibliografía

• Branch, Taylor (1977). «New Frontiers in American Philosophy: Saul Kripke».The New York Times Magazine.
• Preti, Consuelo (2002).On Kripke.Wadsworth.ISBN0-534-58366-0.
• Fitch, G. W. (2005).Saul Kripke.ISBN0-7735-2885-7.
• Soames, Scott (2002).Beyond Rigidity: The Unfinished Semantic Agenda of Naming and Necessity.ISBN0-19-514529-1.
• Huges, Christopher (2004).Kripke: Names, Necessity, and Identity.ISBN0-19-824107-0.
• Kusch, Martin (2006).A sceptical Guide to Meaning and Rules. Defending Kripke's Wittgenstein.Acumben Publishing Limited.
• Arif Ahmed (2007).Saul Kripke.Londres y Nueva York: Continuum.ISBN0-8264-9262-2.
• Norris, Christopher (2007).Fiction, Philosophy and Literary Theory: Will the Real Saul Kripke Please Stand Up?.Londres: Continuum.
• Nubiola, Jaime (1991).El compromiso esencialista de la lógica modal: estudio de Quine y Kripke.Eunsa.ISBN978-84-313-0867-4.
• Pérez Otero, Manuel (2006).Esbozo de la filosofía de Kripke.Ediciones de Intervención Cultural.ISBN978-84-96356-77-1.
• Martinich, Aloysius; Sosa, David (2001).A Companion to Analytic Philosophy(en inglés).Blackwell Publishers.ISBN0-631-21415-1.

Enlaces externos

• Wikimedia Commonsalberga una categoría multimedia sobreSaul Kripke.
• Wikiquotealberga frases célebres de o sobreSaul Kripke.
• Un reportedelNew York Times,28 de enero de 2006.
• Información del sitio 'Philosophy Professor'
• Saul Kripke, Genius LogicianUna entrevista breve y no técnica por Andreas Saugstad, 25 de febrero de 2001.
• Montones de fotos de Kripke. UNILOG '05: First World Congress and School on Universal Logic.
• La conferencia en honor al cumpleaños 65 de Kripke.Puede bajarse el video de la charla de Kripke titulada "The First Person".
• "La Interpretación De Kripke Sobre Wittgenstein: Paradoja Y Comunidad" por Colin Mcguinn.Un ensayo crítico sobre la interpretación que hace Kripke en su obra: "A propósito de Reglas y Lenguaje Privado", de Ludwig Wittgenstein.(Traducido al Español)(enlace rotodisponible enInternet Archive;véase elhistorial,laprimera versióny laúltima).
• Nubiola, Jaime (1991).El compromiso esencialista de la lógica modal: estudio de Quine y Kripke.Eunsa.

• Datos:Q298521
• Multimedia:Saul Kripke/Q298521
• Citas célebres:Saul Kripke