Al mismo tiempo, Aristóteles aporta el primer enfoque de la lógica formal en el "Órganon", recogiendo diversos axiomas de Platón y otros filósofos.