Aristotle argues in Posterior Analytics B.3–7 that accounts of definition unsupported by understanding of the explanatory structure of kinds are incapable of giving us knowledge of the nature of kinds. The formal or logical level of analysis needs to be supplemented by considerations drawn from a study of causes. Keywords:Aristotle,
definition,
demonstration,
natural kinds,
Posterior Analytics