It is not, therefore, alone to these two general propositions 'whatsoever is, is'; and 'it is impossible for the same thing to be and not to be' that this sort of self evidence belongs by any peculiar right.