Aristotle

  • Taxonomy
  • Instantiation of the universal
  • Logical syllogism