Sujet : Faut-il chercher à tout démontrer ?

Définitions des termes :

• chercher : Essayer, se donner les moyens d’atteindre quelque chose. Action volontaire du sujet.

• tout : La totalité sans exception.

• démontrer : Prouver par raisonnement.

Extrait du corrigé : * Pascal fait remarquer que le modèle démonstratif de la géométrie nous amène dans un cercle vicieux: car il suppose que les termes que l'on utilise soient toujours définis de manière claire et distincte. Or, pour définir un terme, il faut d'autres termes: on entre ainsi dans une régression à l'infini dont on ne peut sortir. Il est donc vain de croire pouvoir tout démontrer. Seule la géométrie échappe relativement à ce problème. Non pas parce qu'elle parvient à tout démontrer, mais parce qu'elle «ne suppose que des choses claires et constantes par la lumière naturelle». Mais elle est la seule dans son genre.  L'essentiel, dans une démonstration, n'est pas l'évidence de son fondement mais sa cohérence formelle. «Démontrer n'est pas autre chose que résoudre les termes d'une proposition et substituer au terme défini sa définition ou une de ses parties pour dégager une sorte d'équation.» Leibniz, De la liberté (1707). * En définissant la démonstration comme une suite de substitutions, Leibniz met de côté la question du fondement de la démonstration.