Prenant la suite de L'interpretation, les Premiers analytiques en completent les analyses en formulant une fois pour toutes la theorie du raisonnement: celle-ci passe par l'etude detaillee du syllogisme formel, c'est-a-dire des conditions formelles auxquelles toute preuve est subordonnee. Il ne restera des lors qu'a en appliquer les exigences a la science demonstrative.