Authors/Abelard/dialectica/Pars 4

From The Logic Museum
Jump to navigationJump to search

DE DIVISIONE HYPOTHETICARUM EARUMQUE PROPRIETATIBUS

Latin English
PARS QUARTA
LIBER PRIMUS
DE DIVISIONE HYPOTHETICARUM EARUMQUE PROPRIETATIBUS
{PROLOGUS}
Novam accusationis calumniam adversum me de arte dialectica scriptitantem aemuli mei novissime excogitaverunt, affirmantes quidem de his quae ad Fidem non attinent, christiano tractare non licere. Hanc autem scientiam non solum nos ad fidem non instruere dicunt, verum Fidem ipsam suarum implicamentis argumentationum destruere. At vero mirabile est cur non mihi liceat tractare quod eis permissum sit legere aut quid tractare sit malum quod legere sit concessum. Neque enim fidei intuitus quem dicunt, consequeretur, si lectionis usus substraheretur; ade{m}pta namque lectione cognitio peribit scientiae. Si vero adversus Fidem militare artem concedant, eam procul dubio non esse scientiam confitentur. Est enim scientia veritatis rerum comprehensio, cuius species est sapientia, in qua fides consistit. Haec autem est honestatis sive utilitatis discretio; uetitas autem veritati non est adversa. Non enim sicut falsum falso vel malum malo contrarium potest reperiri, ita verum vero vel bonum bono potest adversari, sed omnia sibi bona consona sunt et convenientia. Scientia autem omnis bona est, et ea quae de malo est, quae iusto deesse non potest.
Ut enim iustus malum caveat, eum praenosse malum necesse est; neque enim vitaret nisi praenosceret. Cuius itaque mala est actio, bona potest esse cognitio, ut, cum malum sit peccare, bonum est tamen peccatum cognoscere, quod aliter non possumus vitare. Ea quoque scientia cuius nefarium est exercitium, quae mathematica appellatur, mala putanda non est. Neque enim crimen est in sciendo quibus obsequiis aut quibus immolationibus daemones nostra vota perficiant, sed in agendo. Si enim et hoc scire malum esset, quomodo ipse quoque Deus malitia absolvi posset? Ipse quoque qui omnium scientias quas creavit, continet ac solus omnium vota cogitationesque universas inspicit, scit utique et quae diabolus desideret et quibus factis eius assensum consequi possimus. Si ergo scire malum non est, sed agere, nec ad scientiam sed ad actum referenda est malitia. Ex his itaque scientiam omnem, quae a Deo solo est et ex ipsius munere procedit, bonam esse conuincimus. Unde et omnis scientiae studium bonum ƿ oportet concedi, ex quo id quod bonum est, adquiritur; eius autem doctrinae studium praecipue est insistendum, cuius potior veritas cognoscitur.
Haec autem est dialectica, cui quidem omnis veritatis seu falsitatis discretio ita subiecta est, ut omnis philosophiae principatum dux universae doctrinae atque regimen possideat. Quae fidei quoque catholicae ita necessaria monstratur, ut schismaticorum sophisticis rationibus nullus possit, nisi qui ea praemuniatur, resistere. Neque enim Ambrosium Mediolanensium antistitem, virum catholicum, Augustinus, gentilis adhuc philosophus et christiani nominis inimicus, ex unitate Deitatis, quam veraciter in Tribus Personis religiosus ille episcopus confitebatur, angustiasset, si et ipsum dialectica praemunisset; cum videlicet talem ei regulam per inscientiam absque omni determinatione venerabilis episcopus concessisset: ut cuiuscumque pluralis numeri singulare de pluribus nominibus singillatim praedicaretur, et plurale de eisdem insimul enuntiaretur. Quae quidem in his nominibus cassa est quae unius substantiae atque eiusdem essentiae designativa sunt, ut cum et Pater sit Deus, et Filius Deus et Spiritus Sanctus Deus rectissime credantur, non tamen plures Dei sunt confitendi; quippe {eiusdem} Divinae Substantiae illa tria nomina sunt designativa. Sic quoque cum et Tullius homo vere dicatur et rursus Cicero et iterum Marcus homo nominetur, nequaquam tamen Marcus et Tullius et Cicero homines sunt, cum eiusdem substantiae vocabula sint designativa, et plura quidem sola voce, non significatione, diversa substantiae. Et si ita supraposita determinatio non satisfaceret rationi, eoquod non una tantum persona sit in Deo sicut in Marco, ad impugnationem tamen regulae sufficere posset.
At vero perpauci sunt quibus huius scientiae secretum, immo sapientiae thesaurum, divina reuelare gratia dignetur; quae quidem quanto subtilior est, tanto difficilior; quanto autem difficilior, tanto rarior; quanto autem rarior, tanto pretiosior; quanto pretiosior, tanto maioris studii digna exercitio. Sed quia labor huius doctrinae diuturnus ipsos assiduitate legendi fatigat lectores et multorum studia et aetates subtilitas nimia inaniter consumit, multi, nec quidem irrationabiliter, de ea diffidentes ad eius angustissimas fores non audent accedere; plurimi vero eius subtilitate confusi ab ipso aditu pedem referunt et quasi in ipso gustu incogniti saporis euomunt et, dum gustando non possunt saporis qualitatem discernere, subtilitatis laudem in crimina vertunt veramque ingenii sui imbecillitatem ficto crimine scientiae defendunt ac, dum ipsos ƿ in inuidiam dolor accendit, his detrahere non erubescunt quos huius artis peritiam vident consecutos. Quae quidem sola id in excellentia sua privilegium tenet, ut non eam exercitium, sed potius conferat ingenium. Quantocumque enim tempore in eius doctrina desudaveris, laborem inaniter consumis, nisi mente tua arcani tanti capacitatem caelestis gratiae munus effecerit. caeteras vero scientias quibuslibet ingeniis potest exercitii diuturnitas ministrare; haec autem divinae gratiae tantum ascribenda est, quae nisi mentem praestruat interius, frustra qui docet aerem verberat exterius. Quanto autem huius artis ministrator clarior est, tanto quae ministratur pretiosior.
Haec aemulorum nostrorum calumniae satis est respondisse; nunc ad propositum accedamus congruoque ordine post categoricorum syllogismorum traditionem hypotheticorum quoque tradamus constitutionem. Sed sicut ante ipsorum categoricorum complexiones categoricas propositiones oportuit tractari, ex quibus ipsi materiam pariter et nomen ceperunt, sic et hypotheticorum tractatus prius est in hypotheticis propositionibus eadem causa consumendus; de quarum quidem locis ac veritate inferentiae, quia in Topicis nostris satis, ut arbitror, disseruimus, non est hic in eisdem immorandum. Sed satis est earum divisiones exsequi aut si qua alia doctrinae videantur necessaria.
EXPLICIT PROLOGUS
{DE HYPOTHESI}
Hypotheticorum nobis tam propositionum quam syllogismorum proprietates aperientibus discutiendum prius occurrit quot modis 'hypothesis' nomen, unde hypotheticum dictum est, accipiatur. Est autem, ut Eudemo placuit, duplex eius significatio. Modo enim hypothesin propositionem aliquam dicimus per consensum, modo per conditionem. Per consensum autem et concessionem hypothesis propositio illa dicitur quae non in se vera recipitur, sed gratia argumentandi conceditur, ut quid ex ea possit extrahi videatur; per conditionem vero illa hypothesis appellatur de qua in praesenti tractandum est, cuius quidem partes, antecedens scilicet et consequens, conditione coniunguntur, cuiusque sensus in conditione consistit, veluti cum dicitur: /471.35/

si est homo, est animal

neque enim absolute vel hominem {esse} vel animal dicimus, sed ea ƿ conditione animal esse: si fuerit homo, enuntiamus. Huius autem, sicut et categoricae propositionis, tres sunt partes, termini scilicet eius, antecedens et consequens, et quae ea innectit coniunctio, ut in praemissa hypothetica antecedentem eam dicimus propositionem quae praecedit, cui scilicet conditio apponitur; quae vero sequitur atque ex priore infertur, consequens appellatur. Harum autem duo modi secundum appositas coniunctiones considerantur.
Aliae enim in coniunctione, aliae in disiunctione proponuntur. In coniunctione quidem ut supraposita:

si est homo, est animal

cui coniunct{iu}a coniunctio apponitur; in disiunctione vero hoc modo:

aut nox est, aut dies

cum videlicet disiunct{iu}ae coniunctiones adhibentur. Sed prius de coniunctis agendum est.
Harum autem alias naturales alias temporales auctoritas vocat. Naturales quidem et rectas hypotheticas eas dicunt quae propriam secundum inferentiam consecutionem vi conditionis ostendunt, ut illa quoque quam praemisimus:

si homo est, animal est

Temporales vero illas Boethius vocavit quae temporaliter, non conditionaliter, aliquid alicui coniungunt, ut ista:

cum pluit, tonat

Non enim hoc loco proponitur quod si pluit, tonat, sed magis id dicitur quod quando pluit, et tonat, id est: quo tempore unum contingit, et alterum, ac si videlicet utrumque simul fieri diceretur. In his nulla natura consecutionis attenditur, sed sola comitatio secundum idem tempus proponitur, id scilicet tantum quod utrumque simul fiat, sive absque se omnino esse valeant, sive alterum exigat alterum.
Aeque enim verus est et qui dicit:

cum Socrates est animal, est homo

et qui proponit:

cum ipse est homo, est animal

Apparet itaque in temporalibus nullam consecutionis naturam secundum vim habitudinis terminorum atque inferentiae necessitatem, sed solam, ut dictum est, comitationem esse pensandam. Unde merito a naturalibus dividuntur; de quibus quidem uberius et convenientius in sequentibus disputabitur. ƿ
DE CONNEXIS NATURALIBUS
Nunc autem ad naturales connexas reuertamur; quarum quidem sensus et veritas quare ex Topicis nostris, ut dictum est, manifesta sunt, ubi scilicet quorum locorum inferentia veram in necessitate consecutionem custodiret quorumque minime, docuimus, ad divisiones earum transeamus.
QUAE PER POSITIONEM TERMINORUM, QUAE NON
Harum autem alias per positionem terminorum, alias non per positionem terminorum fieri Boethius dixit. Per positionem vero terminorum eas fieri [in] consequentias voluit quae id quod natura prius est, utpote causa, in consecutione quoque praeponunt, eum videlicet antecedens causa est consequentis, ut solis, inquit, praesentia diei. Cum ergo sic dicitur:

si sol praesto est, dies est/473.15/

haec per positionem terminorum fit consequentia; cum vero convertitur ita:

si dies est, sol praesto est

et antecedit effectus, haec per positionem terminorum non fit eonsecutio nec ulla alia cuius antecedens non est causa consequentis./473.20/
DE NEGATIONIBUS HYPOTHETICIS
Videntur autem in huiusmodi propositionibus, sicut in categoricis, eiusdem plures esse negationes, una quidem quasi contradictoria ac recte dividens, alia vero tamquam contraria. Veluti eius consequentiae quae ait:

si est homo, est animal

tum ea videtur negatio quae negativo adverbio praeposito totam eius sententiam perimit hoc modo:

non si est homo, est animal

tum ea quae ipsum interpositum consequenti tantum adiungitur sic:

si est homo, non est animal

Ac prior quidem negatio simplex est ac propria, id est contradictionis oppositionem {ad praemissam affirmationem tenet; secunda vero implicita videtur, eum etiam priorem continere videatur et contrarietatis oppositionem} ad eamdem affirmationem habet. Quarum quidem contrarietatis ƿ oppositionem post contradi{c}tionis ostensionem in Primo Hypotheticorum suorum Boethius monstravit. Cum enim hypotheticis propositionibus recte opponi et contradictorie dixisset illas solas quae earum sensum simpliciter perimunt -- ut sunt illae quae negatione[m] conditioni praeposita totam destruunt affirmationem hoc modo:

non si est homo, est animal

-- adiunxit et illas negationes esse, contrarias scilicet, quae consequentem tantum partem auferunt, quodcumque fuerit antecedens, ut sunt istae:

si est homo, non est animal
si non est homo, non est animal

cum quibus idem tenent antecedens sed consequens in negatione{m} convertunt.
Ad consequentem enim partem, ut ipse in eodem Boethius dicit, respiciendum est ad huiusmodi negationem faciendam, et bene secundum consequentis partis remotionem in his enuntiationibus negationes disponimus, sicut in categoricis secundum remotionem praedicati. Nam quem locum in enuntiatione categorica praedicatum obtinet, eum in hypothetica consequens habet, et quem subiectum in illa, antecedens in ista. Similesque sunt eorum ad invicem regulae, ut in sequentibus aperiemus.
Non est autem idem

si est homo, non est animal

et

non si est homo, est animal

quamvis utraque falsa sit, sicut nec istae, quae categoricae sunt enuntiationes: 'non omnis homo est animal' et 'nullus homo est animal'.
Aliam enim vim praeposita toti propositioni negatio tenet in simplicem universalis affirmativae sensum, aliam cum a singulis praedicatum removet. Sic quoque et hypotheticis enuntiationibus contingit, ut scilicet aliam vim habeat negatio toti praeposita consequentiae, aliam interposita ad solum consequens auferendum, quod quidem ex 'albo' vel 'animali' vel 'homine' monstratur. Cum enim verum sit enuntiare:

non si est album, est homo
non si est animal, est homo

falsum est tamen proponere vel

si est album, non est homo

vel ƿ

si est animal, non est homo

Illae enim tantum proponunt[ur] alterum non exigere alterum, hae vero alterum non posse etiam pati alterum. Unde magis adversa est ei quae dicit:

si est homo, est animal

id est 'hominem' necessario 'animal' exigere, ea quae proponit:

si est homo, non est animal

quam ea quae ait:

non si est homo, est animal

sicut enim et magis adversa est ad 'omnis homo est animal', 'nullus homo est animal' quam 'non omnis homo est animal', sicut in Libro Categoricorum monstravimus --; atque ideo ei ut contraria est opponenda. Et bene istas ut contrarias opponi concedimus, si non solum sensus contrarietatem, sed contrarii proprietatem atque affinitatem in eis pensemus.
Contrarias enim simul veras esse non contingit, sed falsas quandoque; sic et istas. Falsae enim sunt et

si est animal, est homo

et

si est animal, non est homo

et rursus

si est album, est homo

et

si est album, non est homo

Quia enim animal vel album sine homine potest existere, ipsum necessario non exigit. Qui vero cum eo potest inveniri, ipsum necessario non expellit. Insuper contrariae contradictorias quodammodo continent et eas inferunt, sed non ab ipsis inferuntur.
Idem {et} in hypotheticis contingit. Si enim vera est:

si est homo, non est animal

vera est

non si est homo, est animal

sed non convertitur. Affinitas autem tanta est istarum{cum} contrariis ut fere ab omnibus mutuam ad eas inferentiam habere concedantur. Has enim invicem aequipollere secundum mutuam inferentiam annuunt. Hinc quidem 'omnis homo est animal' ac

si est homo, est animal

illinc vero

nullus homo est animal

ac ƿ

si est homo, non est animal

