Kripke, Saúl

Saul Aaron Kripke ( 13 de  noviembre de 1940 [ 2] [3] [4] , Bay Shore [d] , Nueva York - 15 de septiembre de 2022 [1] ) fue un filósofo y lógico estadounidense . Profesor Emérito de la Universidad de Harvard , Profesor Distinguido de la Graduate School and University Center de la City University of New York . Ganador del Premio Rolf Schock de Filosofía y Lógica (2001), según una encuesta, se encuentra entre los diez filósofos más importantes de los últimos 200 años.

Sus principales obras son sobre lógica matemática , filosofía del lenguaje , filosofía de las matemáticas , metafísica , epistemología , teoría de conjuntos .

En sus primeros trabajos, hizo una contribución significativa al desarrollo de la lógica modal . El trabajo posterior ha tenido un profundo impacto en la filosofía analítica , siendo considerada la contribución más significativa la descripción metafísica de la modalidad , incorporando la idea de mundos posibles como se explica en un sistema conocido como la semántica de Kripke . Otro logro importante es la demostración de que hay verdades necesarias a posteriori como "el agua es H 2 O". También contribuyó al estudio de la filosofía de Wittgenstein , la interpretación original se conoció como "Kripkenstein" . La obra más famosa de Kripke es Naming and Necessity (1980).

Biografía

El mayor de tres hijos de graduados del Seminario Teológico Judío  , Mayer Kripke (1914-2014) [5] , rabino de la Sinagoga Beth El (la única congregación conservadora en Omaha , Nebraska [6] ), y Dorothy Kripke (de soltera Karp, 1912–2000), autora de libros educativos para niños judíos. La familia del padre emigró a los Estados Unidos desde Lituania .

Desde niño fue considerado un niño prodigio : a los seis años aprendió hebreo de forma independiente , a los nueve ya había leído todas las obras de Shakespeare , estudió la filosofía de Descartes y se ocupó de problemas matemáticos complejos hasta graduarse de la escuela primaria . [7] . Escribió los primeros artículos científicos sobre lógica modal cuando aún era un escolar. Después de dejar la escuela en 1958, ingresó a la Universidad de Harvard , donde se graduó con una licenciatura summa cum laude en matemáticas. Ya en su segundo año de estudios, Kripke impartía un curso de lógica en el Instituto Tecnológico de Massachusetts . Inusualmente para un científico del siglo XX, el único título académico de Kripke es una licenciatura ; no tiene otros títulos académicos.

Al graduarse en 1962, recibió una beca Fulbright . En 1963 fue incluido en la Harvard Society of Fellows . Luego enseñó durante varios años en Harvard , en 1967 se trasladó a la Universidad Rockefeller de Nueva York, en 1977 a la Universidad de Princeton . En 1988, Harvard recibió el Premio Berman por contribuciones a las humanidades. Desde 2002 imparte clases en la Graduate School and University Center de la City University of New York en Manhattan, donde en 2003 recibió el título de Profesor Distinguido.

Vale la pena señalar que el propio Kripke casi no escribió artículos: en cambio, estudió un tema determinado, luego, en un evento público conveniente (un seminario o una conferencia), habló sobre sus conclusiones, a menudo entrando en un diálogo socrático con la audiencia, y luego la conversación se transcribió y, después de una serie de ediciones, Saul Kripke aprobó publicar el resultado. Como resultado, la mayor parte del trabajo no se publica, existe solo en forma de grabaciones de audio o manuscritos distribuidos personalmente. El propio filósofo explicó su hábito de manera simple: “ Simplemente odio sentarme y escribir, eso fue suficiente para mí en la escuela. Además, mi letra es repugnante ” [7] .

Obras

Trabajos clave:

• La semántica de Kripke para la lógica modal  , descrita en varios ensayos en los que Kripke comenzó a trabajar cuando era adolescente;
• la serie de conferencias Naming and Necessity de 1970 impartida en la Universidad de Princeton ( publicada en 1972 y 1980) tuvo una gran influencia en la filosofía del lenguaje ; 
• interpretación de la filosofía de Wittgenstein ;
• teoría de la verdad .

También contribuyó a la teoría de conjuntos al proponer y motivar una de las variantes de la teoría axiomática de conjuntos , conocida como teoría de Kripke-Platek .

Lógica modal

