Este ensayo de Tarski redefine la verdad en lenguajes formalizados, similar a cómo lo hace el libro de referencia con paradojas semánticas.
El concepto de la verdad en los lenguajes formalizados
por Alfred Tarski · 1933
Ver sugerenciasSinopsis
Un ensayo seminal que propone una definición rigurosa de la verdad para lenguajes formales, abordando paradojas semánticas y estableciendo las bases de la teoría de modelos.
Sé el primero en valorar este libro.
Más de Alfred Tarski
Ver autor →Otras obras del mismo autor en el catálogo
Formale Axiomatik der Geometrie
1929
La Teoria de la Definición
1933
El concepto de verdad en los lenguajes formalizados
1933
La semántica de la verdad y los lenguajes formalizados
1935
Un Análisis Lógico de la Paradoja del Mentiroso
1935
Introducción a la lógica
1936
La semántica de los lenguajes interpretados
1936
Elementos de Lógica Matemática y Metamatemática
1936
Conceptos fundamentales de la metamatemática
1936
Breve introducción a la lógica formal y la metamatemática
1936
Introducción a la Metalógica
1936
La Noción de Concepto
1936
A Deduction System for the First-Order Logic
1936
Lógica formal
1936
Mathematical Logic
1941
Libros similares
Libros relacionados según distintos criterios de búsqueda
Al igual que el libro de referencia, aborda formalmente la verdad en lenguajes formales, estableciendo conexiones claras entre sintaxis y semántica.
Ambos textos presentan la teoría de la verdad de Tarski, destacando la relación entre el lenguaje y la realidad de manera rigurosa.
Este ensayo sobre la verdad introduce la correspondencia, expandiendo conceptos que también son fundamentales en El concepto de la verdad en los lenguajes formalizados.
El libro ofrece un análisis a fondo del concepto de verdad, refiriéndose a la estructura lógica de los lenguajes, como en el libro de referencia.
Al igual que el libro original, este trabajo formaliza y clarifica el concepto de verdad, siendo clave para la lógica matemática moderna.