EXISTENTIAL IMPORT IN AVICENNA'S MODAL LOGIC

• Published in: Arabic sciences and philosophy : a historical journal Vol. 26; no. 1; pp. 45 - 71
• Main Author: Chatti, Saloua
• Format: Journal Article
• Language: English
• Published: Cambridge, UK Cambridge University Press 01.03.2016
• Subjects: Logic; Propositions
• ISSN: 0957-4239; 1474-0524
• DOI: 10.1017/S0957423915000119

In this paper, I raise the following problem: what propositions have an import in Avicenna's modal logic? Which ones do not? Starting from the assumption that the singular and quantified propositions have an import if they require the existence of their subject's referent(s) to be true, I first discuss the import of the absolute propositions then I analyze the import of the modal propositions by considering Avicenna's definitions and the relations between these propositions. This leads to the following results: Avicenna's general opinion is that the affirmatives, be they assertoric or modal, have an import while the negatives do not. The possible affirmative propositions are given an import both in the externalist and the internalist post-Avicennan readings, provided that the subject is not impossible. However, the theory is not always clear, for the propositions containing ‘sometimes not’ are given an import, together with the negative necessaries containing ‘as long as it is P’, despite their negative character; the necessary affirmative propositions containing ‘as long as it is P’ are given an import, although they do not require it. In addition, Avicenna's analysis of the special assertorics E and O (containing the internal conditions ‘at some times but not always’) and their contradictories is erroneous, which does not help determine their import. But when correctly analyzed, these special E and O do not have an import, while their contradictories – I and A special assertorics respectively – have an import. Dans cet article, je pose le problème suivant: quelles propositions ont un import dans la logique modale d'Avicenne? Lesquelles n'en ont pas? Partant de l'assomption que les propositions singulières et quantifiées ont un import si elles requièrent l'existence de leur sujet pour être vraies, j'analyse d'abord l'import des propositions absolues, ensuite celui des propositions modales en tenant compte des définitions d'Avicenne et des relations entre ces propositions. Cette analyse conduit aux résultats suivants: Avicenne défend l'opinion générale selon laquelle les affirmatives, qu'elles soient modales ou assertoriques, ont un import alors que les négatives n'en ont pas. Il attribue un import aux propositions possibles affirmatives aussi bien dans l'interprétation externaliste que dans l'interprétation internaliste des logiciens post-Avicenniens, pourvu que le sujet ne soit pas impossible. Toutefois, la théorie n'est pas toujours claire, car Avicenne attribue un import aux propositions contenant ‘parfois non’ et aux nécessaires négatives contenant ‘tant qu'il est P’ malgré leur caractère négatif; les propositions nécessaires affirmatives contenant ‘tant qu'il est P’ sont considérées comme ayant un import alors qu'elles ne l'exigent pas. De plus, l'analyse qu'il donne des assertoriques spéciales E et O (contenant les conditions internes ‘parfois mais pas toujours’) et de leurs contradictoires est erronée, ce qui ne permet pas de déterminer clairement leur import. Mais quand elles sont correctement analysées, ces propositions E et O n'ont pas d'import, alors que leurs contradictoires – les assertoriques spéciales I et A respectivement – ont un import.