Yaskovsky, Stanislav

Stanisław Jaśkowski ( polaco: Stanisław Jaśkowski ; 22 de abril de 1906 , Varsovia  - 16 de noviembre de 1965 , ibíd.) fue un lógico polaco . Hizo una contribución significativa al desarrollo de la teoría de la prueba y la semántica formal .

Fue alumno de Jan Lukasiewicz y perteneció a la Escuela de Lógica de Lvov-Varsovia . Desde 1946 - profesor, de 1959 a 1962. - Rector de la Universidad Nicolaus Copernicus de Torun .

Jaskowski es considerado uno de los fundadores del cálculo natural , [2] [3] que descubrió independientemente de Gerhard Gentzen en la década de 1930. (El enfoque de Gentzen es más conocido). Fue uno de los primeros, si no el primero, en proponer un cálculo formal de lógica paraconsistente . En consecuencia, Jaśkowski es un pionero en el estudio tanto de la lógica intuicionista como de la lógica libre .

Actas

• "Sobre las reglas de los supuestos en la lógica formal", 1934.
• "Investigación en el sistema de la lógica intuicionista", 1936.
• "Cálculo proposicional en un sistema de inferencia inconsistente", 1948.
• "Sobre la conjunción discutible en el cálculo proposicional en un sistema de inferencia inconsistente", 1949.
• "Sobre fórmulas en las que la variabilidad no individual aparece más de dos veces", 1966.

Notas

1. ↑ Genealogía matemática  (inglés) - 1997.
2. ↑ B. T. Dombrovsky, Escuela filosófica Lvov-Varsovia (1895-1939) / Conclusión natural Art. Yaskovsky.
3. ↑ K. Tvardovsky. Lvov-Escuela de Filosofía de Varsovia/Conclusión natural art. Yaskovsky (enlace inaccesible) . Fecha de acceso: 17 de octubre de 2010. Archivado desde el original el 22 de diciembre de 2007. (indefinido) 

sitios temáticos	genealogía matemática zbMATH Abierto
En catálogos bibliográficos TIERRA : 1245501992 ISNI : 0000 0000 7177 3220 NKC : mzk2014830462 NUKAT : n00057033 SUDOC : 16470616X VIAF : 101650161 WorldCat VIAF : 101650161