Lukasiewicz

Enciclopedia della Matematica (2013)

Lukasiewicz


Łukasiewicz Jan (Leopoli, oggi Ucraina, 1878 - Dublino 1956) logico polacco. Insegnò all’università di Leopoli e quindi a quella di Varsavia. Si dedicò allo sviluppo della logica matematica, mantenendo però sempre in primo piano le questioni filosofiche a essa connesse. Si occupò anche di storia della logica, recando notevoli contributi all’interpretazione del pensiero logico stoico e della sillogistica aristotelica. Nel saggio Sul principio di contraddizione in Aristotele (1910) egli sostenne che anche nella logica classica il principio di non contraddizione non svolge il ruolo fondamentale che la tradizione gli ha assegnato. Łukasiewicz considerava la bipartizione delle proposizioni in vere e false inadeguata alla trattazione dei “futuri contingenti”: se una proposizione riguardante il futuro potesse essere caratterizzata come vera o falsa già nel presente, si dovrebbe ammettere che il corso degli eventi è predeterminato. Il tentativo di risolvere il problema lo portò all’elaborazione di una logica polivalente, i cui sviluppi sono trattati nelle Ricerche sul calcolo proposizionale (1930), opera alla cui stesura collaborò anche A. Tarski.

TAG

Principio di non contraddizione

Calcolo proposizionale

Logica polivalente

Logica matematica

Logica classica