Not only is the process by which an individual astronomical fact was thus ascertained, exactly similar to those by which the same science establishes its general truths, but also (as we have shown to be the case in all legitimate reasoning) a general proposition might have been concluded instead of a single fact. In strictness, indeed, the result of the reasoning is a general proposition; a theorem respecting the distance, not of the moon in particular, but of any inaccessible object; showing in what relation that distance stands to certain other quantities. And although the moon is almost the only heavenly body the distance of which from the earth can really be thus ascertained, this is merely owing to the accidental circumstances of the other heavenly bodies, which render them incapable of affording such [pg 210] data as the application of the theorem requires; for the theorem itself is as true of them as it is of the moon.1
We shall fall into no error, then, if in treating of Induction, we limit our attention to the establishment of general propositions. The principles and rules of Induction as directed to this end, are the principles and rules of all Induction; and the logic of Science is the universal Logic, applicable to all inquiries in which man can engage.