 Avicenna’s original contributions in this area include: (1) re-casting the model of the Posterior Analytics in terms of the two fundamental notions of conception and assertion (Strobino 2010 and 2015b), associating them with (2) a more systematic, and ultimately simplified, treatment of the four Aristotelian questions (if, that, what, why) (Strobino 2015b); (3) a peculiar understanding of the notion of necessity in light of Avicenna's own distinction between the referential/substantial and the descriptional reading (Strobino 2015a); (4) a sophisticated account of per se, linked with the theory of the predicables (Strobino 2016b); (5) an elaborate model for the classification of the sciences (Strobino 2017); (6) an innovative classification of that- and why-demonstrations (Strobino forthcoming); and (7) a commitment to the applicability of formal logic as a whole to scientific discourse, for instance through the explicit acknowledgment of the fact that the principles and conclusions of demonstrative arguments may be both categorical and hypothetical propositions, and that categorical as well as hypothetical (and repetitive) syllogisms play a role in the sciences.