To be sure.
And so when he says "If one is not" he clearly means, that what "is not"
is other than all others; we know what he means--do we not?
Yes, we do.
When he says "one," he says something which is known; and secondly something which is other than all other things; it makes no difference whether he predicate of one being or not-being, for that which is said "not to be" is known to be something all the same, and is distinguished from other things.
Certainly.
Then I will begin again, and ask: If one is not, what are the consequences? In the first place, as would appear, there is a knowledge of it, or the very meaning of the words, "if one is not," would not be known.
True.
Secondly, the others differ from it, or it could not be described as different from the others?
Certainly.
Difference, then, belongs to it as well as knowledge; for in speaking of the one as different from the others, we do not speak of a difference in the others, but in the one.
Clearly so.
Moreover, the one that is not is something and partakes of relation to "that," and "this," and "these," and the like, and is an attribute of "this"; for the one, or the others than the one, could not have been spoken of, nor could any attribute or relative of the one that is not have been or been spoken of, nor could it have been said to be anything, if it did not partake of "some," or of the other relations just now mentioned.
True.
Being, then, cannot be ascribed to the one, since it is not; but the one that is not may or rather must partic.i.p.ate in many things, if it and nothing else is not; if, however, neither the one nor the one that is not is supposed not to be, and we are speaking of something of a different nature, we can predicate nothing of it. But supposing that the one that is not and nothing else is not, then it must partic.i.p.ate in the predicate "that," and in many others.
Certainly.
And it will have unlikeness in relation to the others, for the others being different from the one will be of a different kind.
Certainly.
And are not things of a different kind also other in kind?
Of course.
And are not things other in kind unlike?
They are unlike.
And if they are unlike the one, that which they are unlike will clearly be unlike them?
Clearly so.
Then the one will have unlikeness in respect of which the others are unlike it?
That would seem to be true.
And if unlikeness to other things is attributed to it, it must have likeness to itself.
How so?
If the one have unlikeness to one, something else must be meant; nor will the hypothesis relate to one; but it will relate to something other than one?
Quite so.
But that cannot be.
No.
Then the one must have likeness to itself?
It must.
Again, it is not equal to the others; for if it were equal, then it would at once be and be like them in virtue of the equality; but if one has no being, then it can neither be nor be like?
It cannot.
But since it is not equal to the others, neither can the others be equal to it?
Certainly not.
And things that are not equal are unequal?
True.
And they are unequal to an unequal?
Of course.
Then the one partakes of inequality, and in respect of this the others are unequal to it?
Very true.
And inequality implies greatness and smallness?
Yes.
Then the one, if of such a nature, has greatness and smallness?
That appears to be true.
And greatness and smallness always stand apart?
True.