Nos tamen qui, ut in sequentibus apparebit, has omnes inferentias non recipimus, aequipollentiam verae inferentiae in eis non concedimus. Multum tamen eas affines esse contrariis annuimus et probabilem maxime esse earum inferentiam videmus.
Sunt autem nonnulli qui tam auctoritati quam rationi obuiantes nullas alias negativas hypotheticas concedunt nisi quae negatione praeposita totius hypotheticae sensum auferunt. Quaecumque proponuntur hypotheticae sive ex duabus coniunguntur affirmativis, ut haec:

si est homo, est animal

sive ex duabus negativis, ut ista:

si non est animal, non est homo

sive ex affirmativa et negativa vel econverso, ut ista:

si est nox, non est dies

omnes affirmativae consecutionis sensum proponere videntur, secundum quidem consecutionem unius propositionis ad alteram. Quae enim ex duabus iungitur affirmativis, affirmativam sequi ad affirmativam proponit; quae vero ex duabus negativis, negativam ad negativam; quae vero ex affirmatione et negatione vel econverso, negationem ex affirmatione vel affirmationem ex negatione procedere monstrat.
Quod quidem ex sensu quaestionum earum clarum est. Cum enim earum sensum in Primo Topicarum Differentiarum Boethius aperiret, praemissa illa earum divisione quod alia ex duabis affirmativis etc., "si igitur, inquit, ex duabus affirmativis conditionalis propositio constat, id quaeritur an affirmatio affirmationem consequatur; si vero ex duabus negativis.... utrum negatio negationem.....; quodsi ex affirmatione et negatione vel ex negatione et affirmatione..... id ambigitur sive affirmationem negatio sive negationem affirmatio comitetur." Patet itaque et ex sensu quaestionum hypotheticarum, quae sit enuntiationum sententia utque omnes inferentiam custodiant, consecutionem scilicet unius propositionis, quaecumque {sit}, ad alteram, quaecumque fuerat. Patet insuper et eas affirmativas esse ex singulis negativis earum dividentibus, quae negatione toti praeposita consequentiae consecutionem alterius propositionis, quaecumque sit, ad alteram, quaecumque fuerat, perimunt hoc modo: ƿ

non si est homo, est animal
non si est animal, non est homo
non si est nox, non est dies
non si non est nox, est dies

ac si intelligatur: non procedit ex ista illa.
Et nos quidem istas proprias ac simplices hypotheticarum negationes concedimus quae negatione praeposita totam perimunt consecutionem. Illas tamen negativas recipimus quae negatione interposita unius propositionis ad alteram separationem faciunt; et illas quidem destructivas, has autem separativas appellamus, quod etiam in categoricis enuntiationibus in Libro earum consideravimus. Cum itaque {proponimus}:

si est homo, non est lapis

et ad positionem 'hominis' 'lapidis' praedicationem excludimus, separationem affirmativae ad affirmationem facimus; vel {si} proponimus:

si non est animal, non est homo

separationem affirmativae ad negationem facimus. Possunt fortasse et affirmative accipi secundum consecutionem unius propositionis, sive sit affirmativa sive negativa, ad alteram. Sed sive sint affirmativae sive negativae secundum partium exclusionem, nihil eis negationem, quae earum totos perimit sensus, auferre potest.
Cuilibet enim propositioni ad totam eius sententiam perimendam negatio praeponi poterit; aeque quidem et ad 'Socrates est homo' et ad 'Socrates non est homo'. Omnis itaque propositio negativam destructoriam habere poterit, sed non omnis separativam nisi sola affirmativa: terminorum enim est separatio, totius vero propositionis destructio.
Nota autem quia in hypotheticis enuntiationibus duae videntur eiusdem contrariae. Huius enim:

si omnis homo est albus, omnis homo est coloratus

istae duae videntur contrariae:

si omnis homo est albus, non omnis homo est coloratus

et

si omnis homo est albus, nullus homo est coloratus

Sed illa maxime est adversa quae contrariam recipit consequentis, non quae dividentem, sicut et ipsae contrariae magis sunt adversae; et ideo ea sola opponenda est ut contraria, illa vero quae dividentem habet, in contraria quasi eius subalterna continetur, non tamen ut contrariae ƿ quasi dividens opponatur. Ea enim sola recte opponitur negativa quae negatione praeposita totum eius perimit sensum.
Quae quidem quibusdam nimium grammaticae adhaerentibus negationes categoricae, non hypotheticae, videntur. Aiunt namque adverbium aliter non posse construi, nisi verbo adiungatur; inde enim adverbium dicitur, quod verbo adiungitur. Unde negativum adverbium in negatione facienda verbo semper oportet apponi; quare dicunt 'sequitur' subaudiendum esse, ac si ita dicatur: 'non sequitur esse animal ad esse hominem'. Sed haec quidem mihi firma ratio non videtur. Quamvis enim ex hoc quod adverbium est verbo habeat adiungi, non semper id necesse est fieri, quod ex aliis clarum est adverbiis. Nam 'magis' adverbium cum sit, modo verbo adiungitur, modo vero nomini, cum dicitur 'magis albus', id est 'albior'. Sed fortasse dicitur quod in 'magis albus' ens intelligitur cui 'magis' apponatur vice verbi sui fungenti. Sed falso; neque eius substantivum verbum comparari potest quod omnia in substantia designat, quippe non est substantiae, sed accidentis comparatio. Unde nec ea nomina quae essentiae sunt, in his quoque accidentibus quae comparativis comparari possunt, sed tantum sumpta quae ea ut accidentia circa substantiam determinant. Neque enim 'magis albedo' quemadmodum 'magis album' dicimus et bene 'magis albus', non 'magis ens albus' dicitur, cum videlicet sit augmentum accidentis, id est albedinis, non essentiae. Sicut autem 'magis', cum adverbium sit, modo verbo construitur, modo non, sic etiam negatio. Cum enim rerum separationem facit, verbo apponitur; cum autem totum propositionis perimit sensum, toti propositioni praemittitur.
QUAE UNAE VEL MULTIPLICES
Sunt et hypotheticae propositiones, sicut et categoricae, quaedam unae, quaedam mul{ti}plices. Unae quidem sunt quae unum tantum consequens ad unum antecedens sequi proponunt; multiplex vero quae plura ad unum vel unum ad plura vel plura ad plura consequi dicit, hoc modo:

si est homo, est rationale atque mortale
si est rationale sive irrationale, est animal
si neque est animal neque lapis, neque {est} homo neque margarita

QUAE SIMPLICES VEL COMPOSITAE
Cum autem omnes hypotheticae propositiones, si categoricis ƿ comparantur, non simplices invenia{n}tur, eaedem tamen, si ad se invicem referuntur, quaedam simplices, quaedam compositae dice[n]tur. Simplices autem vocant illas hypotheticas quae ex simplicibus tantum propositionibus, hoc est categoricis, componuntur et postremo quaecumque nullam continent hypotheticam, veluti ista:

si es homo, es animal

vel etiam ista:

si esses homo, esses animal

cuius quidem partes licet enu{n}tiativa non sint, in simplices tamen propositiones per assumptionem et conclusionem resoluuntur {sic}:

sed eras homo quare eras animal

vel ita:

sed non eras animal quare non eras homo

Simplices etiam hypotheticae dici possunt quae plures continent categoricas, dummodo nullam hypotheticam habeant, ut ista:

si omnis homo est animal et omne animal est animatum, omnis homo est animatus

Quae vero simplices sunt hypotheticae atque ex duabus categoricis iunguntur, tali divisione partimur quod aliae ex duabus affirmativis, aliae ex duabus negativis, aliae ex affirmativa et negativa, aliae ex negativa et affirmativa connectuntur, veluti istae:/479.25/

si est homo, est animal
si non est animal, non est homo
si est homo, non est lapis
si non est homo, est non-homo

DIVISIO COMPOSITARUM
Compositarum vero talis est partitio quod aliae ex utraque hypothetica, aliae ex altera tantum coniunguntur, aliae vero mediae inter has et illas collocantur. Ex utraque vero hypothetica hoc modo componitur consequentia:

si quia est homo est animal, et quia non est animal non est homo

ex altera vero hypothetica istae consequentiae constant quae vel ex categorica et hypothetica vel econverso connectuntur, sicuti istae: ƿ

si omnis homo est animal, tunc si est homo est animal
si quia est homo non ese lapis, nullus lapis est homo

DE MEDIIS HYPOTHETICIS
Mediam autem illam dicimus hypotheticam quae plures continet consequentias nulla conditione invicem copulatas, sed eumdem terminum medium participantes hoc modo:

si est homo est animal, si est animal est animatum

Hae namque duae consequentiae una dicuntur hypothetica secundum unius consecutionis sententiam ad quam tendunt, ut videlicet ex 'homine' 'animatum' sequi demonstrent, non quidem simpliciter, sed 'animali' mediante. Sunt itaque in hac media hypothetica principale ipsius antecedens et consequens id quod in prima consequentia antecedit et in posteriore sequitur; medius autem terminus, qui in prima consequens et in secunda antecedens ad coniunctionem extremorum intercedit tamquam copula inter principale antecedens et consequens totius mediae consequentiae ponitur. Ipsae vero conditiones quae in singulis consequentiis ponuntur, ipsarum terminos connectunt.
Media vero huiusmodi hypothetica non solum ex communitate medii termini dici potest, verum eam mediam Boethius vocavit inter hypotheticas ex duabus consequentiis conditione connexis [et] copulatas et eas quae ex altera tantum hypothetica connectuntur, hoc est affine{m} utrisque, in eo scilicet quod et duas continet consequentias, sicut et illa quae ex hypothetica hypotheticam sequi demonstrat, et tres tantum terminos diversos medii termini participatio facit qui terminorum numeru{s adaequat illius numeru}m earumque hypotheticarum quae ex categorica et hypothetica vel econverso {pro}ponuntur. Ipsis quoque simplicibus hypotheticis in eo affinis dici poterit quod secundum principalem ipsius intentionem atque sententiam ex categorica, ut dictum est, categoricam sequi demonstrat. Unde cum ex ea syllogismum componimus eamque primam propositionem syllogismi constituimus, modo per positionem antecedentis prima assumitur categorica et concludimus ultimam, modo vero per destructionem consequentis ultimam auferimus categoricam a{c} deinde destruimus in conclusione priorem hoc modo:

si est homo est animal, si est animal est animatum sed est homo quare est animatum ƿ

vel ita:

sed non est animatum quare non est homo

Et hae quidem quae mediae dicuntur hypotheticae, ex medii termini partici{pati}one figuratos faciunt syllogismos. Sicut enim in categoricis syllogismis medii termini trina positio tres syllogismorum figuras efficit, eodem modo et in hypotheticis illis contingit qui ex media descendunt hypothetica, ut postmodum in sequentibus apparebit. Ac sicut unam consequentiam mediam ex duabus facit medii termini communitas, ita fortasse et una categorica dici duae poterunt per communitatem medii termini, veluti istae: 'omnis homo est animal, omne animal est animatum', quae quidem ad unam praedicationem 'animati' ad 'hominem' mediante 'animali' contendunt.
DE TEMPORALIBUS
Nunc autem coniunctarum hypotheticarum naturalium speciebus diligenter pertractatis ad eas quas temporales Boethius appellat et ex quibus compositas hypotheticas iungit, transeamus. Tres namque conditionalium propositionum species fecit, coniunctas scilicet tam naturales quam temporales atque disiunctas. De naturalibus vero superius egimus, nunc vero de temporalibus in proximo disputandum est. In his autem, ut dictum est, nulla natura consecutionis attenditur, sed sola comitationis societas, ut videlicet simul sit utrumque, sive absque se esse omnino valeant, sive alterum exigat alterum. Aeque enim qui dicit:

cum Socrates est animal, est homo

verus est et qui proponit:

cum ipse est homo, est animaL

sed non ita, si condition{al}em vertimus enuntiationem; non enim ita recipitur:

si est animal, est homo

sicut

si est homo, est animal

Unde apparet in illis quae propriam consecutionem retinent ac vim conditionis necessariam monstrant in inferentiam secundum ipsorum terminorum {naturam, natura{m} consecutionis secundum terminorum} habitudinem quae necessitatem exigat, esse pensandam. In his autem quarum consecutio nihil aliud est dicenda quam in eodem tempore ƿ comitatio, nulla est consecutionis natura pensanda; sed dum membra sint vera, et ipsam esse veram consequentiam concedunt, alioquin falsam; et indifferenter alterum ad alterum et antecedere potest et consequi. Unde me in Introductionibus Parvulorum[1] confirmasse memini talium consequentiarum conversiones, sicut et disiunctarum, simplices esse; quod in sequentibus convenientius ostendemus.
Nunc autem utrum ipsae temporales, ut Boethio placuit, inter hypotheticas recipiendae sint, an rationabilius categoricae dicantur, nobis est discutiendum. Sed prius quibus regulis ex ipsis naturales consequentiae iungantur, expediamus. Quae sunt huiusmodi:

quicquid comitatur antecedens, et consequens

ac si dicamus:

quicquid simul sit cum antecedenti, et consequenti

vel

cum quocumque simul sit antecedens, et consequens

hoc modo:

si cum est homo est medicus, cum est animal est artifex

Amplius:

quorumcumque antecedentia sese comitantur, et consequentia

hoc modo:

si cum est homo est medicus, cum est animal est artifex

et in prioribus quidem duabus consequentiis unius antecedentis natura vim inferentiae tenet, {in} tertia vero gemini proprietas antecedentis firmitatem inferentiae confert.
Sicut enim 'homo' ad 'animal', ita 'medicus' ad 'artificem' necessario antecedit. Ex categorica quoque et temporali consequentia, sive {e}converso, naturalem consequentiam veram facile compones, si prius terminorum proprietatem tenueris. Ut igitur ex categorica temporalis vere inferatur, oportet talem componi temporalem ut utraque pars eius ex praecedenti categorica per se possit extrahi, veluti si ita proponatur: 'si est homo, cum est animatum est animal'. Nam et ex 'homine' 'animatum' et 'animal' necessario inferuntur.
Regula autem huiusmodi erit:

existente antecedente existunt simul quaelibet eius consequentia

Ideo autem talem oportet eligi temporalem cuius utraque pars ex praemissa ƿ categorica possit inferri quia non aliter vera potest esse temporalis, nisi eius utraque pars vera fuerit; tantumdem enim valet 'cum hoc est, illud esse' quantum 'in eodem tempore utrumque esse'. Unde in Primo Hypotheticorum Boethius ait: "'cum ignis calidus est, caelum rotundum est', non 'quia ignis calidus est, caelum est rotundum'; sed id haec propositio designat quia quo tempore ignis calidus est, eodem tempore caelum quoque rotundum est." In eodem autem tempore utrumque esse non potest, si alterum defuerit. Ut autem ex temporali categorica consequatur, oportet aliquam partem temporalis per se ad categoricam antecedere. Veluti cum hoc modo proponitur:

si cum est animatum est homo, est animal

'homo' enim ad 'animal' inferentiam habet.
Regula autem huiusmodi detur:

existente antecedente cum quolibet, existit quodlibet ipsius consequens

