DIVERSES ESPÈCES DE PROPOSITIONS COMPOSÉES
Les disjonctives, c'est-à-dire celles qui ont plusieurs sujets ou attributs liés entre eux par les conjonctions disjonctives, ou, ou bien, v. g. : Amicitia pares aut accipit, aut facit ;
Les conditionnelles, c'est-à-dire celles qui sont formées de deux parties unies par les conjonctions si, pourvu que : de ces deux parties, celle qui renferme la condition s'appelle antécédent et l'autre conséquent. Si l'âme est immortelle, il faut pratiquer la vertu, voilà une proposition conditionnelle;
Les causales, c'est-à-dire celles qui renferment plusieurs parties liées par un mot de cause, parce que, afin que, quia, ut :
Tolluntur in altum.
Ut lapsu graviore ruant.
Les relatives, c'est-à-dire celles qui renferment quelque comparaison et quelque rapport, v. g. : Où est votre trésor, là est votre cœur;
Les discrétives, c'est-à-dire celles qui renferment plusieurs parties unies parles particules mais, néanmoins, sed, tamen: Cœlum, non animum mutant, qui trans mare currunt.
Les propositions composées dont la composition est cachée sont de quatre sortes, d'après Port-Royal : il y a les exclusives, les exceptives, les comparatives, les inceptives et les désitives.
Les exclusives sont celles qui marquent qu'un attribut convient à un sujet et ne convient qu'à lui seul, v. g. : Deus solus fruendus, reliqua utenda.
Les exceptives sont celles qui affirment une chose en faisant quelque exception, v. g. : Avarus nisi quùm moritur, nil recte facit.
Les comparatives sont celles qui établissent une comparaison entre deux choses, v. g. iMeliora sunt vulneraamici quamfraudulenta oscula inimici.
Les inceptives ou désitives sont celles où l'on dit qu'une chose a commencé ou cessé d'être, v. g. : La langue latine a cessé d'être la langue vulgaire de l'Italie, depuis que l'italien a commencé à devenir la langue nationale.
Restent à définir les propositions catégoriques et modales.
Les propositions sont catégoriques, quand elles affirment pu-
rement et simplement l'attribut du sujet, v. g. : L/àme est immortelle.
Elles sont modales, quand elles affirment la manière dont l'attribut convient au sujet, v. g. : Dieu est infiniment bon. L'ancienne Logique distinguait quatre espèces de propositions modales, parce que l'attribut peut être affirmé du sujet de quatre manières, comme possible et comme impossible, comme contingent et comme nécessaire.
La théorie de la proposition telle que nous venons de l'exposer est d'une importance capitale pour la théorie du syllogisme, dont elle nous donne comme la clef.
Le syllogisme, en effet, n'est qu'un groupe de trois propositions disposées de telle sorte que la troisième soit une conséquence nécessaire des deux autres; or, pour bien disposer la majeure, la mineure et la conclusion, il faut connaître nécessairement la nature et les caractères des propositions qui les constituent.
Aussi des huit règles du syllogisme simple, il y en a quatre qui concernent les propositions :
Ambae affirmantes nequeunt generare negantem. Utraque si praemissa neget, nihil inde sequetur. Pejorem sequitur semper conclusio partem. Nil sequitur geminis è particularibus unquam.
L'explication de ces règles se tire tout entière des principes posés à propos de la quantité et de la qualité des propositions.
De plus, les modes du syllogisme ne sont que les différentes formes qu'il présente d'après la disposition des propositions qui le composent, universelles affirmatives, universelles négatives, particulières affirmatives, particulières négatives : A, E, I, 0.
Barbara, Celarent, Darii, Ferio;
Cesare, Camestres, Festino, Baroco;
Darapti, Felapton, Disamis, Datisi, Bocardo, Ferison;
Barbari, Calentes, Dibatis, Fespamo, Fresison.
Enfin les diverses espèces de syllogismes, syllogismes composés, syllogismes conditionnels, syllogismes disjonctifs, syllogismes copulatifs, ne s'appellent ainsi que parce que leur majeure est