Abstract
RésuméLa logique d'Avicenne est présentée dans plusieurs traités, dont le plus important est Al-Qiyās, qui est inclus dans son livre encyclopédique Al-Šifā’. Mais le traité intitulé Manṭiq al-mašriqiyyīn est celui qui, selon certains commentateurs, exprime la véritable logique d'Avicenne. On peut donc poser la question suivante : ce traité est-il en conflit avec Al-Qiyās et les autres écrits d'Avicenne? Dans cet article, nous répondrons à cette question en comparant les analyses d'Avicenne des propositions absolues, i. e. non modales. Nous montrerons qu'il n'y a pas de différence radicale entre les deux traités sur ce sujet puisque la plupart des conditions ajoutées aux propositions absolues dans Al-Qiyās peuvent être trouvées dans Manṭiq al-mašriqiyyīn. Ces conditions sont les suivantes : “tant que S existe”, “tant qu'il est S”, “tant qu'il est P”, “parfois”, “à un moment déterminé”, “parfois mais pas en permanence”. Dans Manṭiq al-mašriqiyyīn, la ḍarūrīya contient, la lāzima contient, la muntašira contient, la mafrūḍa contient, la wujūdiyya contient, mais est abandonnée. La waqtiyya était évoquée dans Al-Qiyās mais sans être classifiée. L'analyse temporelle initiée dans Al-Qiyās est donc poursuivie et développée dans Manṭiq al-mašriqiyyīn, même si dans ce dernier elle est parfois confuse.