Aristoteles: berrikuspenen arteko aldeak

[[Dedukzio]]a da, beraz, Aristotelesen logikaren muina, kasu partikularretatik ondorio orokorrak ekartzen dituen [[indukzio]]a ere aipatu bazuen ere. Logikari buruz idatzi zituenak ''Organon'', ''Tresna'' euskaraz, bataiatu zituzten eskola peripatetikoko bere jarraitzaileek. ''Organon'' horren baitan ''Kategoriak'' izeneko lana aurkitzen da lehendabizi, non kontzeptuak (izenak, aditzak) adierazten dutenari buruz kategoria ezberdintean sailkatzen dituen: substantzia, kopurua, kualitatea, erlazioa, lekua, denbora, kokapena, egoera, ekintza eta grina. Kontzeptuak lotutakoan (izen bat aditz batekin batera, esaterako) sortzen diren proposizioakproposizio kategorikoak soilik dira egiazkoak edo faltsuak, errealitatearekin duten adostasuna duten aztertuz. Proposizioak era zuzenean lotuz eta bateratuz, silogismoak erabiliz alegia, egiazkoak diren proposizio berriak sortzen dira.