(р. 1915) - нем. математик,
логик и
философ. В 1946-62
работал в Боннском и Кильском ун-тах, в 1962-80 - в Эрлангенском ун-те. Л. - основатель (вместе с В. Камлахом) так называемой эрлангенской школы в философии науки и главный представитель нем. конструктивной теории науки.
Конструктивизм Л. представляет собой философское
обобщение построенной им
концепции оперативной (конструктивной) логики и математики. При исследовании проблем конструктивного обоснования геометрии Л., опираясь на
идеи Динглера, первоначально считал, что, поскольку в геометрии
речь идет об
анализе не фигур, а природных объектов, она является не частью математики, а разделом протофизики. Впоследствии Л. изменил эту точку зрения и стал трактовать геометрию как теорию форм математических фигур, в которой из исходных форм по принятым правилам конструирования получаются производные формы фигур. Построенная им в 1962 общая
теория абстракций охватывает математику структур, конструктивную теорию множеств, конструктивную теорию вероятностей и общую семантику. Формулируя программу эрлангенской школы и разрабатывая
принципы философского конструктивизма, или конструктивного
метода, Л. подчеркивает
роль языка при построении специальных научных дисциплин и человеческой практики в целом.
Наука как высшая
форма обобщения повседневной практики должна, по его мнению, быть сведена к "жизненному миру", к множеству человеческих и ценностных ориентиров. В этом
контексте практику предваряет логическая
пропедевтика, которая дает конструктивное
обоснование практической философии на основе исследования типов моральных поступков, форм аргументации и человеческих норм. Einfuhrung in die operative Logik und Mathematik. В., 1955; Konstruktive Wissenschaftheorie. Fr./M., 1974; Grundbegriffe der technischen und politischen Kultur. Fr./M., 1985.