But though this restricted conception of Logic or the theory of Reasoning has arisen naturally from Aristotle's treatment, I maintain that it does not adequately represent his view of that theory. In his numerous treatises on other subjects, scarcely any allusion is made to the Syllogism; nor is appeal made to the rules for it laid down in the Analytica. His conviction that the formalities of Deduction were only one part of the process of general reasoning, and that the value of the final conclusion depended not merely upon their being correctly performed, but also upon the correctness of that initial part whereby they are supplied with matter for premisses--is manifested as well by his industry (unrivalled among his contemporaries) in collecting multifarious facts, as by his specific declarations respecting Induction. Indeed, a recent most erudite logician, Sir William Hamilton, who insists upon the construction of Logic in its strictest sense as purely formal, blames Aristotle[72] for having transgressed this boundary, and for introducing other considerations bearing on diversities of matter and of material evidence. The charge so made, to whatever extent it is well-founded, does rather partake of the nature of praise; inasmuch as it evinces Aristotle's larger views of the theory of Inference, and confirms his own statement that the Deductive process was only the last half of it, presupposing a prior Induction. It is only this last half that Aristotle has here analysed, setting forth its formal conditions with precepts founded thereupon; while he claims to have accomplished the work by long and patient investigation, having found not the smallest foundation laid by others, and bespeaks indulgence[73] as for a first attempt requiring to be brought to completion by others. He made this first step for himself; and if any one would make a second step, so as to apply the same analysis to the other half, and to bring out in like manner the formal conditions and principles of Induction, we may fairly believe that Aristotle would have welcomed the act, as filling up what he himself recognized to be a gap in the entire compass of Reasoning. As to his own achievement, it is certain that he could not have composed the Analytica and Topica, if he had not had before him many specimens of the deductive process to study and compare. Neither could the inductive process have been analysed, until after the examples of successful advance in inductive science which recent years have furnished. Upon these examples, mainly, has been based the profound System of Mr. John Stuart Mill, analysing and discriminating the formalities of Induction in the same way as those of Deduction had before been handled by Aristotle; also fusing the two together as co-operative towards one comprehensive scheme of Logic--the Logic of Evidence generally, or of Truth as discoverable and proveable. In this scheme the Syllogistic Theory, or Logic of Consistency between