- ЛОРЕНЦЕН
- ЛО́РЕНЦЕН
-
(Lorenzen), Пауль Петер Вильгельм (р. 24 марта 1915) – нем. логик и математик, д-р естествознания, проф. ун-та в Киле (с 1956). Работает в области математич. логики, оснований математики и алгебры. В соч. "Введение в оперативную логику и математику" ("Einführung in die operative Logik und Mathematik", 1955) Л. построил систему "оперативной логики", к-рая является попыткой обосновать употребляемые во мн. системах математич. логики аксиомы и правила вывода. С этой целью Л. строит логику без аксиом, как общую теорию исчислений. Система Л. при этом сама оказывается исчислением, в к-ром выводимы все аксиомы и правила вывода интуиционистской логики. Л. разработал также "логику спора", близкую по своему характеру к т.н. дедуктивным таблицам голл. логика Э. Бета. "Логика спора" является одним из обоснований интуиционистской логики.Соч.: Logical reflection and formalism, "J. Symbolic Logic", 1958, v. 23, No 3; Logik und Agon, в кн.: Atti del XII Congresso internazionale di Filosofia, [Venezia, septembre 1958 ], v. 4, Firenze, 1960; Die Entstehung der exakten Wissenschaften, В., 1960; Ein dialogisches Konstruktivitätskriterium, в сб.: Infinitistic methods. Proceedings of the symposium on foundations of mathematics. Warszawa, 2–9 September, 1959, Oxf.–Warsz., 1961, p. 193–200; Formale Logik, [2 Aufl. ] B., 1962.В. Донченко. Москва.
Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960—1970.
- ЛОРЕНЦЕН
-
ЛОРЕНЦЕН (Lorenzen) Пауль (род. 1915) — немецкий математик, логик и философ. В 1946—62 работал в Боннском и Кильском университетах. В 1962—80 — в Эрлангенском университете. Основатель (вместе с В. Камлахом) т. н. эрлангенской школы в философии науки и главный представитель немецкой конструктивной теории науки. Конструктивизм Лоренцена представляет собой философское обобщение построенной им концепции оперативной (конструктивной) логики и математики. При исследовании проблем конструктивного обоснования геометрии Лоренцен, опираясь на идеи Г. Динглера, первоначально считал, что, поскольку в геометрии речь идет об анализе не фигур, а природных объектов, она является не частью математики, а разделом протофизики. Впоследствии он изменил свою т. зр. и стал трактовать геометрию как теорию форм математических фигур, в которой из исходных форм по принятым правилам конструирования получаются производные формы фигур. Построенная Лоренценом в 1962 общая теория абстракций охватывает т. н. математику структур, конструктивную теорию множеств, конструктивную теорию вероятностей и общую семантику. Формулируя программу эрлангенской школы и разрабатывая принципы философского конструктивизма, или конструктивного метода, Лоренцен подчеркивает роль языка при построении специальных научных дисциплин и человеческой практики в целом. Наука как высшая форма обобщения повседневной практики должна, по его мнению, быть сведена к “жизненному миру”, т. е. к множеству человеческих и ценностных ориентиров. В этом контексте практику предваряет логическая пропедевтика, которая дает конструктивное обоснование практической философии на основе исследования типов моральных поступков, норм и форм аргументации.Соч.: Einfuhrung in die operative Logik und Mathematik. B.—Gott.— Hdlb„ 1955; Konstruktive Wssenschaftheorie. Fr./M., 1974; Grundbegrrfie der technischen und politischen Kultur. Fr./M., 1985.B. H. Садовский
Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001.
.