Станислав Яськовский (22 апреля 1906 г., Варшава - 16 ноября 1965 г., Варшава) был польским логиком , внесшим важный вклад в теорию доказательств и формальную семантику . Он был учеником Яна Лукасевича и членом Львовско-Варшавской школы логики . После его смерти его имя было добавлено на Стену славы гения. Он был президентом (ректором) Университета Николая Коперника в Торуни .
Яськовский считается одним из основоположников естественной дедукции , которую он открыл независимо от Герхарда Гентцена в 1930-х годах. Изначально подход Генцена стал более популярным среди логиков, поскольку его можно было использовать для доказательства теоремы об исключении сечения . Однако доказательство Яськовского ближе к практическому способу доказательства. Он также был одним из первых, кто предложил формальное исчисление непротиворечивой (или паранепротиворечивой) логики . Кроме того, Яськовский был пионером в исследовании как интуиционистской логики, так и свободной логики .
Работает
- О правилах предположений в формальной логике Studia Logica 1, 1934, стр. 5–32 (перепечатано в: Storrs McCall (ed.), Polish Logic 1920–1939 , Oxford University Press, 1967, стр. 232–258
- Исследования системы интуиционистской логики 1936 (переведено на: Сторрс МакКолл (ред.), Польская логика 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)
- О формулах, в которых индивидуальная переменная не встречается более двух раз , Journal of Symbolic Logic, 31, 1966, стр. 1–6)
- по польски
- O symetrii w zdobnictwie i przyrodzie - matematyczna teoria Ornamentów (английское название: О симметрии в искусстве и природе ), PWS, Warszawa, 1952 (книга 168 страниц)
- Математическая теория орнамента (английское название: математическая теория орнаментов ), PWN, Warszawa, 1957 (книга 100 страниц)
Рекомендации
- Ежи Перзановский (1999). «Пятьдесят лет паранепротиворечивой логики» (PDF) . Логика и логическая философия . 7 : 21–24. Архивировано из оригинального (PDF) 04.04.2006.
- Воленский, Ян (2003). "Львовско-Варшавская школа" . Стэнфордская энциклопедия философии (издание летом 2003 г.) . Проверено 11 марта 2006 .
- Ежи Котас, Август Печковский. Научные работы Станислава Яськовского , Studia Logica 21, 1967, 7-15