Станислав Ясковский

Польский логик и философ

Станислав Ясковский ( польское произношение : [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)

на польском

• O symetrii w zdobnictwie i przyrodzie - matematyczna teoria Decorationów (английское название: On Symmetry in Art and Nature ), PWS, Варшава, 1952 (книга 168 страниц)
• Matematyczna teoria Decorationów (английское название: Mathematical Theory of Ornaments ), PWN, Варшава, 1957 (книга 100 страниц)

Смотрите также

• Список польских математиков
• Хронология польской науки и технологий

Рекомендации

1. «Системы естественной дедукции в логике». plato.stanford.edu . 29 октября 2021 г. Проверено 2 мая 2023 г.
2. Рикардо Артуро Николас-Франциско. «О польском подходе к паранепротиворечивости с помощью модализации» (PDF) . edukacja-filozoficzna.uw.edu.pl . Проверено 2 мая 2023 г.
3. Ясковский, Станислав (1934). «О правилах предположений в формальной логике». Польская логика 1920–39 .
4. Инджейчак, Анджей (2018). «Станислав Ясковский и системы естественной дедукции». Львовско-Варшавское училище. Прошлое и настоящее . Исследования по универсальной логике. стр. 465–483. дои : 10.1007/978-3-319-65430-0_33. ISBN 978-3-319-65429-4. Проверено 2 мая 2023 г. {{cite book}}: |website=игнорируется ( помощь )
5. "Warszawskie Zabytkowe Pomniki Nagrobne" (на польском языке). Архивировано из оригинала 22 апреля 2019 г. Проверено 2 мая 2023 г.

Источники

• Ежи Пержановский (1999). «Пятьдесят лет паранесогласованной логики» (PDF) . Логика и логическая философия . 7 : 21–24. Архивировано из оригинала (PDF) 4 апреля 2006 г.
• Воленский, Ян (2003). «Львовско-Варшавская школа». Стэнфордская энциклопедия философии (выпуск лета 2003 г.) . Проверено 11 марта 2006 г.
• Ежи Котас, Август Печковский. Научные работы Станислава Ясковского , Studia Logica 21, 1967, 7–15.

Внешние ссылки

• Польская логика послевоенного периода.