Философская энциклопедия - лоренцен
Лоренцен
ЛО́РЕНЦЕН
(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.
.Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 2311 | |
2 | 2266 | |
3 | 1397 | |
4 | 1353 | |
5 | 762 | |
6 | 734 | |
7 | 689 | |
8 | 667 | |
9 | 647 | |
10 | 621 | |
11 | 618 | |
12 | 563 | |
13 | 557 | |
14 | 546 | |
15 | 543 | |
16 | 535 | |
17 | 530 | |
18 | 526 | |
19 | 517 | |
20 | 516 |