Logica este cuvnt derivat din termenul elen (logos).

. n limba greac veche expresia logos avea urmtoarele nelesuri: cuvnt, idee, raiune, ordine. Heraclit din Efes utiliza cuvntul logos cu nelesul de ordine necesar, proprie att cosmosului, lumii materiale ct i gndirii omeneti n forma ei superioar. Filosofii stoici elini au dat cuvntului logos un sens idealist, nelegnd prin logos raiunea cosmic, divin. Mai trziu filosoful Filon Iudeul a utilizat cuvntul logos desemnnd prin el raiunea divin ca for mijlocitoare ntre Dumnezeu i lume. Teologii cretini au utilizat cuvntul logos pentru a desemna raiunea divin ca for mijlocitoare ntre Dumnezeu i lume, identic cu Iisus. Geneza logicii s-a produs n antichitate n lumea Greciei sclavagiste.Necesitatea studierii raionale a gndirii a fost determinat de intensificarea preocuprilor de cunoatere tiinific a lumii faptuite de nvaii elini.Astfel Democrit aproximativ ntre anii 460-370 .e.n. pornind de la cercetrile naturii a fost determinat s studieze inducia, analogia, ipoteza i a formulat legea raiunii suficiente.n continuare la constituirea logicii i-au adus contribuia filosofii sofiti prin practica demonstraiei. Gnditorul Socrate aproximativ ntre 469-399 .e.n. prin centrarea refleciei pe suflet a adncit preocuparea pentru modurile de gndire.Discipolul lui Socrate, Platon aproximativ ntre anii 427-347 .e.n. ocupndu-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 ctre filozoful Aristotel (circa 384-322 .e.n.). Aristotel a revizuit i generalizat cunotinele de pn la el despre formele gndirii fiind primul gnditor care a scris o oper centrat special pe studiul gndirii omului.A considerat c formele centrale ale gndirii sunt noiunea, judecata i raionamentul.Filozofii stoici au contribuit la dezvoltarea logicii prin apropierea ei de retoric i gramatic. Prin tradiie, logica este studiat ca disciplin filozofic, fiind una dintre cele trei discipline ale clasicului trivium, alturi de gramatic i retoric. Logica este o specie a cunoaterii exacte. Obiectul cunoaterii sale este forma abstract a gndirii umane. n studiul formelor gndirii umane logica separ forma de coninutul informaional, afectiv i volitiv precum i de mijlocul exteriorizrii formei gndului adic limba natural lund n

cercetare numai forma intelectiv, cognitiv, raional, obiectiv a gndirii considernd mijlocul de comunicare ca element convenional. Odat fcut aceast prim separaie logica efectueaz a doua operaie: separarea formelor corecte de cele incorecte adic a celor valide de cele nevalide. n continuare se ocup preponderent de cercetarea formelor valide de gndire. Scopul final este practic, deoarece exist nevoia individual i social de eficien a gndirii aplicate. n prezent logica exist pe mai multe nivele de structurare.Se practic logica de baz n care coexist logica tradiional, aristotelic sau general i logica modern, matematic sau simbolic numit i logistic.Alturi de logica de baz s-au iniiat i dezvoltat cercetri speciale de logic n conexiune sau n baza altor discipline tiinifice dnd natere unor logici speciale.Asupra sistemelor logice tradiionale i moderne n special s-au dezvoltat cercetrile logice care le depesc sub aspectul generalitii, cercetri reunite sub numele de metalogic.Refleciile cele mai generale asupra logicii actuale se fac asupra conceptelor logice fundamentale, asupra condiiilor i metodelor formale i asupra finalitii logicii, reflecii ce poart denumirea de filozofia logicii sau logic filozofic.

Logica formal i celelalte tiine

