OUVB. INÉD., p

miers, fol. 183 verso' : « Sicut, ante ipsoruœ-iiîategoricoriim (sjUogismorum ) complexiones,' categoricas proposiliones oportuit tractari, ex quibiis ipsi materiam pariter et iiomen cœperunt , sic et hypotheticorum tractatus prius est in hypotheticis propositionibus eadem causa consumendus. » Ces seconds Analytiques comprennent deux livres dans lesquels sont exposées en détail les règles des syllogismes hypothétiques.

Enfin, un traité de logique n'eût pas été complet s'il n'eût fini par l'exposition des règles de la définition ; et la définition supposant la division, cette dernière partie de la dialectique d'Abélard devait comprendre la division et la définition dans un seul et même livre où la division précède et où la définition termine. F° 191 recto* : « Quoniamvero divisiones diffinitionibus naturaliter priores sunt, quippe ex ipsis constitutionis suae originem ducunt, ut posterius apparebit, in ipso quoque tractatu divisiones merito priorem locum obtinebunt, diffinitiones vero posteriorem. Quœ etiam qualiter divisionibus ipsis necessarise sint non praetermittemus, quibus ita quoque adjunctse sunt ut eosdem termines participent alque in eadem materia consistant; unde et recte earum tractatus conjunximus de quibus deinceps disserendum est. )>

Tel est l'ouvrage que renferme le manuscrit de Saint- Victor. On voit qu'il se divise de lui-même en cinq parties : l'une qui traite des éléments ou parties de la proposition; la seconde, des propositions simples, dites propositions catégoriques, et des syllogismes qui en dérivent; la troisième, des lieux communs ou principes de toute argumentation; la quatrième, des propositions et syllogismes hypothétiques; la cinquième, de la divi-