Cet article vise à restituer la doctrine du « signe du manifeste au caché » d'Abū Hāšim al-Ğubbāʾī (888-933). Il montre qu'Abū Hāšim a tendu à interpréter ce signe comme une inférence, dont il a reconnu deux types principaux : le type-1 (la « communauté de preuve », al-ištirāk fī al-dalāla) procède par déduction analytique de concepts en neutralisant les conditions de réalisation de ces derniers, c'est-à-dire leur soubassement ontologique. C'est, typiquement, la procédure la plus directement consonante avec l'ontologie modale d'Abū Hāšim. Le type-2 (la « communauté de cause », al-ištirāk fī al-ʿilla) exhibe un même rapport de causalité au plan du connu et au plan de l'inconnu et considère que la causalité au plan du connu est elle-même la cause de la causalité au plan de l'inconnu. Cette partition parfaitement inédite dans la philosophie et le kalām est en revanche préfigurée dans la doctrine de la preuve exposée par al-Ḫwārizmī dans son Algèbre. Al-Ḫwārizmī distingue en effet entre la preuve « par la cause » (bi-al-ʿilla), qui consiste à transférer une certaine déduction géométrique au plan de l'algèbre et la preuve « par l'expression » (bi-al-lafẓ) qui opère directement sur les expressions algébriques, qu'elle réduit analytiquement. En se fondant sur un texte d'Abū Hāšim consacré à la connaissance humaine qui paraît se référer à l’œuvre d'al-Ḫwārizmī, l'article suggère pour finir que le parallèle conceptuel étroit entre la doctrine de la preuve d'al-Ḫwārizmī et la doctrine du signe d'Abū Hāšim pourrait ne pas être une simple coïncidence. Deux appendices ont été ajoutés. Le premier traite de la lecture par al-Fārābī de la théorie de l'inférence d'Abū Hāšim. Le second, en s'appuyant sur toutes les données disponibles, établit pour la première fois les dates correctes et précises de la vie d'Abū Hāšim.

This article aims to unravel the doctrine of the “sign from the manifest to the hidden” of Abū Hāšim al-Ğubbāʾī (888-933). It shows that Abū Hāšim tended to interpret this sign as an inference, of which he recognized two main types: Type-1 (the “community of evidence”, al-ištirāk fī al-dalāla) proceeds by analytical deduction of concepts by neutralizing the conditions of their realization, i. e. their ontological basis. This is, typically, the procedure most directly consonant with Abū Hāšim's modal ontology. Type-2 (the “community of cause”, al-ištirāk fī al-ʿilla) exhibits the same causal relationship at the known and unknown levels and considers causality at the known level to be itself the cause of causality at the unknown level. This partition was completely new in philosophy and kalām at the time of Abū Hāšim, but it is foreshadowed in al-Ḫwārizmī’s Algebra. In this book, al-Ḫwārizmī distinguishes between proof “by cause” (bi-al-ʿilla), which consists in transferring a certain geometric deduction to algebra, and proof “by expression” (bi-al-lafẓ), which operates directly on algebraic expressions, which it reduces analytically. A text by Abū Hāšim devoted to human knowledge that seems to refer to the work of al-Ḫwārizmī suggests, finally, that the close parallel between al-Ḫwārizmī’s doctrine of proof and Abū Hāšim's doctrine of the sign may not be a mere coincidence. Two appendices have been added. The first deals with al-Fārābī’s reading of Abū Hāšim's theory of inference. The second, based on all available data, establishes for the first time the correct and precise dates of Abū Hāšim's life.