Annotandum vero est quod ita Boethius regulariter fieri docet consequentias in quibus consequuntur temporales, ut gratia praecedentis propositionis verae videantur consequentes temporales. Cum enim praecedens propositio vim maximam inferentiae tenere videtur, per praecedentem vero propositionem vera consequens temporalis tunc videbitur, ac non per se, cum ipsa in naturalem conversa consequentiam veritate privabitur, veluti cum dicitur:

si est homo cum est animatum, est animal

Neque enim vera est naturalis consequentia de 'animato' ad 'animal', sicut de 'animali' ad 'animatum'. Si autem sic proponatur:/483.25/

si est homo cum est animal, est animatum

videtur sequens temporalis non esse vera gratia praecedentis categoricae, immo semper per se vera forsitan existimabitur, eo scilicet quod in naturalem {con}uersa necessitatem seruet perpetuam; si enim est animal, necesse est animatum. Nec tamen si rei veritatem magis quam visum velimus attendere, altera temporalium sine altera umquam vera poterit consistere, cum, ut dictum est, omnes huiusmodi temporales simplicem conversionem custodiant. Haec itaque regularitas quantum ad opinionem, non quantum ad rei veritatem descripta est, non quod videlicet una magis vera sit quam alia, sed quod magis videatur vera.
Rursus: si ipsa antecedat temporalis, id quoque in ea custoditur quod in naturalem conversa necessitatem non teneat, ut {si} ita dicatur:

si cum est animatum est homo, est animal

ƿ Idque dictum esse arbitror, quod scilicet temporales sive antecedant sive consequantur, tales fiant quod in naturales conversae verae non sint propter earum destructiones, quae [in] quibusdam placebant, ut videlicet soli consequenti negatio apponeretur, quod quidem vim inferentiae tenet vel secundum id quod probat vel quod probatur.
Veluti cum dicitur:

si cum est animatum est homo, est animal

inter 'hominem' et 'animal' 'vis inferentiae consideratur et 'animatum' quidem ad inferentiam non operatur, sed ad quamdam comitationem ponitur, veluti si talis fieret consequentia:

si est homo et lapis, est animal

cum inter 'hominem' solum et 'animal' tota vis inferentiae penderet.
Unde si quantum ad vim inferentiae destructionem facere intendam, solum, inquiunt, 'hominem' sufficit destrui 'animali' destructo sive etiam 'lapis' remaneat. Similiter et cum dicitur:

si cum est homo est animatum, est animal

et ex ista per consequentis destructionem et antecedentis assumimus, ita quantum ad principalem inferentiam Boethii dictum assumere:

sed non est animal ergo non est homo

quocumque etiam modo se habeat 'animatum'. Ideoque in destructione 'cum' in 'quamvis' convertunt, ac si ita dicerent: 'quamvis etiam esset animatum'. Alioquin Boethium non possunt absoluere qui tantum ad sequentem partem temporalis negationem apponit, secundum id scilicet quod ad eam vis inferentiae respicit, sive scilicet temporalis ad categoricam sive categorica antecedat ad temporalem. Tunc autem illud 'quamvis' bene poni videtur cum prima pars temporalis secundam necessario non infert, id est cum secunda destructa prima potest remanere, veluti cum dicitur: '{sed} non est animal, quamvis sit animatum'. Si vero 'animal' 'animato' praeponeretur in temporali, male posset illud 'quamvis aptari.
Quid enim esset dicere:

sed non est animatum, quamvis sit animal

cum scilicet perempto animato animal remanere non possit. Unde illa regularitatis determinatio, quam in temporalibus componendis scilicet determinat, a destructionibus ipsarum quas ipse docuit, maxime operari videtur.
Sed ut nos quidem in his destructionibus Boethium possimus defendere, in aliquo eum praesumimus emendare, in eo scilicet quod huiusmodi temporales hypotheticas appellat; aut potius aliorum sententiam eum dixisse credamus. Neque enim hypotheticarum, sed categoricarum est sensus temporalium. Hypotheticae enim conditionales ƿ latine dicuntur. In his vero temporalibus nulla est conditio, sed sola temporis comitatio. Cum itaque dicimus: 'cum caelum rotundum est, ignis calidus est', hic est sensus: ignis calidus est in eo tempore in quo caelum est rotundum. Et est quidem determinatio secundum tempus, quo scilicet tempore calor inhaereat igni, nec magis consequentia{m} coniunctio temporalis adverbii facit quam coniunctio adverbiorum loci vel qualitatis vel quantitatis, veluti cum dicitur: 'quo vel unde ego curro, tu curris'; 'qualiter vel quantum ego curro, tu curris'. Sicut enim cum dicimus: 'quando ego curro, tu curris', utriusque cursum in eodem tempore fieri monstramus, ita et cum dicimus: 'quo vel unde ego curro, tu curris', cursum secundum locum unius, aut secundum similitudinem aut secundum quantitatem cum dicimus: 'quomodo vel quantum ego curro, tu curris'. Sicut autem et istae categoricae esse a nullis dubitantur quae vel eodem modo aliqua esse vel fieri dicunt vel eodem loco vel ad eamdem quantitatem, sic nec illae quae in eodem tempore aliqua fieri vel esse denuntiant. Cum itaque dicitur: 'quando caelum rotundum est, ignis calidus est' -- quod ita est accipiendum: ignis est calidus in eo tempore in quo caelum est rotundum --, 'ignis' quidem subiectum est, 'calidum' vero praedicatum, 'quando autem caelum est rotundum' determinatio praedicationis.
Unde ad negationem faciendam ad 'calidum' cum ipsa eius determinatione excludendum negativum adverbium est apponendum, ac si ita dicamus: 'ignis non est calidus, quando caelum est rotundum'. Idque est illud quod Boethius voluit cum ait ad consequentem partem negationem esse referendam, ut videlicet ipsam cum ipsa determinatione removeret. Consequentem autem partem dicebat illam quae post determinationem proferebatur, secundum illos quidem qui inter hypotheticas temporales quoque recipiunt. Ac sic quidem ex destructionibus temporalium nullum contingit inconveniens, si videlicet ipsa quoque determinatio in qua antecedens accipiebatur, cum ipso praedicato removeatur. Unde si in negatione determinatio quoque non excludatur, multa contingent inconvenientia; nec congrua poterit fieri destructio, quae in dividentibus propositionibus non consistet.
Primumque illam calumniemur defensionem quam praetendunt de destructione secundum principalem inferentiam, veluti cum dicitur:

si cum est animatum est homo, est animal

hic enim vim inferentiae inter 'hominem' et 'animal' considerant; nihil enim magis 'animatum' quam quislibet alius terminus operatur. Sed dico ƿ quod licet vis inferentiae in terminis consistat, tota tamen est propositio destruenda. Alioquin ex ista consequentia:

si Socrates est homo, est animal

ita possemus per destructionem assumere et concludere:

sed hic lapis non est animal ergo hic lapis non est homo

quantum quidem ad vim inferentiae terminorum, secundum id scilicet quod inter speciem et genus vis inferentiae consistit. Et bene quidem tota sequens et antecedens propositio est destruenda, cum inter totas propositiones inferentia consistat, licet vis inferentiae ex terminis pendeat.
Qui enim dicit:

{si} Socrates est homo, Socrates est animal

non tantum proponit 'animal' sequi ad 'hominem', sed ad positionem 'hominis' in Socrate poni 'animal' in eodem. Unde bene hypothetica propositio non ex simplicibus terminis componi, sed ex aliis propositionibus coniungi dicitur, secundum id scilicet quod id quod sequens propositio monstrat sequi ex eo quod praecedens proponit. Non itaque destructio facienda est secundum terminos tantum, verum secundum totas propositiones, inter quas proponitur consecutio. Cum itaque negatio apponitur praedicato, ut ipsum excludat, ipsam quoque determinationem temporalem simul debet auferre.
Alioquin, si ipsam relinquimus, multa contingerent inconvenientia ex destructionibus, in his maxime hypotheticis in quibus temporales antecedunt, veluti in ista:

si cum lapis est animatus est homo, tunc est animal

Assumamus enim:

sed lapis non est animal

quod verum est, et concludamus:

ergo cum est animatus, non est homo

ut scilicet determinationem relinquamus ac solum 'hominem' removeamus, ac si ita dicamus: 'homo ab eo removetur in eo tempore in quo ipsi animatum cohaeret', {quod} falsum est, cum ei in nullo tempore animatum inhaereat. Illud quoque temporale adverbium, quod in 'quamvis' coniunctionem ideo mutant, in destructione negationem omnino destruit.
Nullam enim affirmationis vocem in negatione propria convenit mutari, sed solam apponi negativam particulam. Saepe etiam nec poni posset illud 'quamvis', cum videlicet nec natura sensum {pro}positionis cui 'quamvis apponitur, pateretur. Quid enim esset dicere: 'quare lapis non est homo, quamvis est animatum'? Amplius: si secundum vim inferentiae destructiones in his oporteat pensare, quare in his hypotheticis quae ex duabus temporalibus iunguntur, in quibus duplex vis inferentiae consideratur, non sint duplices destructiones? Veluti cum ita proponitur:

si cum est homo est medicus, cum est animal est artifex

'homo' enim ad 'animal' et 'medicus' ad 'artificem' tamquam ad sua tota referuntur.
Sed neque Boethius hic duplices posuit destructiones, sed consequenti tantum parti negationem dixit apponendam, intendens scilicet cum eo quod in consequenti praedicatur, ipsam quoque temporalem de{term}i{na}tionem auferri. Unde rationabiliter huiusmodi temporales categoricas esse confitemur. Neque enim adverbii est, sed coniunctionis consecutionem facere. Adverbium autem ad verbum proprie est referendum, ut inhaerentiam quae per ipsam fit, det{erm}inet, nec tamen semper. Nam et aliquando ad totas reducitur propositiones, veluti cum vel istam propositionem: 'cum Socrates sedet, possibile est eum stare' veram accipimus, vel istam: 'cum Socrates est homo, necesse est eum vivere, falsam intelligimus, cum videlicet totius propositionis sensum determinare volumus, ac si dicamus: 'possibile est stare dum sedet', id est ita est in re ut haec propositio dicit: 'possibile est stare', dum ita est in re ut haec altera dicit: 'Socrates sedet'. Et secundum quidem huiusmodi determinationem quae ad totas reducitur propositiones, ex quibuslibet propositionibus veris videtur vera texi temporalis, cuiusque scilicet temporis verba ponantur, ut {si} de Socrate sene vere possit dici quod, quando fuit iuvenis, fuit infans, id est quando ita est in re ut haec propositio dicit: 'Socrates fuit iuvenis', ita est ut haec altera dicit: 'fuit infans', utrumque modo verum est de eo. Si vero ad inhaerentiam rerum illud 'quando' referatur, ut in eodem tempore et infantiam et ivuentutem ei inhaesisse dicamus, falsum est.
Licet enim in praeterito tempore ei illa duo inhaeserint, non ideo in eodem tempore fuerunt. Diversae enim sunt partes tam praeteriti quam futuri temporis; hoc enim est magis proximum, illud magis longinquum. Praesens autem tempus simplex est et indivisibile, atque ideo quaecumque in praesenti cohaerent, simul inesse necesse est. Sed sive temporalis determinatio ad totam propositionem referatur, sive ad aliquam eius partem, non minus categoricam constituit enuntiationem, quippe ubique actus rerum, non consequentiae necessitas exprimitur. Cum enim dicimus: 'cum Socrates est animatus, est homo', sive adverbium ad praedicata sive ad totas propositiones referamus, categoricas enuntiationes facimus.
Sed hic dicimus simul esse quod duae propositiones dicunt, ibi vero simul esse Socrati illa duo praedicata, ac si diceremus:

Socrates est simul animatum et homo ƿ

Memini tamen quia dicere solebam tunc hypotheticam esse propositionem cui temporale adverbium apponebatur, cum ipsum ad propositiones totas referebatur, tunc vero categoricam, cum ad simplices terminos ponebatur; sicut et de disiunctiva coniunctione. Est enim categorica: 'omne animal est aut sanum aut aegrum', hypothetica vero:

aut omne animal est sanum, aut omne est aegrum

At vero, licet huiusmodi temporales rationabilius categoricae quam hypotheticae videantur, nos tamen Boethio adhaerentes eis tamquam hypotheticis in modis syllogismorum utamur. Quem tamen fortasse de destructione earum, si attentius inspiciamus, nullo modo in quibusdam defendere possumus, sed emendare. Nam sicut, quando temporalis affirmativum consequens habet, ipsi tamen negationem in destructione apponit, ita et, quando negativum est consequens, ipsi soli negationem demus; ut videlicet eius quae ait: 'cum est animatum, non est lapis', hanc dividentem opponat: 'cum est animatum, est lapis'. Nos vero potius in omnibus toti consequentiae negationem praeponi volumus.
Atque haec de temporalibus enuntiationibus ad discretionem hypotheticarum dicta sunt; haec autem de coniunctis tam naturalibus quam temporalibus dicta ad praesens sufficiant. Nunc ad disiunctas procedamus.
DE DISIUNCTIS
Quae quidem licet disiunctivae coniunctiones longe separare videantur, non ita tamen ab eis dissident ut non inveniantur naturalibus hypotheticis per aequipollentiam aequales. Ex omni namque disiuncta in parem sibi coniunctam incidimus {antecedenti} per primam dividentem destructo et consequenti eodem remanente, ut in suprapositis apparet. Nam negationem quae antecedit in disiuncta, dividens affirmatio quae antecedit in coniuncta velut ei opposita recte perimit; consequens autem in utrisque idem relinquitur. Oportet itaque ut si coniuncta ex duabus affirmativis constiterit, disiuncta eius ex negatione et affirmatione iungatur, ut in superioribus exemplis. Si vero coniuncta ex duabus iuncta sit negativis, disiuncta ex affirmatione et negatione constabit, hoc modo:

si non est animal, {non} est homo
aut est animal, aut non est homo

Quodsi haec ex affirmativa et negativa, vel econverso, consistat, illa ex duabus negativis vel ex duabus affirmativis copulabitur, verbi gratia:

si est homo, non est lapis
aut non est homo, aut non est lapis ƿ
si non est sanum, est aegrum
aut est sanum, aut est aegrum

Sic autem facile disiunctam in coniunctam resoluere poteris, si formae minus evidentis disiuncta fuerit quam tu desideres, ut ex antecedenti ipsius disiunctae et dividente eius primam proponas disiunctam et quid postea intuleris ex apposita dividente, id ad primam dividentem non dubites in disiunctione consequi. Veluti si de ista dubitaveris disiuncta:

aut non est homo, aut est animal

sic illam facilius comprobabis: aut non est homo aut est homo; quod si est homo, est animal; quare aut non est homo, aut est animal. Quicquid enim disiunctionem habet ad antecedens, et ad consequens. Unde cum haec negativa: 'non est homo' in disiunctione ad suam dividentem affirmationem 'est homo' antecedat, illa autem animal esse inferat, necesse est ut prima quoque ad postremam habeat disiunctionem.
In quo etiam comprobando talis est argumentatio adhibenda. Unde cum verae sunt illae duae consequentiae:

aut non est homo, aut est homo

et

si est homo, est animal

