Prenant la suite de L’interprétation, les Premiers analytiques en complètent les analyses en formulant une fois pour toutes la théorie du raisonnement : celle-ci passe par l’étude détaillée du syllogisme formel, c’est-à-dire des conditions formelles auxquelles toute preuve est subordonnée. Il ne restera dès lors qu’à en appliquer les exigences à la science démonstrative.