Про знаменитості
Станіслав Яськовскій: біографія
-
польський логік
Він був студентом Яна Лукасевича і належав до Львівсько-Варшавській школі логіки. З 1946 року професор, з 1959 по 1962 рр.. ректор Університету Миколи Коперника в Торуні.
Яськовскій вважається одним із засновників натурального ісчіcленія, яке він відкрив незалежно від Герхарда Генцен в 1930-х рр.. (Підхід Генцен більш відомий). Він був одним з перших, якщо не першим, хто запропонував формальне числення параконсістентной логіки. Отже, Яськовскій є піонером в дослідженні як інтуціоністской логіки, так і вільною логіки.
Праці
- «Про правила припущень у формальній логіці», 1934.
- «пропозіціональное числення в неконсістентной системі виведення», 1948.
- «Дослідження в системі інтуціоністской логіки», 1936.
- «Про діскуссівной кон'юнкції в пропозиційної обчисленні в неконсістентной системі виведення», 1949.
- «Про формулах, в яких неіндівідуальний мінливість проявляється більше, ніж двічі», 1966.
