Лоренцен Пауль
Ло́ренцен Па́уль (Paul Lorenzen) (24.3.1915, Киль – 1.10.1994, Гёттинген), немецкий математик и философ. В 1933–1938 гг. учился в университетах Киля, Берлина и Гёттингена. С 1946 г. работал в Боннском университете, в 1956–1962 гг. профессор Кильского, в 1962–1980 гг. – Эрлангенского университетов. Основатель (вместе с В. Камлахом) эрлангенской школы в философии науки. Теоретик конструктивизма, представляющего собой философское обобщение построенной им концепции оперативной (конструктивной) логики и математики. При исследовании проблем конструктивного обоснования геометрии Лоренцен, опираясь на идеи Х. Динглера, первоначально считал геометрию разделом протофизики, поскольку в ней речь идёт об анализе природных объектов. Однако впоследствии он стал трактовать геометрию как теорию математических фигур, в которой из исходных форм по принятым правилам конструирования получаются производные формы. Построенная Лоренценом общая теория абстракций охватывает т. н. математику структур, конструктивную теорию множеств, конструктивную теорию вероятностей и общую семантику. Формулируя программу эрлангенской школы, Лоренцен акцентировал роль языка при построении специальных научных дисциплин и человеческой практики в целом. В этом контексте практику предваряет логическая пропедевтика, которая даёт конструктивное обоснование практической философии на основе исследования типов моральных поступков, норм и форм аргументации. Своеобразной теорией аргументации стала диалогическая логика, разрабатывавшаяся Лоренценом совместно с немецким философом К. Лоренцом.