Ambos libros de Lorenzen abordan la fundamentación del conocimiento matemático a partir de procedimientos constructivos, apelando a un enfoque pragmático.
La lógica de la fundamentación
por Paul Lorenzen · 1965
Ver sugerenciasSinopsis
Una exposición de la lógica constructiva y la matemática operativa, proponiendo una fundamentación de las matemáticas basada en procedimientos constructivos y un diálogo entre proponentes y oponentes.
Sé el primero en valorar este libro.
Más de Paul Lorenzen
Ver autor →Otras obras del mismo autor en el catálogo
Verbo y realismo
1954
Formale Metamathematik
1955
Entwurf einer konstruktiven Urteilslogik
1956
La construcción del mundo como un problema matemático
1961
Die leere Welt
1964
Formas de pregunta y formas de argumentación
1968
Lógica y Constructivismo
1970
Einführung in die konstruktive Mathematik
1971
La construcción de la realidad
1974
Constructive Philosophy
1977
Formale Axiomatik und transzendentale Logik: Studien zur Kritik der mathematischen Vernunft
1978
Die Grenzen der Sprache
1978
Sprachphilosophie
1982
Philosophische Aufsätze
1987
Wissenschaft und Erkenntnis
1991
Libros similares
Libros relacionados según distintos criterios de búsqueda
Este texto refuerza la idea de un programa constructivista para las matemáticas, similar en su metodología dialógica y en su enfoque hacia la lógica operativa.
Formale Axiomatik und transzendentale Logik: Studien zur Kritik der mathematischen Vernunft
Paul Lorenzen
1978·filosofia
Lorenzen explora la lógica formal a través de un marco constructivista, buscando una relación directa con las matemáticas, al igual que en 'La lógica de la fundamentación'.
Ambos textos comparten un enfoque operativo y constructivista en la metamatemática, enfatizando la importancia de las demostraciones válidas y las reglas de juego.
El análisis de la argumentación en este trabajo se alinea con el diálogo propuesto por Lorenzen, fundamentando la filosofía de las matemáticas en interacciones comunicativas.
Prawitz también enfatiza una perspectiva constructivista en la lógica, sugiriendo una teoría de la demostración que resuena con las ideas de procedimiento y diálogo presentes en Lorenzen.