Dans l'histoire générale de la logique, l'étape que constituent les travaux des logiciens arabes du Moyen Âge demeure en grande partie encore aujourd'hui terra incognita (Rescher, 1963). Portant sur la notion de proposition chez ces auteurs, la thèse se veut une contribution à l'exploration de cette étape importante du développement de la logique. Dans une première partie, on y trouve un exposé analytique de leur théorie de la signification. Une deuxième partie examine l'enseignement particulier des commentateurs arabes d'Aristote à propos des parties intégrales de la proposition. Une troisième et dernière partie, enfin, analyse les diverses définitions de la proposition que l'on trouve dans les écrits de cette époque. Les résultats de cette recherche tendent à montrer que la logique arabe, du moins pour le sujet et l'époque étudiés, même si elle a sa source chez Aristote, n'en demeure pas moins très fortement influencée dans son développement par le contexte général de la pensée arabo-musulmane, contexte dominé par la langue arabe (et sa grammaire) et la religion islamique (et son texte sacré, le Coran).