Название: Paul Lorenzen - Mathematician and Logician
Автор: Gerhard Heinzmann, Gereon Wolters
Издательство: Springer
Год: 2021
Формат: PDF
Страниц: 274
Размер: 10 Mb
Язык: English

This open access book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th century. It features papers focused on integrating Lorenzen's original approach into the history of logic and mathematics. The papers also explore how practitioners can implement Lorenzen’s systematical ideas in today’s debates on proof-theoretic semantics, databank management, and stochastics.