Lógico y filósofo polaco
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
- Sobre las reglas de las suposiciones en lógica formal Studia Logica 1, 1934 págs. 5–32 (reimpreso en: Storrs McCall (ed.), Polish Logic 1920-1939 , Oxford University Press, 1967 págs. 232–258
- Investigations into the System of Intuitionist Logic 1936 (traducido en: Storrs McCall (ed.), Polish Logic 1920-1939 , Oxford University Press, 1967 págs. 259-263
- Un cálculo proposicional para sistemas deductivos inconsistentes 1948 (reimpreso en: Studia Logica, 24 1969, págs. 143-157 y en: Logic and Logical Philosophy 7, 1999 págs. 35-56)
- Sobre la conjunción discursiva en el cálculo proposicional para sistemas deductivos inconsistentes 1949 (reimpreso en: Logic and Logical Philosophy 7, 1999 págs. 57-59)
- Sobre fórmulas en las que ninguna variable individual aparece más de dos veces , Journal of Symbolic Logic , 31, 1966, págs. 1–6)
- en polaco
- O symetrii w zdobnictwie i przyrodzie - matematyczna teoria ornamentów (Título en inglés: Sobre la simetría en el arte y la naturaleza ), PWS, Warszawa, 1952 (libro de 168 páginas)
- Matematyczna teoria ornamentów (título en inglés: Mathematical Theory of Ornaments ), PWN, Warszawa, 1957 (libro de 100 páginas)
Ver también
Referencias
- ^ "Sistemas de deducción natural en lógica". plato.stanford.edu . 29 de octubre de 2021 . Consultado el 2 de mayo de 2023 .
- ^ 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 .
- ^ Jaśkowski, Estanislao (1934). "Sobre las reglas de los supuestos en lógica formal". Lógica polaca 1920-1939 .
- ^ 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 .
- ^ "Warszawskie Zabytkowe Pomniki Nagrobne" (en polaco). Archivado desde el original el 22 de abril de 2019 . Consultado el 2 de mayo de 2023 .
Fuentes
- Jerzy Perzanowski (1999). "Cincuenta años de lógicas parainconsistentes" (PDF) . Lógica y Filosofía Lógica . 7 : 21–24. Archivado desde el original (PDF) el 4 de abril de 2006.
- Woleński, enero (2003). "Escuela Lvov-Varsovia". La Enciclopedia de Filosofía de Stanford (edición de verano de 2003) . Consultado el 11 de marzo de 2006 .
- Jerzy Kotas, August Pieczkowski. Obras científicas de Stanisław Jaśkowski , Studia Logica 21, 1967, 7-15
enlaces externos
- Lógica polaca de la posguerra