Aristoteles utviklet mange betegnelser som brukes den dag i dag, som f.eks: energi, dynamikk, induksjon, substans, attributt, essens, aksidens, kategori og universal. Men viktigst i vårt henseende er hans systematisering av logikken. Han viste hvilke former for slutninger som var gyldige og hvilke som var ugyldige – hva som virkelig følger av hva, og hva som bare synes å gjøre det. Videre ga han alle disse slutningsformene navn.