Escolha Teórica em Lógica: O Caso da Lógica Clássica e da Lógica Temporal

Resumen

Investigamos em que medida o método abdutivo pode ser aplicado à escolha entre teorias lógicas, tomando como estudo de caso a disputa entre a lógica clássica e a lógica temporal. Normalmente, os exemplos de aplicação do método abdutivo concentram-se em disputas entre a lógica clássica e lógicas não clássicas. Acreditamos, contudo, que também há desacordos relevantes entre a lógica clássica e lógicas que a estendem sem negar seus princípios, como é o caso da lógica temporal. Esses desacordos não decorrem da relação de consequência lógica (o que se segue do quê), mas envolvem pressupostos sobre a natureza do tempo e da linguagem. Ao resgatar esse recorte histórico do embate entre teorias lógicas, mostramos que as limitações do abdutivismo não se restringem a disputas entre clássicos e não clássicos, mas também se manifestam em debates acerca de lógicas que se apresentam como extensões da clássica.