Logika je formalna nauka, odnosno, kao i svaka od formalnih nauka, ona stvara svoj predmet proučavanja i rasuđivanja i stvaranje ideja umom su njena metodologija rada i znanja, ali i logika je jedna od Najvažnije i najpopularnije grane u filozofiji, čiji predmet proučavanja su principi demonstracije i valjanog zaključivanja, koji su metode koje će nam na kraju omogućiti da razlikujemo ispravno od netačnog zaključivanja..
Poreklo logike datira iz zlatnog doba klasične Grčke i grčki filozof Aristotel se smatra njenim tvorcem i ocem., budući da je prvi upotrebio pojam i dao mu entitet koji je ostao do danas, proučavanja argumenata kao manifestacija istine u nauci.
Ova logika koju smo gore opisali i čiji je osnivač Aristotel takođe je poznata kao formalna logikau međuvremenu, postoji i a neformalna logika koja će svoju pažnju usmeriti na metodičko proučavanje onih verovatnih argumenata iz filozofije, retorike i besedništva, između ostalih nauka koje se njima bave.
U osnovi, neformalna logika sve svoje napore ulaže u identifikaciju zabluda i paradoksa i na pravilno strukturiranje diskursa.
Ali u formalnoj i neformalnoj logici pitanje nije iscrpljeno, jer nalazimo i druge vrste logika koje predlažu apsolutno različite metodologije kao npr. prirodna logika što je ono koje predlaže prirodna misao, dok se odvija, bez pribegavanja formalnoj nauci kao bazi podrške.
Затим fuzzy logika ili se takođe naziva fuzzy da uzima određene dozvole u odnosu na druge i priznaje izvesnu dvosmislenost između istinitosti ili netačnosti svojih propozicija, u bliskoj saglasnosti i odnosu sa ljudskim razumom.
Drugim redosledom možemo pronaći Matematička logika koji se obrađuje veštačkim i simboličkim jezikom i pravi apstrakciju sadržaja. I konačno, binarna logika koji radi sa promenljivim koje prihvataju samo dve diskretne vrednosti.
