Sujet : Penser est-ce calculer?

Aperçu du corrigé : Penser est-ce calculer?

Le véritable savoir réside dans le calcul. Tout est nombre. Toute pensée rigoureuse repose sur la logique. MAIS, calculer n'est pas penser, même si le calcul demande de l'intelligence. Le calcul est un mécanisme opératoire. Un ordinateur calcule plus vite qu'un homme mais, contrairement à ce dernier, il ne sait pas penser.

Il manque donc à la règle cartésienne des idées claires et distinctes un critère objectif, qui nous permette de savoir à quoi reconnaître le clair et le distinct, autrement que par l'attention que nous y portons. L'évidence peut être trompeuse. Où trouver alors les critères objectifs du clair et du distinct, et donc de la certitude ? Dans les règles de la logique,  c'est-à-dire dans le respect de la forme logique du raisonnement, dont la non-contradiction est la principe le plus universel. Le syllogisme des Anciens en fournit l'exemple. Les mathématiques aussi, mais Leibniz retient d'elles moins, comme Descartes, la clarté des intuitions que la rigueur du formalisme. Le calcul, manipulation réglée de signes, telle que la conclusion est nécessaire et immanquable, devient la règle suprême de la vérité : règle machinale, mais par conséquent plus sûre et plus objective que l'appel à l'évidence. On peut qualifier la conception cartésienne d'intuitionnisme et lui opposer le formalisme de Leibniz.       La pensée n'est pas nécessaire au calcul C'est la machine à calculer qui nous prouve que calculer n'est pas penser. Quelle que soit sa sophistication, une machine n'est que matière, et la matière ne pense pas.