In cōpica ciceronis cōmentarioꝝ lib. iiiii.

bus vtimur nil habeāt dubitabile. Siquidē ex his eaque ſunt ambigua capient fideꝫ: ꝙ ſi ꝓpō aliquotiēsquidem per ſe nota eſt atqꝫ perſpicua: aliquotiēs v̓oprobationis indigens inuenitur: aſſumptio quoqꝫ aliquotiens per ſe vera eſſe notabitur: aliquotiēs approbationis indiget adiumentis: Quo ſit: vt ſi ⁊ propoſitio ⁊ aſſumptio demonſtrande ſint: ꝗnqꝫ partitus (vtCicero etiā in rhetoricis auctor eſt) ſyllogiſmus fiatconſtans ex ꝓpoſitione eiuſqꝫ probatione: aſſumptione: eiuſdemqꝫ probatione et concluſione: ꝙ ſi neutraſit approbāda tripartitus ſit: Ex ꝓpoſitiōe .ſ. ⁊ aſſumptione ⁊ concluſione. ꝙ ſi altera earum demonſtranda ſit: ſit quadri partitus: ex propoſitione .ſ. ⁊ aſſumptione: atqꝫ vnius earum approbatione ⁊ concluſiōeConcluſionis v̓o ipſius approbatio precedente propoſitione atqꝫ aſſumptione perficitur. que cū ita ſintcūqꝫ omnis ꝓpoſitio hypothetica in connexionē diſiunctionemqꝫ diuidatur: in connexis propoſitionibusaliud dicimus precedens: aliud conſequens. Idem autem conſequens ⁊ connexum vocamus: velut in hacpropoſitione. ſi dies eſt: lux eſt. Dies eſt precedit: annectitur: lux eſt. In diſiunctis aūt nom eſt eadem rō:quia cum ea que proponuntur ſimul eſſe non poſſuntnullo modo dicuntur eē connexa. Precedens autem⁊ ſubſequens indo iudicatur: qꝛ quod primum ponit̉iure antecedens vocatur qd̓ poſterius iure ſubſeq̄nsdicitur. Ex his igitur propoſitiōibus: que cōnexe ſūtſit primus ⁊ ſecundus hypotheticoꝝ ſyllogiſmorummodus. addita v̓o negatione ꝓpoſitioni connexe exduabus affirmationibus copulate eaqꝫ inſuper denegata tertius accedit. ex diſiunctis v̓o propoſitionibusdiuerſo modo aſſumptiōibus factis: quartus ⁊ quītꝰUtriſqꝫ v̓o ꝑ negationē ꝯpoſitis: ſextꝰ ⁊ ſeptimꝰ atqꝫ he ſeptē ſūt hytpohetice ꝯcluſiōes. quaꝝ. M. T.in Topicis meminit. quaꝝ omnium deinceps ordo atqꝫ exempla ſubdēda ſunt. Primus igitur modus eſtcum in connexa propoſitione aſſumpto eo quod precedit: volumus monſtrare qd̓ ſequitur ita eſſe oportere: vt eſt in connexione prolatuꝫ. In quo ſi id quodconnexum eſt: ac ſequitur aſſumpſerimus: nullꝰ oīnoſit ſyllogiſmus. Huius exemplum tale eſt: ſi dies eſt:lucet. ſi igit̉ lucere monſtremus: aſſumamꝰ: neceſſe ēdiem eſſe hoc modo. atqui dies eſt. conſequitur ergoex neceſſitate lucere. ꝙ ſi lucere aſſumamus: atqꝫ itadicamus. atqui lucet. non neceſſe eſt diem eſſe: atqꝫiō nulla neceſſitas euenit concluſiōis: vbi nulla neceſſitas eſt: nec ſyllogiſmus ꝗdeꝫ intelligi poteſt. Eſt igitur primuſ modus ī hanc formā Si dies ē lucet: dieſāt ē: lucet igitur. inueniuntur tn̄ in quibꝰ equo mōvalet aſſumptio. ſiue precedens: ſiue ſubſequens aſſumatur. vt in homine atqꝫ riſibili. Si enim homo eſt:riſibile eſt. atqui homo eſt. riſibile igitur eſt. At qui riſibile eſt homo igit̉ eſt: ſed in his hec cā eſt qꝛ homoatqꝫ riſibile equi ſunt termini. atqꝫ iccirco vno poſitoalterum comitari neceſſe eſt. ſed quia hoc in omnibꝰnon eſt iccirco dicimus non eſſe vniuerſale: vt aſſumpto poſteriore: quod precedebat probetur. Secundˢvero modus eſt: quotiens aſſumpto poſteriore atqꝫconſequenti qd̓ anteceſſerat aufertur: hoc modo: Sidies eſt lucet: hic ſi aſſumamuſ non lucere: contrariomodo atqꝫ in propoſitione prolatum eſt aſſumamusdicentes: atqui non lucet in eo igitur ſequitur non eēdiem. ꝙ ſi diem negemus .i. quod antecedit in aſſumptione contrario modo atqꝫ poſitū eſt ⁊ in propoſitione proferamus: non tollitur quod eſt connexū: vt

