Станислав Ясковский
Станислав Ясковский | |
---|---|
Рожденный | |
Умер | 16 ноября 1965 г. | (59 лет)
Национальность | Польский |
Альма-матер | Варшавский университет |
Известный | естественный вычет паранепротиворечивая логика теория доказательств формальная семантика |
Научная карьера | |
Поля | Логика |
Учреждения | Университет Николая Коперника в Торуни |
Станислав Ясковский ( польское произношение : [staˈɲsvaf jaɕˈkɔfskʲi] ; 22 апреля 1906, Варшава — 16 ноября 1965, в Варшаве) — польский логик , внесший важный вклад в теорию доказательств и формальную семантику . Он был учеником Яна Лукасевича и членом Львовско-Варшавской школы логики . Его считают одним из основоположников естественной дедукции , которую он открыл независимо от Герхарда Генцена в 1930-х годах. [1] Он также известен своими исследованиями паранепротиворечивой логики . [2] После его смерти его имя было добавлено к Стене славы гениев. Он был президентом (ректором) Университета Николая Коперника в Торуни .
Жизнь и карьера [ править ]
Он родился в 1906 году в Варшаве в семье Феликса Ясковского и матери Казимеры (в девичестве Дзержбицкой). В 1924 году он окончил среднюю школу в Закопане и поступил в Варшавский университет для изучения математики . Он обучался математической логике у Яна Лукасевича и участвовал в съездах польских математиков во Львове (1927 г.) и Вильнюсе (1931 г.).
После начала Второй мировой войны он участвовал в Сентябрьской кампании в качестве волонтера. В 1942 году он был ненадолго арестован немцами. В 1945 году он продолжил научную карьеру в Торуньском университете , где защитил хабилитацию и занял должность заведующего факультетом математической логики.
С 1950 года сотрудничал с Государственным институтом математики Польской академии наук (ПАН). В 1959–1962 годах он занимал пост ректора университета. Он был одним из основателей и первым президентом отделения Польского математического общества в Торуни.
Ясковский считается одним из основоположников естественной дедукции , которую он открыл независимо от Герхарда Генцена в 1930-х годах. [3] [4] Подход Генцена изначально стал более популярным среди логиков, поскольку его можно было использовать для доказательства теоремы об исключении разреза . Однако метод Ясковского ближе к тому, как доказательства проводятся на практике. Он также был одним из первых, кто предложил формальное исчисление непротиворечивой (или паранепротиворечивой) логики . Более того, Ясковский был пионером в исследовании как интуиционистской логики , так и свободной логики .
Он умер в 1965 году в Варшаве и был похоронен на Повонзком кладбище . [5]
Работает [ править ]
- О правилах предположений в формальной логике Studia Logica 1, 1934, стр. 5–32 (перепечатано в: Storrs McCall (ed.), Polish Logic 1920–1939 , Oxford University Press, 1967, стр. 232–258).
- Исследования системы интуиционистской логики , 1936 г. (перевод: Сторрс МакКолл (ред.), Polish Logic 1920–1939 , Oxford University Press, 1967, стр. 259–263).
- Исчисление высказываний для непоследовательных дедуктивных систем , 1948 г. (перепечатано в: Studia Logica, 24, 1969, стр. 143–157 и в: Logic and Logical Philosophy 7, 1999, стр. 35–56)
- О дискуссионном соединении в исчислении высказываний для непоследовательных дедуктивных систем , 1949 г. (перепечатано в: Logic and Logical Philosophy 7, 1999, стр. 57–59)
- О формулах, в которых ни одна индивидуальная переменная не встречается более двух раз , Журнал символической логики , 31, 1966, стр. 1–6)
- на польском языке
- О симметрии в декоре и природе - математическая теория орнаментов (английское название: On Symmetry in Art and Nature ), PWS, Варшава, 1952 (книга 168 страниц)
- Математическая теория орнаментов (английское название: Mathematical Theory of Ornaments ), PWN, Варшава, 1957 (книга 100 страниц)
См. также [ править ]
Ссылки [ править ]
- ^ «Системы естественной дедукции в логике» . plato.stanford.edu . 29 октября 2021 г. Проверено 2 мая 2023 г.
- ^ Рикардо Артуро Николас-Франциско. «О польском подходе к паранепротиворечивости с помощью модализации» (PDF) . edukacja-filozoficzna.uw.edu.pl . Проверено 2 мая 2023 г.
- ^ Ясковский, Станислав (1934). «О правилах предположений в формальной логике». Польская логика 1920–39 .
- ^ Инджейчак, Анджей (2018). Станислав Ясковский и системы естественной дедукции . Исследования по универсальной логике. стр. 465–483. дои : 10.1007/978-3-319-65430-0_33 . ISBN 978-3-319-65429-4 . Проверено 2 мая 2023 г.
{{cite book}}
:|website=
игнорируется ( помогите ) - ^ «Варшавские исторические могильные памятники» (на польском языке). Архивировано из оригинала 22 апреля 2019 г. Проверено 2 мая 2023 г.
Источники [ править ]
- Ежи Пержановский (1999). «Пятьдесят лет паранесогласованной логики» (PDF) . Логика и логическая философия . 7 : 21–24. Архивировано из оригинала (PDF) 4 апреля 2006 г.
- Воленский, Ян (2003). «Львовско-Варшавская школа» . Стэнфордская энциклопедия философии (выпуск лета 2003 г.) . Проверено 11 марта 2006 г.
- Ежи Котас, Август Печковский. Научные работы Станислава Ясковского , Studia Logica 21, 1967, 7–15.