logica este o știință formală, adică, deoarece oricare dintre științele formale își creează propriul obiect de studiu, iar raționamentul și crearea de idei de către minte sunt metodologia sa de lucru și cunoaștere, dar, în plus, logica, este una dintre ramurile celor mai importante și populare din cadrul filozofiei, fiind obiectul său de studiu principiile demonstrației și inferenței valide, care sunt metodele care permit în cele din urmă să se facă distincția între cele două concepte: raționamentul binele de rău.
originea logicii se întoarce în timpul de aur al Greciei clasice, iar filosoful grec Aristotel este considerat creatorul și tatăl acesteia, deoarece a fost primul care a folosit noțiunea și i-a dat entitatea care păstrează până în prezent, de studiu al argumentelor ca demonstranți ai adevărului în știință.
această logică la care ne-am referit mai sus și la care Aristotel stă ca fondator este numită și logică formală, în ambele, există și o logică informală care vă va concentra atenția în studiul metodic al acestor argumente probabil din filozofie, retorică și oratorie, printre alte științe care se ocupă de acestea.
practic, logica informală își dedică toate eforturile identificării erorilor și paradoxurilor și structurării corecte a discursurilor.
dar în logica formală și informală întrebarea nu este epuizată, deoarece găsim și alte tipuri de logici care propun metodologii absolut diferite, cum ar fi logica naturală, care este cea propusă de gândirea naturală, pe măsură ce continuă, fără a recurge la știința formală ca bază de sprijin.
apare apoi logica fuzzy sau numită și logică fuzzy care ia anumite licențe în raport cu ceilalți și admite o anumită ambiguitate între adevărul sau falsitatea propozițiilor lor, în strânsă legătură și relație cu rațiunea umană.
într-o altă ordine putem găsi logica matematică care este tratată folosind un limbaj artificial și simbolic și făcând o abstractizare a conținutului. Și în cele din urmă logica binară care funcționează cu variabile care acceptă doar două valori discrete.