necesse est et istam esse veram:

aut non est homo, aut est animal

quia ex eisdem veris vera convincitur ipsius ultimae coniuncta, haec scilicet:

si est homo, est animal

et vere ad illas duas haec sequitur, quia infertur ex coniuncta praecedentis et alia quae ipsi adiungitur, his videlicet:

si est homo, est homo

et

si est homo, est animal

Eadem ratio in aliis quoque disiunctis comprobandis est adhibenda.
Nunc autem et earum disiunctarum sensus consideremus quae ex pluribus quam duabus propositionibus iungantur, veluti ista:

aut est calidum, aut est frigidum, aut est tepidum

Sed prius disiunct{iu}ae coniunctionis positionem et vim inspiciamus, quae quidem quantum ad constructionis coniunctionem coniunctiva dicitur, quantum vero ad sensus disiunctionem disiunctiva nominatur. Coniungit itaque complexionem constructionis, dum in oratione posita ad perfectionem sensus alterius orationis submissionem eum repetitione ƿ sui exigit. Neque enim ita disiunctiva coniunctio sicut coniunctiva semel accepta sensum complet. Non enim ita dici potest:

aut est homo, est animal

sicut

si est homo, est animal

ut videlicet aliquis sit idoneus structurae sensus semel posita disiunctione.
Unde si repetatur disiunctio:

aut est homo, aut est animal

perfectus fiet intellectus, etsi sit falsus. Oportet itaque unum aut aliud semper referri circa ea de quibus disiunctionem proponimus, hoc modo:

aut nox est, aut dies est

Cuius quidem disiunctionis sensum ita quidam accipiunt ac si dicatur 'alterum istorum': vel nox vel dies. Alii vero addunt 'tantum', eo videlicet quod {in suis} Hypotheticis Boethius dicat utramque propositionum inter quas disiungitur, simul esse non posse. "Cum enim, inquit, dicimus:

aut est a, aut est b

aut easdem propositiones quolibet alio modo variamus, id 'aut' coniunctio, quae disiunctiva ponitur, sentit simul eas esse non posse. "Alii enim ex necessitate alterum esse intelligunt, in eo scilicet quod disiuncta quoque necessitatem, sicut aequipollens coniuncta, custodire debeat.
Sed nulla quidem superiorum expositionum idonea videtur. Si enim id disiuncta proponat quod alterum sit vel quod alterum tantum sit, iam procul dubio et istam oportet veram esse disiunctam:

aut sum animal, aut sum asinus

Est enim verum, id scilicet quod sum animal, et tantum, id est non etiam sum asinus. Sed tamen falsa disiuncta ex pari coniuncta convincitur, hac scilicet:

si non sum animal, sum asinus

quippe hinc sequitur

si non sum animal, sum animal

Si vero id proponat disiuncta quod ex necessitate sit alterum, contingit hanc veram esse:

aut non sum asinus, aut sum homo

et hanc falsam:

aut sum sedens, aut non sum sedens

illorum enim alterum necesse est esse, horum vero neutrum. Necesse est enim me non esse asinum, cum sit impossibile esse; neque autem me ƿ sedere necesse est neque non sedere. Illa tamen falsa ex coniuncta sua, et ista vera, convincitur.
Si quis itaque sensum disiunctae voluerit expedire, non aliter quam per sensum aequipollentium coniunctarum id poterit monstrare, quarum quidem constitutionem supra docuimus Boethium plurimum secuti, ubi in fine suorum Hypotheticorum disiunctarum sensum naturamque terminorum earum per aequipollentiam coniunctarum resolvit. Cum itaque disiunctae sensum demonstrare volumus, ad coniunctam ipsius statim recurrimus, cuius quidem sententia magis est manifesta. Idque ex utrisque pariter innuitur altero ex his inter quae disiungitur, perempto alterum consistere necessario, quasi medium non possint habere, non etiam, ut Boethio placuisse videtur, quod simul esse membra disiunctae non possint. Possunt namque tales proponi disiunctae quarum utraque membra simul sunt, veluti istae:

aut non omnis homo est albus, aut quidam homo est albus
aut quidam homo aut hic niger homo non est albus

quae quidem verae ex coniunctis suis conuincuntur, his scilicet:

si omnis homo est albus, et quidam
si nullus homo est albus, nec hic niger

Quia ergo id solum ex disiuncta, ut dictum est, innui videtur quod si alterum eorum quae in membris continentur, tollitur, alterum remanere necesse sit -- quod ad immediationem pertingere videtur --, manifestum est ut quamcumque partem disiunctae tollendo assumas, alteram ponendo concludas. Convertitur namque omnis disiuncta simpliciter, ut in sequentibus apparebit. Tantumdem enim est proponere:

aut nox est, aut dies

quantum enuntiare:

aut dies est aut nox

Cum itaque omnis disiuncta simpliciter convertatur atque utrique ipsius parti sua disiunctiva coniunctio praeponatur, non ex {habitudine} terminorum quid fuerit disiunctae antecedens quidue consequens, dinoscitur, sed ex ordine pronuntiandi. Quaecumque enim prius proferetur propositio, antecedens dicitur, quae posterius, consequens appellatur. In coniunctis autem non ordo proferendi antecedentem et consequentem facit, sed appositio conditionis. Ea enim pars cui 'si' adiungitur, antecedens est, et quae ex ea infertur, consequens, sive prius sive posterius quaelibet proferatur. Sive enim dicamus: ƿ

si est homo, est animal

seu ita pronuntiemus:

est animal, si est homo

eam semper antecedens esse ostendimus cui ad inferendam aliam conditionem praeponimus.
Nunc autem, quod proposuimus, earum disiunctarum sensum inquiramus quae ex pluribus terminis connectuntur hoc modo:

aut est calidum, aut frigidum, aut tepidum

et quae ipsi coniuncta recte possit attribui in{s}piciamus. Cuius tamen coniunctam esse huiusmodi:

si neque est calidum neque frigidum, est tepidum

communis omnium sententia tenet. In cuius tamen coniunctae dispositione non parua potest adhiberi dubitatio, si vim aut positionem disiunctivarum coniunctionum inspexerimus.
Cum enim, ut diximus, unum aut aliud reduci secundum disiunctionem oporteat, quaero de priori utrum ad secundum vel ad tertium vel ad utrumque referatur. Ac similiter de secundo sive tertio inquiri potest quo referatur. Quodsi primum ad secundum per se vel ad tertium per se habeat disiunctionem, alterum ad nullum disiunctionem habere videtur, veluti si primum ad secundum habeat disiunctionem, tertium ad quid habebit?; vel si ad tertium, [vel] ad quid {secundum}? Neque unum per se potest sine altero poni. Amplius: si primum ad secundum per se vel ad tertium per se vel ad utrumque per se habeat disiunctionem, oportet unam disiunctam intelligi inter primum et secundum quae nullam habebit probabilitatem, cum saepe utrumque ipsius membrum falsum invenietur, vel inter primum et tertium, quae similiter falsa statim apparebit, vel duas aperte falsas, ac si scilicet tales disiunctae accipiantur.
Priori autem 'aut geminato ita:

aut est calidum aut frigidum, aut est calidum aut tepidum

ut videlicet multiplex intelligatur proposita de tribus disiuncta, primo quidem ad duo alia quasi ad singula reducto.
Quodsi disiuncta dicatur antecedere vel disiuncta sequi, ac si sic diceretur:

aut vera est haec disiuncta: est calidum aut frigidum

-- ut videlicet aliud 'aut' subaudiamus --, aut est tepidum; vel ita:

waut est calidum, aut vera est illa disiuncta: est frigidum aut tepidum ƿ

nullam teneret probabilitatem disiuncta, cum nec probabilis ulla fieret coniuncta, vel haec scilicet:

si non est vera disiuncta, tunc est tepidum

vel ista:

si non est calidum, vera est disiuncta

de pluribus enim corporibus ita aperte falsa inveniretur quod vero antecedenti falsum consequens supponeretur.
Unde mihi non aliter secundum coniunctae suae resolutionem ac probabilitatem videtur accipienda proposita disiuncta nisi categorica habens disiunctum praedicatum antecedere intelligatur, ac si hoc modo dicatur:

aut istud est calidum aut frigidum, aut est tepidum

id est:

aut est alterum horum, aut est illud

tamquam dicatur:

si neutrum horum est, tunc est illud

Ac fortasse et ita poterit eadem disiuncta accipi ut in sequenti categorica habens disiunctivum praedicatum intelligatur, ac si sic proferatur:

aut est calidum, aut est frigidum aut tepidum

id est

{aut est illud aut} alterum horum duum

ac si dicatur:

si non est calidum, est frigidum vel tepidum

Et his quidem modis supraposita disiuncta intellecta maximam tenet de quolibet corpore probabilitatem, quia videlicet nullum corpus invenitur quod {non} sit aliquo illorum trium occupatum. Et nos saepe quoque per unum 'aut' categoricam in disiunctione, sicut hypotheticam, proferimus, alio quidem subintellecto. Cum enim dicimus: 'nox vel dies est', id est: alterum horum existit, vel ita: 'omne animal est sanum vel aegrum', id est alterum horum, ibi subiectis, hic praedicatis disiunctione apposita categoricam facimus enuntiationem. Ac tantumdem valet unius disiunctionis appositio altera ad quam referenda est, subintellecta, quantum si duas ponamus hoc modo:

aut nox aut dies est
omne animal aut est sanum, aut est aegrum

Similiter et hypotheticam per unam disiunctionem saepe proferimus alia subintellecta hoc modo:

nox est aut dies

Socrates est sanus aut ipse est aeger
ƿ Notandum vero quod eum disiunctivae coniunctiones tam categoricarum propositionum quam hypotheticarum terminis applicentur, alium tamen sensum pro qualitate enuntiationum {in} hypotheticis enuntiationibus quam in categoricis habere videntur. Qui enim dicit: 'Socrates est vel sanus vel aeger' et ad praedicata disiunctiones apponit, id solum proponere videtur quod sit alterum illorum; quippe unumquodque animal est aliquod eorum. Qui vero hypotheticam componit, ad ipsas scilicet propositiones antecedentem et consequentem disiunctiones referens hoc modo:

aut Socrates est sanus, aut Socrates est aeger

non solum innuit esse alterum eorum quae propositiones dicunt, verum etiam altero non existente alterum necessario existere, id est si unum non sit, alterum esse. Quod quidem falsum est; sequitur enim ex eo tale in conveniens:

si nulla res est, aliqua res est

vera tamen est categorica quae aiebat Socratem esse aut sanum aut aegrum, id est alterum illorum.
Sunt tamen quidam qui nec discretionem ullam inter categoricam et hypotheticam in disiunctione compositas habent, sed idem dicunt proponi cum dicitur: 'Socrates est vel sanus vel aeger' et cum dicitur:

aut Socrates est sanus, aut aeger

ut scilicet omnis enuntiatio quae disiunct{iu}as recipit coniunctiones, hypothetica credatur.
Volunt itaque semper in huiusmodi categoricis quae disiunctiones recipiunt, hypotheticae sensum intelligi, quasi proponatur disiunctio inter temporales de eodem subiecto ad diversa praedicata aequaliter relato; veluti cum dicitur:

Socrates est vel sanus vel aeger

tale est ac si dicatur:

aut Socrates est sanus, aut Socrates est aeger

Quod quidem falsum esse convincitur ex eis categoricis quae, cum universales sint, disiunct{iu}as habent coniunctiones, veluti ista: 'omne animal est vel sanum vel aegrum'. Cum enim haec vera esse non dubitetur, falsa est manifeste hypothetica quae ita proponitur:

aut omne animal est sanum, aut omne animal est aegrum

cum videlicet neutrum sit. Quod et ex pari coniuncta monstratur, hac scilicet:

si non omne animal est sanum, omne est aegrum

quippe cum haec verum habeat antecedens et falsum consequens. Patet itaque alium esse sensum categoricae in disiunctione propositae, alium ƿ hypotheticae.
Nec mirum aliam vim habere disiunctiones quando propositionibus applicantur et quando simplicibus terminis, cum videlicet, quando terminis applicantur, per coniunctionem resolvi non possunt; quippe inter simplices terminos non potest consecutio consequentiae consistere, sed semper {inter} propositionum sensus vel tales qui in eos resoluuntur. Huius enim consequentiae partes, quamvis enuntiativae non sint, in propositiones tamen per assumptionem et conclusionem resoluuntur.
Haec quidem de disiunctis dicta sufficiant.

DE CONVERSIONIBUS

Latin English
DE CONVERSIONIBUS
Nunc autem de conversionibus omnium hypotheticarum superest disputare. Quarum quidem duplex est conversio , quemadmodum et categoricarum propositionum . Aliae namque simpliciter, aliae per contrapositionem convertuntur. Temporales quidem hypotheticae et disiunctae simplicem tenent conversionem. Sicut enim aeque dici potest:

aut nox est, aut dies est

vel

aut dies est, aut nox est

ita aeque dicitur:

cum pluit, tonat

et

cum tonat, pluit

Neque enim potest esse ut hoc sit cum illo, nisi etiam illud simul fuerit cum isto. Naturalium autem coniunctarum conversiones per contrapositionem solum fieri {possunt} hoc modo:

si est homo, est animal
si non est animal, non est homo

Conversiones autem {in} hypotheticis propositionibus, sicut in categoricis, secundum transpositionem terminorum pensamus, in illis quidem praedicati et subiecti, in istis autem antecedentis et consequentis; in illis quidem cum de praedicato fit subiectum et econverso, in istis autem cum de consequenti fit antecedens, et econverso. Tunc vero simplicem conversionem in illis dicebamus esse cum simpliciter termini transponebantur, nihil eis adiuncto vel ablato, sed eidem prorsus termini servabantur, veluti hic: 'nullas homo est lapis': 'nullus lapis est homo'; 'quidam homo est lapis': 'quidam lapis est homo'; tunc vero per ƿ contrapositionem cum de praedicata voce subiectum ac de subiecta praedicatum faciebamus secundum contrapositionem, ut videlicet tales per se termini {in} conversione ponerent{ur}, qui quasi sibi adversantes contra se ponantur, ut sunt finitum et infinitum, quae secundum affirmationem et negationem sibi dicuntur opponi, ut in hoc loco: 'omnis homo est animal': 'omne non-animal est non-homo'; 'quidam homo non est animal': 'quidam non-animal non est non-homo'; sunt autem opposita homo non-homo, animal non-animal.
Eosdem quoque conversionis modos in hypotheticis esse animadvertimus, simplicem quidam conversionem ut in suprapositis disiunctis et coniunctis temporalibus, per contrapositionem vero in coniunctis naturalibus, iuxta illam quidem [illam] regulam:

si aliquid antecedit ut aliud consequatur, si id quod consequitur non fuerit, nec illud quidem quod antecedit erit.