Logica studiind forma gndirii se deosebete de toate celelalte tiine care rein coninutul gndirii. Pe fizician, pe chimist, pe biolog, pe sociolog l intereseaz n primul rnd ce anume se afirm sau se neag ntr-un act de gndire. Un raport aparte exist ntre psihologie i logic. Psihologia studiaz fenomenele psihice printre care exist i gndirea.Ea cerceteaz gndirea ca proces psihic n complexitatea lui intern i extern adic n legile sale de proces psihic de cunoatere normal i patologic i n relaiile sale cu condiiile i factorii externi gndirii cum ar fi memoria, afectivitatea, imaginaia, strile neurofiziologice, cu evoluia individual. Logica se ocup numai de condiiile gndirii normale, corecte lund n considerare formele eronate doar n vederea delimitrii i prescrierii formelor corecte de gndire. n aceast situaie logica nu este n conflict cu psihologia ci n colaborare pentru c nformaiile privitoare la condiiile preliminare ale unei gndiri normale sunt necesare pentru accesul la formele corecte de gndire urmrite de cercetarea logic.n aceast faz logica nc mai are de a face cu psihologia deoarece o

categorie de cauze ce determin abaterea gndirii de la corectitudine este de natur extralogic cauze denumite paralogisme ce sunt de competen comun psihologiei i logicii. Dup detaarea de factorii paralogici, logica i preia mai deplin obiectul mai avnd de luptat cu a doua categorie de factori care in ntr-adevr de corectitudinea formelor i operaiilor gndirii, anume cu grupul sofismelor adic a erorilor logice propriu zise. ns odat obinute condiiile normalitii gndirii i realizat trecerea la formele corecte, logica se afl pe trmul ei unde poate opera distinciile 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 preocupndu-se exclusiv de aspectul obiectiv al formelor gndirii. O alt disciplin care se intersectez cu logica este lingvistica. Cauza care face ca lingvistica s se ntlneasc cu logica este strnsa legtur dintre limbaj i procesul gndirii. Pentru ca o form de gndire s existe ea are nevoie de o materializare fie i n forme interiorizate, subiective. Fr aceast materializare nu pot fi executate operaii nici asupra formelor nici asupra coninutului informaional al gndirii. Lingvistica a descoperit c ntre materializarea formelor gndirii i formele sale pure nu este o dependen absolut ci relativ astfel nct o form de gndire i un coninut se pot materializa n moduri diferite putndu-se exprima de exemplu aceeai judecat cu acelai coninut n limbi diferite. Deci raportul dintre forma mental a gndirii i materializarea sa lingvistic este totodat necesar i convenional. Nu exist o relaie de identitate ntre semn i neles. Totui raportul dintre forma gndirii, coninutul informaional al ei i materializarea acestora este de subordonare. Gndirea subordoneaz limbajul. Datorit acestor relaii lingvistica prin cercetarea i adecvarea limbajului ca vocabular i gramatic are o contribuie substanial la elucidarea problemelor calitii actului de gndire. [modificare]Metod Pentru logic metoda este un ansamblu de prescripii obinute prin transformarea propoziiilor unei teorii n reguli de aciune practic i intelectual n scopul rezolvrii problemelor de logic. Logica de baz (logica tradiional, 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 enunrilor din limba natural, fr a le altera coninutul, n expresii din care poate fi detaat structura lor logic. Simbolizare Simbolizarea este introducerea de simboluri speciale -constante i variabile-cu ajutorul crora forma logic a acestor enunuri este fixat n formule specifice.Se utilizeaz numai parial 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 cunoatere logic datorit potenialului generalizator al metodelor matematice moderne pe care logica le-a preluat foarte productiv n planul cunoaterii.

Aplicaiile logicii
Aplicaiile logicii sunt mult mai complexe dect aplicaiile altor tiine constnd n urmtoarele: 1.Verificarea proceselor de gndire i cale de construcie a teoriilor Este cea mai important aplicaie a logicii i totodat cea mai dificil. Sub aspect praxiologic logica poate converti adevrurile achiziionate n norme de aciune aplicabile asupra gndirii individuale sau colective modificnd eficacitatea gndirii i indirect a aciunii individului sau grupului. Logica este totodat i o specie a aciunii. Rezultatele distinciei ntre formele corecte i cele incorecte ale gndirii se convertesc n reguli dup care ali oameni pot s gndeasc eficient adic avnd randament maxim n obinerea de cunotine adevrate i de rezultate faptice dorite. De exemplu, din cunotina logic "A este identic cu A i numai cu A" extragem regula de aciune c nici un om nu poate fi altul dect el nsui. Deci ori este el ori nu este el, ceea ce determin excluderea lui din lista autorilor prezumtivi ai unei aciuni.

Gndirea corect se distinge prin urmtoarele caracteristici: claritate, precizie, ordine, consisten, coeren, ntemeiere.n acest scop trebuie aplicate regulile definirii, clasificrii i argumentrii. Formarea gndirii logice este un proces mai greu dect formarea vorbirii.Oamenii se nasc cu nclinaii mai mari sau mai mici spre gndirea logic.Chiar dac nu toi pot atinge aceleai performane de gndire logic exist un folos chiar i pentru cei care nu ajung s gndeasc spontan logic; ei se las mai uor corectai de ctre cei ce gndesc mai bine.Scopul formarii gndirii logice este triplu: dezvoltarea gndirii logice spontane, formarea gndirii logice contiente astfel nct individul s ajung n stadiul autocontrolului logic al gndirii i controlul logic al gndirii celorlali oameni materializat n vorbire, n scriere sau n actiuni.Formarea gndirii logice trebuie s nceap ct mai devreme.Ea trebuie s nceap n limbaj natural prin expunere i aplicaii,s utilizeze limbajul de mas, trecndu-se prin gndirea comun spre gndirea tiinific n general.n educaia gndirii logice nu este bine s se nceap prin logica modern, la aceasta ajungndu-se abia ulterior dup educarea prin logica tradiional.Motivele sunt urmtoarele:accesul la gndirea logic este posibil numai prin limbajul natural,n majoritatea domeniilor de activitate se utlizeaz logica exprimat n limbaj natural, gndirea comun nu utilizeaz limbajul simbolic.Logica simbolic prin forma ei s-a ndeprtat de mase devenind un bun al elitei.Chiar i cei care reuesc s o nvee nu totdeauna reuesc s o aplice n corectarea gndirii.n logica simbolic exist pericolul de a face combinatoric steril (sau calcule logoide cu cuvintele lui Grigore Moisil) deci fr efect practic asupra evoluiei efective a gndirii individului supus educaiei.n formarea i dezvoltarea gndirii logice o alt activitate necesar este disputa intelectual n care trebuie s se urmareasc distingerea poziiei juste.Cnd educaia gndirii logice ncepe prea trziu se pot nva reguli de gndire dar nu i abiliatea de a le aplica. 2.Trecerea de la variabilele ei la un sistem de constante; Aceast aplicaie 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. [modificare]Produsele

logice

Rezultatele refleciei logice asupra formelor corecte ale gndirii se concretizeaz n reguli sau principii logice menite s asigure corectitudinea noiunilor, judecilor, raionamentelor. Prin urmare logicianul d norme generale i norme speciale pe care trebuie s le satisfac formele logice pentru a fi corecte.

Principii generale ale gndirii

Valabilitatea legilor gndirii umane corecte este condiionat de stabilitatea relativ a obiectului gndirii. n condiiile devenirii obiectului legile gndirii formale trebuie integrate n sisteme de legi de ordin superior. 1.Principiul identitii Orice lucru este identic cu el nsui i numai cu el nsui. Din acest principiu se deduce c putem avea un act de gndire corect dac i numai dac pstrm n cursul unuia i aceluiai act de gndire acelai neles al unui cuvnt. 2.Principiul noncontradiciei Un lucru ori este ori nu este, n acelai timp. Deci un lucru nu este i totodat este. Cu privire special la raportul ntre dou judeci dintre care una neag ceea ce cealalt afirm nu pot fi ambele adevrate. Suntem obligai s nu ne contrazicem pe noi nine cnd gndim sau eventual cnd comunicm. 3.Principiul terului exclus Din dou judeci n care una neag ceea ce cealalt afirm, una din ele este cu necesitate adevrat, alt posibilitate neexistnd. Aceast lege oblig la admiterea a dou i numai dou valori de adevr pentru judecat. Deci judecata poate fi sau adevrat sau fals. 4.Principiul raiunii suficiente Orice lucru are un temei. Deci nu exist ceva fr baz. Nu exist ceva fr cauz. Tot aa orice judecat trebuie s aib un temei constnd n dovezi, argumente, probe. [modificare]

Operaii logice
Operaiile logice aplicabile diferitelor produse ale gndirii sunt:

pentru noiune: definiia, clasificarea i diviziunea. pentru judecat: inferena imediat pentru raionament: inferena mediat.

[modificare]Definiia Definiia este operaia prin care se face precis coninutul i clar sfera unei noiuni pentru mintea unui om dat. Mai puin riguros definiia se poate face dezvluind nelesul sau aria de aplicabilitate a unui cuvnt. Compoziia, structura i funciile definiiei Definiia are dou elemente necesare: 1) definitul, adic ideea (constructul mental corespondent unui obiect) sau elementul lingvistic (cuvntul scris sau vorbit) i 2) definitorul, adic ansamblul ideilor (exprimabile n limbaj) care dezvluie obiectul definiiei, adic definitul. ntre definit i definitor exist o relaie necesar. Relaia dintre cele dou elemente ale definiiei este necesarmente de identitate, altminteri ea nu este o relaie de definire. Altfel exprimat definitorul este identic cu definitul. Exemplu. Litera (definitul) este (relaia de definire, adic identitate) semnul scris al sunetului pronunat (definitorul). Altfel exprimat, n limbajul scris, ,,Litera este identic prin definiie cu semnul scris al sunetului pronunat. Raiunea de a fi a definiiei const n: 1.Sintetizarea cunotinelor n fiecare etap a cunoaterii unui obiect concentrndu-le n constructe mentale mai economice i mai eficace. 2.Indicarea din ce n ce mai precis, mai exact a gradului de cunoatere a obiectului de ctre subiectul cunosctor. Nu poi susine c tii ce este un lucru dac nu l poi defini riguros att sub aspectul intensiunii ct i sub aspectul extensiunii, adic att sub aspectul nsuirilor lui eseniale ct i sub aspectul varietii speciilor sub care el exist. ]Dup

