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

Stanisław Jaśkowski ; 22 апреля 1906, Варшава — 16 ноября 1965, Варшава) — польский логик , внесший важный вклад в теорию доказательств и формальную семантику . Он был учеником Яна Лукасевича и членом Львовско-Варшавской школы логики . После его смерти его имя было добавлено на Стену славы гениев. Он был президентом (ректором) Университета Николая Коперника в Торуни .

Яськовский считается одним из основоположников естественной дедукции , которую он открыл независимо от Герхарда Генцена в 1930-х годах. Первоначально подход Генцена стал более популярным среди логиков, потому что его можно было использовать для доказательства теоремы об исключении разрезов . Однако метод Яськовского ближе к тому, как доказательства делаются на практике. Он также был одним из первых, кто предложил формальное исчисление непротиворечивой (или паранепротиворечивой) логики . Кроме того, Яськовский был пионером в исследовании как интуиционистской логики, так и свободной логики .