Introduction
Datisi et Disamis constituent deux modes importants de la troisième figure, dans laquelle le moyen terme occupe la position de sujet dans les deux prémisses. Contrairement à la première figure où la distribution semble naturelle, et à la deuxième figure où le moyen terme est prédicat, la troisième figure impose une compréhension plus nuancée de la quantification et de la distribution des termes. Datisi (All) et Disamis (IAI) produisent tous deux des conclusions particulières affirmatives, ce qui en fait des modes particulièrement intéressants pour établir l'existence de liens partiels entre les termes extrêmes.
Structure et caractéristiques formelles
Le mode Datisi (AII)
Datisi suit la structure propositionnelle AII : la prémisse majeure est universelle affirmative (A), la prémisse mineure est particulière affirmative (I), et la conclusion est particulière affirmative (I). En formule aristotélicienne :
- Prémisse majeure : « Tout M est P »
- Prémisse mineure : « Certains M sont S »
- Conclusion : « Certains S sont P »
Exemple traditionnel : « Tout sage est vertueux ; or certains philosophes sont sages ; donc certains philosophes sont vertueux. » Datisi représente un instrument logique précieux pour établir l'existence de cas particuliers jouissant d'une propriété universelle. Dans le contexte de la science naturelle médiévale, ce mode permet de passer de l'énoncé de propriétés universelles à des conclusions sur des cas existants spécifiques.
Distribution des termes et validité
La validité de Datisi repose sur une compréhension claire de la distribution des termes. Le moyen terme (M), bien que sujet dans les deux prémisses, n'est distribué que dans la majeure universelle affirmative. Le terme S demeure indistribué dans la prémisse mineure particulière affirmative. La conclusion, étant une particulière affirmative, ne distribue ni son sujet ni son prédicat. Cette configuration respecte toutes les règles du syllogisme valide, notamment la rule que « le moyen terme doit être distribué au moins une fois ».
Le mode Disamis (IAI)
Disamis suit la structure propositionnelle IAI : la prémisse majeure est particulière affirmative (I), la prémisse mineure est universelle affirmative (A), et la conclusion est particulière affirmative (I). En formule :
- Prémisse majeure : « Certains M sont P »
- Prémisse mineure : « Tout M est S »
- Conclusion : « Certains S sont P »
Exemple : « Certaines créatures sont intelligentes ; or toute créature intelligente est libre ; donc certaines créatures libres existent. » Disamis possède une structure remarquable : l'affirmation particulière de la majeure combinée à l'affirmation universelle de la mineure produit nécessairement-de-necessario-necessairement-p) une conclusion qui établit l'existence de cas particuliers jouissant de la propriété établie.
Caractéristiques distinctives de Disamis
La particularité de Disamis tient à ce que le moyen terme, bien que sujet dans les deux prémisses, n'est distribué que dans la prémisse mineure universelle affirmative. Cette configuration crée une dynamique argumentative singulière : on démarre d'une affirmation particulière que certains membres d'une classe possèdent une propriété, puis on établit que tous les membres de cette classe jouissent d'une autre propriété, ce qui garantit l'existence de cas particuliers combinant les deux propriétés.
Caractéristiques générales de la troisième figure
Le moyen terme en position de sujet
La caractéristique qui définit la troisième figure est que le moyen terme occupe la position de sujet dans les deux prémisses. Cette configuration présente un défi logique particulier : comment une classe définie comme sujet dans deux propositions peut-elle établir une relation entre deux termes extrêmes ? La réponse réside dans la compréhension que le moyen terme fournit un domaine de validité au sein duquel les relations entre les termes extrêmes peuvent être établies.
Conclusions toujours particulières
Une caractéristique remarquable de tous les modes de la troisième figure — Datisi, Disamis, Bocardo et Felapton — est que leurs conclusions sont nécessairement particulières affirmatives ou négatives. Aucun mode de la troisième figure ne peut produire une conclusion universelle. Cette limitation découle logiquement des règles du syllogisme : si le moyen terme est sujet dans les deux prémisses, il ne peut jamais être distribué deux fois, ce qui est requis pour générer une conclusion universelle.
Contexte historique et transmission
Origines aristotéliciques
Dans l'Organon, Aristote reconnaît la validité des modes de la troisième figure, bien qu'il les considère comme moins évidents que ceux de la première figure. Les logiciens grecs tardifs et les commentateurs arabes ont développé une théorie plus complète de ces modes. La transmission de ces doctrines s'est effectuée par l'intermédiaire de Boèce et des logiciens médiévaux.
Codification médiévale
Les scolastiques médiévaux, notamment Pierre d'Espagne, intégrèrent Datisi et Disamis dans le schéma mémoriel général : « Darapti, Disamis, Bocardo, Felapton » pour la troisième figure. L'ordre même de ces modes dans la formule mnémonique réfléchit une organisation pédagogique sophistiquée, facilitant la mémorisation et l'apprentissage.
Applications philosophiques et théologiques
Usage en métaphysique
Datisi et Disamis interviennent fréquemment dans les démonstrations métaphysiques lorsqu'il s'agit d'établir que certaines propriétés appartiennent à certains membres d'une classe plus vaste. Par exemple, en démontrant l'existence de causes dans le monde créé : « Tous les êtres contingents requièrent une cause ; or certaines créatures sont contingentes ; donc certaines créatures requièrent une cause. »
Usage en théologie naturelle
En théologie naturelle, ces modes permettent de passer de principes universels sur la nature aux conclusions sur l'existence spécifique de phénomènes. Disamis s'avère particulièrement utile pour établir que certaines propriétés divines ou certains attributs s'appliquent effectivement aux créatures ou aux phénomènes observables.
Disputes et questions disputées
Dans les disputes universitaires médiévales, Datisi et Disamis figurent souvent dans les arguments des parties. Leur capacité à établir des conclusions particulières affirmatives les rend précieux pour qui désire affirmer l'existence de cas particuliers jouissant de propriétés spécifiques, tout en se basant sur des principes universels ou partiels.
Comparaison avec les autres figures
Contraste avec la première figure
Tandis que la première figure, avec ses modes Barbara, Celarent, Darii et Ferio, offre une clarté presque intuitive, la troisième figure demande un effort intellectuel accru. Cette difficulté relative constituait autrefois un instrument pédagogique : maîtriser Datisi et Disamis représentait une étape décisive dans la formation logique de l'étudiant.
Relation à la deuxième figure
La deuxième figure, avec Cesare, Camestres, Festino et Baroco, génère des conclusions universelles négatives. La troisième figure complète ce tableau en générant des conclusions particulières affirmatives ou négatives. Ensemble, les trois figures couvrent l'espace logique complet possible sous les contraintes du syllogisme aristotélicien.
Pertinence pédagogique et contemporaine
Formation progressive de l'esprit logique
L'étude ordonnée des trois figures du syllogisme constitue un programme pédagogique excellent pour la formation de l'esprit logique. Commencer avec la première figure, progresser vers la deuxième, et finalement maîtriser la troisième figure crée une ascension intellectuelle naturelle, du plus intuitif au plus exigeant.
Actualité de la logique formelle
Bien que la logique symbolique moderne ait supplanté le syllogisme traditionnel dans les traités académiques, la compréhension des modes syllogistiques demeure pertinente pour quiconque désire saisir les fondements de la pensée logique. Datisi et Disamis illustrent comment des principes peuvent être appliqués à des cas particuliers, une capacité demeurée fondamentale.
Intégration dans le trivium
Datisi et Disamis ne peuvent se comprendre que dans leur contexte plus large du trivium. La grammaire fournit les formes propositionnelles, la logique (dont la maîtrise des syllogismes) discipline l'esprit, et la rhétorique utilise ces structures de raisonnement pour persuader et mouvoir les esprits.
Références et sources traditionnelles
- Aristote, Organon (Premiers Analytiques, Livre I, Chapitres 6-7)
- Boèce, Commentaria in Aristotelem Graeca (Commentaires aux Premiers Analytiques)
- Pierre d'Espagne, Summulae Logicales (XIIIe siècle)
- Thomas d'Aquin, Commentum in Libros Sententiarum (sur la logique appliquée)
- Jean de Salisbury), Metalogicon (sur la transmission de la logique grecque)
- Albertus Magnus, Commentaria super Analytica Priora
- Guilelmi de Ockham, Summa Logicae
Pour aller plus loin
- Première figure du syllogisme - Structure intuitive
- Deuxième figure du syllogisme - Prédicat dans les deux prémisses
- Troisième figure du syllogisme - Contexte général
- Le syllogisme - Théorie complète
- La logique d'Aristote) - Fondements théoriques
- Glossaire Latin) - Termes essentiels
- Les Arts Libéraux - Vue d'ensemble
Ce point fait partie du manuel complet "Les Arts Libéraux Classiques : Tradition Antique et Médiévale" qui présente les 362 points essentiels de la tradition éducative occidentale.