My own preferred term for the material I cover is “Arabic logic.” The term as I use it refers to a tradition of logic rooted in the texts translated from Greek into Arabic in a movement beginning in the eighth century CE. The tradition gradually settled on a set of technical terms with which to translate and discuss the Aristotelian corpus and its associated late antique commentaries; it also came to agree on what were the major problems in the corpus which demanded resolution. Focussed at first on these problems, a continuous line of discussions has evolved and carried forward in one form or another down to today.