Fue formalizador de la lógica, precursor de la anatomía y la biología y un formalizador de la taxonomía.