 (1) Categorical syllogisms are those whose premises and conclusions are all and only categorical propositions. Their treatment constitutes one of Avicenna’s most original contributions. It follows paths and adopts techniques that are familiar in the Aristotelian tradition but the resulting system is original and based on distinctive intuitions, largely due to the sophisticated understanding of modality that emerges in the analysis of propositions.