Znanost koja se temelji na zakonima, modalitetima i oblicima znanstvenog znanja poznata je pod nazivom logika . To je formalna znanost kojoj nedostaje sadržaja jer se usredotočuje na proučavanje valjanih alternativnih zaključaka . Naime, ona predlaže proučavanje metoda i odgovarajućih načela kako bi se identificiralo ispravno rasuđivanje nasuprot onome koje nije.
Etimologija omogućuje da znamo da pojam "logika" potječe od latinske riječi logĭca, koja pak potječe od grčkog logika (iz logosa, "razuma" ili "proučavanja" ). Grčki filozof Aristotel, stručnjak za povijesna pitanja, uveo je uporabu pojma da imenovanje provjere argumenata naziva pokazateljima istine unutar znanosti i da prikaže silogizam kao valjani argument.
Međutim, ne možemo zanemariti da su kroz povijest postojali mnogi drugi likovi koji su doprinijeli svojim idejama i pristupima razvoju ove znanosti. Tako, na primjer, u srednjem vijeku moramo naglasiti ulogu koju su odigrali Averroes, kordovski filozof koji je, između ostalog, izjavio da je temeljno proučavati logiku starih majstora i odatle nastaviti s filozofirati “na pravi način.
Već u osamnaestom i devetnaestom stoljeću jedan od likova koji se najviše bavio temom logike bio je Immanuel Kant. To se smatra jednim od najvažnijih i najutjecajnijih mislilaca u povijesti i obilježeno je činjenicom da smo u ovom pitanju uspostavili novi koncept: transcendentalnu logiku.
Pojam s kojim je filozof iz pruskog podrijetla pokušao definirati proces kojim ljudsko biće mora provesti istraživanje o tome što će postati čiste koncepcije kategorija transcendentalnog tipa ili onoga što je točno razumijevanje,
Hegel, Augustus De Morgan, John Venn ili Gottlob Frege su drugi autori koji su se istaknuli u području logike, a posebno potonji koji je svojim teorijama izazvao autentičnu revoluciju. Stoga se, zajedno s spomenutim Aristotelom, smatra najvažnijim logičarem cijele povijesti. I to je da je on uspostavio koncepte dokazivanja, logike predikata ili formalnog jezika.
Aristotel se smatra ocem formalne logike . S druge strane, neformalna logika odnosi se na metodičko ispitivanje vjerojatnih argumenata utemeljenih na oratoriju, retorici i filozofiji, među ostalim znanostima. Njezin je cilj prepoznavanje paradoksa i zabluda, kao i djelotvoran izvor za ispravno izlaganje govora.
Prirodna logika je prirodna sposobnost razmišljanja bez privlačenja znanosti. Takozvana fuzzy ili difuzna logika, s druge strane, je ona koja razmatra izvjesnu neizvjesnost kada analizira pravi ili lažni karakter propozicija, slično razmišljanju koje je prikladno za ljudsko biće.
S druge strane, matematičku logiku karakterizira umjetni simbolički jezik i apstrakcija sadržaja.
Postoje i drugi tipovi ili klase logike, kao što je binarni logički poziv, koji radi s varijablama koje uzimaju samo dvije diskretne vrijednosti.