 Among the several innovations Avicenna may be credited with is the codification of a canonical division, echoing distinctions already brewing in ancient and late ancient logic, of syllogisms in a number of categories that became standard conceptual vocabulary in later Arabic logic.