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 oprelor 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. Interpretarea de catre logica dialectica a formei de manifestare a continutului demonstreaza legatura si unitatea fundamentala dintre logica si teoria cunoasterii. Studierea, pe baza practicii social-istorice, a procesului de constituire si dezvoltare a formelor logice demonstreaza ca axiomele insesi sunt rezultatul precticii de miliarde de ori repetate. Dialectica formelor logice isi gaseste explicare stiintifica in istoria cunoasterii. Logicul este un rezumat al istoricului, iar unitatea lor este baza explicarii materialist-dialectice a insasi esentei formatiilor logice: cunoasterea, in dezvoltarea ei, realizeaza coinciderea dialectica a logicului cu ontologicul scotand in evidenta caracterul concret al adevarului si corelatia dialectica dintre adevarul relativsi cel abolut. Logicul si gnoseologicul coincid astfel cu ontologicul. Unitatea dintre logica, teoria cunoasterii si dialectica este concluzia logici dialectice si, ca atare, a logici in genere ca stiinta a corectitudini gandirii si totadata a adevarului ei, formele logice redand, prin dialectica lor, continutul realitatii obiective in dezvoltarea lui. In acest sens, logica dialectica este, in intelesul deplin al cuvantului, filozofia logicii, interpretarea logici ca “organon “, instrument de cuprindere completa, in concepte, a realitatii obiective. Logica dialectica a aparut in expresia ei stiintifica ca parte componenta a filozofiei marxiste, prin interpretarea materialista a dialecticii de catre clasicii marxism-leninismului. Obiectul si legile constituie o preocupare permanenta in lucrarile logicienilor marxisti.
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 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 oprelor 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. Interpretarea de catre logica dialectica a formei de manifestare a continutului demonstreaza legatura si unitatea fundamentala dintre logica si teoria cunoasterii. Studierea, pe baza practicii social-istorice, a procesului de constituire si dezvoltare a formelor logice demonstreaza ca axiomele insesi sunt rezultatul precticii de miliarde de ori repetate. Dialectica formelor logice isi gaseste explicare stiintifica in istoria cunoasterii. Logicul este un rezumat al istoricului, iar unitatea lor este baza explicarii materialist-dialectice a insasi esentei formatiilor logice: cunoasterea, in dezvoltarea ei, realizeaza coinciderea dialectica a logicului cu ontologicul scotand in evidenta caracterul concret al adevarului si corelatia dialectica dintre adevarul relativsi cel abolut. Logicul si gnoseologicul coincid astfel cu ontologicul. Unitatea dintre logica, teoria cunoasterii si dialectica este concluzia logici dialectice si, ca atare, a logici in genere ca stiinta a corectitudini gandirii si totadata a adevarului ei, formele logice redand, prin dialectica lor, continutul realitatii obiective in dezvoltarea lui. In acest sens, logica dialectica este, in intelesul deplin al cuvantului, filozofia logicii, interpretarea logici ca “organon “, instrument de cuprindere completa, in concepte, a realitatii obiective. Logica dialectica a aparut in expresia ei stiintifica ca parte componenta a filozofiei marxiste, prin interpretarea materialista a dialecticii de catre clasicii marxism-leninismului. Obiectul si legile constituie o preocupare permanenta in lucrarile logicienilor marxisti.
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.
SURSA 03
Logica este cuvânt derivat din termenul elin λόγος (logos). În limba greacă veche expresia „logos” avea următoarele înţelesuri: cuvânt, idee, raţiune, ordine.
Heraclit din Efes utiliza cuvântul „logos” cu înţelesul de ordine necesară, proprie atât cosmosului, lumii materiale cât şi gândirii omeneşti în forma ei superioară.
Filosofii stoici elini au dat cuvântului „logos” un sens idealist, înţelegând prin logos raţiunea cosmică, divină.
Mai târziu filosoful Filon Iudeul a utilizat cuvântul „logos” desemnând prin el raţiunea divină ca forţă mijlocitoare între Dumnezeu şi lume.
Teologii creştini au utilizat cuvântul „logos” pentru a desemna raţiunea divină ca forţă mijlocitoare între Dumnezeu şi lume, identică cu Iisus.
Geneza logicii s-a produs în antichitate în lumea Greciei sclavagiste.Necesitatea studierii raţionale a gândirii a fost determinată de intensificarea preocupărilor de cunoaştere ştiinţifică a lumii faptuite de învăţaţii elini.Astfel Democrit aproximativ între anii 460-370 î.e.n. pornind de la cercetările naturii a fost determinat să studieze inducţia, analogia, ipoteza şi a formulat legea raţiunii suficiente.În continuare la constituirea logicii şi-au adus contribuţia filosofii sofişti prin practica demonstraţiei. Gânditorul Socrate aproximativ între 469-399 î.e.n. prin centrarea reflecţiei pe suflet a adâncit preocuparea pentru modurile de gândire.Discipolul lui Socrate, Platon aproximativ între anii 427-347 î.e.n. ocupându-se de studiul genurilor supreme ale ideilor a încercat o clasificare a categoriilor şi formularea unor legi ale logicii.Logica a fost structurată, sintetizată şi expusă într-o formă durabilă de către filozoful Aristotel (circa 384-322 î.e.n.). Aristotel a revizuit şi generalizat cunoştinţele de până la el despre formele gândirii fiind primul gânditor care a scris o operă centrată special pe studiul gândirii omului.A considerat că formele centrale ale gândirii sunt noţiunea, judecata şi raţionamentul.Filozofii stoici au contribuit la dezvoltarea logicii prin apropierea ei de retorică şi gramatică.
Prin tradiţie, logica este studiată ca disciplină filozofică, fiind una dintre cele trei discipline ale clasicului trivium, alături de gramatică şi retorică.
Logica este o specie a cunoaşterii exacte. Obiectul cunoaşterii sale este forma abstractă a gândirii umane. În studiul formelor gândirii umane logica separă forma de conţinutul informaţional, afectiv şi volitiv precum şi de mijlocul exteriorizării formei gândului adică limba naturală luând în cercetare numai forma intelectivă, cognitivă, raţională, obiectivă a gândirii considerând mijlocul de comunicare ca element convenţional. Odată făcută această primă separaţie logica efectuează a doua operaţie: separarea formelor corecte de cele incorecte adică a celor valide de cele nevalide. În continuare se ocupă preponderent de cercetarea formelor valide de gândire. Scopul final este practic, deoarece există nevoia individuală şi socială de eficienţă a gândirii aplicate.
În prezent logica există pe mai multe nivele de structurare.Se practică logica de bază în care coexistă logica tradiţională, aristotelică sau generală şi logica modernă, matematică sau simbolică numită şi logistică.Alături de logica de bază s-au iniţiat şi dezvoltat cercetări speciale de logică în conexiune sau în baza altor discipline ştiinţifice dând naştere unor logici speciale.Asupra sistemelor logice tradiţionale şi moderne în special s-au dezvoltat cercetările logice care le depăşesc sub aspectul generalităţii, cercetări reunite sub numele de metalogică.Reflecţiile cele mai generale asupra logicii actuale se fac asupra conceptelor logice fundamentale, asupra condiţiilor şi metodelor formale şi asupra finalităţii logicii, reflecţii ce poartă denumirea de filozofia logicii sau logică filozofică.
Logica formală şi celelalte ştiinţe
Logica studiind forma gândirii se deosebeşte de toate celelalte ştiinţe care reţin conţinutul gândirii. Pe fizician, pe chimist, pe biolog, pe sociolog îl interesează în primul rând ce anume se afirmă sau se neagă într-un act de gandire.
Un raport aparte există între psihologie şi logică. Psihologia studiază fenomenele psihice printre care există şi gândirea.Ea cercetează gândirea ca proces psihic în complexitatea lui internă şi externă adică în legile sale de proces psihic de cunoaştere normală şi patologică şi în relaţiile sale cu condiţiile şi factorii externi gândirii cum ar fi memoria, afectivitatea, imaginaţia, stările neurofiziologice, cu evoluţia individuală. Logica se ocupă numai de condiţiile gândirii normale, corecte luând în considerare formele eronate doar în vederea delimitării şi prescrierii formelor corecte de gândire. În această situaţie logica nu este în conflict cu psihologia ci în colaborare pentru că înformaţiile privitoare la condiţiile preliminare ale unei gândiri normale sunt necesare pentru accesul la formele corecte de gândire urmărite de cercetarea logică.În această fază logica încă mai are de a face cu psihologia deoarece o categorie de cauze ce determină abaterea gândirii de la corectitudine este de natură extralogică cauze denumite paralogisme ce sunt de competenţă comună psihologiei şi logicii. După detaşarea de factorii paralogici, logica îşi preia mai deplin obiectul mai având de luptat cu a doua categorie de factori care ţin într-adevăr de corectitudinea formelor şi operaţiilor găndirii, anume cu grupul sofismelor adică a erorilor logice propriu zise. Însă odată obţinute condiţiile normalităţii gândirii şi realizată trecerea la formele corecte, logica se află pe tărâmul ei unde poate opera distincţiile proprii între genurile şi speciile formelor corecte şi celor incorecte. În acest stadiu logica nu mai are de a face de loc cu fenomene afective, volitive sau de altă natură preocupându-se exclusiv de aspectul obiectiv al formelor gândirii.
O altă disciplină care se intersecteză cu logica este lingvistica. Cauza care face ca lingvistica să se întâlnească cu logica este strânsa legătură dintre limbaj şi procesul gândirii. Pentru ca o formă de gândire să existe ea are nevoie de o materializare fie şi în forme interiorizate, subiective. Fără această materializare nu pot fi executate operaţii nici asupra formelor nici asupra conţinutului informaţional al gândirii. Lingvistica a descoperit că între materializarea formelor gândirii şi formele sale pure nu este o dependenţă absolută ci relativă astfel încât o formă de gândire şi un conţinut se pot materializa în moduri diferite putându-se exprima de exemplu aceeaşi judecată cu acelaşi conţinut în limbi diferite. Deci raportul dintre forma mentală a gândirii şi materializarea sa lingvistică este totodată necesar şi convenţional. Nu există o relaţie de identitate între semn şi înţeles. Totuşi raportul dintre forma gândirii, conţinutul informaţional al ei şi materializarea acestora este de subordonare. Gândirea subordonează limbajul. Datorită acestor relaţii lingvistica prin cercetarea şi adecvarea limbajului ca vocabular şi gramatică are o contribuţie substanţială la elucidarea problemelor calităţii actului de gândire.
Metodă
Pentru logică metoda este un ansamblu de prescripţii obţinute prin transformarea propoziţiilor unei teorii în reguli de acţiune practică şi intelectuală în scopul rezolvării problemelor de logică.
Logica de bază (logica tradiţională, aristotelică sau generală şi logica simbolică modernă, matematică sau simbolică) se caracterizează prin trei metode fundamentale: standardizarea, simbolizarea şi formalizarea.
Standardizare logică
Standardizarea logică este transformarea enunţărilor din limba naturală, fără a le altera conţinutul, în expresii din care poate fi detaşată structura lor logică.
Simbolizare
Simbolizarea este introducerea de simboluri speciale -constante şi variabile-cu ajutorul cărora forma logică a acestor enunţuri este fixată în formule specifice.Se utilizează numai parţial în logica generală şi extins în logica simbolică.
Formalizare
Formalizarea este finalizarea teoriei logice într-o formă calculatorie.Se utilizează numai în logica simbolică fiind un criteriu eficace de deosebire între logica generală şi logica simbolică.
În contemporaneitate logicienii dispun de mai multe clase de metode de cunoaştere logică datorită potenţialului generalizator al metodelor matematice moderne pe care logica le-a preluat foarte productiv în planul cunoaşterii.
Aplicaţiile logicii
Aplicaţiile logicii sunt mult mai complexe decât aplicaţiile altor ştiinţe constând în următoarele:
1.Verificarea proceselor de gândire şi cale de construcţie a teoriilor
Este cea mai importantă aplicaţie a logicii şi totodată cea mai dificilă.
Sub aspect praxiologic logica poate converti adevărurile achiziţionate în norme de acţiune aplicabile asupra gândirii individuale sau colective modificând eficacitatea gândirii şi indirect a acţiunii individului sau grupului.
Logica este totodată şi o specie a acţiunii. Rezultatele distincţiei între formele corecte şi cele incorecte ale gândirii se convertesc în reguli după care alţi oameni pot să gândească eficient adică având randament maxim în obţinerea de cunoştinţe adevărate şi de rezultate faptice dorite. De exemplu, din cunoştinţa logică "A este identic cu A şi numai cu A" extragem regula de acţiune că nici un om nu poate fi altul decât el însuşi. Deci ori este el ori nu este el, ceea ce determină excluderea lui din lista autorilor prezumtivi ai unei acţiuni.
Gândirea corectă se distinge prin următoarele caracteristici: claritate, precizie, ordine, consistenţă, coerenţă, întemeiere.În acest scop trebuie aplicate regulile definirii, clasificării şi argumentării.
Formarea gândirii logice este un proces mai greu decât formarea vorbirii.Oamenii se nasc cu înclinaţii mai mari sau mai mici spre gândirea logică.Chiar dacă nu toţi pot atinge aceleaşi performanţe de gândire logică există un folos chiar şi pentru cei care nu ajung să gândească spontan logic; ei se lasă mai uşor corectaţi de către cei ce gândesc mai bine.Scopul formarii gândirii logice este triplu: dezvoltarea gândirii logice spontane, formarea gândirii logice conştiente astfel încât individul să ajungă în stadiul autocontrolului logic al gândirii şi controlul logic al gândirii celorlalţi oameni materializată în vorbire, în scriere sau în actiuni.Formarea gândirii logice trebuie să înceapă cât mai devreme.Ea trebuie să înceapă în limbaj natural prin expunere şi aplicaţii,să utilizeze limbajul de masă, trecându-se prin gândirea comună spre gândirea ştiinţifică în general.În educaţia gândirii logice nu este bine să se înceapă prin logica modernă, la aceasta ajungându-se abia ulterior după educarea prin logica tradiţională.Motivele sunt următoarele:accesul la gândirea logică este posibil numai prin limbajul natural,în majoritatea domeniilor de activitate se utlizează logica exprimată în limbaj natural, gândirea comună nu utilizează limbajul simbolic.Logica simbolică prin forma ei s-a îndepărtat de mase devenind un bun al elitei.Chiar şi cei care reuşesc să o înveţe nu totdeauna reuşesc să o aplice în corectarea gândirii.În logica simbolică există pericolul de a face combinatorică sterilă deci fără efect practic asupra evoluţiei efective a gândirii individului supus educaţiei.În formarea şi dezvoltarea gândirii logice o altă activitate necesară este disputa intelectuală în care trebuie să se urmarească distingerea poziţiei juste.Când educaţia gândirii logice începe prea târziu se pot învăţa reguli de gândire dar nu şi abiliatea de a le aplica.
2.Trecerea de la variabilele ei la un sistem de constante;
Această aplicaţie este o rezolvare relativ mecanică a unor probleme tratabile logic.
3.Aplicarea logicii la tehnică prin interpretarea adecvată a formalismelor ei;
4.Modelarea proceselor logice.
Repere: logica ,
stiinta ,
logica clasica ,
logica matematica ,
logica dialectica ,
teorie ,
filosofie ,
fenomen paradoxal ,
economie politica ,
A. Einstein ,
gandirea