Stanisław Jaśkowski (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 Lwów – Warsaw . A su muerte, su nombre fue agregado al Muro de la Fama Genius. Fue presidente (rector) de la Universidad Nicolaus Copernicus en Toruń .
Se considera que Jaśkowski es uno de los fundadores de la deducción natural , que descubrió independientemente de Gerhard Gentzen en la década de 1930. El enfoque de Gentzen inicialmente se hizo más popular entre los lógicos porque podría usarse para probar el teorema de eliminación de cortes . Sin embargo, el de Jaśkowski está más cerca de 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, Jaskowski fue un pionero en la investigación de tanto la lógica intuicionista y la lógica libre .
Obras
- Sobre las reglas de las suposiciones en la 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.
- Investigaciones sobre el sistema de lógica intuicionista 1936 (traducido en: Storrs McCall (ed.), Polish Logic 1920-1939 , Oxford University Press, 1967 págs. 259-263
- A propositional Calculus for Inconsistent Deductive Systems 1948 (reimpreso en: Studia Logica, 24 1969, pp 143-157 y en: Logic and Logical Philosophy 7, 1999 pp. 35-56)
- On the Discussive Conjunction in the Propositional Calculus for Inconsistent Deductive Systems 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: On Symmetry in Art and Nature ), PWS, Warszawa, 1952 (libro de 168 páginas)
- Matematyczna teoria ornamentów (título en inglés: Teoría matemática de los ornamentos ), PWN, Warszawa, 1957 (libro de 100 páginas)
Referencias
- 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