Boken "Aristotelian Logic" gir en grundig behandling av emner innen tradisjonell logikk, inkludert teorier om termer, definisjoner, informelle feilslutninger, samt inndeling og klassifisering. Denne boka lærer leserne teknikker til å løse semantiske problemer, som ofte oppstår på grunn av forvirring rundt terminologi. Den belyser begrepet om definisjon, og viser hvilke ulike typer definisjoner som finnes, samt kriteriene som anvendes for å vurdere dem. Her fremheves at definisjoner fungerer som verktøy; noen definisjoner er bedre tilpasset bestemte oppgaver enn andre. Flere kapitler dedikeres til informelle feilslutninger, hvor en ny klassifisering presenteres, og begrepet bevis utforskes, noe som er essensielt for en tilstrekkelig forståelse av noen av de tradisjonelle informelle feilene. Et eget kapittel handler om inndeling og klassifisering, som er relevante i alle vitenskapsfelt. I tillegg berører boken emner som motsetningskvadratet, umiddelbare slutninger og både syllogistiske og kjedeargumenter.
