“Uma teoria pode conter contradições sem por isso tornar-se trivial.”
Você pensa como Newton da Costa? Responda de 44 a 132 afirmações e descubra quem, entre 128 pensadores, tem o formato de pensamento mais parecido com o seu.
Matemático e lógico, lecionou na UFPR, na USP e na UFSC e é reconhecido internacionalmente como um dos criadores da lógica paraconsistente. Mostrou que é possível raciocinar com rigor diante de contradições e desenvolveu, com colaboradores, a noção de quase-verdade para pensar a ciência.
Ideias centrais
É possível construir lógicas rigorosas em que uma contradição não faz tudo valer.
Princípio da tolerância: a matemática pode explorar sistemas lógicos diferentes do clássico.
Teorias científicas são quase-verdadeiras: funcionam bem num domínio, sem ser a verdade final.