Contrapositionem vero rectam secundum affirmationem et negationem appositio negationis facit. Sunt tamen nonnulli qui ad nomen conversionis hypotheticarum obstrepant et uehementer obstupeant eoquod de earum conversionibus Boethium tractare non viderint nec alium quemquam qui consequentiarum naturas ostenderet. Unde nos quidem non ex falsitate, sed ex nouo conversionis nomine redarguunt; nec me quidem contra auctoritatem locutum, sed fortasse ultra auctoritatem ostendere possunt. Nec est quidem eorum calumnia rationabilis. Si enim ex; additamento vel novitate me accusent, quomodo et illi absolvi possunt quicumque ad alicuius scientiae perfectionem ex se aliquid post primos tractatores adiecerunt? Sed nec ex novitate {in} conversionibus consequentiarum me accusare poterunt quasi huius conversionis invectorem, si singulorum dicta quos in arte Latini celebrant, memoria confirmaveri{n}t, Aristotelis videlicet seu Porphyrii seu Boethii. Ait enim Aristoteles, cum de ultima significatione 'prioris' loqueretur: "eorum enim quae convertuntur secundum quod est esse consequentiam, quod alteri quolibet modo causa est, digne prius natura dicitur;..... esse namque hominem convertitur.....ad de se veram enuntiationem; nam si est homo, vera est oratio qua dicitur, quia homo est, et homo convertitur; quare est." Rursus idem cum de secundo modo 'simul' loqueretur,: "naturaliter, inquit, simul sunt quaecumque convertuntur secundum quod est esse consequentiam. Sed ƿ nequaquam causa est alterum alteri ut sit, ut in duplo et dimidio; convertuntur etenim haec: nam {cum} sit duplum, est dimidium, et cum sit dimidium, est duplum." Haec aperte Aristoteles de conversione consequentiae loquitur in Libro Praedicamentorum, de qua etiam in Libro Periermenias ipsum egisse reperies; cum videlicet consequentias inferentiae modalium propositionum ostenderet, "consequentiae, inquit, secundum ordinem fiunt ita ponentibus: illi enim quae est possibile esse illa quae est contingit esse, et haec illi convertitur." Idem in eodem: "ergo impossibile et non impossibile {ad} illud quod est contingens et possibile et non contingens et non possibile sequuntur quidem contradictorie, sed conversim." Ipse etiam Porphyrius in his quas ad Praedicamenta scripsit Isagogis, conversiones consequentiarum non tacuit; ait enim, cum differentiam a proprio differre monstraret: "et differentia quidem illis est consequens quorum est differentia; sed non convertitur," ut videlicet ad speciem antecedat; quod scilicet si esset, converteretur. Multa quoque Boethii dicta conversionem consecutionis indicant. Ait enim in Primo Categoricorum, cum de inferentia subalternarum loqueretur, si universales verae fuerint, veras esse particulares; converti autem non posse; rursus cum falsae sint particulares, falsas esse universales, sed minime converti, ut videlicet, sicut illae ad istas veras antecedunt, ita istae ad illas, vel sicut istae falsae ad illas falsas, ita illae falsae ad istas falsas, quod videlicet, si esset conversio consequentiae, fieret.
In Hypotheticis quoque suis saepissime illam quam per contrapositionem diximus conversionem consequentiarum monstravit, veluti in secundo et tertio modo figurae tertiae, cum eos in modos primae figurae resolvit conversis secundis per contrapositionem consequentiis; et in secundo quidem ait istam consequentiam:

si non est c, non est a

ita converti posse:

si est a, est c

in tertio quidem istam:

si est c, non est a

hoc modo:

si est a, non est c

Commendat itaque consequentiarum quoque utramque conversionem non solum ratio, verum etiam auctoritas; et est quidem in naturalibus ƿ coniunctis per contrapositionem conversio naturalis, in disiunctis autem sive coniunctis temporalibus simplex conversio. Si itaque vera sit vel falsa naturalis consequentia, similiter et eius per contrapositionem conversa. Similiter et qualis fuerit temporalis coniuncta, talis erit ipsius simplex conversa.
Nota autem id quod de simplici conversione temporalis supra diximus, cum adhuc eam quasi hypotheticam teneremus, non posse servari in his quae generalia habent adverbia, ut ista: 'quamdiu Socrates ambulat, movetur'. Sed nec per contrapositionem illam quam putant, ut videlicet ita dicant: 'quamdiu non movetur, non ambulat'; haec enim cum illa numquam simul vera esse potest, sicut nec partes huius cum partibus illius.
EXPLICIT PRIMUS HYPOTHETICORUM
INCIPIT SECUNDUS HYPOTHETICORUM
{INTRODUCTIO}
Omnium autem hypotheticarum propositionum natura diligenter pertractata ad earum syllogismos descendamus; atque illud prius notandum est nullum syllogismum a temporali hypothetica incipere, sed tantum a coniuncta naturali vel a disiuncta. De syllogismis autem coniunctarum in praesenti disserendum est; in syllogismis vero disiunctarum operis nostri laborem finiemus. Ac prius eos disponamus qui ex simplicibus hypotheticis descendunt.
DE SIMPLICIBUS HYPOTHETICIS ET EARUM SYLLOGISMIS
Hae vero sunt quattuor, prima quidem ex duabus affirmativis, secunda ex affirmativa et negativa, tertia ex negativa et affirmativa, quarta quidem ex duabus negativis; quae sunt huiusmodi:

Si est a, est b
si est a, non est b
si non est a, est b
si non est a, non est b

Quas etiam non solum in litteris, verum etiam in terminis assignari convenit, cum syllogismorum modos constituerimus. Harum autem quattuor consequentiarum natura constitutionis breviter est distinguenda. Quarum quidem duae, prima videlicet et quarta, in eadem terminorum materia consistunt atque inter sibimet adhaerentia aut quae simul ƿ naturaliter sint, verae tantum inveniuntur, secunda vero inter omnia disparata, id est quae sibi convenire non possunt, vera recipitur; tertia vero tantum inter haec quae medio carent. Quam tamen Boethius nimis stricte accipiens inter opposita tantum fieri dixit medio carentia, cum videlicet ait in Hypotheticis suis hanc consequentiam {quae} inter affirmationem et negationem proponitur in contrariis tantum medio carentibus proponi, hoc est in disparatis immediatis.
Qui vero etiam talem ad hoc confirmandum regulam inducunt:

quicumque terminus remotus alium ponit, ipse positus eumdem removet

At vero haec regula in pluribus falsa esse convincitur. Qui enim hanc recipit:

si non est homo, est non-homo

nec hanc denegabit:

si non est animal, est non-homo

'animal' tamen et 'non-homo' cum de se particulariter dicantur, disparata a se nullo modo dicuntur.
Rursus: quicumque hanc recipit:

si non est sanum, est aegrum

nec huic contradicet:

si non est animal, est aegrum

'animal' tamen et 'aegrum', cum omne aegrum animal sit, opposita quidem non videntur. Non igitur inter opposita tantum huiusmodi consequentia proponi videtur quae inter negationem fit et affirmationem, sicut ea quae inter affirmationem et negationem proponebatur, sed inter ea tantum quae medium non habent, sive opposita sint sive minime. Nihil autem refert quantum ad modos quos cupimus, sive verae sint sive falsae propositiones, dummodo ipsa ab auditore recipiatur. Has vero quae {vel} inter opposita vel inter immediata proponuntur consequentias, quas nos in Topicis nostris calumniati sumus, multi pro veris recipiunt, secundum quos indoneae syllogismis erunt. Amplius: sive veris propositionibus sive falsis syllogismus texatur, dummodo formam teneant syllogismi, tota tamen ipsius inferentia firmissima semper erit.
Ex his autem quattuor propositionibus octo nascuntur syllogismi, ex omni namque hypothetica duo syllogismi manant, unus quidem per positionem antecedentis, alius vero per destructionem consequentis. Per positionem antecedentis ille fieri syllogismus dicitur in quo ƿ assumptio propositae consequentiae [per dividentem] antecedens ita ut fuit, constituitur ac ponitur, ac deinde consequens ita ut fuit, subiungitur hoc modo:

si est a, est b sed est a ergo est b

Per destructionem vero consequentis illi fieri dicuntur in quibus assumptio propositae consequentiae per dividentem ipsius destruit{ur}, ut in conclusione quoque antecedens auferatur, ut ex eadem consequentia monstratur hoc modo:

si est a, est b sed non est {b} ergo non est a

Destrui autem affirmatio per negationem sive negatio per affirmationem aequaliter potest, cum neutra alterius veritatem non perferat ac recte ei opponatur.
Et hi quidem syllogismi quorum assumptiones et conclusiones per positionem terminorum consequentiae fiunt, perfecti, hoc est perspicui esse in se atque evidentes, dicuntur, eo videlicet quod ita assumptio et conclusio terminos constitua{n}t sicut in praemissa hypothetica fuerant dispositi; ideo probatione ad evidentiam non indigent. Reliqui vero omnes, qui videlicet per terminorum destructionem fiunt, imperfecti sunt nec per se perspicui, sed semper probatione aliqua ad fidem indigentes; de quibus quidem posterius agendum est. Primo autem loco de perfectis tractandum. Sed quoniam assumptionum et conclusionum modi talium syllogismorum quae ex antecedenti et consequenti propositae consequentiae veniunt, secundum naturam inferentiae antecedentis et consequentis ad invicem maxime dinoscuntur, inferentiarum ipsarum discretionem in promptu convenit esse; quas quidem in Primo Topicorum nostrorum diligenter tractavimus.
Quas etiam hoc loco breviter recolligi non est onerosum:

posito igitur antecedenti necesse est poni consequens
posito vero consequenti non necesse est poni antecedens

fallit enim saepissime. Cum enim 'homo' positus 'animal' ponat, 'animal' tamen positum 'hominem' non ponit, sed nec etiam positum 'animal' 'hominum' aufert. Cum itaque posito antecedenti necessario ponatur ƿ consequens, posito consequenti nec removeri necesse est antecedens, quantum, inquam, ad naturam antecedentis et consequentis pertinet.
Nam fortasse in quibusdam {gratia} terminorum, non complexionis natura, consequens etiam positum ponit antecedens hoc modo:/501.5/

si est duplum, est dimidium
si est dimidium, est duplum

Sed hoc relationis proprietas, non antecedentis et consequentis natura, facit. Si enim ex natura consequentis id contingeret, ut videlicet consequens positum poneret antecedens, omnibus consequentibus inesset; quod enim naturale est, omnibus inest. At vero

destructo consequenti ipsius quoque antecedens necesse est perimi
destructo vero antecedenti nec destrui consequens neque poni necesse est

quantum, inquam, ad naturam an{te}cedentis attinet. Nam gratia terminorum in eisdem destructum antecedens destruit consequens, in quibus positum consequens ponit antecedens.
Quippe pares regulae inveniuntur quae aiunt:

posito antecedenti ponitur consequens
destructo consequenti destruitur antecedens

Secundum has igitur duas regulas quae solae necessitatis firmitatem tenent, syllogismorum quoque firma fit contexio.
Et haec quidem regula quae dicit:

posito antecedenti ponitur consequens

ad modos assumptionum et conclusionum perfectorum syllogismorum pertinet. Illa vero {alia} quae ait:

destructo consequenti destruitur antecedens

ad imperfectos pertinet syllogismos. Hi vero sunt perfecti qui ex simplicibus hypotheticis descendunt.
PER POSITIONEM ANTECEDENTIS
Primus quidem hic est quia prima venit hypothetica; ordo namque syllogismorum secundum ordinem pensatur propositionum:

si est a, est b sed est a ergo est b

veluti si sic dicatur: ƿ

si est homo, est animal sed est homo ergo est {animal}

Si vero consequens ponatur in assumptione hoc modo: 'sed est animal nihil necessario de antecedenti concluditur.
Secundus vero est qui ex secunda propositione nascitur, hoc modo:

si non est homo, non est lapis sed est homo ergo non est lapis

Si vero assumptio consequens ponat, sicut fuit, hoc modo: 'sed non est lapis', nihil ad antecedens.
Ex tertia vero tertius hoc modo:

si non est homo, est non-homo sed non est homo ergo est non-homo

Si vero consequens assumptio ponat hoc modo: 'sed est non-homo', nihil ad antecedens secundum complexionis naturam, sed fortasse secundum terminorum proprietatem, qui oppositi quoque sunt ad invicem. Nec si etiam possit consequens positum necessario ponere antecedens ex quacumque proprietate, nulla tamen erit syllogismi forma, in qua hoc consequens positum ponat antecedens vel antecedens destructum destruat consequens, quippe syllogismi inferentia ita perfecta debet esse ut nulla rerum habitudo ad ipsam operetur, sed ex se ipsa adeo firma sit ut ex dispositione quoque antecedentium propositionum ipsa conclusionis veritas annuatur, sicut in Primo Topicorum ostendimus, vel in Tertio Categoricorum in expositione definitionis syllogismorum.
In his vero nullo modo conclusio ex propositione et assumptione manifesta est, quippe nihil ex proposita consequentia aliud haberi potest, nisi quod antecedens positum ponat consequens, non etiam quod econverso consequens antecedens exigat. Sed tamen hos quoque Boethius multum abusive syllogismos nominat in Secundo suorum Hypotheticorum, quos quidem gratia terminorum fieri, non lege complexionis, dicit; secundum quod ex tertia propositione quattuor nasci syllogismos dicit, duos quidem secundum complexionis syllogismi naturam, duos vero gratia terminorum oppositionis, quos nos tamen omnino syllogismos esse negamus, ƿ ad quorum scilicet inferentiam ipsa rerum habitudo ivuat, non ipsa syllogismi complexio sufficit.
Unde ex singulis hypotheticis nonnisi duos fieri syllogismos concedimus, aut per positionem scilicet antecedentis, aut per destructionem consequentis. Atque hinc recte superius ex quattuor praemissis propositionibus octo tantum fieri syllogismos diximus, illos duos omnino reprobantes quos ex tertia propositione proprietas terminorum, non complexionis forma, facere videbatur.
Ex quarta autem propositione quartus hoc modo deducitur:

si non est animal, non est homo sed non est animal quare non est homo

Si vero consequens constituat assumptio hoc modo: 'sed non est homo' nihil de 'animali' necessario infertur hoc modo: {'ergo non est animal'}.
Quattuor sunt syllogismi qui ex simplicibus hypotheticis per positionem antecedentis nascentes perfecti nominantur.
Nunc autem reliquos quattuor supponamus qui per consequentis destructionem ex eisdem propositionibus nascentes imperfecti dicuntur atque probatione aliqua ad evidentiam indigentes. Haec autem probatio per inductionem inconvenientis atque impossibilitatis adhibetur, sicut in singulis modis ostendemus.
PER DESTRUCTIONEM CONSEQUENTIS
Primus igitur modus eorum syllogismorum qui ex simplicibus per destructionem consequentis descendunt, hic est qui a prima propositione venit hoc modo:

si est a, est b sed non est b ergo non est a

Hic autem syllogismo probatio talis adiungitur: vere b ablato aufertur a; utrum aut b negat{um negat} a aut b negatum patitur secum a; ponit adversarius quod b negatum patitur secum a, hoc est quod quaedam res sit quae et non sit b et sit a; sed ad haec dico quod cum prima iam concessa sit consequentia:

si est a, est b

