With these examples, the distinction of Necessary and Experiential Truths is, I hope, clear. The former kind, we see to be true by thinking about them, and see that they could not be otherwise. The latter kind, men could never have discovered to be true without looking at them; and having so discovered them, still no one will pretend to say they might not have been otherwise. For aught we can see, the astronomical truths which express the motions and periods of the sun, moon and stars, might have been otherwise. If we had been placed in another part of the solar system, our {27} experiential truths respecting days, years, and the motions of the heavenly bodies, would have been other than they are, as we know from astronomy itself. It is evident that this distinction of Necessary and Experiential Truths involves the same antithesis which we have already considered;--the antithesis of Thoughts and Things. Necessary Truths are derived from our own Thoughts: Experiential truths are derived from our observation of Things about us. The opposition of Necessary and Experiential Truths is another aspect of the Fundamental Antithesis of Philosophy. _Sect._ 3.--_Deduction and Induction._ I HAVE already stated that geometrical truths are established by demonstrations _deduced_ from definitions and axioms. The term _Deduction_ is specially applied to such a course of demonstration of truths from definitions and axioms. In the case of the parallelograms upon the same base and between the same parallels, we prove certain triangles to be equal, by supposing them placed so that their two bases have the same extremities; and hence, referring to an Axiom respecting straight lines, we infer that the bases coincide. We combine these equal triangles with other equal spaces, and in this way make up both the one and the other of the parallelograms, in such a manner as to shew that they are equal. In this manner, going on step by step, deducing the equality of the triangles from the axiom, and the equality of the parallelograms from that of the triangles, we travel to the conclusion. And this process of successive deduction is the scheme of all geometrical proof. We begin with Definitions of the notions which we reason about, and with Axioms, or self-evident truths, respecting these notions; and we get, by reasoning from these, other truths which are demonstratively evident; and from these truths again, others of the same kind, and so on. We begin with our own Thoughts, which supply us with Axioms to start from; and we reason from these, till we come to propositions {28} which are applicable to the Things about us; as for instance, the propositions respecting circles and spheres applicable to the motions of the heavenly bodies. This is _Deduction_, or _Deductive Reasoning_.