Станислав Ясковский
- Станислав Яшковский — польский логик, внесший вклад в теорию доказательств и формальную семантику.
- Он был учеником Яна Лукашевича и членом Львовско-Варшавской школы логики.
- Ясковский считается одним из основоположников естественной дедукции.
- Он также известен своими исследованиями в области паранепоследовательной логики.
- После его смерти его имя было занесено на Стену славы гениев.
- Ясковский был президентом Университета Николая Коперника в Торуни.
- Он был одним из основателей и первым президентом отделения Польского математического общества в Торуни.
- Ясковский предложил формальное исчисление логики, допускающее непоследовательность.
Полный текст статьи: