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

Станислав Яськовский (польск. Stanisław Jaśkowski; 22 апреля 1906, Варшава — 16 ноября 1965, там же) — польский логик. Внёс значительный вклад в развитие теории доказательств и формальной семантики.

Станислав Яськовский
Stanisław Jaśkowski
Дата рождения 22 апреля 1906(1906-04-22)
Место рождения
Дата смерти 16 ноября 1965(1965-11-16) (59 лет)
Место смерти
Страна Российская империя →
Польская Республика→
Польская Народная Республика
Научная сфера логика, математика
Место работы
Альма-матер
Научный руководитель Ян Лукасевич[1]

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

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

Труды
  • «О правилах допущений в формальной логике», 1934.
  • «Исследования в системе интуиционистской логики», 1936.
  • «Пропозициональное исчисление в неконсистентной системе вывода», 1948.
  • «О дискуссивной конъюнкции в пропозициональном исчислении в неконсистентной системе вывода», 1949.
  • «О формулах, в которых неиндивидуальная изменчивость проявляется более, чем дважды», 1966.

Примечания
  1. Математическая генеалогия (англ.) — 1997.
  2. Б. Т. Домбровский, Львовско-варшавская философская школа (1895—1939)/ Натуральный вывод Ст. Яськовского.
  3. К. Твардовский. Львовско-Варшавская философская школа/Натуральный вывод Ст. Яськовского (недоступная ссылка). Дата обращения: 17 октября 2010. Архивировано 22 декабря 2007 года.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.