DOCUMENTO 56 DE RESPOSTAS A ALUNOS

PERGUNTA DO ALUNO

Em uma das aulas da Escola Tomista o sr disse que Descartes foi um bom
matemático, mas um mau lógico. Em um dos livros mais impactantes que já li --
"A Lógica da Filosofia", de Eric Weil -- o autor afirma que Edmund Husserl
demonstrou que a lógica formal e a matemática são a mesma coisa.
Minha dúvida é a seguinte: Husserl estava errado nesse ponto? Em caso
positivo, onde se encontra a diferença entre lógica formal e matemática?

RESPOSTA DO PROFESSOR

Não há “lógica matemática”. Não há senão a Lógica e a Matemática.

• A Lógica é a arte que rege a razão para que esta alcance a verdade com
ordem, com facilidade e sem erro, e seu sujeito (ou gênero sujeito, ou o que,
mais impropriamente, alguns tomistas chamam “objeto formal”) são os entes de
razão de segunda intenção (gênero, espécie, diferença específica, etc.). – O que
seja tudo isso ver-se-á ainda este ano na Escola Tomista. Mas vê-se pelo dito
que nada matemático pode equivaler à Lógica. E o impropriíssimo termo “lógica
‘formal’” perde, assim, toda a razão de ser, porque, se não há outra lógica, não
pode haver nenhuma diferença que a especifique. Ademais, se “formal” fosse
diferença específica de certa lógica, deveria contrapor-se não a uma “lógica
‘matemática’”, mas a uma “lógica ‘material’”, o que, conquanto seja sustentado
por muitos e importantes tomistas desde João de Santo Tomás, mas como
veremos na Escola Tomista, é de todo equivocado.
• A Matemática é a ciência que tem por sujeito ou gênero sujeito o ens
quantum. E, se para entendê-lo perfeitamente, é preciso percorrer ainda muita
estrada na Escola Tomista, a título porém de grande antecipação diga-se que
pode inteligir-se a “quantidade” sem qualidades sensíveis, mas não sem corpo (a
chamada “matéria inteligível”). Esta abstração é a abstração formal própria da
Matemática (tanto da Aritmética, que trata a quantidade discreta, como da
Geometria, que trata a quantidade contínua). Não é difícil ver por aí, ou seja,

1
tanto pelos respectivos e diferentes sujeitos da Lógica e da Matemática como
pelo modo propriíssimo e formal da Matemática de abstrair, que a Lógica e a
Matemática são disciplinas de todo distintas. Sua identificação, como referido
pela pergunta, não pode resultar senão do desconhecimento do que sejam o
gênero sujeito, que é o que especifica cada ciência, e os diferentes modos de
abstrair.