Введение
Станислав Яшковский (польск. Stanisław Jaśkowski; 22 апреля 1906, Варшава – 16 ноября 1965, Варшава) – польский логик и философ, внесший значительный вклад в теорию доказательств и формальную семантику. Он был учеником Яна Лукашевича и членом Львовско-Варшавской школы логики. Яшковского считают одним из основателей естественной дедукции, которую он разработал независимо от Герхарда Гентцена в 1930-х годах. Он также известен своими исследованиями в области парасогласованной логики. После его смерти его имя было включено в Зал славы гениев. Он был ректором (президентом) Университета Николая Коперника в Торуне.
Stanisław Jaśkowski (Polish pronunciation: ; 22 April 1906, in Warsaw – 16 November 1965, in Warsaw) was a Polish logician who made important contributions to proof theory and formal semantics. He was a student of Jan Łukasiewicz and a member of the Lwów–Warsaw School of Logic. He is regarded as one of the founders of natural deduction, which he discovered independently of Gerhard Gentzen in the 1930s. He is also known for his research into paraconsistent logic. Upon his death, his name was added to the Genius Wall of Fame. He was the President (rector) of the Nicolaus Copernicus University in Toruń.
Жизнь и карьера
Родился в 1906 году в Варшаве в семье Феликса Яшковского и Казимеры (урождённой Дзержбицкой). В 1924 году окончил гимназию в Закопане и поступил в Варшавский университет на математическое отделение. Математическую логику изучал у Яна Лукашевича и принимал участие в конгрессах польских математиков во Львове (1927) и Вильнюсе (1931). После начала Второй мировой войны участвовал в сентябрьской кампании добровольцем. В 1942 году был ненадолго заключён в тюрьму немцами. В 1945 году продолжил научную деятельность в Торунском университете, где защитил докторскую диссертацию (habilitation) и занял должность заведующего кафедрой математической логики. С 1950 года сотрудничал с Государственным институтом математики Польской академии наук (ПАН). В 1959–1962 годах занимал должность ректора университета. Был одним из основателей и первым президентом отделения Польского математического общества в Торуне. Яшковский считается одним из основоположников естественной дедукции, которую он открыл независимо от Герхарда Гентцена в 1930-х годах. Подход Гентцена первоначально стал более популярным среди логиков, поскольку его можно было использовать для доказательства теоремы об исключении отсечений. Однако, система Яшковского ближе к тому, как доказательства строятся на практике. Он также одним из первых предложил формальный исчисление логики, допускающей противоречия (или параконсистентной). Кроме того, Яшковский был пионером в исследовании как интуиционистской логики, так и свободной логики. Умер в 1965 году в Варшаве и похоронен на кладбище Повонзки.