hoc est vere a ex necessitate exigat b ac sine eo esse non possit, oportet ut id quod b non est et est a b non sit et b sit. Quod enim simul est cum antecedenti, et cum consequenti esse necesse est; non erit quidem b, ƿ sicut iam concessa assumptio dicebat. Erit idem quoque quia suum antecedens esse conceditur, quod est a. At vero impossibile est quod cum non sit b, sit. Impossibile ergo erat illud ex quo ostenditur, ut b scilicet negatum pateretur a. Quodsi ipsum non patitur, restat ut ipsum expellat, ac sic in conclusione superioris modi b prius in assumptione ablato a quo{que} necessario ablatum est. Si vero antecedens auferatur nihil necessario de consequenti secundum formam syllogismi concluditur.
Secundus vero ex secunda propositione nascitur hoc modo per destructionem consequentis:

si est a, non est b sed est b ergo non est a

Aeque enim, ut supra dictum est, et affirmatio negationem et negatio affirmationem destruit. Si quis autem de conclusione hic dubitaverit utrum bene ex praemissis proveniat, sicut in superiori modo ex inductione inconvenientis ad fidem compellendus {est} hoc modo: vere posito b, a necessario removetur; utrum aut b positum necessario excludit a, aut b positum patitur secum a. Ponit adversarius ut patiatur a, hoc est ut idem quod b est, a sit; sed ad haec praemissam consequentiam adhibeo, quae ait:

si est a, non est b

Ex his itaque infertur quod id quod est b, non est b; quicquid enim simul est cum antecedenti, idem simul erit cum consequenti. Sic quoque et in caeteris qui imperfecti dicuntur probatio ex impossibili adhibenda est. Si vero deleas antecedens hoc modo: 'sed non est a', nihil ad b per formam syllogismi.
Tertius vero modus hic est quem tertia propositio creat:

si non est a, est b sed non est b ergo est a

Si enim cum non sit b, a negabitur, a vero si negetur, necesse est b esse -- sicut prima propositio dicebat --, cum non sit b, b erit. Si vero ponatur in assumptione hoc modo: 'sed est a', nihil ad b secundum, inquam, formam syllogismi, ut superius docuimus./504.35/
Quartus vero ex quarta propositione manat hoc modo:

si non est a, non est b sed est b ergo est a

Si enim cum b sit, a non est, a rursus si non est, necesse est non esse b, -- sicut prima propositio dicebat --, oportet ut cum b sit, b non sit; ƿ quod est impossibile. Si vero a ponat assumptio hoc modo: 'sed est a', nihil ad b per formam syllogismi.
Omnes itaque syllogismi qui ex simplicibus consequentiis veniunt, octo sunt, quattuor quidem perfecti per positionem antecedentis, ac rursus quattuor imperfecti per destructionem consequentis. Per consequentis autem positionem vel antecedentis destructionem nulla est syllogismi necessitas, quippe nec forma aliqua syllogismi.
DE COMPOSITIS EX CATEGORICA ET HYPOTHETICCA ET EARUM SYLLOGISMIS
Nunc de syllogismis compositarum hypotheticarum superest disputare. Ac prius de his agamus qui a consequentiis ex categorica et hypothetica constantibus incipiunt. Illam autem hypotheticam quae consequentiam constituit, Boethius temporalem ponit, non naturalem. Si igitur conditio naturalis mutetur in temporalem, totidem erunt temporales quantum superius posuimus naturales, id est quattuor quibus cum affirmativa categorica praeponetur, quattuor erunt consequentiae ex affirmativa categorica et hypothetica coniunctae; rursus quattuor si negatio eisdem praeponatur:

Si est a, cum est b est c
si est a, cum est b non est c
si est a, cum non est b est c
si est a cum non est b non est c

In his autem quattuor a affirmatum antecedit. Rursus totidem erunt quando idem negatum eisdem temporalibus praeponetur hoc modo:

Si non est a, cum est b est c
si non est a, cum est b non est c
si non est a, cum non est b [non] est c
si non est {a}, cum non est b non est c

Sicut autem propositiones geminantur quantum ad priores, ita etiam syllogismi.
Sed nunc quidem de natura ac veritate talium consequentiarum agendum est. Cum igitur temporalis vera esse non possit, nisi utraque ipsius pars vera fuerit, sicut supra docuimus, oportet ut si ex aliqua propositione temporalis inferatur, utraque pars ipsius ex eodem consequi possit, veluti in ista apparet:/505.35/

si est homo, cum non est animatum est animal

Ex prima namque categorica et 'esse animatum' et 'esse animal' consequitur. ƿ Alioquin nec tota temporalis ex ipsa sequeretur. Idem quoque in caeteris oportet considerari. Talis autem regula erit secundum vim antecedentis quae propositarum consequentiarum veritatem ostendet:

posito antecedenti erunt simul quaelibet eius consequentia

Illud quoque praetermittendum non est quod Boethius notat ipsas temporales tales semper eligi quae in naturalem hypotheticam conversae veritatem non teneant, veluti illa quae in praemissa sequebatur: 'cum est animatum est animal'. Si enim dicatur:

si est animatum, est animal

falsa est omnino.
Haec autem non propter veritatem consequentiarum determinant, sed quia aliter regulares esse non dicuntur consequentiae quae ex temporalibus coniunguntur. Sicut enim vera est quae ait:

si est homo, cum est animatum est animal

ita et veram esse necesse quae proponit:

si est homo, cum est animal est animatum

quippe omnis temporalis, ut supra quoque docuimus, simplicem conversionem teneat. "At vero, inquit Boethius, si sic diceretur:

si est homo, cum est animal est animatum

non videretur vera [con]sequens temporalis propter praecedentem categoricam; semper enim fortasse vera alicui videretur esse, sicut et ea, quae naturalis est, quae ait:

si est animal, est animatum

Unde tales semper voluit temporales consequi quae propter categoricam tantum praecedentem verae viderentur, ut sunt illae quae, ut dictum est, in naturalem consequentiam commutatae verae non sunt.
Praefatam vero talium consequentiarum naturam per singulos modos in appositis terminis inspicere licet.
Est igitur primus eorum syllogismorum qui a consequentiis ex categorica et hypothetica constantibus veniunt, hic qui a prima propositione descendit hoc modo:

si est homo, cum est animatum est animal sed est homo ergo cum est animatum est animal

vel ita per consequentis destructionem:ƿ

sed non cum est animatum est animal ergo non est homo

Nota tamen quod in destructione temporalis consequentiae Boethius consequenti tantum ipsius negationem apponens superius a nobis reprehensus, cum de temporalibus plenius tractaremus nostram atque ipsius sententiam coniectantes. Unde in omnium temporalium destructionibus toti temporali negationem esse praeponendam confirmavimus.
Secundus vero ex secunda nascitur propositione ita:

si est homo, cum est animatum non est equus sed est homo ergo cum est animatum non est equus

vel ita:

sed non {cum} est animatum non est equus ergo non est homo

E tertia vero tertius hoc modo venit:

si est homo, cum non est {in}animatum est sensibile sed est homo ergo cum non est inanimatum est sensibile

{vel ita:/507.20/

sed non cum non est inanimatum est sensibile} quare non est homo

Quarta vero quartum facit sic:

si est homo, cum non est {in}animatum non est insensibile sed est homo ergo cum non est inanimatum non est insensibile

vel ita:

sed non cum {non} est in animatum non est insensibile non est igitur homo

Quintus autem ex quinta procreatur ita:

si non est animal, cum est non-homo est non-animal sed non est animal ergo cum est non-homo est non-animal

vel ita:

sed non cum est non-homo est non-animal quare est animal

Ex sexta vero sextus fiet hoc modo: ƿ

si non est animal, cum est non-homo non est equus sed non est animal quare cum est non-homo non est equus

vel ita:

sed non cum est non-homo non est equus quare est animal

Ex septima vero sic generatur:

si non est animal, cum non est homo est non-animal sed non est animal ergo cum non est homo est {non}-animal

vel ita:

sed non cum non est homo est non-animal quare est animal

Ex octava quoque octauus ita disponitur:

si non est animal, cum non est homo non est equus sed non est animal quare cum non est homo non est equus

vel ita:

sed non cum non est homo non est equus quare est animal

Hi quidem sunt modi gui a consequentiis descendunt ex categorica et hypothetica constantibus numero sexdecim, octo quidem per positionem, octo vero per destructionem.
DE CONNEXIS EX HYPOTHETICA ET CATEGORICA ET EARUM SYLLOGISMIS
Totidem vero ex his nascuntur consequentiis quae ex hypothetica et categorica coniunguntur; de quibus in proximo agendum est. Quarum etiam propositiones prius ordine digerantur ac deinde earum naturam inspiciamus. Ac prius c affirmatum, deinde vero c negatum quattuor suprapositis consequentiis simplicibus supponamus hoc modo:

Si cum sit a est b, est c
si cum sit a non est b, est c
si cum non sit a est b, est c
{si cum non sit a non est b, est c}

Nunc autem ad easdem consequentias c negatum consequatur hoc modo: ƿ

