Ibn Rušd a consacré un certain nombre de travaux auxPremiers Analytiquesd'Aristote. Dans une série d'opusculesconsécutifs à sonCommentaire moyendesAPr.et dont la rédaction s'étale sur plus de vingt ans il s'est trouvé confronté à un problème spécifique à la syllogistique modale, celui du mode de la conclusion dans les syllogismes mixtes.Le problème peut se poser ainsi: Aristote a établi au début d'APr.un principe formel de déduction, le principe d'attribution universelle (APr.I, 1, 24b26'30). Appliqué dans la syllogistique modale ce principe tel quel s'avère (...) insuffisant. Sa généralité ne permet pas de l'appliquer de manière univoque dans tous les syllogismes modaux. Les commentateurs ont dû l'interpreter pour garder une cohérence aux declarations d'Aristote. Exposant les interpretations des commentateurs, principalement al-Fārābī et Alexandra, à partir duGrand commentaired'al-Fārābī auxAPr., Ibn Rušd les critique respectivement. Appliqué selon l'interpretation d'Alexandre, le principe d'attribution universelle n'est valable que pour les syllogismes modaux dont une des prémisses est nécessaire, l'autre assertorique; suivant l'interprétation d'al-Fārābī, il ne se vérifie que dans le cas où la mineure est possible. Averroès propose quant à lui d'abord deux premieres solutions. Ce principe formel de déduction aurait des conditions d'application differentes suivant les differences modales des prémisses mineures dans les syllogismes mixtes (première solution), ou aurait deux acceptions, l'une générale et l'autre propre a chaque modalité (deuxieme solution). Ces solutions ne sont pas satisfaisantes car elles mettent en cause l'unité et l'universalité du principe d'attribution universelle tel qu'Aristote l'a établi. Quelle est l'utilité, s'interroge Averroès, d'un principe qui ne se vérifie pas pour toutes les modalités ou qui ne s'applique pas à toutes les prémisses, dès lors que le traité desAPr.doit fournir des principes formels et universels de déduction? Et pourquoi Aristote a-t-il défini le principe d'attribution universelle sans différencier son application selon chacune des trois premisses modales? Revenant a la fin de sa carriere a une exegese litterale des propos d'Aristote et sans rappeler les solutions précédentes, il propose une théorie de la modalisation des termes (quatrieme solution) pour sauver la littéralité des déclarations d'Aristote relatives au principe d'attribution universelle et au mode de la conclusion des syllogismes mixtes (APr., I, 9, 30al5–20). Bien que formellement insuffisante cette solution, qui a eu une postérité, propose une réflexion nouvelle sur la classification des propositions modales. (shrink)