Som den første formet Aristoteles et system for formal logikk: han utarbeidet en fullstendig teori om premiss og konklusjon (syllogisme), definisjon og bevis, og den vitenskapelige inndeling og metode. Tenkemåten fikk også vidtrekkende påvirking på vokabularet, eksempler er ordpar som «energi og potensial», «materie og form», «substans og vesen», «kvantitet og kvalitet», «genus og art», «subjekt og predikat». Andre eksempler er «årsak» (), «forhold» og «egenskap» ().