otherwise, the mere division is an unsupported claim. It is like saying that existence is divided into what exists and what does not exist; or into the eternal, that which comes into being, and that which is neither; or into the necessary, the contingent, and that which is neither necessary nor contingent. Such a division turns on negation and affirmation, but does not entail that every category exists.
If it is said, “Existence is divided into what has a cause and what has no cause,” and then, “What has a cause is divided into the genuinely contingent—which is what comes into being—and the contingent in Ibn Sīnā’s terminology—which is what has a cause despite being necessary,” then, having established the division of what has a cause into the necessary and that which comes into being, he would at most have established the existence of these two categories, or the existence of a necessary being that has a cause. This does not establish a necessary being without a cause, which is the Necessary Existent in itself. Thus, what he has stated does not establish the Necessary Existent in itself. How could it, when it does not even establish a necessary being that has a cause, but merely divides what has a cause into the necessary and the non-necessary?
Merely dividing something into two categories does not demonstrate that both exist. Thus, what he has stated establishes neither a necessary being that has a cause nor one that has no cause, unless he shows that what comes into being points to this. Yet he has not argued from coming into being at all, although what comes into being is the genuinely contingent. Rather, he has argued from the notion of the contingent that he invented, making it encompass both the eternal and necessary and that which comes into being. Had he argued from what comes into being, it would have established something eternal. But establishing something eternal does not establish the Necessary Existent in their terminology, since, according to them, the eternal is divided into the necessary and the contingent.