Si cum sit a est b, non est c
si cum sit a non est b, non est c
{si cum non sit a est b, non est c'}
si cum non sit a non est b, non est c

In his autem omnibus tales temporales consequentias categoricis praeponi Boethius voluit, quarum consequentia per se categoricam quae sequitur inferant iuxta hanc regulam:

Ab antecedenti: existente antecedenti cum quolibet ponitur quodlibet ipsius consequens

sicut ex ista liquet:

si cum est animatum est homo, est animal

Nam ex eo quod homo est, quod consequens temporalis fuit, 'animal esse', quod consequens categorica proponebat, necessario consequitur; antecedens vero temporalis tale ponendum esse assignat quod nec consequens {suum} necessario nec posteriorem categoricam inferat, ut ex superiori manifestum est. Neque enim 'animatum' vel 'hominem' ponit vel 'animal'.
Nunc ad singulos propositarum consequentiarum modos ex sequemur.
Ex prima propositione primus hic est:

si cum est animatum est homo, est animal sed cum est animatum est homo ergo est animal

vel ita:

sed non est animal ergo non cum est animatum est homo

Ex secunda vero secundus ita:

si cum est animal non est sanum, est aegrum sed cum est animal non est sanum ergo est aegrum

vel ita:

sed non est aegrum ergo non cum est animal non est sanum

Ex tertia vero tertius ita:

si cum non est equus est homo, est rationale sed cum non est equus est homo ergo est rationale ƿ

vel ita:

sed non est rationale igitur non cum non est equus est homo

Ex quarta quartus:

si cum non est homo non est equus, est non-equus sed cum non est homo non est equus ergo est non-equus

vel ita:

sed non est non-equus quare non cum non est homo non est equus

Ex quinta quintus:

si cum est animal est homo, non est equus sed cum est animal est homo ergo non est equus

vel ita:

sed est equus ergo non cum est animal est homo

Ex sexta sextus:

si cum est animal non est rationale, non est homo sed cum est animal non est rationale quare non est homo

vel ita:

sed est homo quare non {cum} est animal non est rationale

Ex septima septimus:

si cum non est immortale est rationale, non est equus sed {cum} non est immortale est rationale ergo non est equus

vel sic:

sed est equus igitur non cum non est immortale [non] est rationale

Ex octava:

si cum non est rationale non est sensibile, non est animal sed cum non est rationale non est sensibile quare non est animal

vel ita:

sed est animal quare non cum {non} est rationale non est sensibile ƿ

Hi quidem sunt modi syllogismorum a consequentiis ex hypothetica et categorica coniunctis venientium sexdecim, octo quidem per positionem antecedentis, octo vero per destructionem consequentis.
DE CONIUNCTIS EX UTRAQUE HYPOTHETICA ET EARUM SYLLOGISMIS
Dispositis autem syllogismis his qui a consequentiis descendunt ex altera hypothetica connexis illi tractandi occurrunt qui ab illis veniunt consequentiis in quibus hypothetica ad aliam antecedit hypotheticam.
Qui quidem geminantur ad supra positos novissime, sicut illi prius ad simplices, quemadmodum et {pro}positiones ipsorum. Sunt igitur propositiones illorum sexdecim, syllogismi vero triginta duo, de quibus deinceps tractandum est.
Sed nunc quidem prius eorum omnium propositiones disponamus ae deinde proprietates distinguamus.

Si cum sit a est b, [et] cum sit c {est} d
si cum sit a est b, cum sit {c} non [c] est d
si cum a sit [non] est b, cum non sit c est d
si cum sit a est b, cum non sit c non est d
Si cum sit a non est b, cum sit c est d
si cum sit a non est b, cum sit c non est d/511.20/
si cum sit a, {non} est b, cum non sit c est d
si cum [non] sit a non est b, cum non sit c non et d
Si cum non sit a est b, cum sit c est d
si cum {non} sit a est b, cum sit c {non} est d
{si cum non sit a est b, cum non sit c est d}/511.25/
si cum non sit a est b, cum non sit c non est d
Si cum non sit a non est b, cum sit c est d
si cum non sit a non est b, cum sit c non est d
si cum non sit a non est b, cum non sit {c} est d
si cum non sit a non est b, cum non sit c non est d/511.30/

Haec autem ordinis suprapositarum propositionum cognitio est: sumantur quattuor simplices temporales ad quas superius categoricae sequebantur eodem ordine quo ipsae antecedant, ac rursus quattuor ƿ simplices temporales eodem {modo} et eodem ordine inter alios terminos proponantur. Si ergo unaquaeque posteriorum quattuor ad unamquamque quattuor eo ordine quo dispositae sunt, consequatur, sexdecim erunt propositiones hypotheticae; de quarum etiam natura nobis disserendum est. Voluit quoque hoc loco Boethius utrasque temporales consequentias, et quae scilicet praecedunt et quae consequuntur, tales elegi quae {con}uersae in naturalem consequentiam non sint verae. Sed prioris antecedens posterioris antecedens et prioris consequens posterioris consequens necessario exigat iuxta hanc regulam, quae ab antecedenti simul et consequenti venit:

quorumcumque antecedentia simul sunt, et consequentia

sicut ex apposita monstratur hypothetica:

si cum est homo est medicus, cum est animal est artifex

Cum enim 'homo' ad 'animal' necessario antecedat ac rursus 'medicus' ad 'artificem', necesse est ut si homo et medicus simul sint, animal quoque et artifex simul existant. Sicut autem prima temporalis in naturalem conversa non vera est, ita etiam nec secunda.
Nunc syllogismos disponamus. Ex prima:

si cum est homo est medicus, cum est animal est artifex sed cum est homo est medicus ergo cum est animal est artifex

vel ita:

sed non cum est animal est artifex ergo {non} cum est homo [non] est medicus

Ex secunda:

si cum est homo est medicus, cum est animal non est lapis sed cum est homo est medicus ergo cum est animal non est lapis

vel ita:

sed non cum est animal non est lapis ergo non cum est homo est medicus

Ex tertia:

si cum est homo est medicus, cum non est non-homo est artifex sed cum est homo est medicus ergo cum non est {non}-homo est artifex

ƿ vel ita:

sed non cum non est non-homo est artifex ergo non cum est homo est medicus

Ex quarta:

si cum est homo est albus, {cum non est lapis non est niger sed cum est homo, est albus} ergo cum non est lapis non est niger

vel ita:

sed non cum non est lapis non est niger ergo non cum est homo est albus

Ex quinta:

si cum est animal non est homo, cum est animatum est non-homo {sed cum est animal, non est homo} ergo cum est animatum est non-homo

vel ita:

sed non cum est animatum est non-homo ergo non cum est animal non est homo

Ex sexta:

si cum est animal non est homo, cum est animatum non est Socrates sed cum est animal non est homo ergo cum est animatum non est Socrates

vel ita:

sed non cum est animatum non est Socrates ergo non cum est animal non est homo

Ex septima:

si cum est animal non est homo, cum non est non-animal est non-homo sed cum est animal, non est homo ergo cum {non} est non-animal est non-homo

vel ita:

sed non cum non est non-animal est non-homo ergo non cum est animal {non} est homo

Ex octava:

si cum est animal non est homo, cum non est lapis non est Socrates sed cum est animal non est homo ergo cum non est lapis non est Socrates

vel ita:

sed non cum non est lapis non est Socrates quare non cum est animal non est homo

ƿ Ex nona:

si cum non est homo est animal, cum est non-homo est animatum sed {cum} non est homo est animal quare cum est {non-}homo est animatum

vel ita:

sed non cum est non-homo est animatum igitur non cum non est homo est animal

Ex decima:

si cum non est homo est animal, cum est non-homo non est lapis sed cum non est homo est animal quare cum est non-homo non est lapis

vel ita:

sed non cum est non-homo non est lapis ergo non cum non est homo est animal

Ex undecima:

si cum non est homo est animal, cum non est Socrates est animatum sed cum non est homo est animal igitur cum non est Socrates est animatum

vel ita:

sed non cum non est Socrates est animatum Quare non cum non est {homo} est animal

Ex duodecima:

si cum non est homo est animal, cum non est Socrates non est lapis sed cum non est homo est animal ergo cum non est Socrates non est lapis

vel ita:

sed non cum non est Socrates non est lapis igitur non cum [est] non est homo est animal

Ex tertia decima:

si cum non est homo non est animal, cum est non-homo est {non}-animal sed cum non est homo non est animal ergo cum est non-homo est non-animal

vel ita:

sed non cum est non-homo est non-animal quare non cum non est homo non est animal

Ex quarta decima:

si cum non est homo non est animal, cum est non-homo non est lapis sed cum non est homo non est animal igitur cum est non-homo non est lapis

ƿ vel ita:

sed non cum est non-homo non est lapis quare non cum {non} est homo non est animal

Ex quinta decima:

si cum non est homo non est animal, cum non est Socrates est non-animal sed cum non est homo non est animal ergo cum non est Socrates est non-animal

vel ita:

sed non cum non est Socrates est non-animal quare non cum non est homo non est animal

Ex sexta decima:

si cum non est homo non est animal cum non est Socrates non est equus sed cum non est homo non est animal igitur cum non est Socrates non est equus

vel ita:

sed {non} cum non est Socrates non ese equus ergo non cum non est homo non est animal

Omnes itaque modi syllogismorum qui a consequentiis ex utraque hypothetica coniunctis veniunt, duo et triginta sunt numero, sexdecim per positionem ac rursus sexdecim per destructionem, qui omnes connumerati sunt; in quibus quidem ordinem illum hypotheticorum syllogismorum quem Boethius tenet, commutavimus. Ipse namque Boethius inter syllogismos consequentiarum ex altera tantum hypothetica constantium {et} syllogismos consequentiarum ex utraque hypothetica connexarum eos medios locavit qui ex mediis propositionibus nascentes tribus figuris continentur, quos nos nondum posuimus; ne{c} {id quidem irrationabiliter fecisse videtur, sed bene eos syllogismos medios inter alios locasse videtur, quorum primas propositiones medias inter alias ipse praedixerat. Inde etiam post syllogismos consequentiarum ex categorica et hypothetica, vel econverso, constantium syllogismos mediarum hypotheticarum sese posuisse commemorat: "quia ut superiores, inquit, propositiones, ita hae[c] quoque tribus terminis connectuntur, et a similibus ad similia facilior transitus fiet."
Nos tamen his syllogismis qui figurati non sunt, eos qui figurati sunt et a longe diversis propositionibus nascuntur, interserere noluimus, quorum ad se similitudinem, sicut et eorum propositionum, ipse etiam Boethius notavit. Sicut enim simplices consequentias et compositas ex duabus hypotheticis ƿ consimiles invicem esse voluit, in eo scilicet quod, sicut in illis utraeque propositiones eiusdem generis sunt, hoc est categoricae, ita in istis utraeque propositiones eiusdem generis sunt, id est hypotheticae, sic quoque earum syllogismos sibi consimiles esse dixit, qui ex similibus propositionibus veniunt, quarum etiam assumptiones et conclusiones, sicut in illis, eiusdem generis sunt; ita in istis eos quoque rursus syllogismos confirmavit ad invicem, sicut propositiones eorum qui a consequentiis descendunt ex categorica et hypothetica, vel econverso, constantibus; utrorumque namque consequentiae ex dissimilibus propositionibus iunguntur, cum altera categorica sit, altera hypothetica; ac rursus utrorumque assumptiones et conclusiones dissimiles ab invicem.
Nunc igitur ad eos transeamus syllogismos qui ex mediis propositionibus originem ducunt. Quorum quidem propositiones primae in tribus terminis constitutae tres, non ultra, figuras perficiunt.
{DE FIGURIS HYPOTHETICORUM MEDIORUM SYLLOGISMORUM}
Prima autem figura in his mediis hypotheticis dinoscitur in quibus id quod prius ad alterum consequebatur, rursus ad alterum antecedit hoc modo:

si est a est b, si est b est c

Hic enim {b} qui in priori consequentia consequebatur ad a, in posteriori antecedit ad c.
Secunda vero figura est cum duo ad unum idem consequuntur sic:

si est a est b, si non est a est c

Hic namque a modo affirmatum, modo negatum antecedit ad b et ad c.
Tertia vero in qua duo antecedunt ad idem ita:

si est b est a, si est c non est a

Hic enim a modo affirmatum, modo negatum ad b et ad c eonsequitur. Cum autem idem ad duo antecedere vel consequi dicimus, non eamdem propositionem, sed eumdem terminum propositionis accipimus. Non autem eadem propositio ad duas vel in secunda figura antecedit vel in tertia sequitur, eum altera sit {semper} affirmativa, altera negativa. Alioquin aequimodae propositiones mediae esse{n}t, de quibus nullus fieri posset syllogismus, ut posterius apparebit.
Nota autem in omnibus figuris medium terminum illum dici ƿ qui utrique consequentiae communis est. Alios vero duos extremitates appellari, quod quidem in secunda et tertia figura per resolutionem primae figurae monstrabitur. Ostenduntur namque secunda et tertia figura ex prima per {con}uersionem alterius earum consequentiarum quae in media propositione continentur, sicut posterius liquebit. Unde primae figurae syllogismi perfecti in se quantum ad syllogismos secundae vel tertiae dicuntur, quippe eorum primae propositiones, quae mediae sunt, ita rectam tenent dispositionem ut ea quae prima est de extremitatibus vel postrema vel quod medium in sensu ipsa connectit extrema, in ipsa etiam dispositione terminorum ita sunt ordinata. In secunda vero figura quod medium est in sensu, a scilicet, ad extrema, b videlicet et c, antecedit.
In tertia vero sequitur ad eadem. Licet autem primae figurae syllogismi perfecti, ut dictum est, dici possint quantum ad syllogismos secundae {vel tertiae} figurae, qui per ipsos demonstrantur, omnes tamen trium figurarum syllogismos quos Boethius posuit, imperfectos nominavit ad comparationem quorumdam aliorum qui ex eisdem figuris hypotheticam in conclusione colligentes per coniunctionem extremorum, veluti iste:

si est a est b si est b est c quare si est a est c

In illis autem quos Boethius ex mediis propositionibus disponit, et assumptiones categoricae sunt et conclusiones, sicut in simplicibus, hoc modo:

si est a est b, si est b est c sed est a quare est c

In his itaque tota media quae proponitur, prima est propositio, secundum id scilicet quod ad unam inferentiam tendens una dicitur consequentia; categoricae vero assumptio et conclusio sunt quae ex ea fiunt. In illis vero quae hypotheticam concludunt, media propositio quae ponitur, in propositione syllogismi et assumptione dividitur, ita quidem ut prima consequentia quae in ipsa media continetur, propositio sit syllogismi, secunda vero assumptio, quae vero per coniunctionem extremorum infertur, conclusio huius syllogismi. {Syllogismi} qui hypotheticam per coniunctionem extremorum colligunt, illis consimiles {sunt} qui categorici sunt, quippe sicut illi tribus categoricis propositionibus continentur, ita isti ƿ tribus hypotheticis, ac sicut illi conclusionem per coniunctionem extremorum {faciunt, ita isti, ac sicut figura in illis continetur in propositione et assumptione, ita in istis. Quia ergo satis erant illi evidentes ex se et ex similitudine categoricorum, quasi certos superfluum visum est eos tractari aut fortassis ideo quia per positionem vel destructionem terminorum nullae essent assumptiones et conclusiones, sed per coniunctionem extremorum} colliguntur, ita isti; atque ideo isti ex similitudine quoque categoricorum perfecti in se atque perspicui videntur. Ideoque Boethius eos ponere superuacuum duxit quod satis manifesti essent, sed eos tantum qui imperfecti atque incogniti erant cura fuit exsequi. Qui quidem sicut et illi quos superius tractavimus, modo per positionem antecedentis, modo vero per destructionem consequentis fiunt, sicut per singulas figuras docebimus.
Sunt autem singularum figurarum octo propositiones, sicut et eorum syllogismorum qui a consequentiis descendunt ex altera hypothetica constantibus. Bene autem harum et illarum consequentiarum numerus idem est, sicut et terminorum ipsarum. Tres enim tantum diversos terminos medii communitas in mediis propositionibus facit.
PRIMAE FIGURAE PROPOSITIONES CUM SYLLOGISMIS
Sunt autem hae primae figurae propositiones:

Si est a est b, si est b est c
si est a est b, si est b non est c
si {est} a non {est} b, si non est b est c
si est a non est b, si non est b non est c
Si non est a est b, si est b est c
si non est a est b, si est b non est c
{si non est a non est b, si non est b est c}
si non est a non est b, si non est b non est c

In quattuor ergo primis propositionibus a affirmatum, in quattuor vero postremis idem negatum proponitur. Ordinem quidem harum propositionum mediarum ex posterioribus earum hypotheticis perpendere ordinem simplicium hypotheticarum quem supra posuimus, conservantibus, medium vero tantum sicut in posteriori hypothetica antecedit, ita in priori necesse est consequi.
Nunc autem eos prius constituamus syllogismos qui per positionem antecedentis fiunt.
PER POSITIONEM
Ex prima propositione:

si est homo est animal, si est animal est animatum

posset equidem perfecte concludi:

quare si est homo est animatum

sed constituitur in assumptione prima categorica hoc modo:

sed est homo

et concluditur ultima

quare est animatum

Unde bene ad evidentiam huiusmodi syllogismus, cuius conclusio categorica est, sicut assumptio, ex eo cuius hypothetica est tam conclusio quam assumptio, fidem capit, quippe ita assumptio et conclusio horum syllogismorum categoricae terminos constituunt, sicut propositiones hypotheticarum quae in illis concluduntur. Omnes itaque isti syllogismi qui ex aliis evidentiam sui contrahunt, imperfecti dicuntur. Unde Boethius in Secundo Hypotheticorum, eum de tribus figuris loqueretur: "harum, inquit, fiunt multiplices syllogismi, quorum nullus poterit esse perfectus, cum nec per se perspicui sint {et} ut his fide{s} debeat accommodari adiumento extrinsecus positae probationis indigeant; est autem probatio talium syllogismorum alio constitutus ordine syllogismus;" qui videlicet hypotheticam concludit, ut supra docuimus.
Ex secunda:

si est homo est animal, si est animal non est lapis

posset equidem concludi:

si est homo, non est lapis

sed dividitur haec consequentia in assumptione et conclusione sic:

sed est homo quare non est lapis

Ex tertia:

si est homo non est lapis, si non est lapis est non-lapis

esset quidem perfecta conclusio haec:

quare si est homo est non-lapis

sed assumitur huius antecedens sic:

sed est homo

ƿ ac deinde concluditur consequens ita:

quare est non-lapis

Ex quarta:

si est homo non est lapis, si non est lapis non est margarita

posset colligi:

quare si est homo non est margarita

sed assumitur prior categorica sic:

sed est homo

et concluditur posterior ita:

ergo non est margarita

Ex quinta:

si non est homo est non-homo, si est non-homo est non-Socrates

posset concludi:

si non est homo est non-Socrates

sed et hic prima categorica assumitur sic:

sed non est homo

et concluditur ultima hoc modo:

quare est non-Socrates

Ex sexta:

si non est homo est non-homo, si est non-homo {non} est Socrates

posset inferri:

quare si non est homo non est Socrates

sed constituit assumptio primam categoricam ita:

sed non est homo

et conclusio ponit ultimam hoc modo:

quare non est Socrates

Ex septima:

si non est homo non est Socrates, si non est Socrates est non-Socrates

posset consequi:

si non est homo est non-Socrates

sed assumitur prior categorica sic:

sed non est homo

et concluditur ultima hoc modo:

quare est non-Socrates

Ex octava:

si non est homo non est risibile, si non est risibile non ridet

esset perfecta conclusio:

quare si non est homo non ridet

ƿ sed assumitur prior categorica et concluditur posterior sic:

sed non est homo igitur non ridet

Hi igitur sunt octo modi syllogismorum qui ex octo propositionibus primae figurae nascuntur primam propositionem assumentes et ultimam concludentes sicut fuerant.
Nunc vero octo reliqui restant ex eisdem propositionibus nascentes qui in assumptione ultimam propositionem et in conclusione primam tollunt hoc modo:

si est a est b, si est b est c sed non est c non est igitur a

Hi quoque ex illis syllogismis ostendi possunt quae hypotheticam concludunt per destructionem extremorum veluti iste:

si est a est b, si est b est c quare si non est c non est a

quia enim concludi poterat:

si est a est c

necessario et eius conversa ex eodem consequitur:/521.20/

si non est c non est a

Quae quidem consequentia cum in assumptione et conclusione dividitur, suprapositum reddet syllogismum, illum scilicet:

si est a est b, si est b est c sed non est c quare non est a

PER DESTRUCTIONEM
Et hic quidem est primus modus eorum, qui per destructionem fit ex prima veniens propositione.
Ex secunda:

si est a est b, si est b {non} est c

posset quidem consequentia consequentis et antecedentis concludi sic:

quare si est c non est a

quae quidem si dividatur in assumptione et conclusione, fiet talis syllogismus:

si est a est b, si est b non est c sed est c quare non est a

ƿ Idem in caeteris oportet considerari, ut quae posset fieri consequentia per destructionem extremorum, in assumptione et conclusione dividatur.
Ex tertia:

si est a {non} est b, si non est b est c sed non est c quare non est a

Ex quarta:

si est a non est b, si non est b non est c sed est c quare non est a

Ex quinta:

si non est a est b, si est b est c sed non est c igitur est a

Ex sexta:

si non est a est b, si est b non est c sed est c quare est a

Ex septima:

si non est a non est b, si non est b est c sed non est c ergo est a

Ex octava:

si non est a non est b, si non est b non est c sed est c quare est a

Sunt itaque omnes primae figurae syllogismi numero sexdecim, octo per positionem antecedentis, octo vero per destructionem {consequentis}. Totidem quoque in tertia et in secunda figura erunt.
Quomodo secunda et tertia ex prima nascantur
Sicut autem categoricorum syllogismorum secunda et tertia figura {ex prima} procreantur per conversionem alterius propositionis, ita hypotheticorum quoque secunda et tertia figura ex prima manant conversa altera consequentiarum. Et sunt quidem sensus omnium aequales, complexionum vero figurae dissimiles et diversa locutionis genera. Secunda vero figura per conversionem primae consequentiae ex prima ƿ descendit. Tertia vero per conversionem secundae, quod hoc modo monstrabitur. Primae figurae dispositio haec est:
si est homo est animal, si est animal est animatum
Conversa itaque prima consequentia per contrapositionem et manente secunda, secundam figuram facies sic:

si non est animal non est homo, si est animal est animatum

Si vero manente prima consequentia converteris secundam, in tertiam figuram incides hoc modo:

si est homo est animal, si non est animatum non est animal

quippe secundam figuram esse supra diximus in qua duo ad idem affirmatum et negatum consequuntur, tertiam vero in qua duo ad idem affirmatum et negatum antecedunt. Si enim idem eodem modo sumptum ad diversa vel consequeretur vel antecederet, aequimodae esse{n}t propositiones, quae ad syllogismum minime valent, sed solae inaequimodae.
Aequimodae vero illae sunt in quibus eodem modo medius terminus enuntiatus vel antecedit vel consequitur hoc modo:

si est a est b, si est a est c
si est b est a, si est c est a

Ex his itaque nihil secundum formam syllogismi concluditur. Potest etiam categoricarum propositionum aequimoda esse dispositio, cum videlicet idem vel praedicatur eodem modo de diversis vel eodem modo subicitur diversis; praedicatur quidem hoc modo:

omnis nix est candida
omnis margarita est candida
nullus corvus est candidus
nullus Aethiops est candidus

subicitur vero sic:

omnis margarita est candida
omnis margarita est dura
nulla margarita est nigra
nulla margarita est mollis

At vero aequimodae categoricae propositiones aliquando ad coniunctionem extremorum valent propter earum simplicem conversionem. Ex his namque duabus:

omnis margarita est candida
omnis margarita est dura

necessario concluditur per primum modum tertiae figurae: ƿ

quoddam durum candidum est

quippe universalis affirmativa quae praecedit, particularem per accidens conversionem habet. In hypotheticis vero naturalibus, quae simplici conversione carent, nullae aequimodae ad extremorum conclusionem idoneae, sed solae inaequimodae.
Inaequimodae vero illae sunt hypotheticae in quibus medius terminus diverso modo enuntiatus vel antecedit vel consequitur hoc modo:

si est a est b, si non est a est c
si est b est a, si est c non est a

Medius autem terminus ille est in his quoque figuris qui utrique consequentiae communis est, id est a; extremitates vero reliqui, qui videlicet utrique communes non sunt, b scilicet et c; et b quidem prior extremitas in sensu praecedit, c vero ultima consequitur. Sed haec facilius apparebunt ex resolutione harum posteriorum figurarum in primam, quae scilicet rectam dispositionem terminorum tenet, ut supra docuimus.
Quoniam vero dictum est aequimodas propositiones nullum reddere syllogismum, sed solas inaequimodas, non solum oportet eas cognoscere propositiones quae sumendae sunt, sic{ut} etiam aequimodae, sed illas quoque a quibus nobis cavendum est, ut sunt aequimodae quae totidem sunt quot inaequimodae. Sed prius ex inaequimodis complexiones ostendamus easque ordine disponamus:

Si est a est b, si non est a est c
si est a est b, si non est a non est c
si est a non est b, si non est a est c
si est a non est b, si non est a non est c

In his vero quattuor suprapositis propositionibus a quidem affirmatum b praecedebat, negatum vero ipsum antecedebat c. Nunc vero econverso fiat, ut videlicet a negatum praeponatur ad b, affirmatum vero antecedat ad c. Et rursus quattuor erunt propositiones, hae scilicet:

Si non est a est b, si est a est c
si non est a est b, si est a {non} est c
si non est {a} non est {b, si est a est} c
{si non est a non est b, si est a non est c}

His itaque dispositis ex singulis harum propositionum duos ostendamus syllogismorum modos, sicut in prima figura, unum quidem per assumptionem b, qui in sensu est antecedens, alium vero per conclusionem c, ƿ qui in sensu est ultimum consequens, sicut ex resolutione in primam figuram, ut dictum est, dinoscetur.
DE ASSUMPTIONIBUS ET CONCLUSIONIBUS SECUNDAE ET TERTIAE FIGURAE
In hac autem figura quae secunda est, sive b sive c assumas, eum contrario modo quam fuit, enuntiabis, alterum sicut fuit concludens. In tertia vero figura quemcumque assumas, sicut fuit ipsum pones, alterum vero econtrario quam fuit concludens, hocest si affirmatus fuerit, negabis, vel si negatus fuerit, affirmabis. Si{c} enim conversiones consequentiarum et resolutiones in primam figuram exigunt.
MODI SECUNDAE
E prima propositione secundae figurae:

si est a est b, si non est a est c

potest concludi haec:

quare si non est b, est c

Conversa namque prima consequentia hoc modo:

si non est b non est a

et secunda manente:

si non est a est c

primae figurae septimus modus necessario provenit:

si non est b est c

Sed haec quidem consequentia divisa in assumptionem et conclusionem categoricas primum secundae figurae modum ex praemissa media propositione efficit sic:

si est a est b, si non est a est c sed non est b ergo est c

Ac vero assumptio et a b conclusio sic fiet:

sed non est c ergo est b

Qui enim hanc recipit consequentiam:

si non est b est c

nec eius conversam denegabit:

si non est c est b

quae etiam ex eadem media propositione monstratur secunda consequentia conversa et manente prima, commutato ordine. In qua quidem ƿ ostensione redit quintus modus primae figurae. Idem in caeteris huius figurae modis considerandum est, quos iam breviter procurare possumus natura resolutionis ipsorum liquide assignata.
Ex secunda:

si est a est b, si non est a non est c sed non est b ergo non est {c}

vel ita:

sed est c ergo est b

Ex tertia:

si est a non est b, si non est a est c sed est b igitur est c

vel ita:

sed non est c ergo non est b

Ex quarta:

si est a non est b, si non est {a} non est c sed est {b} ergo non est {c}

vel ita:

sed est {c} quare non est b

Ex quinta:

si non est a est b, si est a est c sed non est b ergo est c

vel ita:

sed non est c igitur est b

Ex sexta:

si non est a est b, si est a non est c sed non est b quare non est c

vel ita:

sed est c ergo est b

ƿ Ex septima:

si non est a non est b, si est a est c sed est b ergo est c

vel ita:

sed non est c ergo non est b

Ex octava:

si non est a non est b, si est a non est c sed est b igitur non est c

vel ita:

sed est c quare non est b

Nunc autem omnium {in}aequimodarum propositionum secundae figurae syllogismis dispositis ipsas quoque aequimodas non sit onerosum cognoscere.

Si est a est b, si est a est c
si est a est b, si est a non est c
si est a non est b, si est a est c
si est a non est b, si est a non est c
Si non est a est b, si non est a est c
si non est a est b, si non est a non est c
{si non est a non est b, si non est a est c}
si non est a non est b, si non est a non est c

Quarum imbecillem conclusionem atque omni carentem necessitate ex assumptionibus quoquo modo factis inveniemus.
Sunt autem tertiae figurae inaequimodae propositiones istae:

Si est b est a, si est c non est a
si est b est a, si non est c non est a
si non est b est a, si est {c} non est a
si non est b est a, si non est c non est a

In his autem quattuor suprapositis propositionibus a medius terminus affirmatus ad b, ad c vero negatus sequebatur. Si vero econverso feceris, quattuor alias compones hoc modo:

Si est b non est a, si est c est a
si est b non est a, si non est c est a ƿ
si non est b non est a, si est c est a
si non est b non est a, si non est c est a

Ex his autem omnibus ita assumi convenit et concludi, ut si altera extremitatum assumatur eo modo quo fuerat, altera concludatur contrario modo quam fuit, hoc modo:

si est b est a, si est c non est a sed est b quare non est c

vel ita:

sed est c quare non est b

Cum autem assumptio a b fit, qui prima est extremitas, ut ad c ultima conclusio veniat, si in primam figuram per resolutionem incidere volumus, secunda consequentia convertenda est manente prima. Si vero de c assumptio fiat, ut ad b conclusio perveniat, prima tamen consequentia. conversa ac manente secunda, ordo earum transponatur; quod in singulis modis inspicere licet.
MODI TERTIAE
Ex prima propositione tertiae figurae:

si est b est a, si est c non est a

posset quidem inferri consequentia:

si est b non est c

prima namque propositione manente et conversa secunda hoc modo:

si est b est a, si est a non est c

per primum modum primae figurae consequentia haec concluditur:

si est b non est c

Quae quidem consequentia in assumptione et conclusione categoricas divisa primum modum tertiae figurae per assumptionem b ex praemissa propositione media faciet hoc modo:

si est b est a, si est {c} non est a sed est b quare non est c

Cum vero c assumpto b concluseris atque in primam figuram per resolutionem incidere curaveris, si priorem consequentiam convertas manente secunda, ordine commutato, in quartum primae figurae modum incideris hoc modo:

si est c non est a, si non est a non est b quare si est c non est b

ƿ Idem quoque in caeteris invenies, quorum quidem assumptionum et conclusionum seu etiam resolutionum natura liquide assignata singulos qui restant breviter ordiamur.
Ex secunda:

si est b est a, si non est c non est a sed est b quare est c

vel ita:

sed non est c quare non est b

Ex tertia:

si non est b est a, si est c non est a sed non est b quare non est c

vel ita:

sed non est c igitur est b

Ex quarta:

si non est b est a, si non est c non est a sed non est b ergo est c

vel ita:

sed non est {c} igitur est b

Ex quinta:

si est b non est a, si est c est a sed est b ergo non est c

vel ita:

sed est c igitur non est b

Ex sexta:

si est b non est a, si non est c est a sed est b ergo est c

vel ita:

sed non est c non est igitur b

Ex septima: ƿ

si non est b non est a, si est c est a sed non est b ergo non est c

vel ita:

sed est c {est} igitur b

Ex octava:

si non est b non est a, si non est c est a sed non est b ergo est c

vel ita:

sed non est c est igitur b

Omnes itaque syllogismi qui ex inaequimodis propositionibus tertiae figurae veniunt, sexdecim numero sunt, sicut et secundae vel primae figurae.
Hae vero sunt aequimodae propositiones huius figurae quae nullam syllogismi complexionem efficiunt:

si est b est a, si est c est a
si est b est a, si non est c est a
si non est b est a, si est c est a
si non est b est a, si non est c est a
si est b non est a, si est c non est a
si est b non est a, si non est c non est a
si non est b non est a, si est c non est a /530.25
si non est b non est a, si non est c non est a

DE SYLLOGISMIS DISIUNCTARUM
Nunc vero soli hypotheticarum disiunctarum supersunt syllogismi, de quibus breviter disserendum est. Horum enim propositionum natura superius diligenter investigata est atque tractata nec in his diutius immorandum est, sed ad simplices quattuor propositiones recurrentes, quas antea primo loco cum earum syllogismis posuimus, in disiunctis earum syllogismos omnium disiunctarum breviter assignemus. Est autem talis regula aequipollentiae coniunctarum et disiunctarum adinvicem superius data ut ƿ si quis ex coniuncta in disiunctam vel ex disiuncta in coniunctam velit incidere, destructo antecedenti et consequenti manente eodem id faciet.
Si igitur coniuncta ex duabus affirmativis fuerit, disiuncta ex negativa et affirmativa constiterit, hoc modo:

si est a, est b -- aut non est a, aut est b

a[u]t si coniuncta ex affirmativa et negativa erit, disiuncta ex duabus negativis fiet sic:

si est a, non est b -- aut non est a, aut non est b

quodsi ex negativa et affirmativa coniuncta fuerit, disiuncta ex duabus affirmativis componetur ita:

si non est a, est b -- aut est a, aut est b

si vero ex duabus negativis coniuncta copulabitur, disiuncta ex affirmativa et negativa iungetur hoc modo:

si non est a, non est b -- aut est a, aut non est b

In eadem itaque terminorum materia coniunctam atque ipsius disiunctam certum est consistere, quas in eisdem terminis necesse est esse. Ea igitur disiuncta quae ex negativa et affirmativa sive econverso constituitur inter sibi adhaerentia, sicut ipsius coniuncta proponitur veluti istae:

aut non est homo, aut est animal
{aut est animal}, aut non est homo

quae quidem etiam sibi, sicut ipsarum coniunctae, aequipollent, quippe quemadmodum coniunctas earum per contrapositionem, ita ipsas simpliciter converti superius diximus.
Quae vero inter duas affirmativas disiuncta proponitur, sicut et ipsius coniuncta, inter ea tantum fit quae medio carent, veluti ista:

aut est homo, aut non est homo

at quae inter duas negativas fit, inter opposita consistit, veluti ista:

aut non est homo, aut non est asinus

Cum autem, ut supra dictum est, omnis disiuncta in se simplicem teneat conversionem, quamcumque partem ipsius in assumptione auferes, alteram sicut fuit pones, sicut ex singulis earum modis apparebit.
Ex prima:

aut est a, aut est b sed non est a igitur est b

vel ita:

sed non est b igitur est a

Ex secunda:

aut est a, aut non est b sed non est a ergo non est b

vel ita:

sed est b quare est a

Ex tertia:

aut non est a, aut est b sed est a quare est b

vel ita:

sed non est b quare non est a

Ex quarta:

aut non est a, aut non est b sed est a quare non est b

vel ita:

sed est b quare non est a

Sunt igitur ex disiunctis quos posuimus syllogismi octo numero ad modum simplicium hypotheticarum, quattuor quidem per assumptionem antecedentis, quattuor per assumptionem consequentis. Iuncti{s} vero illi{s} qui ex simplicibus coniunctis descendunt, his qui ex disiunctis earum veniunt, omnes sexdecim numero erunt. Sexdecim quoque ex his tractati sunt syllogismi qui ex categorica et hypothetica connectuntur. Ac rursus sexdecim ex illis quae ex hypothetica et categorica iungebantur, quorum quattuor modo geminato ex his consequentiis in quibus hypothetica ad hypotheticam sequitur, triginta duo syllogismi manant. Unaquaque {uero} trium figurarum sexdecim syllogismos continet. Omnes itaque hypothetici syllogismi, de quibus satis est disputasse, centum viginti octo inveniuntur.


Notes

  1. Reference to earlier work