judgments into inference, which thus becomes a complex combination of conceptions, or, in modern parlance, an extension of our ideas. Conceptual logicians were, indeed, from the first aware that sense supplies the data, and that judgment and therefore inference contains belief that things are or are not. But they held, and still hold that sensation and conception are alike mere apprehensions, and that the belief that things are or are not arises somehow after sensation and conception in judgment, from which it passes into inference. At first, they were more sanguine of extracting from these unpromising beginnings some knowledge of things beyond ideas. But at length many of them became formal logicians, who held that logic is the investigation of formal thinking, or consistent conception, judgment and reasoning; that it shows how we infer formal truths of consistency without material truth of signifying things; that, as the science of the form or process, it must entirely abstract from the matter, or objects, of thought; and that it does not tell us how we infer from experience. Thus has logic drifted further and further from the real and empirical logic of Aristotle the founder and Bacon the reformer of the science. The great merit of conceptual logic was the demand for a mental analysis of mental reasoning, and the direct analysis of reasoning into judgments which are the sole premises and conclusions of reasoning and of all mental inferences. Aristotle had fallen into the paradox of resolving a mental act into verbal elements. The Schoolmen, however, gradually came to realize that the result to their logic was to make it a _sermocionalis scientia_, and to their metaphysics the danger of nominalism. St Thomas made a great advance by making logic throughout a _rationalis scientia_; and logicians are now agreed that reasoning consists of judgments, discourse of propositions. This distinction is, moreover, vital to the whole logic of inference, because we always think all the judgments of which our inference consists, but seldom state all the propositions by which it is expressed. We omit propositions, curtail them, and even express a judgment by a single term, e.g. "Good!" "Fire!". Hence the linguistic expression is not a true measure of inference; and to say that an inference consists of two propositions causing a third is not strictly true. But to say that it is two judgments causing a third is always true, and the very essence of inference, because we must think the two to conclude the third in "the sessions of sweet silent thought." Inference, in short, consists of actual judgments capable of being expressed in propositions.