A UFPR e SBPC organizaram um evento em homenagem ao Prof. Newton da Costa. Figura notável, no âmbito das Ciências Exatas, foi Professor Catedrático na UFPR, transferindo-se posteriormente para a USP. Considerado um dos maiores pensadores brasileiros vivos, o Prof. Newton da Costa, também conhecido como “O Filósofo da Contradição”, falou sobre sua carreira e os fundamentos da “Lógica Paraconsistente”.

Newton Carneiro Affonso da Costa é um matemático, lógico e filósofo brasileiro.

Da Costa é reconhecido principalmente pela formulação da lógica paraconsistente, um tipo de lógica distinta da lógica clássica. A lógica paraconsistente põe em xeque o princí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 a filosofia da ciência, a filosofia da física, as teorias da verdade, os fundamentos da matemática, a economia, a teoria da computação e o direito, entre outros campos. Por conta de sua teoria, da Costa é chamado de “pensador da contradição”.

Debatedores: Cesar Serbena, Rodrigo Rocha Loures e Fernando Severo

Moderador: Francisco Mendonça.

A Lógica Paraconsistente tem aplicações na economia, computação, robótica, nos sistemas especialistas e também nos sistemas de inteligência artificial.

Saiba mais sobre lógica paraconsistente e inteligência artificial neste artigo do Newton da Costa e Jair Minoro Abe.

O evento fez parte do 75o. Encontro da SBPC (Sociedade Brasileira para o Progresso da Ciência), que foi realizado na UFPR.

Fonte: https://pt.wikipedia.org/wiki/Newton_da_Costa