ſi dicamus atꝗ non eſt dies: non mox ſequitur non licere. Poteſt enim non eſſe dies: ⁊ tamen lucere. Eſigitur ſecundi modi forma hmōi. Si dies eſt lucetatqui non lucet. nō ē igitur dies. Primuſ igitur modus aſſumit qd̓ preceſſit: vt approbet quod connexūeſt. non poteſt v̓o aſſumere qd̓ cōnexuꝫ eſt: vt probetquod preceſſit: Secundus autem aſſumit econtrarioquod ſequit̉: vt quod preceſſit euertat. nō poteſt aūtecontrario aſſumere quod preceſſit: vt id qd̓ connexūeſt auferatur. Tertius modus eſt: cū inter partes cōnexe: atqꝫ ex duabus affirmationibꝰ copulate propoſitionis negatio interponitur: eaqꝫ ipſa negō denegetur que propoſitio υπεραποφάτικη greco ſermoneappellatur. vt in hac ipſa quā ſuperius propoſuimusſi dies eſt: lux eſt. ſi inter has propoſitiones negō interueniat: fiet hoc modo. Si dies eſt: lux nō eſt. ac ſvlterius denegemus erit ita. non ſi dies eſt: lux non ēcuius propoſitionis iſta ſententia eſt. qꝛ ſi dies eſt: ſicri non poteſt vt lux non ſit. Que ꝓpoſitio ſuperabnegatiua appellatur. taleſqꝫ ſunt omnes: in quibꝰ negatio preponitur negationi vt nō eſt dies: ⁊ rurſus. necnon Auſonii troia gens miſſa coloni: In hac igitur ſipriorem partem: ideſt diem eſſe in aſſumptiōe ponamus: conſequetur ēt lucem eſſe. hoc mō non ſi dies ēlux non eſt. atqui dies eſt. lux igitur eſt. Qui modus.ſuperioribus plurimum diſtat: ꝙ in eo modo qui ſitab antecedentibuſ ponitur antecedens: vt id: quod ſequitur aſtruatur. In modo v̓o a conſequētibus ꝑimtur cōſequēs vt id quod preceſſerat auferat̉. In hocv̓o neutrum ē. nā neqꝫ antecedēs ponitur vt quod ſequitur cōfirmet̉: nec interimitur ſubſequēs: vt id qd̓preceſſerat euertatur. ſed ponitur antecedēs vt id qd̓ſequitur interimat̉. Hic autē propoſitionis modꝰ partes inter ſe ſuas continet repugnantes. aduerſū quiꝑpe eſt: ac repugnat: ſi dies eſt: non eſſe luceꝫ. ſed iccico rata ꝓpoſitio eſt: qꝛ conſequētium repugnantia ficta per mediam negationem alia negatione deſtruit̉⁊ ad vim affirmationis omnino reuocatur. naꝫ quiaconſequens eſſe intelligit̉: ac veꝝ ſi dies eſt eſſe luceꝫrepugnat: ac falſum eſt. ſi dies eſt non eſſe lucem. quedenegata rurſus vera eſt ita. Non ſi dies eſt: lux noeſt: ⁊ ſit cōſimilis affirmationi. ſi dies eſt: lux eſt. quifacit affirmationeꝫ geminata negatio. Similiter v̓ofiunt ex repugnātibus ꝓpoſitionis ꝑtibus argumētavel ſi duabꝰ negatiōibus: vel ſi negatiōe ⁊ affirmatione vel ſi affirmatiōe ⁊ negatiōe iungat̉. Quomō v̓ofiāt ex talibꝰ cōnexis repugnātes ſuperiꝰ dictū ē. fiv̓o ex ea ꝓpōne: que duabus iungit̉ negatiuiſ ex repignanti argumentum hoc modo. Sit ꝓpoſitio. Si nōeſt lux: dies non eſt. fiat repugnās ita. ſi nō eſt lux: eſtdies huic iungamus negationem: vt fiat vera ita. nōſi lux non eſt dies ē. atꝗ lux non eſt. dies igitur nō eſtItem ſit ex negatione atqꝫ affirmatiōe ꝓpoſitio hecSi dies non eſt nox eſt. huic addat̉ ex poſteriore parte negatio: ⁊ ſit ita. Si dies non eſt: nox non eſt. ſitrepugnans. hec nihilominus abnuatur vt ſit vera. nōſi dies non eſt: nox nō eſt. aſſummimuſqꝫ atqui dies nōeſt. Concludimus. nox igitur eſt Itē ſi ex eadem propoſitiōe: que ex negatiua affirmatiuaqꝫ cōiūgitur: ⁊dicit ſi dies non eſt: nox eſt. a priori parte negatio ſubtrahatur. fiet repugnans. hoc mō. ſi dies eſt: nox eſt.huic apponatur negatio: vt vera eſſe poſſit hoc mō.nō ſi dies eſt: nox eſt. aſſumamqꝫ: atꝗ dies eſt. ꝯcluditur. nox igitur nō ē. At ſi ſit ex affirmatiōe ⁊ negatione propoſitio cōiuncta: velut. hec ſi vigilat nō ſtertitdemitur