Los dos primeros trabajos de Kripke, A Completeness Theorem in Modal Logic y Semantical Considerations on Modal Logic (escritos cuando aún estaba en la escuela), estaban dedicados a la lógica modal. Las lógicas más comunes en la familia modal se crean a partir de la lógica débil K, llamada así por Kripke por su contribución al desarrollo de esta dirección: introdujo la semántica estándar de facto de Kripke (semántica relacional o semántica de marco).

Una escala de Kripke con una relación es un par , donde  es un conjunto arbitrario (a menudo llamado conjunto de mundos posibles) y  es la relación en (el conjunto de flechas o pares ordenados).

Un modelo de Kripke es un par , donde  es una estimación en una escala que asocia cada variable con el conjunto de mundos en los que esta variable se considera verdadera. Formalmente, la evaluación se presenta como una función del conjunto de variables al conjunto de todos los subconjuntos . La verdad en un punto del modelo de Kripke se denota con un signo y se determina por inducción sobre la longitud de la fórmula :

"Nombramiento y Necesidad"

En Naming and Necessity (1971), Kripke critica las teorías descriptivistas de los nombres propios, estudiando varias variantes de las teorías descriptivistas de Frege  , Russell , Wittgenstein , Searle y otros filósofos. De acuerdo con las teorías descriptivistas, los nombres propios son sinónimos de descripciones, o bien la referencia de los nombres propios está determinada por la asociación de un nombre con una descripción o un grupo de descripciones que se satisfacen únicamente por algún objeto dado. Kripke rechaza ambos tipos de descriptivismo. Da varios ejemplos destinados a revelar la insuficiencia del descriptivismo como teoría de aquellos factores que determinan la referencia de los nombres (por ejemplo, Aristóteles podría morir a la edad de dos años, y por lo tanto no cumpliría ninguna de las descripciones que se asocian con su nombre, además, sería un error negar que fuera Aristóteles).

Como alternativa, Kripke ha esbozado la teoría causal de la referencia, según la cual un nombre se refiere a un objeto al tener una conexión causal con el objeto a través de comunidades de hablantes. Señala que los nombres propios, a diferencia de la mayoría de las descripciones, son designadores rígidos . Un nombre propio se refiere a un objeto nombrado en cada mundo posible en el que existe ese objeto, mientras que la mayoría de las descripciones se refieren a diferentes objetos en diferentes mundos posibles. Por ejemplo, el nombre "Nixon" indica la misma persona en todos los mundos posibles en los que existe Nixon, pero la descripción (descripción) "la persona que ganó las elecciones presidenciales de EE. mundos posibles. Kripke también llamó la atención sobre la necesidad a posteriori: hechos que son necesariamente ciertos, pero que solo pueden conocerse a través de la investigación empírica. Ejemplos de necesidades a posteriori incluyen afirmaciones como "Héspero es Fósforo", "Cicerón es Tulio", "el agua es H 2 O" y otras identidades en las que dos nombres se refieren al mismo objeto. Finalmente, Kripke formuló un argumento contra el materialismo con respecto a la identidad en la filosofía de la mente, es decir, contra la opinión de que todo hecho mental es idéntico a algún hecho físico.

Kripke cree que la única forma de defender este punto de vista es interpretar la identidad como una identidad necesaria a posteriori, pero tal identidad, por ejemplo, la identidad del dolor y la estimulación de las fibras C, podría no ser necesaria, dado el hecho de que es posible el dolor, que no tiene nada que ver con la irritación de las fibras C. David Chalmers ha propuesto argumentos similares. Kripke también pronunció sus famosas Conferencias John Locke sobre Filosofía en 1973 en Oxford. Tituladas "Referencia y existencia", son en muchos sentidos una continuación de las ideas expuestas en Naming and Necessity, y contienen material interesante sobre el problema de los alias y los errores de percepción.

"Un rompecabezas sobre la creencia"

Las principales suposiciones de Kripke en Naming and Necessity con respecto a los nombres propios son que el significado de un nombre es simplemente el objeto al que se refiere el nombre, y el referente de un nombre está determinado por la relación causal entre "nombrar" y el uso del nombre. Sin embargo, reconoció la posibilidad de que las proposiciones que contienen nombres puedan tener propiedades semánticas adicionales: estas propiedades podrían explicar por qué dos nombres que se refieren a la misma persona pueden tener diferentes valores de verdad en proposiciones sobre alguien y luego en convicciones.

