Language and Logic in the Graeco-Arabic Tradition: A History of Propositional Analysis from the Hellenic Commentators on Aristotle to Theories of the Proposition in Arabic Philosophy, 900-1350