Page:Critique of Pure Reason 1855 Meiklejohn tr.djvu/487

 Philosophical definitions are, therefore, merely expositions of given conceptions, while mathematical definitions are constructions of conceptions originally formed by the mind itself; the former are produced by analysis, the completeness of which is never demonstratively certain, the latter by a synthesis. In a mathematical definition the conception is formed, in a philosophical definition it is only explained. From this it follows:

(a) That we must not imitate, in philosophy, the mathematical usage of commencing with definitions—except by way of hypothesis or experiment. For, as all so-called philosophical definitions are merely analyses of given conceptions, these conceptions, although only in a confused form, must precede the analysis; and the incomplete exposition must precede the complete, so that we may be able to draw certain inferences from the characteristics which an incomplete analysis has enabled us to discover, before we attain to the complete exposition or definition of the conception. In one word, a full and clear definition ought, in philosophy, rather to form the conclusion than the commencement of our labours. In mathematics, on the contrary, we cannot have a conception prior to the definition; it is the definition which gives us the conception, and it must for this reason form the commencement of every chain of mathematical reasoning.

(b) Mathematical definitions cannot be erroneous. For the conception is given only in and through the definition, and thus it contains only what has been cogitated in the definition. But although a definition cannot be incorrect, as regards its content, an error may sometimes, although seldom, creep into the form. This error consists in a want of precision. Thus the common definition of a circle—that it is a curved line, every point in which is equally distant from another