Jan Łukasiewicz - Jan Łukasiewicz

Jan Łukasiewicz
Jan Łukasiewicz.jpg
1935
Nació 21 de diciembre de 1878
Lemberg , Galicia , Austria-Hungría
Fallecido 13 de febrero de 1956 (13/02/1956) (77 años)
Dublín , Irlanda
Nacionalidad polaco
alma mater Universidad de Lwów
Era Filosofía contemporánea
Región Filosofía occidental
Colegio Filosofía analítica de la escuela Lwów-Warsaw
Intereses principales
Lógica filosófica , lógica matemática e historia de la lógica
Ideas notables
Notación polaca
lógica Łukasiewicz

Jan Łukasiewicz ( polaco:  [ˈjan wukaˈɕɛvit͡ʂ] ; 21 de diciembre de 1878 - 13 de febrero de 1956) fue un lógico y filósofo polaco que es mejor conocido por la notación polaca y la lógica Łukasiewicz . Nació en Lemberg , ciudad del Reino Gallego de Austria-Hungría (ahora Lviv , Ucrania ). Su trabajo se centró en la lógica filosófica , la lógica matemática y la historia de la lógica . Pensó de manera innovadora sobre la lógica proposicional tradicional , el principio de no contradicción y la ley del medio excluido , ofreciendo uno de los primeros sistemas de lógica de muchos valores . La investigación contemporánea sobre la lógica aristotélica también se basa en trabajos innovadores de Łukasiewicz, que aplicó métodos desde la lógica moderna hasta la formalización de la silogística de Aristóteles .

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 por Robin Smith en 1989 y Gisela Striker en 2009. Łukasiewicz es considerado uno de los historiadores de la lógica más importantes .

La vida

Se crió en Lwów y fue el único hijo de Paweł Łukasiewicz, un capitán en el ejército austríaco, y Leopoldina, de soltera Holtzer, la hija de un funcionario. Su familia era católica romana .

Terminó sus estudios de gimnasia en filología y en 1897 pasó a la Universidad de Lwów (que hasta las Particiones de Polonia había estado en Polonia), donde estudió filosofía y matemáticas. Fue alumno del filósofo Kazimierz Twardowski .

En 1902, recibió el título de Doctor en Filosofía bajo el patrocinio del emperador Francisco José I de Austria , quien le entregó un anillo especial de doctorado con diamantes.

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.

Łukasiewicz continuó estudiando para obtener su título de habilitación y en 1906 presentó su tesis a la Universidad de Lwów. Ese año, fue nombrado profesor en la Universidad de Lwów, donde finalmente fue nombrado profesor extraordinario por el emperador Franz Joseph I. Allí enseñó hasta la Primera Guerra Mundial .

En 1915, fue invitado a dar una conferencia como profesor titular en la Universidad de Varsovia , que había reabierto después de que el gobierno zarista la cerrara en el siglo XIX.

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 dirigió 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 enfatizó la adquisición temprana de conceptos lógicos y matemáticos.

En 1928 se casó con Regina Barwińska.

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 las cuales Łukasiewicz y Stanisław Leśniewski habían fundado la escuela de lógica Lwów-Warsaw , que más tarde se hizo famosa internacionalmente por Alfred Tarski , quien había sido alumno de Leśniewski.

Durante el inicio de la Segunda Guerra Mundial , trabajó en la Universidad Subterránea de Varsovia como parte del sistema educativo secreto .

Él y su esposa querían mudarse a Suiza, pero no pudieron obtener el permiso de las autoridades alemanas. En cambio, en el verano de 1944, dejaron Polonia con la ayuda de Heinrich Scholz y pasaron los últimos meses de la guerra en Münster , Alemania, con la esperanza de ir de alguna manera a otro lugar, tal vez a Suiza.

Después de la guerra, emigró a Irlanda y trabajó en el University College Dublin (UCD) hasta su muerte.

Los artículos de Łukasiewicz posteriores a 1945 están en la biblioteca de la Universidad de Manchester .

Trabaja

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 hasta el día de hoy. Fue un investigador pionero de lógicas 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 fue similar al pensamiento de Karl Popper .

Łukasiewicz inventó la notación polaca (llamada así por su nacionalidad) para los conectivos lógicos alrededor de 1920. Hay una cita de su artículo, Observaciones sobre el axioma de Nicod y sobre la "Deducción generalizada" , página 180;

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 arriba es aparentemente un informe litografiado en polaco . El artículo de referencia de Łukasiewicz Remarks on Nicod's Axiom and on "Generalizing Deduction" , publicado originalmente en polaco en 1931, fue revisado más tarde por HA Pogorzelski en el Journal of Symbolic Logic en 1965.

En el libro de Łukasiewicz 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 functores antes de los argumentos para evitar los corchetes y que había empleado su notación en sus artículos lógicos desde 1929. Luego continúa citando, como ejemplo, un artículo de 1930 que escribió con Alfred Tarski sobre el cálculo de sentencias .

