The mention of Aristotle is really just to show that if you look hard enough you will find antecedents for the notion of Type way back in the history of ideas.

Formal Logic
Aristotle (384322 b.c.)set the stage in which our story about types begins. Though he devised his syllogistic logic way back, it remained received wisdom right up to the nineteenth century when Frege found it necessary to throw it out in his search for a formal logic adequate for the derivation of mathematics.


Categories
Aristotle also wrote about categories.
though these did not play any role in his formal logic they represent for natural languages and metaphysical thought a precedent for the type theoretic idea that semantic considerations limit the kinds of object to which a particular predicate can be appled.

