Станислав Яськовский
Станислав Яськовский | |
|---|---|
 | |
| Рожденный | ( 1906-04-22 )22 апреля 1906 г. |
| Умер | 16 ноября 1965 г. (1965-11-16)(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 (переведено в: Storrs McCall (ред.), 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 страниц)
Смотрите также
Ссылки
- ^ "Естественные системы вывода в логике". plato.stanford.edu . 29 октября 2021 г. . Получено 2 мая 2023 г. .
- ^ Рикардо Артуро Николас-Франциско. «О польском подходе «через модализацию» к параконсистентности» (PDF) . edukacja-filozoficzna.uw.edu.pl . Получено 2 мая 2023 г. .
- ^ Яськовский, Станислав (1934). «О правилах предположений в формальной логике». Польская логика 1920–39 .
- ^ Инджейчак, Анджей (2018). «Станислав Яськовский и системы естественного вывода». Львовско-Варшавская школа. Прошлое и настоящее . Исследования по универсальной логике. С. 465– 483. doi :10.1007/978-3-319-65430-0_33. ISBN 978-3-319-65429-4. Получено 2 мая 2023 г. .
{{cite book}}:|website=проигнорировано ( помощь ) - ^ "Warszawskie Zabytkowe Pomniki Nagrobne" (на польском языке). Архивировано из оригинала 22 апреля 2019 г. Проверено 2 мая 2023 г.
Источники
- Ежи Пержановский (1999). «Пятьдесят лет паранесогласованной логики» (PDF) . Логика и логическая философия . 7 : 21–24 . Архивировано из оригинала (PDF) 2006-04-04.
- Воленский, Ян (2003). "Львовско-Варшавская школа". Стэнфордская энциклопедия философии (лето 2003 г.) . Получено 11.03.2006 .
- Ежи Котас, Август Печковский. Научные работы Станислава Ясковского , Studia Logica 21, 1967, 7–15.
Внешние ссылки
- Польская логика послевоенного периода
