vrai que quelque A n’est point C), donc l’une ou l’autre des prémisses sera fausse aussi. Supposons que la seconde est véritable, il faudra que la première soit fausse, qui prétend que tout B est C. Donc sa contradictoire sera vraie, c’est-à-dire quelque B ne sera point C. Et ce sera la conclusion et de la vérité de l’une des prémisses du précédent. Voici cet argument nouveau :
Quelque A n’est point C.
Ce qui est opposé à la conclusion précédente supposée fausse.
Tout A est B.
C’est la prémisse précédente supposée vraie.
Donc quelque B n’est point C.
C’est la conclusion présente vraie, opposée à la prémisse précédente fausse.
Cet argument est dans le mode disamis de la troisième figure, qui se démontre ainsi manifestement et d’un coup d’œil du mode barbara de la première figure, sans employer que le principe de contradiction. Et j’ai remarqué dans ma jeunesse, lorsque j’épluchais ces choses, que tous les modes de la seconde et de la troisième figure se peuvent tirer de la première par cette seule méthode, en supposant que le mode de la première est bon, et par conséquence que la conclusion étant fausse, ou sa contradictoire étant prise pour vraie, et une des prémisses étant prise pour vrai aussi, il faut que la contradictoire de l’autre prémisse soit vraie. Il est vrai que dans les écoles logiques on aime mieux se servir des conversions pour tirer les figures moins principales de la première, qui est la principale, parce que cela paraît plus commode pour les écoliers. Mais pour ceux qui cherchent les raisons démonstratives, où il faut employer le moins de suppositions qu’on peut, on ne démontrera pas par la supposition de la conversion ce qui se peut démontrer par le seul principe primitif, qui est celui de la contradiction et qui ne suppose rien. J’ai même fait cette observation, qui paraît remarquable, c’est que les seules figures moins principales, qu’on appelle directes, savoir la seconde et la troisième, se peuvent démontrer par le principe de contradiction tout seul, mais la figure moins principale indirecte, qui est la quatrième,
