Paul Lorenzen

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.

El filósofo y matemático alemán Paul Lorenzen desarrolla un programa constructivista para la fundamentación de la lógica, la matemática y la geometría, partiendo de operaciones básicas y una concepción dialógica del lenguaje y la razón práctica.

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.

Este trabajo, parte de la escuela de Erlangen de lógica dialógica, analiza la estructura fundamental de la argumentación a través de la relación entre preguntas y respuestas. Propone un sistema formal para la construcción de argumentos válidos y el análisis crítico de proposiciones mediante un enfoque constructivista de la lógica.

Este libro introduce los conceptos fundamentales de la matemática constructiva, destacando su enfoque en la construcción de números y funciones, así como el papel de la intuición en la formulación de teorías matemáticas.

Este libro expone la filosofía operativa de Lorenzen, una aproximación pragmática a la lógica, las matemáticas y la ciencia que busca fundamentar el conocimiento en actos y reglas de construcción explícitas.

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.