Logica e ontologia all’origine della dottrina aristotelica delle categorie