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. Procedeul logic-matematic, pastrandu-si specificul sau,este pe deplin analog procedeului matematic propriu-zis.
In virtutea acestui procedeu, cercetarile de ordin logic au o formalitate riguroasa, datorita careia operatia de deductie isi desavarseste stringenta. Astfel se elaboreaza o serie de calcule care imbratiseaza aspecte noi, necercetate inca in domeniul logicii.
Calculele cele mai insemnate si care reprezinta totodata capitole de baza ale logici matematice sunt: a) logica propozitiilor,
b) logica predicatelor,
c)logica relatiilor.
In cadrul logici matematice au aparut sau au luat o noua dezvoltare logica modala, logica polivalenta, precum si logica inductiva, strans legata de teoria probabilitatilor. Analiza fundamentelor logici a determinat aparitia cercetarilor de logica combinatorie. Tot atat de importante ca si problemele stricte de calcul (probleme sintactice) sunt si problemele interpretarii acestor calcule (probleme de semantica); in aceasta privinta trebuie mentionata mai ales problema analizei sistemelor formale insesi in cercetarile de metalogica.
O data cu problemele de metalogica trec pe prim plan analize cu implicatii gnoseologice in legatura cu adevarul si cu consecventa in limbajul formalizat. Cercetarile de logica matematica au infirmat intrebuintarea formalist-metafizica a sistemelor formale si cea conventionalist-relativista a conceptului de adevar, proprie neopozitivismului.
Ideea calculului logic a fost formulata pentru prima oara de Leibniz. Ca disciplina de sine statatoare, logica matematica s-a constituit in sec. al XIX-lea, o data cu aparitia operelor lui A. de Morgan si ale lui G. Boole, care au inaugurat asa-numita algebra a logici, dezvoltata ulterior de E.Schroder, P.S. Poretki s.a.
Logica matematica gaseste aplicare in electrotehnica (studiul schemelor cu relee, al schemelor electronice etc.) in cibernetica (teoria automatelor, tehnica programarii), in neurofiziologie (modelarea sistemelor neurotice), lingvistica (lingvistica matematica) etc.
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.
In aceasta lumina trebie inteleasa si relevarea unor trasaturi generale ale logici dialectice, cum sunt, de ex. Identitatea concreta, care cuprinde in sine deosebirea; predictia complexa contradictorie,care reprezinta un mod de expromare pe plan logic a contradictiei interne; inmladirea tertului exclus, care reprezinta supletea conceptului de adevar in aprofundarea cunoasterii.
In acest fel logica dialectica elimina posibilitatea strecurari unei sciziuni in analiza si sinteza, in general si particular, intre inductie si deductie, intre abstract si concret, sciziune prin care idealismul, in special pozitiv logic, incearca sa se infiltreze inlauntrul logici pentru ai denatura si vicia caracterul stiintific.
