El concepto de verdad en los lenguajes formalizados

Mientras Tarski se enfoca en la verdad dentro de sistemas formales cerrados, Eco examina cómo los sistemas abiertos del lenguaje natural y la semiótica cultural complican la noción de verdad, mostrando que la verdad no es solo una propiedad de enunciados bien formados, sino también un producto de la interpretación y el contexto cultural, un ángulo no obvio para alguien interesado en la formalidad de Tarski.

Aunque ambos abordan los límites del lenguaje y la lógica, Tarski se centra en una definición de la verdad formal puramente semántica, mientras que Wittgenstein, en el Tractatus, busca establecer un marco metafísico para la relación entre el lenguaje y la realidad, lo que representa una conexión "no obvia" al ir más allá de la mera formalización para explorar la naturaleza fundamental del lenguaje y la verdad como reflejo del mundo, pero desde una perspectiva más restrictiva y profunda que la de Tarski.

Mientras Tarski busca una verdad definible y objetivable dentro de sistemas formales, Gadamer presenta una concepción de la verdad radicalmente diferente, enraizada en la experiencia subjetiva y la historia. La conexión es profunda porque ambos exploran la naturaleza de la verdad, pero desde paradigmas opuestos: uno enfocado en la despersonalización del enunciado y el otro en la personalización de la interpretación, lo que invita a una reflexión fundamental sobre qué constituye 'verdad'.

Si Tarski proporciona una definición de la verdad en un sistema lógico, Wittgenstein en 'Sobre la certeza' aborda las verdades que operan como presuposiciones fundamentales en nuestra vida, verdades que no son objeto de prueba sino la base sobre la que se articula el "juego del lenguaje". Esta conexión es profunda porque ambos buscan establecer los cimientos de la verdad, pero mientras Tarski lo hace a través de la lógica formal, Wittgenstein explora las verdades inarticuladas y no-proposicionales que anclan nuestra experiencia.

Si bien Tarski es un referente en la filosofía analítica de la verdad, Max Black ofrece una discusión más específica y crítica de la noción de adecuación en el contexto de Wittgenstein, un tema muy cercano a la preocupación de Tarski por la relación entre las expresiones lingüísticas y los hechos, pero desde un autor menos conocido que el propio Wittgenstein o Tarski.

Tarski se apoya en una concepción de la referencia para establecer su definición de verdad, y los fundamentos de esta distinción entre lo que una expresión significa y a qué se refiere, provienen de Frege. Si bien Frege es un pilar, este ensayo específico no suele ser la primera recomendación al hablar de Tarski, pero es esencial para comprender las bases de la semántica formal, y es menos masivo que obras mayores, ofreciendo una perspectiva muy directa de las ideas fundamentales que subyacen a Tarski, por parte de un autor central pero desde un texto específico que suele ser menos difundido que Tarski mismo.

Aunque de una corriente filosófica diferente, "Investigaciones Lógicas" comparte con Tarski la ambición de desentrañar las estructuras fundamentales del significado y la validez, pero lo hace desde una perspectiva fenomenológica en lugar de puramente formal. Ambos abordan la "estructura" del conocimiento y la verdad, uno en el dominio formal-lingüístico y el otro en el fenomenológico-cognitivo, mostrando un paralelismo en su búsqueda de los fundamentos estructurales de la experiencia.

Aunque Tarski se enfoca en la verdad de las proposiciones en lenguajes formalizados y no en los fundamentos de las matemáticas per se, el "Principia Mathematica" es un ejemplo supremo de la ambición de formalizar y estructurar el conocimiento de manera rigurosa, un esfuerzo estructural que informa el trabajo de Tarski. Ambos comparten una estructura fundamental basada en la formalización deductiva y la axiomática, buscando establecer la validez mediante sistemas de símbolos y reglas precisas.