Stanisław Jaśkowski
 |
Stanisław Jaśkowski (22 de abril de 1906, Varsóvia – novembro 16, de 1965, de Varsóvia) foi um lógico polonês que deu importantes contribuições para a teoria da prova e a semântica formal. Ele foi estudante de Jan Lukasiewicz e um membro da Escola de Lógica Lwów-Warsaw. Após sua morte, seu nome foi adicionado à Genius Wall of Fame. Ele foi o Presidente (reitor) da Nicolaus Copernicus University em Toruń.
Jaśkowski é considerado um dos fundadores da dedução natural, que ele descobriu independentemente de Gerhard Gentzen , na década de 1930. (A abordagem de Gentzen tornou-se inicialmente mais popular com os lógicos, porque poderia ser usada para provar o teorema da eliminação do corte. Mas a abrodagem de Jaśkowski está mais perto da maneira como as provas são feitas na prática.) Ele também foi um dos primeiros a propor um procedimento formal de cálculo de tolerância a inconsistência (ou cálculo paraconsistente) lógica. Além disso, Jaśkowski foi um pioneiro na investigação tanto da lógica intuicionista como da lógica livre.
Principais trabalhos[editar | editar código-fonte]
- Sobre as Regras de Suposições na Lógica Formal, Studia Logica, 1, 1934 pp. 5-32 (reimpresso em: Storrs McCall (ed.), Polaco lógica 1920-1939, Oxford University Press, 1967 pp. 232-258
- Investigações sobre o Sistema da Lógica Intuicionística 1936 (traduzido em: Storrs McCall (ed.), Polish logic 1920-1939, Oxford University Press, 1967 pp. 259-263
- Um Cálculo Proposicional para Sistemas Dedutivos Inconsistentes 1948 (reimpresso em: Studia Logica 24, 1969, pp 143–157 e em: Logic and Logical Philosophy 7, de 1999, pp. 35-56)
- Sobre a Conjunção Discussiva no Cálculo Proposicional para Sistemas Dedutivos Inconsistentes 1949 (reimpresso em: Logic and Logical Philosophy 7, de 1999, pp. 57-59)
- Sobre as Fórmulas em que nenhuma Variável Individual ocorre mais do que Duas Vezes, Journal of Symbolic Logic, 31, 1966, pp. 1-6)
- Em polonês
- O symetrii w zdobnictwie eu przyrodzie - matematyczna teoria ornamentów (Título em português: Sobre a Simetria na Arte e na Natureza), PWS, Warszawa, 1952 (livro, 168 páginas).
- Matematyczna teoria ornamentów (Título em português: a Teoria Matemática dos Ornamentos), PWN, Warszawa, 1957 (livro, 100 páginas).
Referências[editar | editar código-fonte]
- Jerzy Perzanowski (1999). "Fifty Years of Parainconsistent Logics" (PDF). Logic and Logical Philosophy. 7: 21–24.
- Woleński, Jan (2003).«Lvov-Warsaw School». The Stanford Encyclopedia of Philosophy (Summer 2003 Edition). Retrieved 2006-03-11.
- Jerzy Kotas, De Agosto De Pieczkowski. Trabalhos científicos de Stanisław Jaśkowski, Studia Logica, 21, 1967, 7-15.