tables règles du raisonnement, et, sans s’arrêter aux règles des syllogismes qui sont tellement naturelles qu’on ne peut les ignorer, s’arrêter et se fonder sur la véritable méthode de conduire le raisonnement en toutes choses, que presque tout le monde ignore, et qu’il est si avantageux de savoir, que nous voyons par expérience qu’entre esprits égaux et toutes choses pareilles, celui qui a de la géométrie l’emporte et acquiert une vigueur toute nouvelle.
Je veux donc faire entendre ce que c’est que démonstration par l’exemple de celles de géométrie, qui est presque la seule des sciences humaines qui en produise d’infaillibles, parce qu’elle seule observe la véritable méthode, au lieu que toutes les autres sont par une nécessité naturelle dans quelque sorte de confusion que les seuls géomètres savent extrêmement connoître.
Mais il faut auparavant que je donne l’idée d’une méthode encore plus éminente et plus accomplie, mais où les hommes ne sauraient jamais arriver : car ce qui passe la géométrie nous surpasse ; et néanmoins il est nécessaire d’en dire quelque chose, quoiqu’il soit impossible de la pratiquer.
Cette véritable méthode, qui formerait les démonstrations dans la plus haute excellence, s’il était possible d’y arriver, consisterait en deux choses principales : l’une, de n’employer aucun terme dont on n’eût auparavant expliqué nettement le sens ; l’autre, de n’avancer jamais aucune proposition qu’on ne démontrât par des vérités déjà connues ; c’est-à-dire, en un mot, à définir tous les termes et à prouver toutes les propositions. Mais, pour suivre l’ordre même que j’explique, il faut que je déclare ce que j’entends par définition.
On ne reconnaît en géométrie que les seules définitions que les logiciens appellent définitions de nom, c’est-à-dire que les seules impositions de nom aux choses qu’on a clairement désignées en termes parfaitement connus ; et je ne parle que de celles-là seulement. Leur utilité et leur usage est d’éclaircir et d’abréger le discours, en exprimant, par le seul nom qu’on impose, ce qui ne pourrait se dire qu’en plusieurs termes ; en sorte néanmoins que le nom imposé demeure dénué de tout autre sens, s’il en a, pour n’avoir plus que celui auquel on le destine uniquement. En voici un exemple : si l’on a besoin de distinguer dans les nombres ceux qui sont divisibles en deux également d’avec ceux qui ne le sont pas, pour éviter de répéter souvent cette condition, on lui donne un nom en cette sorte : j’appelle tout nombre divisible en deux également, nombre pair. Voilà une définition géométrique : parce qu’après avoir clairement désigné une chose, savoir tout nombre divisible en deux également, on lui donne un nom que l’on destitue de tout autre sens, s’il en a, pour lui donner celui de la chose désignée.
D’où il paraît que les définitions sont très libres, et qu’elles ne sont jamais sujettes à être contredites ; car il n’y a rien de plus permis que de donner à une chose qu’on a clairement désignée un nom tel qu’on voudra. Il faut seulement prendre garde qu’on n’abuse de la liberté qu’on a d’imposer des noms, en donnant le même à deux choses différentes.
