Ep. 1
Mon. 9
Quest. 2
propositio, Ep. III 6; Mon. I xi 10; III vii 3; III viii 10; III xii 5; Questio 39
propositione, Mon. II v 26; Questio 81
propositionem, Mon. I xiv 7
propositionibus, Mon. I xii 2
propositionibus, Mon. I xii 2
propositionum, Mon. I ii 4
Il sost., ampiamente diffuso e att., appartiene nel suo signif. tecnico alla terminologia logica aristotelica.
Il primo ad averlo impigato in questa accezione sembra essere stato Cic. Inv. I 57-59, che lo utilizza per designare tecnicamente la premessa maggiore di un sillogismo, in contrapposizione ad assumptio, che indica la premessa minore, e a complexio, che indica la conclusione. Questo speciale senso si consolida grazie all’opera di Boezio (Cic. Top., 5) e si ritrova anche negli scritti logici attribuiti ad Apuleio (ad es. Herm. 1) e a Marziano Capella (De Nupt. IV 414). Già Quintiliano, tuttavia, aveva utilizzato propositio nel senso più generale e comprensivo 'enunciato dichiarativo' (Inst. 4 2 79), significato che si tramanda per tutto il Medioevo a fianco di quello più specialistico.
Tale duplicità semantica – riflessa anche dall’uso dantesco del termine – sembra affondare le sue più profonde radici nella riflessione aristotelica sulle asserzioni apofantiche. In particolare, Aristotele, negli scritti dell’Organon, aveva designato la proposizione con due termini diversi: λόγος ἀποφαντικός (o semplicemente ἀπόφανσις), e πρότασις. Il primo si ritrova in De Interpr. IV (16b 26 ss). In tale contesto, lo Stagirita afferma che il logos è «un suono dotato di significato» e definisce la proposizione come quel tipo di discorso a cui appartiene il vero o il falso (ossia un “discorso apofantico”, λόγος ἀποφαντικός). Il secondo, πρότασις, compare già in De Interpr. 11 20b 23 (dove designa il membro di una contraddizione), ed è utilizzato in An. Pr. I 1 (24a 16) nel senso specifico di 'premessa sillogistica'. In tale passaggio, la πρότασις di un sillogismo viene descritta come un discorso – a sua volta – che afferma o nega qualcosa rispetto a qualcos'altro (λόγος καταφατικὸς ἢ ἀποφατικός τινος κατά τινος, I, 1 24a 28). Boezio traduce poi λόγος ἀποφαντικός con enuntiatio («enuntiativa [oratio] vero non omnis, sed illa in qua verum vel falsum est, non autem omnibus inest, ut deprecatio, oratio quidem est, sed neque vera neque falsa», De int., I), e πρότασις con 'propositio' («propositio igitur est oratio adfirmativa vel negativa alicuius de aliquo» Anal. Pr., I 1). I due significati tendono progressivamente a sovrapporsi, tanto che lo stesso Boezio in diversi punti utilizza i due termini come equivalenti (cfr., ad es., Int. I 1 295c).
Questa sovrapposizione è ulteriormente avallata e confermata, al tempo di D., dal modo in cui il sost. viene utilizzato nei commentari e nella tradizione summolistica di ambito universitario; come ad esempio nei Tractatus di Pietro Ispano (VI: «propositio est oratio verum vel falsum significans, ut 'homo currit'», nel senso di 'enunciato dichiarativo'; e, parallelamente, II: «omnis autem sillogismus constat ex tribus terminis et duabus propositionibus», nel senso di 'premessa sillogistica').
il sost. è ampiamente att. sia nel lat. class. sia nel lat. tardoant. (vd. ThLL s.v. propositio): Cic. Inv. I 67 (inter partes argumentationis) propositio, per quam locus is breviter exponitur, ex quo vis omnis oportet emanet ratiocinationis (LLT); Quint. Inst. IV 2 narratio est probationis continua propositio (LLT); 121 36 et illud, quod prima propositione durum videtur, potest adferre ratio, ut vir bonus […] velit auferre […] iudici veritate (LLT); Rhet. Her. IV XVI 23 ratiocinatio figura est, per quam […] crebro nosmet a nobis petimus unius cuiusque propositionis explanationem (Bibliotheca Augustana); Aug. In psalm. 86, 1 hic psalmus […] tractandus modo est propositus a […] patre nostro. repentina propositio me gravaret, nisi me continuo proponentis oratio sublevaret (Augustinus); Boeth. Cic. Top. I 6-7 Nam omnis argumentatio omnis que syllogismus propositionibus struitur, omne que compositum duo in se quaedam retinet (LLT); 7-8 Quoniam igitur syllogismus omnis propositionibus constat, propositiones vero terminis, termini que inter se differunt eo, quod unus maior est, alter minor (LLT); Cons. IV iv 11 recte, inquit, aestimas, sed qui conclusioni accedere durum putat aequum est uel falsum aliquid praecessisse demonstret uel collocationem propositionum non esse efficacem necessariae conclusionis ostendat (CC).
Alberto Magno, Anal. priora I, t. 1, c. 3 et quia hic utimur enuntiatione prout ponitur ut scientiae conclusionis principium, ideo hic vocamus propositionem, quod in Perihermenias vocavimus enuntiationem (LLT); Bonaventura, Coll. in Hex., I 26 Diabolus enim paralogizavit primum hominem et supposuit quandam propositionem in corde hominis quasi per se notam (LLT); I 28 maior propositio fuit ab aeterno; sed assumtio in cruce; conclusio vero in resurrectione (LLT); Tommaso d'Aquino, In Meth. IV, l. 5, n. 595 et ideo istae propositiones sunt prima demonstrationum principia, quae componuntur ex terminis communibus (LLT); In Arist. Peri herm. I VIII 9 unde vocatur apud Graecos propositio categorica, idest praedicativa (LLT); In Arist. Phys. I, l. 2, n. 6 hoc autem quod sint sophisticae, habent utraeque rationes et Melissi et Parmenidis: peccant enim in materia, unde dicit quod falsa recipiunt, idest falsas propositiones assumunt; et peccant in forma, unde dicit quod non syllogizantes sunt (LLT).
Papias (s.v. propositio): propositio est oratio verum falsumque significans, ut "homo est animal" [...] Haec dividitur in duas partes, affirmationem et negationem [...] ad aliquid approbandum afferratur propositio (Mirabile).
Uguccione, P 156, 1 (s.v. problema): hoc problema -tis, quod latine dicitur propositio, est questio difficile habens aliquid quod disputatione solvendum sit (DaMA).
Pietro Alighieri (3) ad Par. XXIV 115-147: ista notionalia conveniunt adiective et dicuntur tantum de personis et non de essentia, sed quando tenentur substantive, tunc dicuntur tam de essentia quam de personis, unde hec propositio est simpliciter vera (DDP).
Benvenuto da Imola ad Par. II 43-45: nam aliquae probationes sunt per se bene notae sine aliqua demonstratione secundum Aristotelem libro posteriorum, sicut ista: omne totum est maius sua parte; ma fia per se noto, sicut aliqua propositio manifestissima (DDP).