Este ensayo refuerza la noción de verdad al ofrecer una definición precisa para lenguajes formalizados, continuando la exploración de Tarski sobre la lógica matemática.
La Noción de Concepto
por Alfred Tarski · 1936
Ver sugerenciasSinopsis
Un ensayo fundamental sobre la verdad y los sistemas formales, que introduce la teoría de la verdad como correspondencia y sienta las bases para gran parte de la lógica matemática moderna.
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
El concepto de verdad en los lenguajes formalizados
1933
El concepto de la verdad en los lenguajes formalizados
1933
La Teoria de la Definición
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
Introducción a la Metalógica
1936
Conceptos fundamentales de la metamatemática
1936
Breve introducción a la lógica formal y la metamatemática
1936
Elementos de Lógica Matemática y Metamatemática
1936
A Deduction System for the First-Order Logic
1936
Lógica formal
1936
Tarski's System of Logic
1941
Libros similares
Libros relacionados según distintos criterios de búsqueda
Al igual que 'La Noción de Concepto', este trabajo se centra en una definición rigurosa de la verdad, abordando su relación con las paradojas semánticas.
Ambos textos introducen la noción de 'verdad' en lenguajes formales, sirviendo como cimiento para la semántica y la teoría de modelos en lógica matemática.
Tarski, en este libro, desarrolla su teoría de la verdad, conectando el lenguaje con la realidad de manera similar a su investigación previa sobre sistemas formales.
Este análisis del concepto de verdad en lenguajes formalizados se alinea con la estructura lógica y semántica planteada en 'La Noción de Concepto'.
Tarski profundiza en la interrelación entre lenguaje y verdad, similar a cómo 'La Noción de Concepto' establece principios para evitar contradicciones lógicas.