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 realizó 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 la lógica paraconsistente . [2] Tras su muerte, su nombre fue añadido al Muro de la Fama de los Genios. Fue presidente (rector) de la Universidad Nicolás Copérnico de Toruń .
Vida y carrera
Nació en 1906 en Varsovia , hijo de Feliks Jaśkowski y Kazimiera (de soltera Dzierzbicka). En 1924 se graduó de 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 de Lviv (1927) y Vilnius (1931).
Tras el estallido de la Segunda Guerra Mundial , participó como voluntario en la Campaña de Septiembre . En 1942, fue encarcelado brevemente por los alemanes. En 1945, continuó su carrera científica en la Universidad de Toruń , donde defendió su habilitación y asumió el puesto de director de la Facultad de Lógica Matemática.
Desde 1950 colaboró con el Instituto Estatal de Matemáticas de la Academia Polaca de Ciencias (PAN). Entre 1959 y 1962 fue rector de la universidad. Fue uno de los fundadores y el primer presidente de la filial 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 la década de 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 demostraciones 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 Powązki . [5]
Obras
- Sobre las reglas de las suposiciones en la lógica formal Studia Logica 1, 1934 pp. 5–32 (reimpreso en: Storrs McCall (ed.), Polish Logic 1920-1939 , Oxford University Press, 1967 pp. 232–258
- Investigaciones sobre el sistema de lógica intuicionista 1936 (traducido en: Storrs McCall (ed.), Lógica polaca 1920-1939 , Oxford University Press, 1967 pp. 259–263
- Un cálculo proposicional para sistemas deductivos inconsistentes 1948 (reimpreso en: Studia Logica, 24 1969, pp. 143-157 y en: Logic and Logical Philosophy 7, 1999 pp. 35-56)
- Sobre la conjunción discutiva en el cálculo proposicional para sistemas deductivos inconsistentes 1949 (reimpreso en: Logic and Logical Philosophy 7, 1999 pp. 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)
Véase 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 la "modalización por vía" para la paraconsistencia" (PDF) . edukacja-filozoficzna.uw.edu.pl . Consultado el 2 de mayo de 2023 .
- ^ Jaśkowski, Stanisław (1934). "Sobre las reglas de suposiciones en lógica formal". Lógica polaca 1920–39 .
- ^ Indrzejczak, Andrzej (2018). "Stanisław Jaśkowski y los sistemas de deducción natural". La Escuela de Lvov-Varsovia. Pasado y presente . Estudios de lógica universal. págs. 465–483. doi :10.1007/978-3-319-65430-0_33. ISBN 978-3-319-65429-4. Recuperado 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, Jan (2003). "Escuela de Lviv-Varsovia". The Stanford Encyclopedia of Philosophy (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
- La lógica polaca de la posguerra