Stanisław Jaśkowski
Stanisław Jaśkowski| Fødsel |
22. april 1906 Warszawa |
|---|---|
| Død |
16. november 1965(kl. 59) Warszawa |
| Begravelse | Powązki kirkegård |
| Nasjonalitet | Pusse |
| Opplæring | Universitetet i Warszawa |
| Aktiviteter | Matematiker , filosof |
| Jobbet for | Nicolas-Copernicus University |
|---|---|
| Felt | Logikk |
| Veileder | Jan Łukasiewicz |
Utsikt over graven.
Stanislaw Jaśkowski , født den22. april 1906i Warszawa , døde den16. november 1965i Warszawa, er en polsk logiker . Han ga store bidrag til symbolsk logikk.
Biografi
En student av Jan Łukasiewicz , en av grunnleggerne av Lvov-Warszawa-skolen , Jaśkowski i 1934, utviklet et logikksystem som gjenspeiler matematikernes resonnementsteknikker, en radikalt annen tilnærming fra de aksiomatiske systemene som var på moten på den tiden. En bemerkelsesverdig intellektuell tilfeldighet, en tysk logiker fra Hilbert-skolen, Gerhard Gentzen publiserte et sammenlignbart system helt uavhengig og av helt andre grunner i 1934. Disse systemene har blitt standardverktøy i bevissteori og i undervisning i logikk.
Jaśkowski overrasker deretter logikerne ved å demonstrere at ingen begrenset sannhetstabell kan gi tilstrekkelig semantikk for intuisjonistisk logikk. Dette bemerkelsesverdige resultatet understreker splittende de grunnleggende forskjellene mellom klassisk logikk og intuisjonistisk logikk.
Hans dristighet og originalitet er spesielt tydelig i hans introduksjon av det vi nå kaller parakohærente (eller parakonsistente) logikker . På den tiden kalte Jaśkowski systemene sine inkonsistens-tolerante logikker. Faktisk tilfredsstiller klassisk logikk det som kalles eksplosjonsprinsippet: i henhold til dette prinsippet, hvis en teori inneholder en motsetning, er det mulig å bevise absolutt enhver bekreftelse. Logikk som er tolerant for motsetninger tilfredsstiller ikke dette prinsippet. Det er derfor mulig å ha inkonsekvente teorier som ikke er trivielle. Flere logikere og vitenskapsfilosofer er overbevist om at denne logikken er mer tro mot vitenskapshistorien enn klassisk logikk.
Jaśkowski var rektor ved Nicholas Copernicus University i byen Toruń og døde i Warszawa i 1965.