Classical Arabic Philosophy: An Anthology of Sources. Trans. Jon McGinnis and David C. Reisman. Indianapolis: Hackett Publishing Co. Inc., 2007. pp 54-140.
Excerpt from Introduction:
“Our aim in this book is to enumerate the things from which proposition are composed and into which they are divided, that is, each one of the parts of the premises used generally in all of the syllogistic disciplines. So we say: Every proposition is either categorical or conditional. Every conditional proposition is made up of two categorical propositions connected by a conditional particle. Every categorical proposition is composed of and divided into a predicate and a subject. Every predicate and every subject is either a term indicating a meaning (ma’na’) or a meaning that a given term indicates. Every meaning that a given term indicates is either universal or individual.”