Newton da costa: o homem, o lógico e o filósofo

Educação e Filosofia(2013)

引用 1|浏览1
暂无评分
摘要
*Doutor em Filosofia pela Universidade Estadual de Campinas (UNICAMP). Professor do Centro de Ciencias Humanas, Letras e Artes da Universidade Estadual de Maringa (UEM). **Doutora em Matematica pela Universidade Estadual de Campinas (UNICAMP). Professora do Centro de Logica, Epistemologia e Historia da Ciencia (CLE) da Universidade Estadual de Campinas (UNICAMP). Breve apresentacao de Newton da Costa O professor Newton da Costa – como e carinhosamente chamado por seus alunos – e, sem duvida, o logico mais importante do seculo XX em lingua portuguesa, destacando-se tambem como filosofo da logica, da matematica e teorico do metodo cientifico. Elaborou valiosas contribuicoes a diversos campos do saber teorico e filosofico. Juntamente com inumeros outros estudiosos brasileiros e estrangeiros, Newton da Costa fez escola, a qual se usa nominar “Escola de da Costa”. Seus membros, alguns dos quais gozam de reputacao internacional, nele tiveram e tem seu professor, mentor, inspirador e colaborador. [...] Newton da Costa e um dos grandes responsaveis pelo Brasil ser, hoje, relevante em logica em nivel mundial. Ele e o fundador da logica matematica no Brasil, desenvolvera sua cultura logica de modo autoctone e autodidata, aprendera logica diretamente na melhor literatura internacional sobre o assunto em sua juventude. Seu grande talento permitiu-lhe criar a logica paraconsistente de modo independente de Stanislaw Jaśkowski, em 1963, com a publicacao de Sistemas Formais Inconsistentes, sua tese de catedra apresentada, defendida e aprovada na Universidade do Parana, no ano seguinte. Mais tarde, a partir de 1986, Newton da Costa formula e desenvolve sua teoria da quase-verdade, a qual, em certo sentido, generaliza a teoria da verdade de Tarski, constituindo-se um modelo alternativo para conceber a nocao de progresso em ciencia, ao mesmo tempo em que oferece o ferramental teorico para que se codifique claramente os mais diversos tipos de inferencia no âmbito das teorias cientificas, inclusive das situacoes de inconsistencia teorica.
更多
查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要