Page:Metaphysics by Aristotle Ross 1908 (deannotated).djvu/83

This page has been proofread, but needs to be validated.
Γ. BOOK IV
1005b

same thing to be and not to be; for if a man were mistaken in this point he would have contrary opinions at the same time. It is for this reason that all who are carrying out a demonstration reduce it to this as an ultimate belief; for this is naturally the starting-point even for all the other axioms.[1]

Chapter 4

There are some who, as we have said, both themselves assert that it is possible for the same thing to be and not to be, and say that people can judge this to be the case. And among others many writers about nature use this language. But we have now posited that it is impossible for anything at the same time to be and not to be, and by this means have shown that this is the most indisputable of all principles.[2]—Some indeed demand that even this shall be demonstrated, but this they do through want of education, for not to know of what things one may demand demonstration, and of what one may not, argues simply want of education. For it is impossible that there should be demonstration of absolutely everything; there would be an infinite regress, so that there would still be no demonstration. But if there are things of which one should not demand demonstration, these persons cannot say what principle they regard as more indemonstrable than the present one.

We can, however, demonstrate negatively even that this view is impossible, if our opponent will only say something; and if he says nothing, it is absurd to attempt to reason with one who will not reason about anything, in so far as he refuses to reason. For such a man, as such, is seen already to be no better than a mere plant. Now negative demonstration I distinguish from demonstration proper, because in a demonstration one might be thought to be begging the question, but if another person is responsible for the assumption we shall have negative proof, not demonstration. The starting-

  1. With ch. 3 cf. b. 995b7-10, 996b26-997a15.
  2. i.e. we have shown that since A cannot be both B and not-B, no one can think A is both B and not-B (1005b22-31).