 A point that Avicenna borrows from al-Fārābī (Strobino 2017) is the acknowledgment of the fact that the logical forms of scientific statements (whether premises or conclusions) include both categorical and hypothetical propositions and that demonstrative arguments may be both categorical and hypothetical (or even repetitive) syllogisms. What may look like a minor technical point has in fact significant implications for a better understanding of some of Avicenna’s motives in developing his formal logic.