The Propositional Logic of Avicenna

Translation—Al-Qiy?s Book V.- One On Conditional Propositions and Their Types.- Two On Separative-Conditional Propositions.- Three Onthe Kinds of Combinations in Pure Conditional.- Four On Explaining the Meaning of the Universal, the Particular, the Indefinite and the Singular [Connective-] Conditional Proposition.- Five On the Universal Negative in [Connective-] Conditional Propositions.- Book VI.- One On the Syllogisms Compounded of Connective-Conditional Propositions Arranged in Three Figures.- Two On the Syllogisms Compounded of Connective and Separative Propositions.- Three On the Syllogisms Compounded of Separative Propositions.- Four Onthe Syllogisms Compounded of Predicative and Conditional Propositions.- Five On the Three Figures of the Syllogisms Compounded of a Predicative and a Conditional Proposition Where the Predicative Shares [Either Its Subject or Its Predicate] with [the Subject or the Predicate] of the Antecedent (of the Conditional Proposition).- Six On the Three Figures of the Divided Syllogism.- Book VII.- One On Equipollence and Opposition Between Connective-Conditional Propositions.- Two On the Opposition Between Separative-Conditional Propositions and Separative- and Connective-Conditional Propositions and the State of Their Equipollence.- Three On the Conversion of the Connective Proposition.- Book VIII.- One On the Definition of the Exceptive Syllogism.- Two On the Enumeration of the Exceptive Syllogisms [which have a Separative-Conditional Premiss].- Book IX.- One On Explaining that Exceptive Syllogisms Cannot Be Completed Except by Conjunctive Syllogisms.- Commentary.- Book V.- Book VI.- Book VII.- Book VIII.- Book IX.