Jan Łukasiewicz ( polaco: [ˈjan wukaˈɕɛvit͡ʂ] ; 21 de diciembre de 1878 - 13 de febrero de 1956) fue unlógicoyfilósofo, conocido sobre todo porla notación polacayla lógica de Łukasiewicz.[1] Su trabajo se centró enla lógica filosófica,la lógica matemáticayla historia de la lógica.[2] Pensó de forma innovadora sobrela lógica proposicional, el principio deno contradiccióny laley del tercio excluido, ofreciendo uno de los primeros sistemas delógica polivalente. La investigación contemporánea sobrela lógica aristotélicala lógicamodernaa la formalización de lasilogísticadeAristóteles.[3]
El enfoque de Łukasiewicz fue revigorizado a principios de la década de 1970 en una serie de artículos de John Corcoran y Timothy Smiley que informan las traducciones modernas de Prior Analytics de Robin Smith en 1989 y Gisela Striker en 2009. [4] Łukasiewicz es considerado uno de los historiadores más importantes de la lógica.
Nació en Lemberg , Austria-Hungría ( actualmente Lviv , Ucrania ; en polaco : Lwów ) y fue el único hijo de Paweł Łukasiewicz, un capitán del ejército austríaco, y Leopoldina, de soltera Holtzer, hija de un funcionario público. Su familia era católica romana . [ cita requerida ]
Terminó sus estudios de filología en el instituto y en 1897 ingresó en la Universidad de Lemberg , donde estudió filosofía y matemáticas. Fue alumno del filósofo Kazimierz Twardowski . [5]
En 1902, recibió el título de Doctor en Filosofía bajo el patrocinio del emperador Francisco José I de Austria , quien le otorgó un anillo doctoral especial con diamantes. [6]
Pasó tres años como profesor particular y en 1905 recibió una beca para completar sus estudios de filosofía en la Universidad de Berlín y la Universidad de Lovaina en Bélgica. [6]
Łukasiewicz continuó sus estudios para obtener su título de habilitación y en 1906 presentó su tesis en la Universidad de Lemberg. Ese mismo año fue nombrado profesor de la Universidad de Lemberg, donde finalmente fue nombrado profesor extraordinario por el emperador Francisco José I. Enseñó allí hasta la Primera Guerra Mundial . [6]
En 1915, fue invitado a dar clases como profesor titular en la Universidad de Varsovia , que las autoridades de ocupación alemanas habían reabierto después de haber sido cerrada por el gobierno zarista en el siglo XIX. [6]
En 1919, Łukasiewicz dejó la universidad para desempeñarse como Ministro de Denominaciones Religiosas y Educación Pública en el gobierno de Paderewski hasta 1920. Łukasiewicz dirigió el desarrollo de un plan de estudios polaco que reemplazara los planes de estudios ruso, alemán y austríaco que se habían utilizado en la Polonia dividida. El plan de estudios de Łukasiewicz enfatizaba la adquisición temprana de conceptos lógicos y matemáticos. [ cita requerida ]
En 1928 se casó con Regina Barwińska. [6]
Fue profesor en la Universidad de Varsovia desde 1920 hasta 1939, cuando la casa familiar fue destruida por las bombas alemanas y la universidad fue cerrada por la ocupación alemana. Había sido rector de la universidad en dos ocasiones, durante las cuales Łukasiewicz y Stanisław Leśniewski habían fundado la escuela de lógica de Lwów-Varsovia , que luego se hizo famosa internacionalmente por Alfred Tarski , que había sido alumno de Leśniewski.
Durante el inicio de la Segunda Guerra Mundial , trabajó en la Universidad Clandestina de Varsovia . Después de que las autoridades de ocupación alemanas cerraran la universidad, ganó un magro sustento en el archivo de la ciudad de Varsovia. Su amistad con Heinrich Scholz (profesor alemán de lógica matemática) también lo ayudó, y fue Scholz quien organizó el pasaje de la familia Łukasiewicz a Alemania en 1944 (Łukasiewicz temía el avance del Ejército Rojo). Jan Łukasiewicz y su esposa querían mudarse a Suiza, pero no pudieron obtener el permiso de las autoridades alemanas. Por lo tanto, pasaron los últimos meses de la guerra en Münster , Alemania. Después del final de la guerra, no queriendo regresar a una Polonia controlada por los soviéticos, se mudaron primero a Bélgica, donde Łukasiewicz enseñó lógica en un Instituto Científico Polaco provisional. [6]
En febrero de 1946, por invitación del líder político irlandés Éamon de Valera , Łukasiewicz y su esposa se trasladaron a Dublín, donde permanecieron hasta su muerte una década después. En Irlanda, se desempeñó brevemente como profesor de lógica matemática en la Real Academia Irlandesa (un puesto creado para él). Sus funciones incluían dar frecuentes conferencias públicas. [7]
Durante este período, su libro Elementos de lógica matemática fue publicado en inglés por Macmillan (1963, traducido del polaco por Olgierd Wojtasiewicz).
Jan Łukasiewicz murió el 13 de febrero de 1956. Fue enterrado en el cementerio Mount Jerome , en Dublín. A instancias de la comunidad armenia de Polonia, sus restos fueron repatriados a Polonia 66 años después. Fue enterrado nuevamente el 22 de noviembre de 2022 en el antiguo cementerio Powązki de Varsovia . [8]
De octubre a diciembre de 2022, la Real Academia Irlandesa de Dublín acogió una exposición sobre su vida y obra. [9]
Los documentos de Łukasiewicz (posteriores a 1945) se conservan en la Biblioteca de la Universidad de Manchester .
Varias axiomatizaciones de la lógica proposicional clásica se deben a Łukasiewicz. Una axiomatización particularmente elegante presenta solo tres axiomas y todavía se invoca en la actualidad. Fue un investigador pionero de la lógica multivaluada ; su cálculo proposicional trivaluado , presentado en 1917, fue el primer cálculo lógico no clásico axiomatizado explícitamente . Escribió sobre la filosofía de la ciencia y su enfoque para la elaboración de teorías científicas fue similar al pensamiento de Karl Popper .
Łukasiewicz inventó la notación polaca (llamada así por su nacionalidad) para los conectores lógicos alrededor de 1920. Una cita de un artículo de Jan Łukasiewicz en 1931 [10] : 367, nota al pie 3) [11] : 180, nota al pie 3) indica cómo se inventó la notación:
La idea de una notación sin paréntesis se me ocurrió en 1924. Utilicé esa notación por primera vez en mi artículo Łukasiewicz (1), p. 610, nota a pie de página.
La referencia citada por Łukasiewicz, es decir, Łukasiewicz (1), [12] es aparentemente un informe litografiado en polaco . El artículo de referencia [10] de Łukasiewicz fue revisado por Henry A. Pogorzelski en el Journal of Symbolic Logic en 1965. [13]
En el libro de 1951 de Łukasiewicz, La silogística de Aristóteles desde el punto de vista de la lógica formal moderna , menciona que el principio de su notación era escribir los funtores antes de los argumentos para evitar corchetes (es decir, paréntesis) y que había empleado su notación en sus artículos de lógica desde 1929. [3] : 78 Luego continúa citando, como ejemplo, un artículo de 1930 que escribió con Alfred Tarski sobre el cálculo oracional . [14]
Esta notación es la raíz de la idea de la pila recursiva , un sistema de almacenamiento de memoria de ordenador de tipo último en entrar, primero en salir propuesto por varios investigadores, entre ellos Turing , Bauer y Hamblin , e implementado por primera vez en 1957. En 1960, los conceptos de notación y pilas de Łukasiewicz se utilizaron como base de la computadora Burroughs B5000 diseñada por Robert S. Barton y su equipo en Burroughs Corporation en Pasadena, California . Los conceptos también llevaron al diseño del sistema informático multiprogramado KDF9 de English Electric de 1963, que tenía dos pilas de registros de hardware de este tipo. Un concepto similar subyace a la notación polaca inversa ( RPN , una notación postfija) de la calculadora Friden EC-130 y sus sucesoras, muchas calculadoras Hewlett-Packard , los lenguajes de programación Lisp y Forth , y el lenguaje de descripción de páginas PostScript .
En 2008, la Sociedad Polaca de Procesamiento de la Información creó el Premio Jan Łukasiewicz, que se entrega a las empresas de TI polacas más innovadoras. [15]
De 1999 a 2004, el edificio del Departamento de Informática de la UCD se llamó Edificio Łukasiewicz, hasta que todos los edificios del campus fueron renombrados en honor a las disciplinas que albergaban.
Su modelo de lógica trivalente permitió formular la lógica ternaria de Kleene y un metamodelo del empirismo, las matemáticas y la lógica, es decir, la lógica senaria. [16]