Aristoteles, klasik mantığın kurucusudur. Klasik mantıkta yapılan çıkarım işlemine bir örnek verelim: (Bütün insanlar ölümlüdür. → Ali bir insandır. → O halde Ali ölümlüdür). Bu çıkarımda birinci (tümel) önermeden, üçüncü (tekil) önermeye ulaşmak için bir işlem yapılmaktadır. İkinci (orta) önermede ise tümelden tekile gitmek için verilen bir neden söz konusudur. Klasik mantıkta bu çıkarım işleminden başka işlemlerde bulunmaktadır. M.S.17. yüzyılda modern mantık kuruluncaya kadar Aristotales tarafından kurulmuş olan klasik mantık geçerliliğini sürdürmüştür.