En su artículo "A Puzzle about Belief" Kripke desarrolla su idea y niega incluso esta posibilidad. Su argumento puede reconstruirse brevemente de la siguiente manera. La idea de que dos nombres que se refieren a la misma entidad pueden tener diferentes cualidades semánticas debería explicar por qué estos nombres pueden conducir de manera diferente en declaraciones sobre las creencias de alguien. Pero el mismo fenómeno también puede ocurrir con nombres que aparentemente tienen idénticas cualidades semánticas.

Kripke realiza un experimento mental: un niño francés, Pierre, que no habla idiomas extranjeros, cree que " Londres est joli " ("Londres es hermoso"). Se muda a Londres, sin saber que el nombre inglés London corresponde al francés Londres. Reconoce el inglés en las conversaciones cotidianas sin traducir las palabras del francés al inglés y, como resultado, reconoce el nombre " Londres " del feo barrio en el que vive. Piensa que " Londres " es feo. Si la opinión de Kripke es correcta, Pierre ahora cree simultáneamente que " Londres est joli " y que Londres  es feo. Esto no puede explicarse por las diferentes propiedades semánticas de los nombres, de lo que Kripke concluye que atribuir propiedades semánticas adicionales a los nombres no da los resultados esperados.

Centro Sol Kripke

Con el fin de preservar y promover el trabajo del científico, se creó el Centro Saul Kripke en el Research College de la City University of New York , organizando eventos temáticos y liderando un archivo digital de grabaciones inéditas, notas de conferencias, correspondencia de Kripke. desde la década de 1950.

Puntos de vista religiosos

Kripke es judío ortodoxo y cree que la fe lo ayuda en su trabajo filosófico. En una entrevista con Andreas Saustat sobre cómo los puntos de vista religiosos influyeron en su filosofía, informó:

“No tengo los prejuicios que mucha gente tiene hoy. No creo en una visión naturalista del mundo. Mi pensamiento no se basa en prejuicios ni en ninguna cosmovisión, y no creo en el materialismo ” [8] .

Familia

Hermana - Madeline Kripke ( Ing.  Madeline Kripke ; 1943-2020), bibliófila y coleccionista.

Esposa: Margaret Gilbert ( ing.  Margaret Gilbert ; n. 1942), también filósofa, hermana del historiador Martin Gilbert .

Comunidades y Recompensas

• Becario Fulbright  (1962-1963)
• Sociedad de Fellows ,  Universidad de Harvard  (1963-1966).
• Beca Guggenheim (1968, 1977) [9] .
• Doctor en Humanidades, título honorario,  Universidad de Nebraska , 1977.
• Miembro de  la Academia Estadounidense de las Artes y las Ciencias  (1978).
• Miembro correspondiente,  Academia Británica  (1985).
• Premio Howard Behrman,  Universidad de Princeton , 1988.
• Miembro de la Academia Scientiarum et Artium Europaea (1993).
• Doctor en Humanidades, título honorario,  Universidad Johns Hopkins , 1997.
• Doctor en Humanidades, título honorario,  Universidad de Haifa , Israel, 1998.
• Miembro de la Academia Noruega de Ciencias (2000-).
• Premio Schock  de Lógica y Filosofía,  Academia Sueca de Ciencias , 2001.
• Doctor en Humanidades, título honorario,  Universidad de Pensilvania , 2005.
• Miembro de  la Sociedad Filosófica Estadounidense  (2005).

Composiciones

Libros

• Nombramiento y necesidad. Cambridge, Mass.: Harvard University Press . ISBN 0-674-59845-8 1970 y reimpresiones 1972.
• Wittgenstein sobre las reglas y el lenguaje privado: una exposición elemental. Cambridge, Mass.: Harvard University Press , 1982. ISBN 0-674-95401-7.
• Problemas filosóficos. Documentos recopilados vol. 1. Nueva York: Oxford University Press , 2011. ISBN 978-0-19-973015-5
• Referencia y existencia: las conferencias de John Locke. Nueva York: Oxford University Press , 2013. ISBN 978-0-19-992838-5

Artículos y resúmenes

