We present in this article a new logical system inspired from linear logic. This system is designed in order to express causality and dynamism. The cut elimination theorem holds for this logic. Examples of applications are given.

RésuméDans le présent article, on expose la théorie aristotélicienne des comètes, bien diffusée en Occident musulman par le biais des commentaires d'Ibn Rušd et d'Ibn Bāǧǧa, et abordée trois siècles plus tard dans un manuscrit inédit attribué au fameux mathématicien Ibn Ġāzī al-Miknāsī. Dans ce traité qui ne figure pas dans la liste connue de ses écrits, Ibn Ġāzī traite de l'astrologie des comètes suivant Ptolémée, et insére une critique attribuée à Iḫwān al-Ṣafā’, caractérisée par le rejet de l'idée des (...) comètes sidérales. On s'intéresse également aux classifications des comètes données par Ibn Ġāzī et un autre auteur peu connu ‘Alī al-Antākī. Ainsi, nous avons constaté que le contenu du De cometis du pseudo-Ptolémée est analogue au le texte d'Ibn Ġāzī, et pratiquement identique au texte d'al-Antākī. Par la suite, on analyse les observations de comètes réalisées du ixe jusqu’à la fin du xixe s. en Afrique du Nord et en Espagne musulmane, et consignées dans certains manuscrits d'astronomie et chroniques en langue arabe, mais qui n'ont jamais fait l'objet d’études approfondies. Les observations étudiées sont : les deux comètes X/975 P1 et X/998 D1 signalées par un auteur anonyme du xve s., l'observation de la comète X/1381 V1 rapportée par Ibn al- Qāḍī, le passage de la comète de Halley en 1456 rapporté par Muḥammad al-Zarkašī, la comète en C/1743 X1 observée par ‘Abd al-Razzāq ibn Ḥamadūš, et qui confirme sa structure en éventail, les deux observations de Ibn ‘Alī al-Šrīf al-Šalāṭī de la D/1770 L1, et surtout son témoignage concernant la C/1769 P1 où il a inséré une représentation graphique inédite en Occident musulman. (shrink)

We present in this article a new logical system inspired from linear logic. This system is designed in order to express causality and dynamism. The cut elimination theorem holds for this logic. Examples of applications are given.