1915 – 1994
Paul Lorenzen (1915–1994) was a German mathematician and philosopher best known for founding operative logic and constructive mathematics, and for co-developing dialogical logic with Kuno Lorenz. He led the Erlangen school of constructivism, which sought to ground all of mathematics and scientific language in explicitly performable operations rather than abstract platonic entities. His work bridges the philosophy of mathematics, logic, and the foundations of physics.
Founded operative (constructivist) logic and mathematics, grounding inference in performable operations
Co-developed dialogical (game-theoretic) logic, reinterpreting logical validity through argumentation dialogues
Led the Erlangen Programme, a systematic constructivist reform of scientific language and method
Argued for the constructive foundations of geometry and physics, rejecting the view that mathematical structures are simply true or false of the world
Authored Normative Logic and Ethics, extending constructivist methods to practical philosophy