El ensayo de Tarski define rigurosamente la verdad en lenguajes formalizados, similar a cómo aborda este tema en 'Lenguaje y Verdad'.
Lenguaje y Verdad
por Alfred Tarski · 1944
Ver sugerenciasSinopsis
Tarski explora la relación entre el lenguaje y la verdad, centrándose en la definición de la verdad para lenguajes formalizados y desarrollando una teoría coherente para evitar paradojas lógicas.
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 la verdad en los lenguajes formalizados
1933
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
Lógica formal
1936
Breve introducción a la lógica formal y la metamatemática
1936
Introducción a la lógica
1936
La Noción de Concepto
1936
La semántica de los lenguajes interpretados
1936
Conceptos fundamentales de la metamatemática
1936
A Deduction System for the First-Order Logic
1936
Introducción a la Metalógica
1936
Elementos de Lógica Matemática y Metamatemática
1936
Libros similares
Libros relacionados según distintos criterios de búsqueda
Propone una definición precisa de verdad que evita paradojas semánticas, conectándose directamente con el foco de 'Lenguaje y Verdad'.
Al igual que en 'Lenguaje y Verdad', presenta una teoría formal de la verdad, analizando la relación entre lenguaje y realidad.
Establece la teoría semántica de la verdad, influyendo en el pensamiento contemporáneo de forma similar a 'Lenguaje y Verdad'.
Explora cómo definir la verdad en lenguajes formalizados, abordando aspectos lógicos y semánticos en sintonía con el enfoque de Tarski.
Analiza los fundamentos de la semántica formal y la verdad, reafirmando conceptos discutidos en 'Lenguaje y Verdad' sobre el lenguaje y su relación con la realidad.