obiectul cunoaterii

Logicianul poate cerceta formele generale ale gndirii corecte precum i formele speciale de gndire. Mai precis el poate studia formele comune tuturor celor ce gndesc, dar i formele de gndire corect specifice

anumitor oameni n anumite activiti.Micarea gndirii dup obiectul gndit cere adecvarea formelor de gndire la structurile obiectului ceea ce determin apariia logicilor speciale.Pentru gndirea unui anumit obiect se cere o anumit gndire logic. Logica dialectic Termenul de logic dialectic a fost utilizat cu nelesuri diferite.Din totalul inelesurilor n contextul logicii considerm nelesul de teorie a compoziiei, structurii i funcionrii operaiilor logice unice ale spiritului uman n situaii epistemologice n care ntemeierea formal extensional devine inoperant fiind necesar o ntemeiere material, de coninut, intensional. Nivelul cel mai nalt, mai general al abordrii formelor raionale de cunoatere este ntruchipat de logica dialectic. Presupoziia iniial este c fiecare formul logic ndeplinete o anumit funcie cognitiv n ansamblul (ntregul) cunoaterii omeneti. n consecin fiecare form logic se supune unei anumite ordini n dezvoltarea cunoaterii. Temeiul logicii dialectice const n caracterul secund i dependent al cunoaterii n raport cu obiectul de cunoscut. Logica formal nu poate satisface dect exigene interne de corectitudine i nu exigene ale raportrii la obiectul exterior contiinei. Aceast deficien este compensat parial de logica dialectic prin considerarea procesului gndirii logice n desfurarea real care n fapt are att form ct i coninut. Este nc nesistematizat (nematurizat), dar necesar. Logica pur De cercetarea formelor comune de gndire se ocup logica teoretic, logica pur numit i logic formal, deoarece cerceteaz formele gndirii, fr coninut. Are urmtoarele caracteristici: 1.studiaz numai formele cele mai generale de propoziii logice; 2.cuprinde numai legile care depind de formele generale de propoziii i de valorile de adevr adevrat i fals; 3.nu cuprinde niciun fel de termeni, operaii sau relaii determinate (relative la domeniu particular); 4.consider ca scop al logicii studiul inferenei i a condiiilor ei formale;

