On Equipollence and Opposition Between Connective-Conditional Propositions

Abstract

What we did until now is to give a general classification of conditional propositions. We did not classify separative propositions according to whether they are compounded of predicative or mixed, namely predicative and conditional, propositions; or of two or more than two parts. Also, we did not classify connective propositions according to their quality, quantity and modality; or according to whether their antecedents or consequents are one of the eight following things: definite, indefinite, dyadic, triadic, absolute, and specific (munawwaʿa) which is to say that they are either necessary or possible or impossible; or according to any similar considerations. Further we did not construct the one from the other giving every kind a specific name. For all this work is worthy of the person who finds the time to occupy himself with what is not necessary. Working out and enumerating these kinds of propositions is, to the person who has the slightest intelligence and who is ready to do it, one of the easiest and simplest works.