Srednjovjekovnim "mudracima" su se tresle gaće od samog pokušaja da se bave logikom van aristotelovih kanona. Međutim, danas znamo da je njegova logika bila nepotpuna.
Aristotel je fino opisao što je sud, što objekt, a što predikat. I ispravno je objasnio kako se dokazuje neka tvrdnja, ali postoje mnogi oblici dokazivanja koje Aristotel nije obuhvatio u svojim proučavanjima. On se bavio skoro isključivo silogizmima, a to je zaključivanje sljedećeg oblika:
"Svi A su B. Svi B su C. Dakle, svi A su C."
Na primjer, "Aristotel je čovjek.", "Svi ljudi su smrtni." Dakle -- "Aristotel je isto smrtan."
