Ambos libros exploran la relación entre la verdad y la lógica, profundizando en cómo se construyen y se verifican las teorías del conocimiento.
Truth and Proof: The Plantinga-Carnap Correspondence
por George S. Boolos · 2005
Ver sugerenciasSinopsis
Sé el primero en valorar este libro.
Más de George S. Boolos
Ver autor →Otras obras del mismo autor en el catálogo
Computabilidad y Lógica
1974
Computability and Logic
1974
Computability and Logic
1974
Teoría de la Computabilidad y Lógica Matemática
1974
The Unprovability of Consistency of Peano Arithmetic
1975
Inheritance and the Theory of Concepts
1980
Mathematical Logic
1987
On Second-Order Quantification
1989
Liar: A Loupe on Truth
1990
The Status of Logic
1992
The Justification of Deduction
1993
The Logic of Provability
1993
Theories of Truth
1996
Logic, Logic, and Logic
1998
A New Perspective on Gödel's Incompleteness Theorem
1998
Libros similares
Libros relacionados según distintos criterios de búsqueda
Al igual que en la correspondencia entre Plantinga y Carnap, este libro examina estructuras formales y su implicación en la filosofía de la matemáticas.