 The culmination of Avicenna’s formal logic is the development of an elaborate theory of the syllogism that brings together various strands from ancient and late ancient logic, filtered through Peripatetic lenses, and produces a new and original system.