Boken "Aristoteles' Prior Analytics, bok I" markerer starten på formell logikk. For Aristoteles representerte dette oppdagelsen av en generell teori for gyldige deduktive argumenter, et prosjekt han tidligere hadde betegnet som enten umulig eller upraktisk, trolig ikke lenge før han faktisk utviklet det syllogistiske resonnementet. En syllogisme innebærer å trekke en konklusjon fra to andre påstander av en bestemt form, og dette er essensen av hva "Prior Analytics" handler om. Den første boken, som dette volumet fokuserer på, gir en sammenhengende presentasjon av Aristoteles' logikk som en generell teori for deduktive argumenter.