• 1959. "Un teorema de integridad en lógica modal", Journal of Symbolic Logic 24 (1): 1-14.
• 1959. "Constituyentes distinguidos" (resumen), The Journal of Symbolic Logic , 24 (4): 323.
• 1959. "Análisis semántico de la lógica modal" (resumen), The Journal of Symbolic Logic , 24 (4): 323-324.
• 1959. "El problema de la vinculación" (resumen), The Journal of Symbolic Logic , 24 (4): 324.
• 1962. "Predicados 'flexibles' de la teoría formal de números", Actas de la American Mathematical Society , 13 (4): 647-650.
• 1962. "La indecidibilidad de la teoría de la cuantificación modal monádica", Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 8: 113-116
• 1963. "Consideraciones semánticas sobre lógica modal", Acta Philosophica Fennica 16: 83-94
• 1963. "Análisis semántico de la lógica modal I: cálculos proposicionales modales normales", Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 9: 67-96
• 1964. "Recursiones transfinitas en ordinales admisibles, I" (resumen), The Journal of Symbolic Logic , vol. 29, núm. 3, pág. 162.
• 1964. "Recursiones transfinitas en ordinales admisibles, II" (resumen), The Journal of Symbolic Logic , vol. 29, núm. 3, pág. 162.
• 1964. "Ordinales admisibles y la jerarquía analítica" (resumen), The Journal of Symbolic Logic , vol. 29, núm. 3, pág. 162.
• 1965. "Análisis semántico de la lógica intuicionista I", en sistemas formales y funciones recursivas , editado por M. Dummett y JN Crossley. Ámsterdam: North-Holland Publishing Co.
• 1965. "Análisis semántico de la lógica modal II: cálculos proposicionales modales no normales", en The Theory of Models , editado por JW Addison, L. Henkin y A. Tarski. Ámsterdam: North-Holland Publishing Co.
• 1967. Anuncio de investigación: "'Isomorfismos recursivos' entre teorías que conservan la deducción" (con Marian Boykan Pour-El), Boletín de la Sociedad Matemática Estadounidense , 73: 145-148.
• 1967. "Una extensión de un teorema de Gaifman-Hales-Solovay", Fundamenta Mathematicae , vol. 61, págs. 29-32.
• 1967. "Recursividad transfinita, conjuntos construibles y análogos de cardinales", resúmenes de charlas preparadas en relación con el Instituto de Verano sobre Teoría Axiomática de Conjuntos, Sociedad Matemática Estadounidense, UCLA, págs. IV-0-1 - IV-0-12.
• 1967. "Sobre la aplicación de modelos con valores booleanos a soluciones de problemas en álgebra booleana", en Resúmenes de charlas preparadas en relación con el Instituto de verano sobre teoría axiomática de conjuntos, American Mathematical Society, UCLA (1967), págs. IV-T-1 a IV-T-7.
• 1967. "'Isomorfismos recursivos' entre teorías que conservan la deducción" (con Marian Boykan Pour-El), Fundamenta Mathematicae 61: 141-163.
• 1971. "Identidad y necesidad", en Identidad e individuación , editado por M. K. Munitz. Nueva York: Prensa de la Universidad de Nueva York.
• 1972 (1980). "Nombramiento y Necesidad", En Semántica del Lenguaje Natural , editado por D. Davidson y G. Harman. Dordrecht; Boston: Reidel. Plantea la teoría causal de la referencia .
• 1975. "Esbozo de una teoría de la verdad", Journal of Philosophy 72: 690-716. Establece su teoría de la verdad (frente a Alfred Tarski), donde un lenguaje objeto puede contener su propio predicado de verdad.
• 1976. "¿Existe un problema sobre la cuantificación sustitucional?", en Verdad y significado: ensayos sobre semántica , editado por Gareth Evans y John McDowell. Oxford: Prensa de la Universidad de Oxford.
• 1976. "Una teoría de la verdad I. Informe preliminar", resumen, Journal of Symbolic Logic , vol. 41, núm. 2, págs. 556.
• 1976. Una teoría de la verdad II. Informe preliminar", resumen, Journal of Symbolic Logic , vol. 41, núm. 2, págs. 556-557.
• 1977. "Referencia del hablante y referencia semántica", Midwest Studies in Philosophy 2: 255-276.
• 1979. "A Puzzle about Belief", En significado y uso , editado por A. Margalit. Dordrecht y Boston: Reidel.
• 1982. "Modelos no estándar de la aritmética de Peano" (con S. Kochen), en Lógica y algorítmica: Simposio internacional celebrado en honor de Ernst Specker , H. Lauchli (ed.), Universidad de Ginebra: 277-295.
• 1986. "Un problema en la teoría de la referencia: la división lingüística del trabajo y el carácter social de la denominación", Filosofía y cultura (Actas del XVII Congreso mundial de filosofía) , Montreal, Editions Montmorency: 241-247.
• 1992. "Resumen: conceptos individuales: su lógica, filosofía y algunos de sus usos". Actas y direcciones de la Asociación Filosófica Estadounidense 66: 70-73
• 2005. "Noción de alcance de Russell", Mind 114: 1005-1037
• 2008. "Teoría del sentido y la referencia de Frege: algunas notas exegéticas", Theoria 74: 181-218
• 2009. "Presuposición y anáfora: comentarios sobre la formulación del problema de proyección", Investigación lingüística 40 (3): 367-386.
• 2009. "El colapso del programa Hilbert" (Resumen) Boletín de lógica simbólica 15 (2): 229-231.
• 2011. "La Primera Persona", Problemas Filosóficos. Documentos recopilados vol. Yo, Oxford University Press [10] .
• 2011. "Dos paradojas del conocimiento", Problemas filosóficos. Documentos recopilados vol. Yo, Oxford University Press.
• 2011. Nozick sobre el conocimiento, problemas filosóficos. Documentos recopilados vol. Yo, Oxford University Press.
• 2011. "Un rompecabezas sobre el tiempo y el pensamiento", Problemas filosóficos. Documentos recopilados vol. Yo, Oxford University Press.
• 2011. "Nombres vacíos y entidades ficticias", Problemas filosóficos. Documentos recopilados vol. Yo, Oxford University Press.
• 2011. "Exportación sin restricciones y algunas moralejas para la filosofía del lenguaje", Problemas filosóficos. Documentos recopilados vol. Yo, Oxford University Press [11] .
• 2013. "La 'tesis' de Church-Turing como corolario especial del teorema de integridad de Gödel", en Computability: Turing, Gödel, Church, and Beyond, Copeland, BJ, Posy, C. y Shagrir, O. (eds), Cambridge, Mass., MIT Press.

