In the second figure whenever both premisses are problematic, no syllogism is possible, whether the premisses are affirmative or negative, universal or particular. But when one premiss is assertoric, the other problematic, if the affirmative is assertoric no syllogism is possible, but if the universal negative is assertoric a conclusion can always be drawn. Similarly when one premiss is necessary, the other problematic. Here also we must understand the term ‘possible’ in the conclusion, in the same sense as before.

First we must point out that the negative problematic proposition is not convertible, e.g. if A may belong to no B, it does not follow that B may belong to no A. For suppose it to follow and assume that B may belong to no A. Since then problematic affirmations are convertible with negations, whether they are contraries or contradictories, and since B may belong to no A, it is clear that B may belong to all A. But this is false: for if all this can be that, it does not follow that all that can be this: consequently the negative proposition is not convertible. Further, these propositions are not incompatible, ‘A may belong to no B’, ‘B necessarily does not belong to some of the As’; e.g. it is possible that no man should be white (for it is also possible that every man should be white), but it is not true to say that it is possible that no white thing should be a man: for many white things are necessarily not men, and the necessary (as we saw) other than the possible.

Moreover it is not possible to prove the convertibility of these propositions by a reductio ad absurdum, i.e. by claiming assent to the following argument: ‘since it is false that B may belong to no A, it is true that it cannot belong to no A, for the one statement is the contradictory of the other. But if this is so, it is true that B necessarily belongs to some of the As: consequently A necessarily belongs to some of the Bs. But this is impossible.’ The argument cannot be admitted, for it does not follow that some A is necessarily B, if it is not possible that no A should be B. For the latter expression is used in two senses, one if A some is necessarily B, another if some A is necessarily not B. For it is not true to say that that which necessarily does not belong to some of the As may possibly not belong to any A, just as it is not true to say that what necessarily belongs to some A may possibly belong to all A. If any one then should claim that because it is not possible for C to belong to all D, it n............