History of an inferential and summary sort only can be derived from monuments in the absence of written records.

In this way the Presocratics and Sophists, and still more Socrates and Plato, threw out hints on sense and reason, on inferential processes and scientific methods which may be called anticipations of logic. But Aristotle was the first to conceive of reasoning itself as a definite subject of a special science, which he called analytics or analytic science, specially designed to analyse syllogism and especially demonstrative syllogism, or science, and to be in fact a science of sciences.

Two things are certain about inferential judgment: one, that when inference is based on sense and memory, inferential judgment starts from a combination of sensory and memorial judgment, both of which are beliefs that things exist; the other, that in consequence inferential judgment is a belief that smiliar things exist.

judgment is always true of its sensible object, inferential judgments are not always true, but are true so far as they are logically inferred, however indirectly, from sense; and knowledge consists of sense, memory after sense and logical inference from sense, which, we must remember, is not merely the outer sense of our five senses, but also the inner sense of ourselves as conscious thinking persons.

But, as the science of inference, it can make sure that inference, on the one hand, starts from sensory judgments about sensible things and logically proceeds to inferential judgments about similar things beyond sense, and, on the other hand, cannot logically go beyond the similar.