Maintenant il faut prouver comment cette proposition, quelque A est B, est suivie de cette autre, quelque B est A, et on le prouve par le syllogisme expositoire. Mettons donc les propositions dont nous venons de parler en termes significatifs; et comme nous disons quelque A est B, disons quelque homme est animal, et comme nous disons quelque B est A, disons quelque animal est homme. Prenons la première, à savoir quelque homme est animal. Désignons cet homme et cet animal, car si celle-ci, quelque homme est animal, est vraie, elle doit être nécessairement vraie dans un homme désigné, comme Socrate, Platon, et si elle n’est vraie dans aucun homme désigné, elle ne sera vraie en aucune manière. Désignons donc la chose qui renferme l’animalité et l’humanité, et appelons-la Socrate, et établissons ainsi le syllogisme expositoire: Socrate est cet homme, Socrate est cet animal, donc cet animal est cet homme, et par conséquent quelque animal est homme, donc cette proposition quelque animal est homme, qui remplaçait celle-ci, quelque B est A, est suivie de celle-ci, quelque A est B, donc la proposition quelque A est B est suivie de celle-ci, quelque B est A, et c’est précisément ce que nous voulions dire. On voit ainsi comment se fait la conversion de l’universelle négative. La particulière affirmative se convertit simplement, comme quelque B est A, donc quelque A est B, et se prouve par le même principe. Donc de l’opposé du conséquent se déduit l’opposé de l’antécédent. Donc la première conséquence ou la conversion a été bonne. Cette conversion peut se prouver par le syllogisme expositoire, comme on l’a dit. L’universelle affirmative se convertit per accidens, de cette manière: tout B est A, quelque A est B, et se prouve de la même manière. En effet, l’opposé de cette proposition quelque A est B est celui-ci, aucun A n’est B, qui se convertit en cette autre, aucun B n’est A;
