(φαινομενον), but all the rest he based upon reasoning (νουμενον). His method reigned supreme through all the succeeding centuries, and it could not but do so as long as pure intuition or perception, a priori, was not distinguished from empirical perception. Certain passages from the works of Proclus, the commentator of Euclid, which Kepler translated into Latin in his book, “De Harmonia Mundi,” seem to show that he fully recognised this distinction. But Proclus did not attach enough importance to the matter; he merely mentioned it by the way, so that he remained unnoticed and accomplished nothing. Therefore, not till two thousand years later will the doctrine of Kant, which is destined to make such great changes in all the knowledge, thought, and action of European nations, produce this change in mathematics also. For it is only after we have learned from this great man that the intuitions or perceptions of space and time are quite different from empirical perceptions, entirely independent of any impression of the senses, conditioning it, not conditioned by it, i.e., are a priori, and therefore are not exposed to the illusions of sense; only after we have learned this, I say, can we comprehend that Euclid's logical method of treating mathematics is a useless precaution, a crutch for sound legs, that it is like a wanderer who during the night mistakes a bright, firm road for water, and carefully avoiding it, toils over the broken ground beside it, content to keep from point to point along the edge of the supposed water. Only now can we affirm with certainty that what presents itself to us as necessary in the perception of a figure, does not come from the figure on the paper, which is perhaps very defectively drawn, nor from the abstract concept under which we think it, but immediately from the form of all knowledge of which we are conscious a priori. This is always the principle of sufficient reason; here as the form of perception, i.e., space, it is the principle of the ground of being, the evidence and validity of which is, however, just as great and as immediate as that of the principle of the ground of knowing, i.e., logical certainty. Thus we need not and ought not to leave the peculiar province of mathematics in order to put our trust only in logical proof, and seek to authenticate mathematics in a sphere which is quite foreign to it, that of concepts. If we confine ourselves to the ground peculiar to mathematics, we gain the great advantage that in it the rational knowledge that something is, is one with the knowledge why it is so, whereas the method of Euclid entirely separates these two, and lets us know only the first, not the second. Aristotle says admirably in the Analyt., post. i. 27: “Ακριβεστερα δ᾽ επιστημη επιστημης και προτερα, ἡτε του ὁτι και του διοτι ἡ αυτη, αλλα μη χωρις του ὁτι, της του διοτι” (Subtilior autem et praestantior ea est scientia, quâ quod aliquid sit, et cur sit una simulque intelligimus non separatim quod, et cur sit). In physics we are only satisfied when the knowledge that a thing is as it is is combined with the knowledge why it is so. To know that the mercury in the Torricellian tube stands thirty inches high is not really rational knowledge if we do not know that it is sustained at this height by the counterbalancing weight of the atmosphere. Shall we then be satisfied in mathematics with the qualitas occulta of the circle that the segments of any two intersecting chords always contain equal rectangles? That it is so Euclid certainly demonstrates in the 35th Prop. of the Third Book; why it is so remains doubtful. In the same way the proposition of Pythagoras teaches us a qualitas occulta of the right-angled triangle; the stilted and indeed fallacious demonstration of Euclid forsakes us at the why, and a simple figure, which we already know, and which is present to us, gives at a glance far more insight into the matter, and firm inner conviction of that necessity, and of the dependence of that quality upon the right angle:—
In the case of unequal catheti also, and indeed generally in the case of every possible geometrical truth, it is quite possible to obtain such a conviction based on perception, because these truths were always discovered by such an empirically known necessity, and their demonstration was only thought out afterwards in addition. Thus we only require an analysis of the process of thought in the first discovery of a geometrical truth in order to know its necessity empirically. It is the analytical method in general that I wish for the exposition of mathematics, instead of the synthetical method which Euclid made use of. Yet this would have very great, though not insuperable, difficulties in the case of complicated mathematical truths. Here and there in Germany men are beginning to alter the exposition of mathematics, and to proceed more in this analytical way. The greatest effort in this direction has been made by Herr Kosack, teacher of mathematics and physics in the Gymnasium at Nordhausen, who added a thorough attempt to teach geometry according to my principles to the programme of the school examination on the 6th of April 1852.
In order to improve the method of mathematics, it is especially necessary to overcome the prejudice that demonstrated truth has any superiority over what is known through perception, or that logical truth founded upon the principle of contradiction has any superiority over metaphysical truth, which is immediately evident, and to which belongs the pure intuition or perception of space.
That which is most certain, and yet always inexplicable, is what is involved in the principle of sufficient reason, for this principle, in its different aspects, expresses the universal form of all our ideas and knowledge. All explanation consists of reduction to it, exemplification in the particular case of the connection of ideas expressed generally through it. It is thus the principle of all explanation, and therefore it is neither susceptible of an explanation itself, nor does it stand in need of it; for every explanation presupposes it, and only obtains meaning through it. Now, none of its forms are superior to the rest; it is equally certain and incapable of demonstration as the principle of the ground of being, or of change, or of action, or of knowing. The relation of reason and consequent is a necessity in all its forms, and indeed it is, in general, the source of the concept of necessity, for necessity has no other meaning. If the reason is given there is no other necessity than that of the consequent, and there is no reason that does not involve the necessity of the consequent. Just as surely then as the consequent expressed in the conclusion follows from the ground of knowledge given in the premises, does the ground of being in space determine its consequent in space: if I know through perception the relation of these two, this certainty is just as great as any logical certainty. But every geometrical proposition is just as good an expression of such a relation as one of the twelve axioms; it is a metaphysical truth, and as such, just as certain as the principle of contradiction itself, which is a metalogical truth, and the common foundation of all logical demonstration. Whoever denies the necessity, exhibited for intuition or perception, of the space-relations expressed in any proposition, may just as well deny the axioms, or that the conclusion follows from the premises, or, indeed, he may as well deny the principle of contradiction itself, for all these relations are equally undemonstrable, immediately evident and known a priori. For any one to wish to derive the necessity of space-relations, known in intuition or perception, from the principle of contradiction by means of a logical demonstration is just the same as for the feudal superior of an estate to wish to hold it as the vassal of another. Yet this is what Euclid has done. His axioms only, he is compelled to leave resting upon immediate evidence; all the geometrical truths which follow are demonstrated logically, that is to say, from the agreement of the assumptions made in the proposition with the axioms which are presupposed, or with some earlier proposition; or from the contradiction between the opposite of the proposition and the assumptions made in it, or the axioms, or earlier propositions, or even itself. But the axioms themselves have no more immediate evidence than any other geometrical problem, but only more simplicity on account of their smaller content.
When a criminal is examined, a procès-verbal is made of his statement in order that we may judge of its truth from its consistency. But this is only a makeshift, and we are not satisfied with it if it is possible to investigate the truth of each of his answers for itself; especially as he might lie consistently from the beginning. But Euclid investigated space according to this first method. He set about it, indeed, under the correct assumption that nature must everywhere be consistent, and that therefore it must also be so in space, its fundamental form. Since then the parts of space stand to each other in a relation of reason and consequent, no single property of space can be different from what it
