Logica este stiinta al carui obiect este stabilirea conditiilor corectitudini gandirii, a formelor si legilor generale ale rationarii juste, conforme prin ordinea ideilor cu organizarea legica a relatiilor obiective. in stabilirea acestor conditii, logica face abstractie de continutul concret al diverselor noastre idei, fiind in acest sens o stiinta formala, analoaga cu gramatica sau cu geometria. Asa, de pilda, ea se ocupa cu notiunea sau cu judecata in genere si cu o anumita notiune sau judecata determinata concret. Logica se imparte in trei ramuri mari: a) logica clasica (formal filozofica), b) logica matematica (simbolica, numita si logistica) si c) logica dialectica. Logica clasica si logica matematica expun formele si legile gandiri concrete in momentul relativei lor stabilitati, in timp ce logica dialectica le expune in procesul miscarii si dezvoltarii, al dialecticii lor. De aceea logica clasica si logica matematica sunt subordonate, prin natura lor, logici dialectice, pe baza faptului ca stabilitatea, in genere, este relativa fata de caracterul absolut al miscarii si, ca atare, prin natura ei, subordonata acesteia.

Logica clasica (logica de traditie aristotelica) studiaza notiunea, judecata, ca raport intre notiuni, si rationamentul, ca raport intre judecati. Ceea ce caracterizeaza logica clasica este relevarea raportului de determinare de la general la particular, de la gen la specie, generalul si esentialul fiind considerate fundamentele pentru o cunoastere stiintifica veritabila. Aceste cerinte sunt intruchipate de silogism, pe baza functiei indeplinite in cadrul sau de termenul mediu. intemeiatorul logici clasice a fost Aristotel, descoperitorul silogismului si al doctrinei despre silogism, silogistica. Preocupari de sistematizare a logici au existat, de asemenea, in China si in India antica. Contributii uluitoare la dezvoltarea logicii clasice au adus stoicii, precum si logicienii evului mediu. in stransa legatura cu dezvoltarea moderna a stiintei s-a dezvoltat teoria inductiei si s-au formulat regulile rationamentului inductiv. Prin fundamentarea consecvent materialista a conceptului de adevar, pe baza stabilirii raportului just dintre logic, gnoseologic si ontologic, logica clasica continua sa se dezvolte si in prezent, impotriva tendintelor neopozitiviste de a-i nega valabilitatea.

Logica matematica (sau simbolica) s-a nascut in sec. al XIX-lea, in functie de dezvoltarea puternica a matematici si de ivirea necesitatii cercetarii logice a fundamentului acesteia ca stiinta formala. Atat prin originea cat si prin problematica sa, logica matematica este o stiinta care a aparut la hotarul dintre logica si matematica. Logica matematica se caracterizeaza prin cercetarea functorilor (operatorilor) logici, a proprietatilor lor formale si prin elaborarea, pe aceasta baza, a unor calcule logice.

Logica dialectica este teoria de ordin logic a materialismului dialectic, adica analiza dialecticii formelor logice si a legilor care conditioneaza aceasta dialectica; pe baza lor gandirea reflecta in mod adecvat miscarea si dezvoltarea realitatii obiective. Acest lucru este demonstrat riguros de dezvoltarea dialectica a notiuni, care trece in judecata, si a judecatii care trece in silogism. Formele logice sunt, datorita valorii lor gnoseologice diferentiate, forme pline de continut, iar legile logice pe baza carora acestea se inlantuiesc, constuitue principiul de baza al logicii dialectice

Logica combinatorie, cea mai noua parte a logici matematice, alcatuita dintr-un calcul in care exista numai constante, asa-numitii combinatori; acestia apar si in rol de functori, si in rol de argument. Logica combinatorie isi indreapta, in ultima vreme, cercetarile in deosebi in directia analizei fundamentelor logici.

Logica constructivista, curent in logica matematica, caracterizat prin construirea inductiva a expresilor logice. Ideea de baza a logici constructivista consta in interdictia de a transfera asupra multimilor infinite priincipiile valabile pentru multimile finite (legea dublei negatii, principiul tertului exclus s.a.). Logica constructivista se deosebeste de logica clasica si prin aceea ca ea considera infinitul ca fiind potential, in curs de construire, pe cand aceasta din urma il percepe ca fiind actual, realizat. Pornind de la principiile logici constructiviste, se fac incercari in directia reconsiderarii fundamentelor logicii matematice moderne si ale matematici. Bazele logici constructiviste au fost puse in scoala intuitionista.

Logica relatiilor, curent logic format la sfarsitul sec. al XIX-lea. Logica realtiilor cerceteaza propietatiile formale ale relatiilor (tranzivitatea, reflexivitatea, simetria etc.) si efectueaza calculul relatiilor, contribuind la analiza logica a expresiilor matematice. Ea a capatat in filozofia burgheza contemporana o interpretare idealista, potrivit careia relatia este considerata ca fiind primordiala pe plan logic, gnoseologic si ontologic fata de relate (termenii relatiei). Desi natura relatelor se manifesta prin relatie, ea determina totusi natura relatiei (ex. Greutatea unui corp se stabileste in relatie cu alt corp, insa greutatea nu este o propietate a relatiei insasi, ci a corpurilor respective, ea manifestandu-se doar prin aceasta relatie). Interpretata just, logica relatiilor constituie un capitol principal al logici matematice.

Logica modala, sistem logic care analizeaza, din punct de vedere formal, raporturile dintre necesitate, realitate, posibilitate, imposibilitate si contingenta. Prima elaborare a unui sistem logic al modalitatii a fost facuta de Aristotel (silogistica); o noua dezvoltare pe linia logici modale are loc astazi in cadrul logicii matematice (ex. sistemul trivalent si cel tetravalent al lui J. Lukasiewicz sau sistemele axiomatice de implicatie stricta ale lui C.I. Lewis). Pana in prezent logica modala nu a fost elaborata sub toate aspectele.

Logica polivalenta, sistem logic formal ale carui expresii comporta, spre deosebire de logica traditionala, care era bivalenta, mai mult decat doua valori de adevar, ea putand fi astfel trivalenta, tetravalenta sau n-valenta. Primele sisteme de logica polivalenta au fost construite de J. Lukasiewicz (1920) si de E. Post (1921). Sistemele de logica polivalenta prezinta atat interes teoretic cat si practic, legat de interpreterea mecanicii cuantice, de rezolvarea paradoxelor logicii matematice clasice, de teoria schemelor de relee etc.