Presenta una teoría formal de la verdad similar a la de 'Fundamentos lógicos de la semántica', enfocándose en la relación entre lenguaje y realidad.

por Alfred Tarski · 1944
Ver sugerenciasSinopsis
Tarski presenta una teoría matemática de la verdad para lenguajes formales, definiendo la verdad en términos de satisfacción de sentencias en un modelo. Su trabajo es fundamental para la lógica matemática y la filosofía del lenguaje, estableciendo las bases para la semántica formal moderna.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo

1929

1933

1933

1933

1935

1935

1936

1936

1936

1936

1936

1936

1936

1936

1936
Libros relacionados según distintos criterios de búsqueda
Presenta una teoría formal de la verdad similar a la de 'Fundamentos lógicos de la semántica', enfocándose en la relación entre lenguaje y realidad.
Este ensayo establece una definición rigurosa de la verdad en lenguajes formalizados, al igual que Tarski en su análisis de la semántica.
Introduce el concepto de 'verdad' en lenguajes formales, continuando la temática de la semántica formal fundamental en la obra de Tarski.
Propone una solución a paradojas semánticas como la del mentiroso, similar al análisis de la verdad que se encuentra en el libro de referencia.
Su ensayo ofrece una definición rigurosa de la verdad, abordando paradojas semánticas, alineándose con los fundamentos que establece Tarski.
Explora la teoría de la verdad en lenguajes formalizados, conectando con el enfoque metódico y lógico de Tarski sobre la semántica.