Page images
PDF
EPUB

I HAVE in the last ten chapters described Space, Time, and Number by various expressions, all intended to point out their office as exemplifying the Ideal Element of human knowledge. I have called them Fundamental Ideas; Forms of Perception; Forms of Intuition; and perhaps other names. I might add yet other phrases. I might say that the properties of Space, Time, and Number are Laws of the Mind's Activity in apprehending what is. For the mind cannot apprehend any thing or event except conformably to the properties of space, time, and number. It is not only that it does not, but it can not: and this impossibility shows that the law is a law of the mind, and not of objects extraneous to the mind.

It is usual for some of those who reject the doctrines here presented to say that the axioms of geometry, and of other sciences, are obtained by Induction from facts constantly presented by experience. But I do not see how Induction can prove that a proposition must be true. The only intelligible usage of the word Induction appears to me to be, that in which it is applied to a proposition which, being separable from the facts in our apprehension, and being compared with them, is seen to agree with them. But in the cases now spoken of, the proposition is not separable from the facts. We cannot infer by induction that two straight lines cannot inclose a space, because we cannot contemplate special cases of two lines inclosing a space, in which it remains to be determined whether or not the proposition, that both are straight, is true.

I do not deny that the activity of the mind by which it perceives objects and events as related according to the laws of space, time, and number, is awakened and developed by being constantly exercised; and that we cannot imagine a stage of human existence in which the powers have not been awakened and

VOL. I.

L

developed by such exercise. In this way, experience and observation are necessary conditions and prerequisites of our apprehension of geometrical (and other) axioms. We cannot see the truth of these axioms without some experience, because we cannot see any thing, or be human beings, without some experience. This might be expressed by saying that such truths are acquired necessarily in the course of all experience; but I think it is very undesirable to apply, to such a case, the word Induction, of which it is so important to us to keep the scientific meaning free from confusion. Induction cannot give demonstrative proofs, as I have already stated in Book 1. C. i. sect. 3, and therefore cannot be the ground of necessary truths.

Another expression which may be used to describe the Fundamental Ideas here spoken of is suggested by the language of a very profound and acute Review of the former edition. The Reviewer holds that we pass from special experiences to universal truths in virtue of 'the inductive propensity-the irresistible impulse of the mind to generalize ad infinitum.' I have already given reasons why I cannot adopt the former expression; but I do not see why space, time, number, cause, and the rest, may not be termed different forms of the impulse of the mind to generalize. But if we put together all the Fundamental Ideas as results of the Generalizing Impulse, we must still separate them as different modes of action of that Impulse, showing themselves in various characteristic ways in the axioms and modes of reasoning which belong to different sciences. The Generalizing Impulse in one case proceeds according to the Idea of Space; in another, according to the Idea of Mechanical Cause; and so in other subjects.

CHAPTER XI.

OF MATHEMATICAL REASONING.

I.

Discursive Reasoning.-WE have thus seen that our notions of space, time, and their modifications, necessarily involve a certain activity of the mind; and that the conditions of this activity form the foundations of those sciences which have the relations of space, time, and number, for their object. Upon the fundamental principles thus established, the various sciences which are included in the term Pure Mathematics, (Geometry, Algebra, Trigonometry, Conic Sections, and the rest of the Higher Geometry, the Differential Calculus, and the like,) are built up by a series of reasonings. These reasonings are subject to the rules of Logic, as we have already remarked; nor is it necessary here to dwell long on the nature and rules of such processes. But we may here notice that such processes are termed discursive, in opposition to the operations by which we acquire our fundamental principles, which are, as we have seen, intuitive. This opposition was formerly very familiar to our writers; as Milton,

Thus the soul reason receives,

Discursive or intuitive.-Paradise Lost, v. 438.

For in such reasonings we obtain our conclusions, not by looking at our conceptions steadily in one view, which is intuition, but by passing from one view to another, like those who run from place to place (discursus). Thus a straight line may be at the same time a side of a triangle and a radius of a circle: and in the first proposition of Euclid a line is considered, first in one of these relations, and then in the other, and thus the sides of a certain triangle are proved to be equal. And by this discourse of reason,' as by our older

writers it was termed, we set forth from those axioms which we perceive by intuition, travel securely over a vast and varied region, and become possessed of a copious store of mathematical truths.

2.

Technical Terms of Reasoning.-The reasoning of mathematics, thus proceeding from a few simple principles to many truths, is conducted according to the rules of Logic. If it be necessary, mathematical proofs may be reduced to logical forms, and expressed in Syllogisms, consisting of major, minor, and conclusion. But in most cases the syllogism is of that kind which is called by logical writers an Enthymeme; a word which implies something existing in the thoughts only, and which designates a syllogism in which one of the premises is understood, and not expressed. Thus we say in a mathematical proof, 'because the point c is the center of the circle AB, AC is equal to BC;' not stating the major,—that all lines drawn from the center of a circle to the circumference are equal; or introducing it only by a transient reference to the definition of a circle. But the enthymeme is so constantly used in all habitual forms of reasoning, that it does not occur to us as being anything peculiar in mathematical works.

The propositions which are proved to be generally true are termed Theorems: but when anything is required to be done, as to draw a line or a circle under given conditions, this proposition is a Problem. A theorem requires demonstration; a problem, solution. And for both purposes the mathematician usually makes a Construction. He directs us to draw certain lines, circles, or other curves, on which is to be founded his demonstration that his theorem is true, or that his problem is solved. Sometimes, too, he establishes some Lemma, or preparatory proposition, before he proceeds to his main task; and often he deduces from his demonstration some conclusion in addition to that which was the professed object of his proposition; and this is termed a Corollary.

These technical terms are noted here, not as being very important, but in order that they may not sound

strange and unintelligible if we should have occasion to use some of them. There is, however, one technical distinction more peculiar, and more important.

3. Geometrical Analysis and Synthesis. In geometrical reasoning such as we have described, we introduce at every step some new consideration; and it is by combining all these considerations, that we arrive at the conclusion, that is, the demonstration of the proposition. Each step tends to the final result, by exhibiting some part of the figure under a new relation. To what we have already proved, is added something more; and hence this process is called Synthesis, or putting together. The proof flows on, receiving at every turn new contributions from different quarters; like a river fed and augmented by many tributary streams. And each of these tributaries flows from some definition or axiom as its fountain, or is itself formed by the union of smaller rivulets which have sources of this kind. In descending along its course, the synthetical proof gathers all these accessions into one common trunk, the proposition finally proved.

But we may proceed in a different manner. We may begin from the formed river, and ascend to its sources. We may take the proposition of which we require a proof, and may examine what the supposition of its truth implies. If this be true, then something else may be seen to be true; and from this, something else, and so on. We may often, in this way, discover of what simpler propositions our theorem or solution is compounded, and may resolve these in succession, till we come to some proposition which is obvious. This is

geometrical Analysis. Having succeeded in this analytical process, we may invert it; and may descend again from the simple and known propositions, to the proof of a theorem, or the solution of a problem, which was our starting-place.

This process resembles, as we have said, tracing a river to its sources. As we ascend the stream, we perpetually meet with bifurcations; and some sagacity is needed to enable us to see which, in each case, is the main stream: but if we proceed in our research, we

« ՆախորդըՇարունակել »