Ibid., p. o

(( et ipsi nominantur, nccesse est tractari. Nulla} autem (( idonccB propositiones ia constitutione syllogismi su- « muiilur, iiisi quibus auditor consensit, hoc est quas pro (( vcris recipit, sicut ex difOnitione syllogismi quam Iq « extrema parte Categoricorum posuimus, manifestum « est. Quoniam ergo bypotheticœ enuntiationes qua- « rum sensus sub consecutionis conditione proponitur, « infereniia^ suœ sedem ac veritatis evidentiam ex locis « quammaxime tenent, ante ipsas rursus hypotheticas « propositiones Topicorum tractatuin ordinari convenit , « ex quo maxime hypotheticarum propositionum veritas (( seu falsitas dignoscitur. » Viennent ensuite les seconds Analytiques, exactement sur le même plan que les premiers (fol. ^83 verso) ^ « Sicut, ante ipsorum categoricorum ({ (syllogismorum) complexiones , categoricas proposi- (( tiones oportuit tractari, ex quibus ipsi materiam pariter « et nomen 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. « Quoniam « vero (f*^ -19^ recto) ^ divisiones difûnitionibus natu- « raliter priores sunt, quippe ex ipsis constitutionis

\ . Ouvr, inéd. , p. 437.