The question is, whether the syllogistic process is one of inference, i.e. a process from the known to the unknown. Its assailants say, and truly, that in every syllogism, considered as an argument to prove the conclusion, there is a _petitio principii_; and Dr. Whately's defence of it, that its object is to unfold assertions wrapped up and implied (i.e. in fact, _asserted unconsciously_) in those with which we set out, represents it as a sort of trap. Yet, though no reasoning from generals to particulars can, as such, prove anything, the conclusion _is_ a _bonâ fide_ inference, though not an inference from the general proposition. The general proposition (i.e. in the first figure, the major premiss) contains not only a record of many particular facts which we have observed or inferred, but also instructions for making inferences in unforeseen cases. Thus the inference is completed in the major premiss; and the rest of the syllogism serves only to decipher, as it were, our own notes. Dr. Whately fails to make out that syllogising, i.e. reasoning from generals to particulars, is the _only_ mode of reasoning. No additional evidence is gained by interpolating a general proposition, and therefore we may, if we please, reason directly from the individual cases, since it is on these alone that the general proposition, if made, would rest. Indeed, thus are in fact drawn, as well the inferences of children and savages, and of animals (which latter having no signs, can frame no general propositions), as even those drawn by grown men generally, from personal experience, and particularly the inferences of men of high practical genius, who, not having been trained to generalise, can apply, but not state, their principles of action. Even when we have general propositions we need not use them. Thus Dugald Stewart showed that the axioms need not be expressly adverted to in order to make good the demonstrations in Euclid; though he held, inconsistently, that the definitions must be. All general propositions, whether called axioms, or definitions, or laws of nature, are merely abridged statements of the particular facts, which, as occasion arises, we either think we may proceed on as proved, or intend to assume.