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

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

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

• О правилах предположений в формальной логике Studia Logica 1, 1934 с. 5–32 (перепечатано в: Storrs McCall (ed.), Polish Logic 1920-1939, Oxford University Press, 1967, стр. 232–258
• Investigations into the System of Intuitionist Logic 1936 (переведено на: Storrs McCall (ред.), Polish Logic 1920-1939, Oxford University Press, 1967, стр. 259–263
• Исчисление высказываний для несовместимых дедуктивных систем, 1948 (перепечатано в Studia Logica, 24 1969, стр 143–157 и in: 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 - m atematyczna teoria Ornamentów (английское название: О симметрии в искусстве и природе), PWS, Warszawa, 1952 (книга 168 страниц)
• Matematyczna teoria Ornamentów (Английское название: математическая теория орнаментов), PWN, Warszawa, 1957 ( книга 100 страниц)

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

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

.