Аристотель обнаружил, что истинность какого-либо заключения зависит не от его предмета, а только от формы базовых посылок и вывода. Все умозаключения, имеющие форму: «Всякий F есть G, а всякий G есть H; следовательно, всякий F есть H», являются истинными.