Nota: Este artigo é sobre o matemático e filósofo brasileiro. Para o político, vejaNewton da Costa Brandão.| Newton da Costa | |
|---|---|
 Newton da Costa em Berkeley em 1973 | |
| Conhecido(a) por | lógica paraconsistente |
| Nascimento | |
| Morte | 16 de abril de2024 (94 anos) |
| Residência | Brasil |
| Nacionalidade | brasileiro |
| Cônjuge | Neusa Feitosa Affonso da Costa |
| Alma mater | Universidade Federal do Paraná |
| Prêmios | Prêmio Jabuti Moinho Santista[1] |
| Carreira científica | |
| Orientador(es)(as) | Edison Farah |
| Campo(s) | filosofia,matemática,lógica |
| Tese | 1961:Topological Spaces and Continuous Functions |
Newton Carneiro Affonso da Costa (Curitiba,16 de setembro de1929 –Florianópolis,16 de abril de2024) foi ummatemático,lógico efilósofobrasileiro e um dos pensadores brasileiros mais reconhecidos internacionalmente.[2]
Da Costa ficou reconhecido principalmente pela formulação dalógica paraconsistente, um tipo de lógica distinta dalógica clássica.[3] A lógica paraconsistente põe em xeque oprincípio da não contradição, segundo o qual duas afirmações contraditórias não podem ser verdadeiras ao mesmo tempo, um dos pilares da lógica clássica. Da Costa mostrou que é admissível criar sistemas lógicos que aceitem contradições sem por isso se tornarem triviais, ou seja, sem que o verdadeiro e o falso se tornem indistinguíveis dentro deles. Seus trabalhos, divulgados em mais de 250 obras, abrangem afilosofia da ciência, a filosofia da física, asteorias da verdade, os fundamentos da matemática, aeconomia, ateoria da computação e odireito, entre outros campos.[2] Por conta de sua teoria, da Costa é chamado de “pensador da contradição”.[1]
Obteve três graduações pelaUniversidade Federal do Paraná: em 1952 formou-se emengenharia civil, e em 1955 e 1956 obteve obacharelado elicenciatura emmatemática, ambos pela Faculdade de Filosofia, Ciências e Letras. Especializou-se em licenciatura de matemática em 1957, e concluiu odoutorado emanálise matemática e análise superior em 1961, orientado por Edison Farah. Newton da Costa foi professor catedrático daUFPR, professor titular de matemática e de filosofia naUSP, e professor titular naUnicamp. Foi, também, professor visitante em instituições daAustrália,França,Estados Unidos,Polônia,Itália,Argentina,México ePeru.[1]
Da Costa nasceu em 1929, em Curitiba, e fez toda a sua carreira dentro de universidades brasileiras, embora tenha lecionado em diversas universidades ao redor do Mundo. Iniciou naUniversidade Federal do Paraná, onde doutorou-se, e, depois disso, transferiu-se para aUniversidade de São Paulo lecionando no Instituto de Matemática e Estatística e na Faculdade de Filosofia, Letras e Ciências Humanas. Filho de uma professora de francês, da Costa teve influência de autores franceses, interessando-se mais tarde pelafilosofia elógica.[2]
Mais especificamente, em uma entrevista paraRevista de Filosofia Sísifo, Newton da Costa comenta sobre a sua influência filosófica, afirmando que "tenho dívidas com muitos autores, tais comoRussell,Carnap,Quine eBrunschvicg. No entanto, jamais poderia me considerar um discípulo de qualquer um deles. O que fizeram por mim foi, principalmente, me ajudarem a resolver meus problemas por meio de argumentação própria: aguçaram meu senso crítico e contribuíram para que eu pudesse formar um pensamento próprio".[4]
Depois do ano 2000, Newton da Costa se retirou, por razões familiares, para a capital deSanta Catarina, onde faleceu em 16 de abril de 2024[5], por complicações decorrentes de um acidente doméstico.[6]
 | Esta seçãonão citafontes confiáveis. Ajude ainserir referências. Conteúdo nãoverificável pode ser removido.—Encontre fontes:Google (N • L • A • I • WP refs) • ABW • CAPES(maio de 2018) |
Ver artigo principal:Lógica paraconsistenteEm sistemas lógicos paraconsistentes a existência de proposições contraditórias não implica a trivialidade dos sistemas[6]. As implicações destes sistemas lógicos têm importância acadêmica e prática tanto para os fundamentos quanto para as aplicações de ciências comodireito,matemática,física eengenharia. Ser um dos criadores destalógica não clássica deu parte do reconhecimento internacional que o Professor Da Costa granjeou. Os conhecidos cálculos Cn de Da Costa foram amplamente generalizados e ampliados pelasLógicas da Inconsistência Formal, investigados porWalter Carnielli,Marcelo E. Coniglio e João Marcos.
Juntamente com seus colegas (e ex-orientandos), o lógicoWalter A. Carnielli, professor daUNICAMP, a matemática Leila Zardo Puga professora da PUCSP, Da Costa deu uma contribuição original à Lógica Dêontica. Da Costa, Carnielli e Puga mostraram que uma lógica menos rígida que a lógica clássica pode dar uma nova resposta aos chamados paradoxos ou dilemas deônticos. Esta contribuição ao debate é reconhecida no verbeteDeontic Logic da Stanford Enc. of Philosophy.[7]
Da Costa com alguns de seus colaboradores, estendeu o conceito escolástico de verdade, formulando, à maneira deAlfred Tarski, uma noção, a teoria daquase verdade ouverdade parcial que então aplicou aos fundamentos da ciência. Um exemplo de quase-verdade, segundo da Costa, é amecânica clássica: ela pode ser usada para construírem-se prédios, mas é "falsa" na medida em que foi suplantada pelateoria da relatividade.[6]
O método axiomático é uma ferramenta que estende a compreensão a respeito dos limites e desdobramentos das teorias. As pesquisas de Da Costas incluemteoria dos modelos,teoria de Galois,axiomatização damecânica quântica e darelatividade restrita eteoria da complexidade.
Da Costa juntamente com o físicoFrancisco A. Dória axiomatizou, utilizando opredicado de Suppes, várias teorias físicas, chegando a resultados importantes como o daincompletude ouindecidibilidade de certas proposições dateoria de sistemas dinâmicos, em sua versão axiomatizada. Este resultado também foi estendido para oequilíbrio de Nash.
O problemaP = NP? é um dos problemas mais importantes dateoria da computação e relaciona-se diretamente com a limitação do poder de processamento dos computadores, entre outras questões de aplicação prática.
Juntamente comFrancisco A. Dória, Da Costa publicou dois artigos que condicionam a consistência do problema P=NP? àteoria de conjuntosZFC. Os resultados obtidos são similares aos obtidos por outros autores e a comunidade científica ainda está avaliando estes resultados.
