Jan Łukasiewicz ( polaco: [ˈjan wukaˈɕɛvit͡ʂ] ; 21 de diciembre de 1878 - 13 de febrero de 1956) fue un lógico y filósofo polaco mejor conocido por la notación polaca y la lógica de Łukasiewicz . [1] Su obra se centró en la lógica filosófica , la lógica matemática y la historia de la lógica . [2] Pensó de manera innovadora sobre la lógica proposicional tradicional , el principio de no contradicción y la ley del tercero excluido , ofreciendo uno de los primeros sistemas de lógica multivaluada . La investigación contemporánea sobre la lógica aristotélica también se basa en las obras innovadoras de Łukasiewicz, que aplicó métodos de la lógica moderna a la formalización de la silogística de Aristóteles . [3]
El enfoque de Łukasiewicz se revitalizó 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 como uno de los más importantes historiadores de la lógica.
Nació en Lemberg en Austria-Hungría (ahora Lviv , Ucrania ; polaco : Lwów ) y era hijo único de Paweł Łukasiewicz, un capitán del ejército austríaco, y Leopoldina, de soltera Holtzer, hija de un funcionario. Su familia era católica romana . [ cita necesaria ]
Terminó sus estudios secundarios en filología y en 1897 pasó a 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 regaló un anillo doctoral especial con diamantes. [6]
Pasó tres años como profesor privado 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ó estudiando para obtener el título de habilitación y en 1906 presentó su tesis a la Universidad de Lemberg. Ese año, fue nombrado profesor en la Universidad de Lemberg, donde finalmente el emperador Francisco José I lo nombró profesor extraordinario. Allí enseñó hasta la Primera Guerra Mundial . [6]
En 1915, fue invitado a dar una conferencia 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 servir como Ministro polaco de Confesiones Religiosas y Educación Pública en el gobierno de Paderewski hasta 1920. Łukasiewicz lideró el desarrollo de un plan de estudios polaco que reemplazó los planes de estudio ruso, alemán y austriaco que se habían utilizado en la Polonia dividida. El plan de estudios de Łukasiewicz hacía hincapié en la adquisición temprana de conceptos lógicos y matemáticos. [ cita necesaria ]
En 1928 se casó con Regina Barwińska. [6]
Siguió siendo 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 dos veces durante la cual Łukasiewicz y Stanisław Leśniewski fundaron la escuela de lógica de Lwów-Varsovia , que más tarde se hizo famosa internacionalmente gracias a Alfred Tarski , que había sido alumno de Leśniewski.
Durante el inicio de la Segunda Guerra Mundial , trabajó en la Universidad Subterránea de Varsovia . Después de que las autoridades de ocupación nazi cerraran la universidad, se ganó la vida en el archivo de la ciudad de Varsovia. Su amistad con Heinrich Scholz (profesor alemán de lógica matemática) también le ayudó, y fue Scholz quien organizó el viaje de la familia Łukasiewicz a Alemania en 1944 (Łukasiewicz temía el avance del Ejército Rojo). Jan Łukasiewicz y su esposa querían trasladarse a Suiza pero no consiguieron el permiso de las autoridades alemanas. Así 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 allí 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 (puesto creado para él). Sus deberes implicaban dar frecuentes conferencias públicas. [7]
Durante este período, Macmillan publicó en inglés su libro Elements of Mathematical Logic (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 en 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 artículos de Łukasiewicz (posteriores a 1945) se encuentran 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 consta de sólo tres axiomas y todavía se invoca hasta el día de hoy. Fue un investigador pionero de la lógica multivalor ; su cálculo proposicional de tres valores , introducido en 1917, fue el primer cálculo lógico no clásico explícitamente axiomatizado . Escribió sobre filosofía de la ciencia y su enfoque para la elaboración de teorías científicas era similar al pensamiento de Karl Popper .
Łukasiewicz inventó la notación polaca (que lleva el nombre de su nacionalidad) para las conectivas lógicas 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) establece cómo la notación fue inventado:
Se me ocurrió la idea de una notación sin paréntesis en 1924. Usé esa notación por primera vez en mi artículo Łukasiewicz (1), p. 610, nota al pie.
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 Łukasiewicz de 1951, 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 cita, 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 pila recursiva , un almacén de memoria de computadora de ú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 fueron utilizado 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 sufija) 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 Información creó el Premio Jan Łukasiewicz, que se entregará a las empresas polacas de TI 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 pasaron a llamarse según las disciplinas que albergaban.
Su modelo de lógica de tres valores permitió formular la lógica ternaria de Kleene y un metamodelo de empirismo, matemáticas y lógica, es decir, lógica senaria. [dieciséis]