Ежи Слупецкий - Jerzy Słupecki

Ежи Слупецкий

Ежи Слупецкий (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]

Он опубликовал:

  • Загадочные логики и философии: pisma wybrane (1961, редактор), избранные произведения Яна Лукасевича[12]
  • Элементы математической логики и теории множеств (1967)[13]

Примечания

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

внешняя ссылка