 Several particular doctrines of Arabic logic, however, were very influential. Among them was Avicenna’s theory of the subject matter of logic, with its related doctrine of first and second intentions. Avicenna’s basic claim is that logic deals with second-order concepts. This is discussed in the logic part of The Healing, but spelled out in technical vocabulary in the metaphysics part (Metaphysics I,2): “The subject matter of logic is the secondary intelligible concepts (al-maʿānī al-maʿqūla al-thāniyya, intentiones intellectae secundo), which depend on the primary intelligible concepts with respect to the manner by which one arrives through them at the unknown from the known”. In this sentence, “concept” (maʿnan) is rendered in Latin with the term intentio.