Manuscritos y conferencias inéditos

• 1963. "Historia e idealismo: la teoría de RG Collingwood".
• 1973. Conferencias de John Locke: "Referencia y existencia". (Transcripción disponible en la Biblioteca de Filosofía de la Universidad de Oxford)
• 1975. Tres conferencias sobre la verdad. Universidad de Princeton [12] .
• 197-. "Sobre la integridad y la decidibilidad de la lógica proposicional intuicionista".
• 1978. Tiempo e Identidad. Curso dictado en la Universidad de Princeton en 1978. El texto de las conferencias no se ha publicado, pero están en circulación varias versiones "samizdat". Algunas de las ideas presentadas en estas conferencias son discutidas por Ted Sider en su libro Four-Dimensionalism: An Ontology of Persistence and Time .
• 19-. "Modelos no estándar y el teorema de Gödel: una demostración teórica del modelo del teorema de Gódel" [13]
• 1984. Lecciones sobre funcionalismo y autómatas. (Pronunciado en el Simposio Internacional Wittgenstein, 1984. Transcrito por Roderick Chisholm. [14]
• 198-. "Una prueba de Gamma".
• 198-. "Una nota sobre la crítica de Zabludowski a la teoría de la proyección de Goodman".
• 1986. "Designación rígida y el contingente a priori: la vara métrica revisada" (Notre Dame, 1986).
• 1988/89. Seminarios sobre la Verdad. Seminario de tres semestres en Princeton en 1988-1989, sólo los dos primeros semestres han sido transcritos por Jim Cain [15] .
• 19- “Análisis Semántico de la Lógica Intuicionista II. Indecidibilidad del Fragmento Monádico" (manuscrito sin fecha).
• 19- “Análisis Semántico de la Lógica Intuicionista III” (Manuscrito sin fecha).
• 1989 ¿Ningún rojo de tontos? Algunas consideraciones sobre la distinción de calidad primaria/secundaria" (incluye comentarios de David Velleman). Universidad de Michigan, 1989.
• 1992. Conferencias de Whitehead: "Logicismo, Wittgenstein y creencias De Re sobre los números naturales". Impartido en la Universidad de Harvard, 1992.
• 1992. Conceptos individuales: su lógica, filosofía y algunos de sus usos. Transcrito por Stephen Webb.
• 1996. El par ordenado: un paradigma filosófico revisado.
• 1996. "Teoría de recursión elemental y sus aplicaciones a sistemas formales". Transcrito por Mario Gómez Torrente y John Barker [16] .
• 1999. "El Camino a Gödel". (Leído en la Universidad de Haifa, Israel, 1999. Existen varias transcripciones.
• 2006. "De la tesis de Church al teorema del algoritmo de primer orden", Universidad de Tel Aviv, 13 de junio de 2006 [17] .
• 2007. "Mesa redonda sobre externalismo" ( Hilary Putnam , Tyler Burge, Saul Kripke y Michael Devitt). Colegio Universitario Dublín, Irlanda [18] .
• 2007. El Colapso del Programa Hilbert. Universidad de Indiana, conferencia presidencial [19] .
• 2008. Resultados matemáticos incompletos en la aritmética de Peano, una visión revisionista de la historia temprana.

Entrevistas y artículos sobre Kripke en la prensa

• " Nuevas fronteras en la filosofía estadounidense " por Taylor Branch, New York Times Magazine , 14 de agosto de 1977.
• " Saul Kripke, genio lógico ". Entrevista realizada por Andreas Saugstad, 25 de febrero de 2001.
• " Celebrando al Genio Filósofo de CUNY " por Gary Shapiro, The New York Sun , 27 de enero de 2006.
• « Filósofo, 65, conferencias no sobre '¿Qué soy yo?' sino '¿Qué soy yo?' por Charles McGrath, The New York Times , 28 de enero de 2006.
• " Los cinco mejores libros sobre la filosofía del lenguaje" de Scott Soames, 15 de octubre de 2010.

En ruso

• Kripke SA 1) Teorema de completitud en lógica modal; 2) Indecidibilidad del cálculo de predicados modales unarios; 3) Análisis semántico de la lógica modal, partes 1-2 // Face R. Lógica modal. M., 1974. S. 223-323.
• Kripke S. Consideración semántica de la lógica modal // Semántica de las lógicas modales e intensionales. M, 1981.
• Kripke S. Identidad y necesidad // Nuevo en lingüística extranjera. Tema. XIII. M, 1982.
• Kripke S. El enigma de los contextos de opinión // Nuevo en lingüística extranjera. Tema. XVIII. M, 1986.
• Kripke S. A. Wittgenstein sobre reglas y lenguaje individual / Traducción de V. Rudnev // Logos. - 1999. - Nº 1. - S. 151-185.
• Kripke S. A. Wittgenstein sobre reglas y lenguaje individual / Per. V. A. Ladova, V. A. Surovtseva. Bajo total edición V. A. Surovtseva. - Tomsk: Editorial Vol. un-ta, 2005. - 152 p. — (Biblioteca de filosofía analítica). ISBN 5-7511-1906-1
• Kripke S. Wittgenstein sobre reglas y lenguaje individual / Traducción de V. A. Ladov, V. A. Surovtsev / Editado por V. A. Surovtsev. - M .: "Kanon +" ROOI "Rehabilitación", 2010. - 256 p.

