Privacy Policy Cookie Policy Terms and Conditions Stanisław Jaśkowski - Wikipedia, wolna encyklopedia

Stanisław Jaśkowski

Z Wikipedii

Stanisław Jaśkowski (ur. 22 kwietnia 1906 w Warszawie, zm. 16 listopada 1965 w Warszawie), polski logik, profesor i rektor Uniwersytetu Toruńskiego. Był studentem Jana Łukasiewicza i członkiem szkoły lwowsko-warszawskiej, wniósł wkład do teorii dowodu i semantyki.

Jaśkowski jest uważany za jednego z twórców dedukcji naturalnej, którą odkrył niezależnie od Gerharda Gentzena w latach trzydziestych XX wieku (ujęcie Gentzena stało się bardziej popularne). Był również jednym z pierwszych, jeśli nie pierwszym, który zaproponował formalny rachunek logiki parakonsystentnej (ang. paraconsistent logic). Ponadto Jaśkowski był pionierem w badaniu zarówno logiki intuicyjnej, jak i logiki wolnej.

Pochodził z rodziny ziemiańskiej, był synem Feliksa Marcina i Kazimiery z Dzieżbickich. W 1923 ukończył gimnazjum realne w Zakopanem, następnie podjął studia matematyczne na Uniwersytecie Warszawskim, gdzie uczestniczył w seminarium logiki matematycznej prowadzonym przez Jana Łukasiewicza. Już w czasie studiów aktywnie uczestniczył w zjazdach matematyków polskich (we Lwowie w 1927 i w Wilnie cztery lata później), ogłaszając ważne prace. Studia, przerwane na rok kuracją w Szwajcarii, ukończył w 1932 z tytułem doktora filozofii. Pracę dyplomową poświęcił systemowi założeniowemu logiki formalnej. Kontynuując współpracę z Łukasiewiczem rozpoczął przygotowania do rozprawy habilitacyjnej, nie zdążył jednak otworzyć przewodu przed wybuchem II wojny światowej.

Jako ochotnik brał udział w wojnie obronnej 1939 (m.in. w obronie Warszawy), potem przebywał w majątku ziemskim Wólka (powiat Rawa Mazowiecka). W 1942 był krótko więziony przez Niemców, później do końca okupacji przebywał w majątku ojca. W kwietniu 1945 podjął wykłady zlecone na zakładanym Uniwersytecie Łódzkim, otworzył również przewód habilitacyjny na Uniwersytecie Jagiellońskim. Już jesienią tegoż roku przeniósł się na Uniwersytet Toruński, gdzie po obronie habilitacji (rozprawa Trzy przyczynki do dwuwartościowego rachunku zdań) został w 1946 mianowany profesorem nadzwyczajnym. Objął katedrę logiki matematycznej, a wobec choroby profesora Juliusza Rudnickiego (kierującego I katedrą matematyki) zajął się również organizacją Seminarium Matematycznego. Obok wykładów z logiki matematycznej prowadził zajęcia z analizy matematycznej, teorii mnogości, geometrii różniczkowej i rachunku prawdopodobieństwa.

Od 1950 był związany jednocześnie z Państwowym Instytutem Matematycznym PAN, gdzie wypromował na doktora nauk matematycznych swojego asystenta Lecha Dubikajtisa. W 1957 otrzymałnominację na profesora zwyczajnego. W latach 1946-1951 przewodniczył Komisji Egzaminacyjnej Wydziału Matematyczno-Przyrodniczego, organizował następnie Wydział Matematyki, Fizyki i Chemii. Był prodziekanem (1952-1953) i dziekanem tego Wydziału (1953-1954), następnie prorektorem ds. nauki (1956-1959) i wreszcie rektorem Uniwersytetu (1959-1962). Należał do grona założycieli i został pierwszym prezesem oddziału Polskiego Towarzystwa Matematycznego w Toruniu.

Ogłosił m.in. książki popularnonaukowe O symetrii i zdobnictwie w przyrodzie (1952) i Matematyka ornamentu (1957). Zajmował się opracowaniem programu nauczania matematyki w szkołach średnich. Zmarł po ciężkiej chorobie w wieku 59 lat i został pochowany na warszawskich Powązkach. Był żonaty z Anielą Holewińską (od 1937).

[edytuj] Źródła

  • Leon Jeśmanowicz, Stanisław Jaśkowski (1906-1965), w: Toruńscy twórcy nauki i kultury, Państwowe Wydawnictwo Naukowe, Poznań 1989
  • Jerzy Perzanowski Fifty Years of Parainconsistent Logics w: Logic and Logical Philosophy, 1999, vol.7, str.21–24 [1]
  • Jan Woleński, 2003, Lvov-Warsaw School w: The Standford Encyclopedia of Philosophy (Summer 2003 Edition) [2]

[edytuj] Linki zewnętrzne

THIS WEB:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2006:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu