Dos primórdios da filosofia ao nascimento da lógica
Antes de existirem os computadores, algoritmos ou Inteligência Artificial (IA), a humanidade já enfrentava um dos problemas mais profundos do pensamento:
O que fazer quando duas afirmações parecem ser verdadeiras, mas entram em conflito?
Essa pergunta pode parecer moderna, especialmente em uma época na qual os sistemas de IA precisam lidar diariamente com informações provenientes de milhares de fontes diferentes.
Mas na realidade ela é muito antiga.
O estudo da contradição acompanha praticamente toda a história do pensamento ocidental.
O mundo já era contraditório
Os seres humanos sempre observaram fenômenos aparentemente incompatíveis.
O dia transforma-se em noite.
As estações mudam ao longo do ano.
Os seres vivos nascem, crescem e morrem.
Uma mesma situação pode ser interpretada de maneiras diferentes por pessoas diferentes.
Muito antes da ciência moderna, os filósofos gregos começaram a transformar essas observações em problemas filosóficos.
Entre os pré-socráticos, Heráclito destacou o caráter dinâmico e mutável da realidade. Parmênides, por outro lado, desenvolveu uma concepção na qual a questão do ser assumia posição central.
Suas filosofias não podem ser reduzidas simplesmente a uma oposição entre "mudança" e "permanência", mas suas ideias contribuíram para colocar uma questão fundamental no centro da filosofia:
Como podemos construir conhecimento racional sobre uma realidade que parece apresentar oposição, transformação e conflito?
Aristóteles e o princípio da não contradição
Cerca de dois séculos depois, Aristóteles sistematizou uma das ideias mais importantes da história da lógica: o Princípio da Não Contradição.
Em termos simplificados, uma proposição não pode ser verdadeira e falsa simultaneamente, sob o mesmo aspecto e nas mesmas condições.
Essa ideia tornou-se uma das bases da lógica clássica.
A consequência foi enorme.
Se duas afirmações fossem contraditórias, deveríamos investigar o problema e determinar onde estava o erro.
A lógica passou a desempenhar, entre outras funções, o papel de proteger o raciocínio contra inconsistências.
Durante muitos séculos, essa perspectiva foi extremamente bem-sucedida.
A contradição como erro
Podemos representar a visão tradicional de maneira bastante simples:
Contradição → erro → investigação → correção.
Se alguém afirmasse:
"A máquina está funcionando."
E outro sistema registrasse:
"A máquina está parada."
Seria necessário descobrir qual informação estava correta.
Esse princípio é fundamental para inúmeros sistemas matemáticos, científicos e computacionais.
Mas existe uma questão que demorou muito tempo para ganhar a devida importância:
E se ambas as informações forem relevantes?
Imagine que o primeiro sistema esteja registrando o estado operacional da máquina e o segundo esteja registrando uma parada programada.
Nesse caso, as duas informações aparentemente contraditórias podem estar descrevendo aspectos diferentes da realidade.
A contradição pode não ser simplesmente um erro.
Pode ser consequência de contextos diferentes.
Da filosofia para a ciência
Com o desenvolvimento da ciência moderna, a necessidade de raciocinar de maneira consistente tornou-se ainda maior.
A matemática passou a fornecer uma linguagem formal para descrever os fenômenos.
Os modelos científicos começaram a ser construídos com base em hipóteses, observações e relações matemáticas.
Mas a ciência também revelou algo importante:
O nosso conhecimento da realidade é sempre condicionado pelas informações disponíveis
e pelos modelos utilizados para interpretá-las.
Uma teoria pode funcionar muito bem em determinado domínio e deixar de ser adequada em outro.
Diferentes modelos podem explicar diferentes aspectos do mesmo fenômeno.
Isso não significa necessariamente que a ciência seja logicamente contraditória.
Isso significa que o conhecimento humano não é uma fotografia perfeita da realidade.
Ele é uma construção baseada em evidências.
E as evidências podem ser incompletas, imprecisas e, algumas vezes, conflitantes.
Uma pergunta que atravessou séculos
A lógica clássica tornou-se extremamente poderosa justamente porque estabeleceu regras rigorosas para o raciocínio.
Mas o desenvolvimento posterior da matemática, da ciência e da computação começou a mostrar que talvez não fosse necessário exigir que todos os sistemas de conhecimento fossem perfeitamente consistentes.
Essa percepção abriu caminho para o surgimento das lógicas não clássicas.
Entre elas, uma ideia seria particularmente revolucionária:
Seria possível raciocinar mesmo quando existissem contradições,
sem permitir que essas contradições destruíssem todo o sistema lógico?
Essa pergunta nos leva ao próximo capítulo dessa história.
No próximo episódio
Na Parte 2, veremos como a lógica evoluiu no século XX e como surgiu a Lógica Paraconsistente, uma abordagem que mudou a maneira de pensar sobre a contradição.
A pergunta deixará de ser:
"Como eliminar a contradição?"
E começará a ser:
"Como raciocinar quando a contradição está presente?"