In connection with the doctrine of Inference, it is worth while to give his definition of Syllogism or Inference (literally "computation") in his own words. "Syllogism is a discourse wherein certain things (viz. the premisses) being admitted, something else, different from what has been admitted, follows of necessity because the admissions are what they are." The last clause shows that Aristotle is aware that the all-important thing in an inference is not that the conclusion should be novel but that it should be proved. We may have known the conclusion as a fact before; what the inference does for us is to connect it with the rest of our knowledge, and thus to show _why_ it is true. He also formulates the axiom upon which syllogistic inference rests, that "if A is predicated universally of B and B of C, A is necessarily predicated universally of C." Stated in the language of class-inclusion, and adapted to include the case where B is denied of C this becomes the formula, "whatever is asserted universally, whether positively or negatively, of a class B is asserted in like manner of any class C which is wholly contained in B," the axiom _de omni et nullo_ of mediæval logic. The syllogism of the "first figure," to which this principle immediately applies, is accordingly regarded by Aristotle as the natural and perfect form of inference. Syllogisms of the second and third figures can only be shown to fall under the dictum by a process of "reduction" or transformation into corresponding arguments in the first "figure," and are therefore called "imperfect" or "incomplete," because they do not exhibit the conclusive force of the reasoning with equal clearness, and also because no universal affirmative conclusion can be proved in them, and the aim of science is always to establish such affirmatives. The list of "moods" of the three figures, and the doctrine of the methods by which each mood of the imperfect figures can be replaced by an equivalent mood of the first is worked out substantially as in our current text-books. The so-called "fourth" figure is not recognised, its moods being regarded merely as unnatural and distorted statements of those of the first figure.