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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Станислав Яськовский
Stanisław Jaśkowski
Яськовский.jpg
Дата рождения:

22 апреля 1906({{padleft:1906|4|0}}-{{padleft:4|2|0}}-{{padleft:22|2|0}})

Место рождения:

Варшава

Дата смерти:

16 ноября 1965({{padleft:1965|4|0}}-{{padleft:11|2|0}}-{{padleft:16|2|0}}) (59 лет)

Место смерти:

Варшава

Страна:

Flag of Poland.svg Польша

Научная сфера:

логика, математика

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

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

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

Труды[править | править вики-текст]

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

Примечания[править | править вики-текст]