triangle a b e, the less triangle equal to the greater, which is absurd. Therefore a b is not unequal to a c, that is, a b is equal to a c."
Now, in this demonstration we have a reason of knowing for the truth of the proposition. But who bases his conviction of that geometrical truth upon this proof? Do we not rather base our conviction upon the reason of being, which we know intuitively, and according to which (by a necessity which admits of no further demonstration, but only of evidence through intuition) two lines drawn from both extreme ends of another line, and inclining equally towards each other, can only meet at a point which is equally distant from both extremities ; since the two arising angles are properly but one, to which the oppositeness of position gives the appearance of being two ; where fore there is no reason why the lines should meet at any point nearer to the one end than to the other.
It is the knowledge of the reason of being which shows us the necessary consequence of the conditioned from its condition in this instance, the lateral equality from the angular equality that is, it shows their connection ; whereas the reason of knowing only shows their coexistence. Nay, we might even maintain that the usual method of proving merely convinces us of their coexistence in the actual figure given us as an example, but by no means that they are always coexistent ; for, as the necessary connection is not shown, the conviction we acquire of this truth rests simply upon induction, and is based upon the fact, that we find it is so in every figure we make. The reason of being is certainly not as evident in all cases as it is in simple theorems like this 6th one of Euclid ; still I am persuaded that it might be brought to evidence in every theorem, however complicated, and that the proposition can always be reduced to some such simple intuition. Besides, we are all just as conscious a priori of the necessity
