Ежи Слупецкий
Ежи Слупецкий (1904–1987) — польский математик и логик.
Жизнь
Он посещал семинар Яна Лукасевича и в 1938 году написал под его руководством докторскую диссертацию . [1] [2]
Во время Второй мировой войны он действовал в Жеготе . [3]
В 1963 году, во Вроцлавском университете , где он работал с 1945 года, он стал редактором Studia Logica . [4] [5]
Работы
Слупецкий показал, как многозначная логика Лукасевича может быть включена в теорию систем Поста , и дал функционально полную версию трехзначной логики . [6] В логике категорических предложений он нашел правило, которое сделало теорию разрешимой; [7] его работа по логике Аристотеля, написанная в 1948 году, была позже переиздана на французском языке. [8]
Он также продолжил работу Станислава Лесьневского и написал о его системе («прототетика») в 1953 году в Studia Logica . [9] [10] Обзор «Логические работы Ежи Слупецкого» появился в Studia Logica XLVIII (1989) Яна Воленского и Яна Зигмунта. [11]
Он опубликовал:
- Z z agadnień logiki i filozofii: pisma wybrane (1961, редактор), избранные произведения Яна Лукасевича [12]
- Элементы математической логики и теории множеств (1967) [13]
Примечания
- ^ Роман Муравски (27 августа 2014 г.). Философия математики и логики в 1920-х и 1930-х годах в Польше. Springer. стр. 63. ISBN 978-3-0348-0831-6.
- ^ Эндрю Макфарланд; Джоанна Макфарланд; Джеймс Смит (11 августа 2014 г.). Альфред Тарский: Ранние работы в Польше — Геометрия и преподавание. Springer. стр. 198. ISBN 978-1-4939-1474-6.
- ^ Воленский, Ян; Зигмунт, Ян (1989). «Ежи Слупецкий (1904–1987): Жизнь и творчество». Студия Логика . 48 (4): 401–411 . doi : 10.1007/BF00370196. ISSN 0039-3215. JSTOR 20015455. S2CID 35722973.
- ^ Винсент Ф. Хендрикс; Яцек Малиновский (9 марта 2013 г.). Тенденции в логике: 50 лет Studia Logica. Springer Science & Business Media. стр. 23. ISBN 978-94-017-3598-8.
- ^ Сандра Лапуэнт; Ян Воленски; Матье Марион; Виолетта Мискевич (19 мая 2009 г.). Золотой век польской философии: философское наследие Казимежа Твардовского. Springer Science & Business Media. стр. 9. ISBN 978-90-481-2401-5.
- ^ Алонзо Чёрч (1996). Введение в математическую логику. Princeton University Press. стр. 162. ISBN 0-691-02906-7.
- ^ Лилиана Альбертацци (2004). Аристот XIX века (на французском языке). Прессы Унив. Септентрион. п. 403. ИСБН 978-2-85939-864-4.
- ^ Роджер Пуиве; Мануэль Ребуски (2006). Философия в Полони: 1918–1939 (на французском языке). Врин. п. 179. ИСБН 978-2-7116-1824-8.
- ^ Дов М. Габбей; Джон Вудс (16 июня 2009 г.). Логика от Рассела до Черча. Elsevier. стр. 318. ISBN 978-0-08-088547-6.
- ^ Алонзо Чёрч (1996). Введение в математическую логику. Princeton University Press. стр. 153. ISBN 0-691-02906-7.
- ^ K. Mulligan; K. Kijania-PLacek; T. Placek; Katarzyna Kijania-Placek (26 января 2016 г.). История и философия польской логики: эссе в честь Яна Воленского. Palgrave Macmillan UK. ISBN 978-1-137-03089-4.
- ^ Ян Лукасевич (1961). Из загадочных логики и философии: письма выбране. Паньствове Видон. Наукове.
- ^ Ежи Слупецкий; Людвик Борковский (1967). Элементы математической логики и теории множеств . Pergamon Press.
Внешние ссылки
- Отрывок из книги Яна Воленского и Яна Зигмунта «Ежи Слупецкий (1904–1987): жизнь и творчество», Studia Logica 48 (1989), 401–411 [ постоянная мертвая ссылка ]