Véase también

• Se cree que el personaje de The Big Bang Theory, Barry Kripke, es un homenaje a Saul Kripke.
• Padilla Gálvez, Jesús[ aclarar ]

Notas

1. ↑ 1 2 Weinberg J. Saul Kripke (1940-2022  ) - 2022.
2. ↑ http://www.britannica.com/EBchecked/topic/323543/Saul-Kripke
3. ↑ Saul Aaron Kripke // Enciclopedia Brockhaus  (alemán) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
4. ↑ Saul A Kripke // Babelio  (fr.) - 2007.
5. ↑ Obituario en The New York Times
6. ↑ El rabino Myer Kripke, uno de los primeros amigos e inversores de Buffett, muere a los 100 años . Consultado el 30 de septiembre de 2017. Archivado desde el original el 30 de agosto de 2018. (indefinido)
7. ↑ 12 Charles McGrath . Filósofo, 65 años, conferencias no sobre '¿Qué soy yo?' sino '¿Qué soy yo?' . The New York Times (28 de enero de 2006). Fecha de acceso: 26 de mayo de 2017. Archivado desde el original el 7 de abril de 2008.  (indefinido)
8. ↑ Andreas Saugstad. Saul Kripke, genio lógico . David Boles, Blogs (25 de febrero de 2001). Consultado el 26 de mayo de 2017. Archivado desde el original el 31 de marzo de 2016. (indefinido)
9. ↑ Saúl  Kripke . Fundación John Simón Guggenheim . gf.org. Consultado el 15 de abril de 2019. Archivado desde el original el 15 de abril de 2019.
10. ↑ Vídeos en los que se basa el artículo
11. ↑ http://www1.cuny.edu/portal_ur/news/radio/podcast/lecture_143.mp3 Podcast en el que se basa el artículo]
12. ↑ Discusión
13. ↑ Resumen de Hilary Putnam.
14. ↑ Edward P. Stabler, "Kripke sobre el funcionalismo y los autómatas  (enlace no disponible) ", Synthese , vol. 70 núm. 1 (1987).
15. ↑ https://web.archive.org/web/20120107074053/http://www.princeton.edu/~jburgess/Kripke2.doc
16. ↑ [1]
17. ↑ Vídeo y resumen
18. ↑ Podcast
19. ↑ Video conferencias

