- Яськовский, Станислав
-
Станислав Яськовский Stanisław Jaśkowski Дата рождения: Дата смерти: Научная сфера: Станислав Яськовский (польск. Stanisław Jaśkowski; 22 апреля 1906, Варшава — 16 ноября 1965, там же) — польский логик. Внёс значительный вклад в развитие теории доказательств и формальной семантики.
Он был студентом Яна Лукасевича и принадлежал к Львовско-Варшавской школе логики. С 1946 года профессор, с 1959 по 1962 гг. ректор Университета Николая Коперника в Торуне .
Яськовский считается одним из основателей натурального исчиcления,[1][2] которое он открыл независимо от Герхарда Генцена в 1930-х гг. (подход Генцена более известен). Он был одним из первых, если не первым, кто предложил формальное исчисление параконсистентной логики. Следовательно, Яськовский является пионером в исследовании как интуционистской логики, так и свободной логики.
Труды
- «О правилах допущений в формальной логике», 1934.
- «Исследования в системе интуционистской логики», 1936.
- «Пропозициональное исчисление в неконсистентной системе вывода», 1948.
- «О дискуссивной конъюнкции в пропозициональном исчислении в неконсистентной системе вывода», 1949.
- «О формулах, в которых неиндивидуальная изменчивость проявляется более, чем дважды», 1966.
Примечания
Для улучшения этой статьи по логике желательно?: - Дополнить статью (статья слишком короткая либо содержит лишь словарное определение).
- Добавить иллюстрации.
Категории:- Персоналии по алфавиту
- Учёные по алфавиту
- Родившиеся 22 апреля
- Родившиеся в 1906 году
- Умершие 16 ноября
- Умершие в 1965 году
- Логики
- Логики Польши
- Преподаватели Университета Николая Коперника
Wikimedia Foundation. 2010.