stringtranslate.com

Stanisław Jaśkowski

Stanisław Jaśkowski ( pronunciación polaca : [staˈɲsvaf jaɕˈkɔfskʲi] ; 22 de abril de 1906, en Varsovia - 16 de noviembre de 1965, en Varsovia) fue un lógico polaco que hizo importantes contribuciones a la teoría de la prueba y la semántica formal . Fue alumno de Jan Łukasiewicz y miembro de la Escuela de Lógica de Lwów-Varsovia . Se le considera uno de los fundadores de la deducción natural , que descubrió independientemente de Gerhard Gentzen en la década de 1930. [1] También es conocido por su investigación sobre lógica paraconsistente . [2] Tras su muerte, su nombre fue añadido al Muro de la Fama del Genio. Fue presidente (rector) de la Universidad Nicolás Copérnico de Toruń .

Vida y carrera

Nació en 1906 en Varsovia de padre Feliks Jaśkowski y madre Kazimiera (de soltera Dzierzbicka). En 1924 se graduó en la escuela secundaria en Zakopane y se matriculó en la Universidad de Varsovia para estudiar matemáticas . Aprendió lógica matemática con Jan Łukasiewicz y participó en los Congresos de Matemáticos Polacos en Lviv (1927) y Vilnius (1931).

Tras el estallido de la Segunda Guerra Mundial , participó como voluntario en la Campaña de Septiembre . En 1942, los alemanes lo encarcelaron brevemente. En 1945 continuó su carrera científica en la Universidad de Toruń , donde defendió su habilitación y asumió el cargo de director de la Facultad de Lógica Matemática.

Desde 1950 colabora con el Instituto Estatal de Matemáticas de la Academia Polaca de Ciencias (PAN). Entre 1959 y 1962 se desempeñó como Rector de la Universidad. Estuvo entre los fundadores y fue el primer presidente de la sucursal de la Sociedad Polaca de Matemáticas en Toruń.

Jaśkowski es considerado uno de los fundadores de la deducción natural , que descubrió independientemente de Gerhard Gentzen en los años 1930. [3] [4] El enfoque de Gentzen inicialmente se hizo más popular entre los lógicos porque podía usarse para demostrar el teorema de eliminación de cortes . Sin embargo, el de Jaśkowski se acerca más a la forma en que se realizan las pruebas en la práctica. También fue uno de los primeros en proponer un cálculo formal de lógica tolerante a la inconsistencia (o paraconsistente) . Además, Jaśkowski fue un pionero en la investigación tanto de la lógica intuicionista como de la lógica libre .

Murió en 1965 en Varsovia y fue enterrado en el cementerio de Powązki . [5]

Obras

en polaco

Ver también

Referencias

  1. ^ "Sistemas de deducción natural en lógica". plato.stanford.edu . 29 de octubre de 2021 . Consultado el 2 de mayo de 2023 .
  2. ^ Ricardo Arturo Nicolás-Francisco. "Sobre el enfoque polaco de" vía modalización "para la paraconsistencia" (PDF) . edukacja-filozoficzna.uw.edu.pl . Consultado el 2 de mayo de 2023 .
  3. ^ Jaśkowski, Estanislao (1934). "Sobre las reglas de los supuestos en lógica formal". Lógica polaca 1920-1939 .
  4. ^ Indrzejczak, Andrzej (2018). Stanisław Jaśkowski y los sistemas de deducción natural. Estudios de Lógica Universal. págs. 465–483. doi :10.1007/978-3-319-65430-0_33. ISBN 978-3-319-65429-4. Consultado el 2 de mayo de 2023 . {{cite book}}: |website=ignorado ( ayuda )
  5. ^ "Warszawskie Zabytkowe Pomniki Nagrobne" (en polaco). Archivado desde el original el 22 de abril de 2019 . Consultado el 2 de mayo de 2023 .

Fuentes

enlaces externos