Ambos libros abordan la semántica formal y la definición de la verdad en lenguajes, mostrando un enfoque riguroso y analítico característico de Tarski.
Lógica, semántica, metamatemática: Documentos de 1923-1938
por Alfred Tarski · 1956
Ver sugerenciasSinopsis
Colección de ensayos de Tarski que cubren sus contribuciones fundamentales a la lógica matemática, la teoría de la verdad y la semántica formal, abordando la estructura y el significado del lenguaje en la lógica.
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
Estos ensayos examinan fundamentos semánticos y lógicos, infiriendo una conexión directa entre la verdad, el significado y la lógica matemática que Tarski establece.
Similar en su análisis, este texto profundiza en las interacciones entre lógica y semántica, un tema central también en la obra de referencia.
Exploran la teoría de la verdad en lenguajes formalizados, un aspecto esencial en ambos relatos que establece puentes entre la lógica y la semántica.
Al igual que el libro de referencia, este compendio de ensayos de Tarski trata la relación entre lógica y metamatemática, fortaleciendo así su conexión temática.
Este texto complementa a la obra de referencia al explorar los fundamentos de la lógica matemática y su relación con la semántica y la verdad.