Uopšteno govoreći, biće rečeno da je zaključak dedukcija jedne stvari od druge.
Zaključak je čisto i isključivo a proizvod našeg uma, jer je a evaluacija sprovedena među onim izrazima datog jezika, koji su jednom međusobno povezani na intelektualni način, omogućiće nam da dođemo do logične ideje. Na taj način, polazeći od istine ili neistine koju neki izrazi predlažu, možemo zaključiti istinu ili neistinu nekih drugih.
U međuvremenu, iz pomenutog postupka će proizaći postulat.
U tradicionalnoj logici, popularno poznatoj kao aristotelovska, jer ju je prvi formulisao poznati grčki filozof Aristotel, oblik zaključivanja koji sledi je onaj od silogizam. Ovo je vrsta deduktivnog rasuđivanja koja se sastoji od dve propozicije kao premisa i druge kao zaključka, pri čemu ovaj drugi već polazi kao zaključak iz druge dve.
Možemo pronaći tri vrste zaključivanja; the Извођење закључка, deduktivni argument je tip koji propisuje koegzistenciju premisa i zaključka, obezbeđujući da će potonji biti predstavljeni u premisama, na primer: svi baloni u ovoj torbi su crveni, ovi baloni pripadaju ovoj torbi, stoga su ovi baloni crveni; the индукција, induktivni argument priznaje verovatnu koegzistenciju premisa i zaključka, garantujući da se potonji verovatno odražava u premisama, na primer: baloni su iz ove torbe, baloni su crveni, tako da su svi baloni u ovoj torbi crveni; and the otmica, argument abduktivnog tipa predlaže moguću koegzistenciju između premisa i zaključka, obezbeđujući da potonji bude potencijalno predstavljen u gore pomenutim premisama, na primer: svi baloni u ovoj torbi su crveni, ovi baloni su crveni, tako da ovi baloni odgovaraju ovoj torbi.
