(Primeiros e Segundos), partes do Organon de Aristóteles, onde se encontra exposta a sua lógica, principalmente a teoria da dedução e do raciocínio rigoroso (silogismo) sob a forma em que foi depois sempre conservada. Como dizia Kant: “Depois de Aristóteles a lógica formal não fêz progresso.” [Larousse]