Este libro expande los ensayos de Tarski sobre lógica matemática y fundamentos, abordando específicamente la teoría de conjuntos y conceptos de verdad.
Lógica y fundamentos
por Alfred Tarski · 1956
Ver sugerenciasSinopsis
Una colección de ensayos que abordan los principios fundamentales de la lógica matemática y sus implicaciones para los fundamentos de las matemáticas. Tarski es una figura clave en la lógica formal del siglo XX.
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
Lógica formal
1936
Breve introducción a la lógica formal y la metamatemática
1936
Introducción a la lógica
1936
Elementos de Lógica Matemática y Metamatemática
1936
La semántica de los lenguajes interpretados
1936
La Noción de Concepto
1936
A Deduction System for the First-Order Logic
1936
Introducción a la Metalógica
1936
Conceptos fundamentales de la metamatemática
1936
Libros similares
Libros relacionados según distintos criterios de búsqueda
Ofrece una introducción rigurosa a la lógica matemática que complementa el enfoque de Tarski en la lógica de enunciados y predicados.
Recoge ensayos técnicos y filosóficos que profundizan en la naturaleza de las matemáticas, al igual que Tarski en su análisis de fundamentos.
Introduce principios de lógica simbólica y metalógica, apoyando la estructura formal que Tarski enfatiza en sus obras sobre lógica matemática.
Explora la conexión entre lógica y la noción de verdad, similar al enfoque de Tarski sobre la relación entre lógica y matemáticas.
Presenta los principios de la lógica elemental y su metodología, lo que refuerza las bases que Tarski establece en su estudio de fundamentos.