Até agora, os equipamentos de computação seguiam um princípio milenar da Lógica: alguma coisa só poderia ser falsa ou verdadeira, sim ou não. Pela primeira vez no mundo, foi provado - e com demonstração prática - que é possível construir equipamentos que lidem com a possibilidade das duas situações - a sentença e sua negação - serem ambas verdadeiras, abrindo o campo para a humanização das máquinas. A demonstração ocorreu na tese de doutorado defendida pelo professor João Inácio da Silva Filho, da Universidade Santa Cecília (Unisanta) perante a banca examinadora da Escola Politécnica da Universidade de São Paulo (Poli-USP).

Com a aplicação dessa Lógica não clássica na Engenharia Eletrônica, o professor Inácio, formado em 1983 na Unisanta, prova que a máquina pode trabalhar em situações diferentes do tradicional "verdadeiro ou falso". Sua tese tem o título "Métodos de Aplicações da Lógica Paraconsistente Anotada de Anotação Com Dois Valores - LPA2v - Com Construção de Algoritmo e Implementação de Circuitos Eletrônicos.

Repercussão – Dois trabalhos tirados da própria tese foram escolhidos para serem apresentados em congressos internacionais. O primeiro será realizado em Nova Iorque, nos Estados Unidos, dias 22 a 25/6/1999: é o Third International ICSC Symposium on Fuzzy Logic and Aplications. O segundo, Artificial Intelligence and Soft Computing, ocorrerá em Honolulu (Havaí/EUA) nos dias 9 a 12/8/1999.

O professor também recebeu convites para apresentar a tese na Pontifícia Universidade Católica do Paraná, na Universidade Federal de Itajubá e na Faculdade de Filosofia da USP. O orientador da tese foi o professor-doutor Jair Minoro Abe, que coordena a área de Lógica e Teoria da Ciência do Instituto de Estudos Avançados da USP.