En termes generals, es dirà que la inferència és la deducció d'una cosa a partir de l'altra.
La inferència és pura i exclusivament un producte de la nostra ment, perquè és una avaluació que realitza aquesta entre aquelles expressions d'un llenguatge determinat, les quals un cop interrelacionades de manera intel·lectual permetran arribar a una idea lògica. D'aquesta manera partint de la veritat o falsedat que proposen algunes expressions podrem deduir la veritat o falsedat d'algunes altres.
Mentrestant, del procediment esmentat sorgirà un postulat.
A la lògica tradicional, coneguda popularment com a aristotèlica, perquè va ser formulada per primera vegada pel conegut filòsof grec Aristòtil, la forma d'inferència que se segueix és la del sil·logisme. Aquest és un tipus de raonament deductiu que consisteix en dues proposicions com a premisses i una altra com a conclusió, procedint aquesta última com a inferència ja, de les altres dues.
Ens podrem trobar tres tipus d'inferència; la deducció, l'argument deductiu és un tipus que prescriu la coexistència de les premisses i de la conclusió assegurant que aquesta última estarà representada a les premisses, per exemple: tots els globus daquesta bossa són vermells, aquests globus pertanyen a aquesta bossa, per tant aquests globus són vermells; la inducció, l'argument inductiu admet la coexistència probable de les premisses i de la conclusió, garantint que aquesta ultima aquest probablement reflectida a les premisses, exemple: els globus són daquesta bossa, els globus són vermells, llavors tots els globus daquesta bossa són vermells; i la abducció, l'argument de tipus abductiu proposa la coexistència possible entre les premisses i la conclusió, assegurant que l'última estigui de manera potencial representada en les premisses esmentades, exemple: tots els globus daquesta bossa són vermells, aquests globus són vermells, llavors aquests globus corresponen a aquesta bossa.
