La semántica de la lógica intensional

Aunque superficialmente diferente, Hegel examina profundamente la naturaleza de las categorías del pensamiento y la estructura de la verdad, temas que Montague aborda a través de la formalización del lenguaje y la lógica intensional. Ambos buscan un sistema completo para entender cómo el pensamiento se relaciona con la realidad pero desde paradigmas filosóficos muy distintos, haciendo la conexión sorprendentemente fértil.

Mientras Montague busca formalizar el significado del lenguaje natural como un sistema lógico, Wittgenstein en el 'Tractatus' aborda los límites inherentes del lenguaje para representar la realidad. Ambos están obsesionados con la relación entre lenguaje, lógica y verdad; sin embargo, las conclusiones y métodos son radicalmente diferentes, uno construyendo un sistema y el otro deconstruyendo sus límites, ofreciendo una perspectiva complementaria muy poco obvia.

Este ensayo es fundamental para entender la evolución de la semántica lógica que Montague formalizó. La distinción entre sentido y referencia de Frege es una piedra angular que permite a Montague desarrollar su lógica intensional, manejando contextos donde la referencia de una expresión no es suficiente para determinar su significado completo. Ambos abordan la mecánica profunda del significado lingüístico en relación con la verdad y la denotación.

Aunque no trata directamente de lógica intensional, esta obra aborda cómo los 'sistemas' o 'marcos conceptuales' (paradigmas) dan forma a lo que se considera verdad y significado dentro de una disciplina. La creación de la 'semántica de Montague' fue en sí misma una revolución paradigmática en la lingüística y la lógica, al proponer un nuevo marco formal para el estudio del lenguaje natural. Ambos libros exploran la arquitectura subyacente de cómo se construye y se cambia la comprensión de la realidad y el significado dentro de un sistema.

Este libro profundiza en los conceptos de sentido y referencia, que son precursores clave para la lógica intensional de Montague, pero desde un autor menos conocido en el ámbito anglófono. Gorski y otros lógicos de la Europa del Este exploraron estas ideas de manera paralela o interactuando con las corrientes occidentales, ofreciendo un punto de vista alternativo y una continuidad en el estudio de cómo las expresiones lingüísticas se conectan con los estados del mundo.

Hintikka fue un pionero en la semántica de mundos posibles, una herramienta conceptual central para el desarrollo de la lógica intensional de Montague. Aunque Montague desarrolló su propio sistema, el trabajo de Hintikka sobre la formalización de la modalidad y la intensionalidad es un pilar independiente y esencial en el mismo campo. Este libro ofrece una perspectiva escandinava fundamental y a menudo subestimada en el desarrollo de la lógica modal y la semántica formal, directamente relevante para la comprensión del trabajo de Montague.

Ambos libros, aunque en diferentes sentidos, son ambiciosos intentos de establecer un marco riguroso para determinar el 'significado' y la 'verdad' de las proposiciones. Ayer lo hace a través de la verificación empírica y la lógica, mientras que Montague lo hace a través de la formalización matemática del lenguaje natural. La estructura argumentativa de sus obras es, en ambos casos, un intento de construir un sistema completo y sin fisuras para analizar el lenguaje y sus propiedades lógicas, mostrando una similitud estructural en su aspiración fundacionalista.

Mientras que Montague busca construir un sistema lógico unificado para el lenguaje natural, Wittgenstein en 'Investigaciones filosóficas' desarma la idea de que tal sistema sea posible o incluso deseable, centrándose en la naturaleza intrínsecamente social y contextual del significado. Aunque sus conclusiones son opuestas, la 'estructura' de la obra de Wittgenstein es un análisis meticuloso del lenguaje a través de ejemplos concretos y experimentos mentales, reflejando una dedicación a desentrañar el funcionamiento del lenguaje, similar en su intensidad analítica a la búsqueda de formalización de Montague, pero en una dirección completamente distinta.