Ежи Слупецкий
Ежи Слупецкий (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 ]
Он опубликовал:
- По вопросам логики и философии: избранные сочинения (1961, редактор), избранные произведения Яна Лукасевича. [ 12 ]
- Элементы математической логики и теории множеств (1967) [ 13 ]
Примечания
[ редактировать ]- ^ Роман Муравский (27 августа 2014 г.). Философия математики и логики в 1920-х и 1930-х годах в Польше . Спрингер. п. 63. ИСБН 978-3-0348-0831-6 .
- ^ Эндрю МакФарланд; Джоанна МакФарланд; Джеймс Смит (11 августа 2014 г.). Альфред Тарский: Ранние работы в Польше — геометрия и преподавание . Спрингер. п. 198. ИСБН 978-1-4939-1474-6 .
- ^ Воленский, Ян; Зигмунт, Ян (1989). «Ежи Слупецкий (1904–1987): Жизнь и творчество» . Студия Логика . 48 (4): 401–411. дои : 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). Введение в математическую логику . Издательство Принстонского университета. п. 162. ИСБН 0-691-02906-7 .
- ^ Лилиана Альбертацци (2004). Аристот XIX века (на французском языке). Прессы Univ. п. 403. ИСБН 978-2-85939-864-4 .
- ^ Роже Пуиве; Мануэль Ребуски (2006). Философия в Польше: 1918-1939 (на французском языке). Врин. п. 179. ИСБН 978-2-7116-1824-8 .
- ^ Дов М. Габбай; Джон Вудс (16 июня 2009 г.). Логика от Рассела к Чёрчу . Эльзевир. п. 318. ИСБН 978-0-08-088547-6 .
- ^ Церковь Алонсо (1996). Введение в математическую логику . Издательство Принстонского университета. п. 153. ИСБН 0-691-02906-7 .
- ^ К. Маллиган; К. Киджания-Плачек; Т. Пласек; Катажина Кияния-Плачек (26 января 2016 г.). История и философия польской логики: Очерки в честь Яна Воленского . Пэлгрейв Макмиллан, Великобритания. ISBN 978-1-137-03089-4 .
- ^ Ян Лукасевич (1961). К проблемам логики и философии: Избранные сочинения . Государственное издательство Научный.
- ^ Ежи Слупецкий; Людвик Борковски (1967). Элементы математической логики и теории множеств . Пергамон Пресс.