Literatura

• Teoría de la verdad de Bessonov A. V.  Kripke // Actas de la rama siberiana de la Academia de Ciencias de la URSS . Serie Ciencias Sociales. - 1977. - Número 1. - N° 1. - S. 134-138.
• El esquema de Dorofeev G. Kripke y la tesis de Church en el análisis intuicionista // Tercera Conferencia de toda la Unión sobre lógica matemática. - Novosibirsk, 1974.
• Makeeva L. B. Kripke  // Nueva enciclopedia filosófica  : en 4 volúmenes  / antes. ed. científica consejo de V. S. Stepin . — 2ª ed., corregida. y adicional - M.  : Pensamiento , 2010. - 2816 p.
• Kripke, Sol  / Makeeva L. B.  // Bautismo del Señor - Golondrina [Recurso electrónico]. - 2010. - S. 36. - ( Gran Enciclopedia Rusa  : [en 35 volúmenes]  / editor en jefe Yu. S. Osipov  ; 2004-2017, v. 16). — ISBN 978-5-85270-347-7 .
• Serikov A.E. Baker y Hacker vs. Kripke: sobre la relevancia de la vieja discusión // Boletín de la Academia de Humanidades de Samara. Serie “Filosofía. Filología". - 2010. - Nº 1 (7). - S. 100-122.
• Khlebalin A. V. El problema de la fundación y las condiciones para resolver la paradoja de Kripke // Filosofía: historia y modernidad. 2004-2005. Se sentó. articulos cientificos - Novosibirsk-Omsk, 2005. - S. 3-13.

• Consuelo Preti (2002), Sobre Kripke. Wadsworth. ISBN 0-534-58366-0
• Christopher Hughes (2004), Kripke: nombres, necesidad e identidad. ISBN 0-19-824107-0 .
• GW Fitch (2005), Saul Kripke. ISBN 0-7735-2885-7 .
• Martin Kusch (2006), Una guía escéptica de significado y reglas. Defendiendo el Wittgenstein de Kripke. Accumben: Publishing Limited.
• Arif Ahmed (2007), Saul Kripke. Nueva York, NY; Londres: continuo. ISBN 0-8264-9262-2 .

sitios temáticos	genealogía matemática zbMATH Abierto
diccionarios y enciclopedias	Gran danés Gran catalán gran noruego gran ruso italiano alrededor del mundo Britannica (en línea) Brockhaus Treccani universalis
En catálogos bibliográficos BIBSYS: 90104202 BNC : a11559408 BNE : XX990115 BNF : 119101083 CiNii : DA00388005 CONOR : 6134371 TIERRA : 118813455 UCI : CFIV050272 ISNI : 0000 0001 1080 8458 J9U : 987007264093605171 LCCN : n79128358 NDL : 00446355 NKC : jn20011019100 NLA : 35973328 PNL : A12822838 NSK : 000200530 NTA : 06870853X NUKAT : n97014263 PTBNP : 921735 LIBRIS : tr58c4zc2wlrzf5 SUDOC : 026954079 VIAF : 108251834 WorldCat VIAF : 108251834