Page:Leibniz - Nouveaux Essais sur l’entendement humain, 1921.djvu/321

Cette page n’a pas encore été corrigée

et dont les Arabes attribuent l’invention à Galien [note : Galien, médecin de l’antiquité, né à Pergame en 131.] , quoique nous n’en trouvions rien dans les ouvrages qui nous restent de lui, ni dans les autres auteurs grecs, la quatrième, dis-je, a ce désavantage, qu’elle ne saurait être tirée de la première ou principale par cette méthode seule, et qu’il faut encore employer une autre supposition, savoir les conversions ; de sorte qu’elle est plus éloignée d’un degré que la seconde et la troisième, qui sont de niveau et également éloignées de la première, au lieu que la quatrième a besoin encore de la seconde et de la troisième pour être démontrée. Car il se trouve fort à propos que les conversions mêmes dont elle a besoin, se démontrent par la figure seconde ou troisième, démontrables indépendamment des conversions, comme je viens de faire voir. C’est Pierre de la Ramée qui fit déjà cette remarque de la démonstrabilité de la conversion par ces figures ; et (si je ne me trompe) il objecta le cercle aux logiciens, qui se servent de la conversion pour démontrer ces figures, quoique ce ne fût pas tant le cercle qu’il leur fallait objecter (car ils ne se servaient point de ces figures à leur tour pour justifier les conversions) que l'hysteron proteron [note : Mettre avant ce qui est après] ou le rebours ; parce que les conversions méritaient plut^pt d’être démontrées par ces figures, que ces figures par les conversions qui fait encore voir l’usage des identiques affirmatives, que plusieurs prennent pour frivoles tout à fait, il sera d’autant plus à propos de la mettre ici. Je ne veux parler que des conversions sans contraposition qui me suffisent ici, et qui sont simples ou par accident comme on les appelle. Les conversions simples sont de deux sortes ; celle de l’universelle négative, comme : nul carré n’est obtusangle, donc nul obtusangle n’est carré ; et celle de la particulière affirmative, comme : tout carré est rectangles, donc quelque rectangle est carré. On entend toujours ici par rectangle une figure dont tous les angles sont droits, et par le carré on entend un quadrilatère régulier. Maintenant il s’agit de démontrer ces trois sortes de conversions qui sont :

1. Nul A est B ; donc nul B est A.

2. Quelque A est B ; donc quelque B est A.

3. Tout A est B ; donc quelque B est A.