Философская энциклопедия - лоренцен

ЛО́РЕНЦЕН

(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.