 The innovations introduced by Avicenna include systematic as well as technical points: from the division of logic into its main areas to the reading of propositions and the understanding of modality; from a new account of hypothetical propositions to his theory of demonstration.