Esta notación es la raíz de la idea de la pila recursiva , un almacén de memoria de computadora de último en entrar, primero en salir propuesto por varios investigadores, incluidos Turing , Bauer y Hamblin , e implementado por primera vez en 1957. En 1960, los conceptos y pilas de notación Ł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 KDF9 multiprogramado de English Electric de 1963, que tenía dos pilas de registro de hardware de este tipo. Un concepto similar subyace en la notación polaca inversa ( RPN , una notación de sufijo) 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 .

Reconocimiento

Interior de la Biblioteca de la Universidad de Varsovia , estatuas de filósofos de la Escuela Lvov-Varsovia : Kazimierz Twardowski , Jan Łukasiewicz, Alfred Tarski y Stanisław Leśniewski .

En 2008, la Sociedad Polaca de Procesamiento de la Información estableció el Premio Jan Łukasiewicz, que se entregará a las empresas de TI más innovadoras de Polonia.

De 1999 a 2004, el edificio del Departamento de Ciencias de la Computación de la UCD se denominó Edificio Łukasiewicz, hasta que todos los edificios del campus pasaron a llamarse según las disciplinas que albergaban.

Su modelo de lógica de 3 valores permitió formular la lógica ternaria de Kleene y un metamodelo de empirismo, matemáticas y lógica, es decir, lógica senaria.

Cronología

Trabajos seleccionados

Libros

  • Łukasiewicz, enero (1951). La silogística de Aristóteles desde el punto de vista de la lógica formal moderna . Prensa de la Universidad de Oxford. Segunda edición, ampliada, 1957. Reimpreso por Garland Publishing en 1987. ISBN   0-8240-6924-2
  • Łukasiewicz, enero (1928). Elementy logiki matematycznej (en polaco). Varsovia , Państwowe Wydawnictwo Naukowe. OCLC   11322101 .
  • Łukasiewicz, Jan (1964) [1963]. Elementos de lógica matemática. Traducido del polaco por Olgierd Wojtasiewicz . Nueva York, Macmillan. OCLC   671498 .
  • Łukasiewicz, Jan (1970). Ludwik Borkowski (ed.). Obras seleccionadas . Pub de Holanda Septentrional. Co. ISBN   0-7204-2252-3 . OCLC   115237 .
  • Łukasiewicz, Jan (1998). Jacek Jadacki (ed.). Logika i metafizyka. Miscelánea (en polaco). Varsovia , WFiS UW. ISBN   83-910113-3-X .

Documentos

  • 1903 "Sobre la inducción como inversión de la deducción"
  • 1906 "Análisis y construcción del concepto de causa"
  • 1910 "Sobre el principio de contradicción de Aristóteles"
  • 1913 "Sobre la reversibilidad de la relación de fundamento y consecuencia"
  • 1920 "Sobre la lógica de tres valores"
  • 1921 "Lógica de dos valores"
  • 1922 "Una interpretación numérica de la teoría de las proposiciones"
  • 1928 "Sobre el método en filosofía"
  • 1929 "Elementos de lógica matemática"
  • 1929 "Sobre la importancia y los requisitos de la lógica matemática"
  • 1930 "Observaciones filosóficas sobre sistemas valiosos de lógica proposicional"
  • 1930 "Investigaciones sobre el cálculo oracional" ["Untersuchungen über den Aussagenkalkül"], con Alfred Tarski
  • 1931 "Comentarios sobre el axioma de Nicod y la 'deducción generalizadora'"
  • 1934 "Sobre la ciencia"
  • 1934 "Importancia del análisis lógico para el conocimiento"
  • 1934 "Esquemas de la historia de la lógica proposicional"
  • 1936 "Logística y Filosofía"
  • 1937 "En defensa de la logística"
  • 1938 "Sobre la filosofía de Descartes"
  • 1943 "El axioma más corto del cálculo implícito de proposiciones"
  • 1951 "Sobre los funciones variables de los argumentos proposicionales"
  • 1952 "Sobre la teoría intuicionista de la deducción"
  • 1953 "Un sistema de lógica modal"
  • 1954 "Sobre un controvertido problema de la silogística modal de Aristóteles"

Ver también

Notas

Referencias

Otras lecturas

  • Borkowski, L .; Słupecki, J. , "Las obras lógicas de J. Łukasiewicz", Studia Logica 8 (1958), 7-56.
  • Kotarbiński, T., "Las obras de Jan Łukasiewicz sobre la historia de la lógica", Studia Logica 8 (1958), 57–62.
  • Kwiatkowski, T., "Jan Łukasiewicz - Un historiador de la lógica", Organon 16-17 (1980-1981), 169-188.
  • Marshall, D., "Łukasiewicz, Leibniz y la aritmetización del silogismo", Notre Dame Journal of Formal Logic 18 (2) (1977), 235–242.
  • Seddon, Frederick (1996). Aristóteles y Łukasiewicz sobre el principio de contradicción . Ames, Iowa: Pub de lógica moderna. ISBN   1-884905-04-8 . OCLC   37533856 .
  • Woleński, enero (1994). Lógica filosófica en Polonia . Editores académicos de Kluwer. ISBN   0-7923-2293-2 . OCLC   27938071 .
  • Woleński, Jan, "Jan Łukasiewicz sobre la paradoja del mentiroso, consecuencia lógica, verdad e inducción", Modern Logic 4 (1994), 394–400.

enlaces externos