Stanisław Jaśkowski

Stanisław Jaśkowski Életrajz

Születés	1906. április 22 Varsó
Halál	1965. november 16(59 évesen) Varsó
Temetés	Powązki temető
Állampolgárság	fényesít
Kiképzés	Varsói Egyetem
Tevékenységek	Matematikus , filozófus

Egyéb információk

Dolgozott valakinek	Nicolas-Copernicus Egyetem
Terület	Logika
Felügyelő	Jan Łukasiewicz

Kilátás a sírra.

Stanislaw Jaśkowski , született1906. április 22A Warsaw , meghalt1965. november 16Varsóban lengyel logikus . Nagyban hozzájárult a szimbolikus logikához.

Életrajz

Jan Łukasiewicz tanítványa, a Lvov-Varsó Iskola egyik alapítója , Jaśkowski 1934-ben kifejlesztett egy logikai rendszert, amely tükrözi a matematikusok érvelési technikáit, az akkor divatban lévő axiomatikus rendszerektől gyökeresen eltérő megközelítést. Figyelemre méltó egybeesés, a Hilbert-iskola német logikusa, Gerhard Gentzen 1934-ben teljesen önállóan és egészen más okokból publikált egy összehasonlítható rendszert. Ezek a rendszerek a bizonyításelmélet és a logika tanításának standard eszközeivé váltak.

Jaśkowski ezután lepi meg a logikusok közösségét azzal, hogy bebizonyítja, hogy egyetlen véges igazságtábla sem képes megfelelő szemantikát adni az intuíciós logikához. Ez a figyelemre méltó eredmény megrázóan aláhúzza a klasszikus logika és az intuitionista logika közötti alapvető különbségeket.

Merészsége és eredetisége különösen nyilvánvaló annak bevezetésében, amelyet ma parakoherens (vagy parakonzisztens) logikának hívunk. Abban az időben Jaśkowski rendszereit következetlenség-toleráns logikának nevezte. Valójában a klasszikus logika kielégíti az úgynevezett robbanás elvét: ennek az elvnek az alapján, ha egy elmélet ellentmondást tartalmaz, akkor minden bizonyítást bizonyítani lehet. Az ellentmondásokkal szemben toleráns logika nem felel meg ennek az elvnek. Ezért lehetséges, hogy inkonzisztens elméletek legyenek, amelyek nem triviálisak. Számos logikus és tudományfilozófus meg van győződve arról, hogy ez a logika hűbb a tudomány történetéhez, mint a klasszikus logika.

Jaśkowski a Toruń-i Nicholas Copernicus Egyetem rektora volt , Varsóban halt meg 1965-ben.