La lógica de la fundamentación expone procedimientos constructivos similares a los que utiliza Lorenzen para abordar la validez en matemáticas.
Formale Metamathematik
por Paul Lorenzen · 1955
Ver sugerenciasSinopsis
Este texto aborda la metamatemática desde una perspectiva constructivista y operativa, explorando los fundamentos de las matemáticas a través de un enfoque en las reglas de juego y las demostraciones válidas.
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
Entwurf einer konstruktiven Urteilslogik
1956
La construcción del mundo como un problema matemático
1961
Die leere Welt
1964
La lógica de la fundamentación
1965
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
Formale Axiomatik und transzendentale Logik: Studien zur Kritik der mathematischen Vernunft
Paul Lorenzen
1978·filosofia
Formale Axiomatik und transzendentale Logik investiga la validez de sistemas axiomáticos con un enfoque constructivista, alineándose con la perspectiva de Lorenzen.
Formas de pregunta y formas de argumentación emplea un sistema formal para construir argumentos válidos, eco del propio enfoque operacional de Lorenzen.
La construcción de la realidad presenta una filosofía operativa que fundamenta el conocimiento en reglas de construcción, como en la obra de Lorenzen.
Einführung in die konstruktive Mathematik destaca la importancia de la construcción intuitiva en matemáticas, resonando con el enfoque de Lorenzen sobre la metamatemática.
Formale Logik proporciona un marco exhaustivo sobre lógica formal, esencial para entender el trasfondo histórico que Lorenzen utiliza en su metamatematica.