Investigaciones actuales han reforzado estas dudas alegando que obras como "Categorías" o "De la Interpretación" no cumplen cabalmente con el programa de la lógica formal.