KripkeWC.JPG

Nacimiento:1941en Omaha

No se ha añadido ninguna twiki todavía.

Filósofo y lógico norteamericano contemporáneo nacido en 1941 en Omaha. Fue profesor en la Rockefeller University de Nueva York hasta 1976, y desde el año siguiente es profesor en la Universidad de Princeton. Su investigación se desarrolla especialmente en los ámbitos de la lógica modal, de la semántica y de la filosofía de la mente. Demostró la completitud de la lógica modal apelando a la semántica de los mundos posibles, que también ha aplicado a la lógica intuicionista y la lógica deóntica.

Su semántica, basada en la noción de «mundos posibles» ha puesto en crisis los conceptos clásicos de necesidad, posibilidad, certidumbre y verdad, y ha permitido abordar desde una perspectiva novedosa el estudio de los enunciados contrafácticos. La teoría de los «mundos posibles» permite determinar si los enunciados modales son verdaderos o falsos. Para ello, Kripke recurre, como Leibniz, a la idea según la cual un enunciado es necesario si es verdadero en todo mundo posible, y es posible si es verdadero en, al menos, un mundo posible. De ahí se sigue que las identidades contingentes son imposibles y los enunciados de igualdad son necesarios (y, por tanto, verdaderos en todos los mundos posibles). Esta teoría de los mundos posibles también ha sido seguida por Hilary Putnam.

En relación con esto ha desarrollado el concepto de designador rígido. Un designador rígido es un término que selecciona la misma entidad en cualquier mundo posible en que exista dicha entidad, mientras que un designador no rígido es un término que cambia de referente a través de los mundos posibles. Los nombres son ejemplos de designadores rígidos, de ahí que si a = b, donde a y b son nombres propios, es una igualdad para todo mundo posible. Ello es así porque, según Kripke, un nombre no es una descripción, no tiene sentido (como lo definió Frege), sino que solamente tiene referente. Con ello Kripke (y K.S. Donellan) desafía la teoría tradicional del significado, tanto la de raíz fregeana y russelliana como las concepciones alternativas (del «aire de familia») propuestas por Wittgenstein, y sustenta una concepción esencialista: las entidades designadas por los designadores rígidos mantienen su esencia. Esta concepción también permite a Kripke (y a Hilary Putnam) rechazar el extensionalismo de enfoque referencial defendido por Quine o Davidson, entre otros, que critican el esencialismo de Kripke.

Por otra parte, según Kripke, los nombres están ligados a sus referentes por una cadena causal (teoría causal de los nombres). Es decir, que el uso de un nombre propio viene determinado por la institucionalización de su referencia, no por su sentido: «Julio César» designa a Julio César porque existe una larga cadena causal que ha instituido este referente. Esto ha planteado el llamado problema de la identidad transmundana ¿cómo determinar qué entidad es posible en otro mundo? (problema abordado entre otros por D. Lewis, quien afirma la imposibilidad de identidad entre mundos posibles, en los que solamente cabe la posibilidad de contrapartidas, pero no de identidades). Pero, según Kripke, el mero planteamiento del problema supone un error, ya que los mundos posibles no son entidades en las que se tenga que buscar sus propiedades y los individuos que los componen, ya que no se «descubren», sino que se «estipulan».

En el ámbito de la filosofía de la mente Kripke señala que los términos que se refieren a los estados mentales y los que se refieren a estados físicos son designadores rígidos, razón por la cual dichos estados no pueden ser idénticos. Por ello, se opone a la teoría de la identidad mente-cuerpo y combate tanto el reduccionismo de lo mental a lo físico como el paralelismo psicofísico.

Entre sus obras destacan: «A completness Theory in Modal Logic», Journal of Symbolic Logic, 1959; Identity and Individuation, University Press, Nueva York 1971; Naming and Necesity, Basil Blackwell, Oxford 1980. Además, ha publicado muchos artículos en revistas especializadas.

Kripke.ogg

Relaciones geográficas

Cargando el mapa…