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.
Inference then, so far as it starts from categorical and existential premises, causes conclusions, or inferential judgments, which require conceptions, but are categorical and existential judgments beyond conception.
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.
Finally, since sense, memory and experience are the origin of inference, primary inference is categorical and existential, starting from sensory, memorial and experiential judgments as premises, and proceeding to inferential judgments as conclusions, which are categorical and existential, and are true, so far as they depend on sense, memory and experience.