L'aristotelismo di Giacomo Zabarella: logica come metodologia