Page:Arnauld et Nicole - Logique de Port-Royal, Belin, 1878.djvu/343

La bibliothèque libre.
Le texte de cette page a été corrigé et est conforme au fac-similé.

termes, à quoi ils ont pourvu par les définitions des mots dont nous avons parlé dans la première partie ;

La deuxième est de n’établir leurs raisonnements que sur des principes clairs et évidents, et qui ne puissent être contestés par aucune personne d’esprit : ce qui fait qu’avant toutes choses ils posent les axiomes qu’ils demandent qu’on leur accorde comme étant si clairs, qu’on les obscurcirait en voulant les prouver ;

La troisième est de prouver démonstrativement toutes les conclusions qu’ils avancent, en ne se servant que des définitions qu’ils ont posées, des principes qui leur ont été accordés comme étant très-évidents, ou des propositions qu’ils en ont déjà tirées par la force du raisonnement, et qui leur deviennent après autant de principes.

Ainsi, on peut réduire à trois chefs tout ce que les géomètres observent pour convaincre l’esprit, et renfermer le tout en ces cinq règles très-importantes.


Règles nécessaires
Pour les définitions.

1re. Ne laisser aucun des termes un peu obscurs ou équivoques sans le définir.

2e. N’employer dans les définitions que des termes parfaitement connus ou déjà expliqués.

Pour les axiomes.

3e. Ne demander en axiomes que des choses parfaitement évidentes.

Pour les démonstrations.

4e. Prouver toutes les propositions un peu obscures, en n’employant à leur preuve que les définitions qui auront précédé, ou les axiomes qui auront été accordés, ou les propositions qui auront déjà été démontrées, ou la construc-