5.consider c orice determinare a termenilor operaiilor i relaiilor, nseamn trecerea de la forme de propoziii la propoziii despre obiecte determinate i implicit la logica aplicat; 6.operaiile i relaiile logicii sunt studiate numai prin prisma proprietilor formale ale relaiilor i prin prisma adevrului i falsului; 7.cuprinde toate legile logice posibile care satisfac condiiile indicate mai sus. Logica aplicat Este logica obinut din logica pur pe urmtoarele ci: determinarea formelor de propoziii prin determinarea termenilor, operaiilor i relaiilor cu sau fr restrngerea numrului formulelor care sunt logic-adevrate. Logica tiinei Este analiz logic a tiinei att n faza devenirii ct i n faza stabil n care tiina este constituit. n acest caz logicianul studiaz modul n care procesele i schemele logice se manifest ntr-un domeniu sau altul al cunoaterii tiinifice. Logica matematic Are n practica filozofic i tiinific dou nelesuri: a.Un neles mai larg, anume logic expus cu ajutorul limbajelor formalizate; din punct de vedere practic prin logic matematic se nelege aplicarea matematicii la studiul logicii formale. Logica matematic este o consecin a evoluiei tiinei i n special a aplicrii matematicii la logic. Neclaritatea i imprecizia limbajului natural au fost ameliorate prin matematic. Sub acest neles logica matematic este acelai lucru cu logica simbolic i logistica. b.Logica disciplinelor matematice Logica deontic Logica pragmatic Logica tehnic [modificare]Dup Logica inductiv Studiaz formele gndirii, ce pornesc de la judeci individuale, legate direct de fapte i obin judeci cu grade de generalitate crescnde.

calea adoptat

Sensul inferrii este de la judeci individuale ctre cele particulare, apoi ctre cele generale i n final universale. Logica transductiv Este studiul inferenelor cu judeci de acelai grad de generalitate. Logica deductiv Studiul derivrii judecilor mai puin generale din judeci mai generale. Sensul obinerii concluziilor este de la judecile universale ctre cele generale, apoi ctre cele particulare i n final ctre cele individuale. [modificare]Dup

evoluia istoric

Nicholas Rescher a fcut urmtoarea clasificare a logicii considernd criteriul dezvoltrii istorice. [modificare]Logica de baz a.Logica tradiional b.Logica modern ortodox: logica matematic clasic (bivalent) c.Logica modern neortodox: --Logica modal --Logica polivalent --Sistemele nonstandard de implicaie: implicaia strict, entailment .a. --Sistemele nonstandard de cuantificare: pluralitate, .a. [modificare]Metalogic a.Sintaxa logic b.Semantica logic c.Pragmatica logic d.Lingvistica logic ---Teoria structurii ---Teoria nelesului ---Teoria validitii