Tarski establece una definición formal de la verdad, complementando el análisis de las limitaciones de los sistemas formales que Feferman discute en su obra.
La Sintaxis de la Verdad
por Solomon Feferman · 2006
Ver sugerenciasSinopsis
Una profunda exploración de la lógica y la filosofía de las matemáticas, analizando el trabajo de Gödel y Tarski, y discutiendo las limitaciones inherentes a los sistemas formales, así como los diferentes conceptos de verdad.
Sé el primero en valorar este libro.
Más de Solomon Feferman
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Este compendio de Tarski aborda la lógica matemática y la teoría de la verdad, profundizando en aspectos que Feferman menciona al examinar la filosofía de las matemáticas.
La obra de Tarski sobre el lenguaje y la verdad ofrece teorías que conectan con las limitaciones de los sistemas formales estudiadas por Feferman.
Tarski formaliza el concepto de 'verdad' en lenguajes, algo que Feferman también explora en el contexto de la estructura de sistemas lógicos.
Feferman, al analizar la teoría de la prueba, presenta temas que dialogan con la investigación de Tarski relacionada con la semántica formal y los sistemas formales.
Franzén profundiza en los teoremas de Gödel, los cuales son fundamentales para entender las limitaciones discutidas por Feferman en su análisis filosófico.