Яськовский, Станислав
Станислав Яськовский (польск. Stanisław Jaśkowski; 22 апреля 1906, Варшава — 16 ноября 1965, там же) — польский логик. Внёс значительный вклад в развитие теории доказательств и формальной семантики.
| Станислав Яськовский | |
|---|---|
| польск. Stanisław Jaśkowski | |
 | |
| Дата рождения | 22 апреля 1906 |
| Место рождения | |
| Дата смерти | 16 ноября 1965 (59 лет) |
| Место смерти | |
| Страна |
 Российская империя → Польская Республика→ Польская Народная Республика |
| Научная сфера | логика, математика |
| Место работы | |
| Альма-матер | |
| Научный руководитель | Ян Лукасевич[1] |
Он был студентом Яна Лукасевича и принадлежал к Львовско-Варшавской школе логики. С 1946 года — профессор, с 1959 по 1962 гг. — ректор Университета Николая Коперника в Торуне.
Яськовский считается одним из основателей натурального исчисления,[2][3] которое он открыл независимо от Герхарда Генцена в 1930-х гг. (подход Генцена более известен). Он был одним из первых, если не первым, кто предложил формальное исчисление параконсистентной логики. Следовательно, Яськовский является пионером в исследовании как интуиционистской логики, так и свободной логики.
Труды править
- «О правилах допущений в формальной логике», 1934.
- «Исследования в системе интуиционистской логики», 1936.
- «Пропозициональное исчисление в неконсистентной системе вывода», 1948.
- «О дискуссивной конъюнкции в пропозициональном исчислении в неконсистентной системе вывода», 1949.
- «О формулах, в которых неиндивидуальная изменчивость проявляется более, чем дважды», 1966.
Примечания править
- ↑ Mathematics Genealogy Project (англ.) — 1997.
- ↑ Б. Т. Домбровский, Львовско-варшавская философская школа (1895—1939)/ Натуральный вывод Ст. Яськовского. Дата обращения: 17 октября 2010. Архивировано 26 октября 2011 года.
- ↑ К. Твардовский. Львовско-Варшавская философская школа/Натуральный вывод Ст. Яськовского. Дата обращения: 17 октября 2010. Архивировано из оригинала 22 декабря 2007 года.