Ambos textos exploran la lógica constructiva, centrándose en cómo fundamentar matemáticas mediante procedimientos explícitos y el diálogo entre posturas antagónicas.
Formale Axiomatik und transzendentale Logik: Studien zur Kritik der mathematischen Vernunft
por Paul Lorenzen · 1978
Ver sugerenciasSinopsis
Este trabajo examina la relación entre la lógica formal y la filosofía trascendental, buscando fundamentar la validez de los sistemas axiomáticos a través de un enfoque constructivista.
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
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
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 libro aborda conceptos metamatemáticos desde una perspectiva constructivista, alineándose con la búsqueda de fundamentos lógicos en sistemas axiomáticos.
La filosofía operativa presentada aquí refleja un enfoque en la construcción del conocimiento que resuena con la crítica de la razón matemática en el libro de referencia.
Este trabajo desarrolla un programa constructivista similar al de Lorenzen, enfatizando la lógica y matemática como resultado de operaciones dialógicas y reglas claras.
Introduce principios de la matemática constructiva que enfatizan la creación de estructuras numéricas, similar al enfoque constructivista en los sistemas axiomáticos de Lorenzen.
Analiza la lógica dialógica y argumentativa, ofreciendo un sistema formal que complementa la crítica a la lógica y filosofía de las matemáticas presentes en el libro de referencia.