Saul Aaron Kripke (Bay Shore, Nueva York, 13 de noviembre de 1940-15 de septiembre de 2022) fue un profesor, filósofo y lógico estadounidense
Kripke realizó importantes y originales contribuciones en diversos campos relacionados con la lógica, la metafísica y la filosofía del lenguaje. Su trabajo, una referencia obligada en las áreas mencionadas, ha dejado una impronta profunda en la filosofía analítica contemporá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ó el Premio Schock en 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.
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 en Bay Shore (Nueva York) pero su familia se trasladó a Omaha (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 la Dundee Grade School y en la Omaha 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 la Universidad de Harvard, obteniendo un grado bachelor en 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 el MIT. Por algunos años enseñó en Harvard, luego se movió a la Universidad Rockefeller en Nueva York en 1967, a Cornell en 1977 y, finalmente, profesor en la Universidad de Princeton. En 2002, Kripke comenzó a enseñar en el Centro de Graduados de la Universidad 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 de Princeton.
Estuvo casado con la filósofa inglesa Margaret Gilbert, de quien se divorció a fines de la década de los 90.
Las siguientes universidades le otorgaron el título de doctor honoris causa: Universidad de Nebraska-Omaha (1977), Universidad Johns Hopkins (1997), Universidad de Haifa, Israel (1998), y la Universidad de Pensilvania (2005). Kripke es miembro de la Sociedad Filosófica Estadounidense, la Academia Estadounidense de las Artes y las Ciencias, la Academia Británica y la Academia Europea de Ciencias y Artes.
Kripke es mayormente conocido por cuatro contribuciones a la filosofía:
Su interpretación de la filosofía de Ludwig Wittgenstein.
Semántica para la lógica modal (y otras relacionadas), llamadas semánticas Kripke, publicada en varios ensayos que había comenzado cuando aún era adolescente.
Sus conferencias de 1970 (publicadas en 1972 y 1980) en Princeton, llamadas El 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".
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 la ló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, llamada K en 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 la teoría cuantificacional clá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 los mundos 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 modal proposicional deben ser debilitadas.
Las tres conferencias de Kripke constituyen un ataque a la teoría descriptivista de la referencia respecto a los nombres propios (sostenida por Gottlob Frege y Bertrand 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, seguramente Aristóteles pudo 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 una teorí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 un designador rígido: se refiere al objeto nombrado en todo mundo posible en que el objeto exista. Teorías causales de la referencia han sido elaboradas y desarrolladas por Keith 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 son Alonzo Church y John Searle.
Kripke también ha levantado la perspectiva de necesidades a 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 de Ruth Barcan Marcus en estas dos ideas.
Finalmente, Kripke dio un argumento contra el fisicalismo (o materialismo de la identidad) en la filosofí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 necesaria a 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 por David Chalmers.
Kripke impartió las Conferencias John Locke en filosofía en Oxford en 1973. Tituladas Referencia y existencia (Reference and Existence), son en muchos aspectos una continuación de El 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, particularmente Gareth Evans y Nathan Salmon.