Yaskovsky, Stanislav
| Stanislav Jaskovský | |
|---|---|
| Stanislav Jaskowski | |
| Datum narození | 22. dubna 1906 |
| Místo narození | |
| Datum úmrtí | 16. listopadu 1965 (59 let) |
| Místo smrti | |
| Země |
Ruská říše → Polská republika → Polská lidová republika |
| Vědecká sféra | logika , matematika |
| Místo výkonu práce | |
| Alma mater | |
| vědecký poradce | Jan Lukasiewicz [1] |
Stanisław Jaśkowski ( polsky: Stanisław Jaśkowski ; 22. dubna 1906 , Varšava - 16. listopadu 1965 , tamtéž) byl polský logik . Významně přispěl k rozvoji teorie důkazů a formální sémantiky .
Byl žákem Jana Lukasiewicze a patřil k Lvovsko-varšavské škole logiky . Od roku 1946 - profesor, od roku 1959 do roku 1962. - rektor Univerzity Mikuláše Koperníka v Toruni .
Jaskowski je považován za jednoho ze zakladatelů přirozeného počtu , [2] [3] který objevil nezávisle na Gerhardu Gentzenovi ve 30. letech 20. století. (známější je Gentzenův přístup). Byl jedním z prvních, ne-li první, kdo navrhl formální kalkul parakonzistentní logiky . V důsledku toho je Jaśkowski průkopníkem ve studiu jak intuicionistické logiky , tak volné logiky .
Sborník
- „O pravidlech předpokladů ve formální logice“, 1934.
- „Výzkum v systému intuicionistické logiky“, 1936.
- „Výrokový kalkul v nekonzistentním inferenčním systému“, 1948.
- „O diskutabilní konjunkci ve výrokovém počtu v nekonzistentním inferenčním systému“, 1949.
- „O vzorcích, ve kterých se neindividuální variabilita objevuje více než dvakrát“, 1966.
Poznámky
- ↑ Matematická genealogie (anglicky) - 1997.
- ↑ B. T. Dombrovský, Lvovsko-varšavská filozofická škola (1895-1939) / Přirozený závěr Umění. Yaskovského.
- ↑ K. Tvardovský. Lvovsko-varšavská filozofická škola/Umění přirozeného závěru. Yaskovsky (nepřístupný odkaz) . Datum přístupu: 17. října 2010. Archivováno z originálu 22. prosince 2007.
 Tematické stránky | ||||
|---|---|---|---|---|
| ||||