Estudios bibliográficos de Filosofía
VII (1986), 36-37

Recensión de
El compromiso esencialista de la lógica modal. Estudios sobre Quine y Kripke

Javier Albaladejo Jurado



Jaime Nubiola. El compromiso esencialista de la lógica modal (Estudios de Quine y Kripke). Pamplona, EUNSA, 1984. 349 págs. 14 x 21,4 cm. Rústica.

Resumen del índice: Introducción (11-16); Capítulo I: Lógica modal, necesidad y esencialismo (17-27); Capítulo II: Objeciones contra la lógica modal (29-147); Capítulo III: Interpretación semántica de la lógica modal (149-316); Abreviaturas, bibliografía e índice de autores (317-349).

El autor (1953- ) es Doctor en Filosofía por la Universidad de Navarra, de la que es actualmente Profesor y Secretario General.

Desde que Lewis (1883-1964) retomó la cuestión de las modalidades, introduciéndolas en la lógica simbólica a través de su redefinición del condicional (20), muchos son los pasos andados en esa dirección. Pero, paradójicamente, este avance encierra también una vuelta al pasado. Y es ahí donde se concentra prioritariamente la atención del autor: la lógica modal ha vuelto a rehabilitar, en el ámbio de la filosofía analítica "las nociones de metafísica de necesidad y posibilidad y la distinción aristotélica entre propiedades esenciales y accidentales" (27). El estudio sobre el tema se articular en torno a dos posiciones contrapuestas, simbolizadas respectivamente por Quine (pars destruens) y Kripke (pars aedificans). El primer autor se ha destacado por sus críticas cerradas y constantes a las sucesivas innovaciones de la modalidad alética. Su ataque inicial fue dirigido contra la implicación estricta de Lewis, porque alteraba el principio de funcionalidad de la verdad que conlleva a su vez la violación del principio de sustitutividad, fundamental en la semántica extensional, defendida por él. Pero su mayor oposición se dirigió contra la admisión de operadores modales dentro del alcance de los cuantificadores, ya que, según él, esto suponía la aceptación de una ontología intensional —esto es, conducía a admitir "un universo de discurso poblado de atributos, entidades abstractas, etc..." (42). Por otro lado, habría que señalar que él sólo admitía una noción unívoca de necesidad, la necesidad analítica (57-58). En torno a la posición de Quine hay que decir que un lenguaje puramente extensional puede ser adecuado para los propósitos científicos, pero indudablemente nuestro lenguaje ordinario lleno de intensiones y modalidades, y el lenguaje ontológico desarrollado sobre él no pueden ser eliminados por mor de una extensionalidad estricta. El segundo autor es estandarte de la postura defendida por Nubiola, el cual hace una presentación de su sistema, pasando luego a una revisión y discusión de algunos de los puntos centrales de carácter metafísico que tal sistema introduce. Se debe a Kripke una elaboración de la semántica lógico-modal que ha llevado a un nuevo examen de la noción de esencia y a un reforzamiento de las tendencias esencialistas. Tal elaboración trata de examinar desde nuevos puntos de vista conceptos como los de certidumbre, necesidad, posibilidad, etc. Un concepto básico en la semántica de Kripke es el "designador rígido": un designador rígido en cualquier mundo posible designa el mismo objeto, a diferencia de lo que ocurre con un designador no rígido o "accidental". Un designador rígido de una entidad necesariamente existente es un designador "fuertemente rígido". Los nombres son designadores rígidos (incluidos los nombres propios). En el cálculo de Kripke "es verdadero" queda definido como "es verdadero en algún mundo posible", y "es necesariamente verdadero" como "es verdadero en todos los mundos posibles". El esencialismo que defiende este autor le lleva a admitir la cuantificación en contextos modales, esto es, admitir la modalidad de re y la posibilidad de hablar de necesidad ontológica. Según Kripke, se supone que, dado que N nombra a una cierta entidad que tiene una determinada propiedad, no puede admitirse que haya sido distinta de como es, pues de lo contrario no le corresponde el nombre N.

 


Fecha del documento: 15 de junio 2007
Última actualización: 15 de junio 2007
[Página Principal] [Sugerencias]

Universidad de Navarra