Logica este cuvnt derivat din termenul elen (logos).

. n limba greac antic, expresia logos avea urmtoarele nelesuri: cuvnt, idee, ra iune, ordine. Heraclit din Efes utiliza cuvntul logos cu nelesul de ordine necesar, proprie att cosmosului, lumii materiale ct i gndirii omene ti n forma ei superioar. Filosofii stoici elini au dat cuvntului logos un sens idealist, n elegnd prin logos raiunea cosmic, divin. Mai trziu filosoful Filon Iudeu la utilizat cuvntul logos desemnnd prin el ra iunea divin ca for mijlocitoare ntre Dumnezeu i lume. Teologii cretini au utilizat cuvntul 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 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 ra iunii suficiente. n continuare la constituirea logicii i-au adus contribuia filosofii sofi ti prin practica demonstra iei. Gnditorul Socrate aproximativ ntre 469-399 .e.n. prin centrarea reflec iei 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 cuno tin ele 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 cunoa terii 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 separa ie 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 ini iat i dezvoltat cercetri speciale de logic n conexiune sau n baza altor discipline tiinifice dnd natere unor logici speciale. Asupra sistemelor logice tradi ionale i moderne n special s-au dezvoltat cercetrile logice care le dep esc sub aspectul generalitii, cercetri reunite sub numele de metalogic. Reflec iile cele mai generale asupra logicii actuale se fac asupra conceptelor logice fundamentale,

asupra condiiilor i metodelor formale i asupra finalit ii logicii, reflec ii ce poart denumirea de filozofia logicii sau logic filozofic. Cuprins [ascunde]
o o o o o o o o o o o o o o o

1 Logica formal i celelalte tiine 2 Metod 3 Valoare acional 4 Aplicaiile logicii 5 Produsele logice 5.1 Principii generale ale gndirii 5.2 Legi speciale 6 Istoric 6.1 Antichitatea 6.2 Evul Mediu 6.3 Epoca modern 6.4 Secolul XVIII 6.5 Secolul XIX 6.6 Perioada contemporan 7 Operaii logice 7.1 Definiia 7.2 Clasificarea 7.3 Diviziunea 7.4 Inferarea 8 Clasificri ale logicii 8.1 Dup obiectul cunoaterii 8.2 Dup calea adoptat 8.3 Dup evoluia istoric 8.3.1 Logica de baz 8.3.2 Metalogic 9 Dezvoltri ale logicii 10 Bibliografie 11 Vezi i 12 Referine

Logica formal i celelalte tiine Logica studiind forma gndirii se deosebe te de toate celelalte tiin e care re in 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 condi iile i factorii externi gndirii cum ar fi memoria, afectivitatea, imagina ia, strile neurofiziologice, cu evoluia individual. Logica se ocup numai de condi iile 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 condi iile 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 ntradevr de corectitudinea formelor i operaiilor gndirii, anume cu grupul sofismelor adic a erorilor logice propriu zise. ns odat ob inute condi iile normalit ii 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 informa ional 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 aceea i judecat cu acelai coninut n limbi diferite. Deci raportul dintre forma mental a gndirii i materializarea sa lingvistic este totodat necesar i conven ional. Nu exist o relaie de identitate ntre semn i n eles. Totu i raportul dintre forma gndirii, coninutul informaional al ei i materializarea acestora este de subordonare. Gndirea 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 calitii actului de gndire. Metod Pentru logic, metoda este un ansamblu de prescrip ii ob inute 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. Standardizarea logic Standardizarea logic este transformarea enun rilor din limba natural, fr a le altera coninutul, n expresii din care poate fi deta at structura lor logic. Simbolizarea 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. Formalizarea 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 potenialului generalizator al metodelor matematice moderne pe care logica le-a preluat foarte productiv n planul cunoa terii. Clase de metode

Limbaje simbolice Metode algoritmice Metode axiomatice Formalizare Metode matematice Metodele cantitative i geometrice Metoda teoriei mulimilor Metoda structurilor matematice Metoda aritmetizrii Metode cu caracter special

Metoda diagonalelor lui Cantor

Metoda induciei matematice

Metoda recursiv

Definiie Clasificare Diviziune Metode grafice

Valoare acional Aplicaiile logicii[modificare] Aplicaiile logicii sunt mult mai complexe dect aplica iile altor tiin e constnd n urmtoarele: 1.Verificarea proceselor de gndire i cale de construc ie a teoriilor Este cea mai important aplicaie a logicii i totodat cea mai dificil. Sub aspect praxiologic logica poate converti adevrurile achizi ionate 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 distinc iei ntre formele corecte i cele incorecte ale gndirii se convertesc n reguli dup care al i oameni pot s gndeasc eficient adic avnd randament maxim n ob inerea de cuno tin e adevrate 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 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 to i 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 u or corecta i de ctre cei ce gndesc mai bine.Scopul formarii gndirii logice este triplu: dezvoltarea gndirii logice spontane, formarea gndirii logice con tiente astfel nct individul s ajung n stadiul autocontrolului logic al gndirii i controlul logic al gndirii celorlal i 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. Produsele logice[modificare] Rezultatele refleciei logice asupra formelor corecte ale gndirii se concretizeaz n reguli sau principii logice menite s asigure corectitudinea no iunilor, judec ilor, 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[modificare] Valabilitatea legilor gndirii umane corecte este condi ionat 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 nsu i. 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 acela i n eles 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 n ine 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. Legi speciale[modificare] Regulile speciale ale corectitudinii formelor gndirii se adreseaz formelor particulare pe care le iau noiunile, judecile i raionamentele.n general legile logice speciale sunt forme particularizate de actiune a celor patru legi generale. Exemple

Reguli ale sistemelor axiomatice

1.Consisten O construcie axiomatic este formal consistent dac i numai dac ea nu con ine contradicii.Dac ea conine att o formul ct i contradictoria ei atunci ea este formal inconsistent.Inconsistena este dat de proba conjunc iei celor dou formule care este o autocontradicie.Este un caz particular de manifestare a legii noncontradiciei. 2.Completitudine Orice propoziie A aparinnd sistemului poate fi sau demonstrat sau respins adic din orice cuplu de propoziii contradictorii A i non A, din sistem, tebuie s fie demonstrat cel puin una. 3.Independena Aceast regul se refer la independen a axiomelor.Este cerin a ca nici una din axiome s nu derive din celelalte.Nici unul din enun urile componente ale bazei axiomatice nu trebuie s fie deductibil din celellalte.Proba independen ei se face ori prin scoaterea axiomei vizate ori prin substituirea ei cu contradictoria sa cu condi ia ca sistemul s nu devin incosistent. Istoric Istoric[modificare] Antichitatea[modificare] Evoluia principal a logicii a fost realizat de europeni ncepnd cu Grecia antic. Vechii greci nu au conceput logica dect n n elesul originar de disciplin anterioar tiinelor, ca mod al tiinelor i nu ca tiin. Acest fapt s-a petrecut deoarece logica nu putea s se prezinte ca o tiin printre alte tiin e din moment ce ea era ndrumtor pentru tiine deci gen al lor i nu specie printre alte specii. Conform nelesului elen al termenului "teoria", , aceasta nsemna "contemplare", "viziune", vedere direct. n mod originar, numele de teorie s-a dat acelor cunotine imediate, obinute direct de intui ia intelectual. Pentru cei vechi i special pentru Aristotel logica era n acest sens o teorie adic un corp de adevruri nedemonstrate, "contemplate", aa cum se gsesc ele esen ial n realitate. Logica nu era o construcie tiinific, nu era conceput ca o ierarhie de adevruri ci ea i propunea s nvee principiile, de aceea neputnd fi considerat tiin . Chiar dac Aristotel a folosit expresia de "tiin apodictic" aceasta nu certific dect nelesul de cunotin a demonstraiei. Teoria silogismului este numai o teorie a principiilor silogismului.

n aceast ipostaz a fost lsat logica greac antic pentru nv a ii Evului Mediu. Evul Mediu[modificare] India. n secolul VII Dharmakirti a scris un scurt manual de logic numit O pictur de logic. n secolul IX Dharmottara a adugat acestui manual indian de logic propriile comentarii. n logica indian exist o teorie destul de aprofundat a ra ionamentelor. Europa Logica aristotelic, n aspectul su formal, a stat la baza scolasticii din Evul Mediu. Anselm de Canterburry (1033-1109) A interpretat natura noiunilor universale susinnd c exist n mod real n afara obiectelor singulare i independent de ele formnd un fel de esen supranatural a obiectelor. Roscelin 1050-1112 A considerat c noiunile nu exist ci sunt simple nume pentru obiectele singulare care n fapt sunt singurele existente. Albertus Magnus (1206 - 1280) A fost clugr dominican. Toma din Aquino (1225-1274) Duns Scott (1265-1308) Wiliam Occam (1300-1350) Johanes Buridan Petrus Hispanus Albert Saxonul Raymundus Lulus rile arabe Ibn Rushd (1126 - 1198) Moise Maimonide (1135 - 1204) Epoca modern[modificare] Secolul XVI Francis Bacon (1561-1626) n opera Noul Organon a fundamentat i dezvoltat logica inductiv. Poate fi considerat revoluionar n logic, fiind adversar al logicii aristotelice ajuns prin denaturarea scolastic din instrument al cunoa terii o piedic n calea acesteia. A elaborat inducia tiinific.

Secolul XVII Ren Descartes (1596-1650) A combtut logica scolastic medieval i logica lui Aristotel. A formulat patru reguli dup care trebuie s ne cluzim n cercetarea tiin ific. Cele patru reguli carteziene sunt: 1. a considera drept adevrate numai acele lucruri (idei) care sunt cunoscute i verificate (demonstrate); 2. a descompune n procesul cercetrii ceea ce este complex n ceea ce este simplu; 3. a te ridica de la simplu la complex, de la ceea ce este evident la ceea ce este mai puin evident; 4. a studia obiectul n toate amnuntele lui. n 1662 adepii lui Descartes, Arnaud i Nicole au scris cartea ,,Logica sau arta de a gndi,, apreciat pentru purificarea logicii aristotelice de denaturrile scolasticilor precum i pentru valoarea ei pedagogic. Lucrarea a fost numit Logica de la PortRoyal. G.Leibniz (1646-1716) A studiat problemele logice n legtur cu sarcinile matematicii i ale demonstra iei matematice. A aplicat n logic metoda matematic. A ncercat s construiasc logica sub forma calculului matematic. A formulat precis legea ra iunii suficiente i a pus bazele elaborrii principiilor pentru construirea teoriilor deductive. A descoperit proprietile analitice ale judecilor de rela ie, adic propriet ile logice ale rela iilor extinznd teoria mijloacelor deduciei. Secolul XVIII[modificare] Immanuel Kant (1724-1804) A renviat ntr-o form original teoria idealist a ideilor nnscute i a separat total formele i legile logice de coninutul lor, declarndu-le forme anterioare experien ei, imuabile, cu care raiunea ar trebui s-i armonizeze activitatea. Dup Kant, adevrul sau falsul nu constau n concordana sau neconcordan a ideilor cu obiectele din realitate, ci de concordana dintre reprezentri. n felul acesta Kant a dat logicii un caracter formalist. Secolul XIX[modificare] Georg Wilhelm Friedrich Hegel (1770-1831) A criticat idealist i dialectic, formalismul kantian, n problemele logicii. S-a opus categoric ncercrilor de a ridica legile logicii la rangul de metode universale ale cunoaterii.A dezvoltat logica dialectic pe care a aplicat-o n construc ia concep iei generale despre lume. Gottlob Frege (1848-1925) Nevoile dezvoltrii matematicii au cauzat problemele logicii matematice. Apari ia geometriilor neuclidene i descoperirea paradoxelor teoriei mul imilor, au pus problema legitimitii folosirii anumitor procedee logice n procesul demonstra iei matematice. Odat aprut din aceste condiii logica matematic a rezolvat cu

mijloacele ei probleme matematice speciale care pn atunci nu putuser fi rezolvate pe vechile ci matematice. n 1879 Frege a elaborat un nou calcul logic dup modelul proiectat de Leibniz i pe baza acestui calcul a definit numrul natural numai prin concepte logice. Pe aceast baz a ncercat s deduc aritmetica din logic ini ind astfel logicismul. Elabornd primul sistem axiomatic al calculului propziional, Frege a dat o analiz strict a funciilor propoziionale, a problematicii calculului cu predicate i a definit precis conceptele fundamentale ale logicii simbolice. A dezvoltat o teorie sistematic a semnificaiei. Perioada contemporan[modificare] Constituirea logicii matematice David Hilbert (1862-1943) S-a preocupat de fundamentele logice ale matematicii, de natura sistemelor formalizate ale logicii i matematicii. A perfecionat alturi de P. Bernais, sistemul axiomatic expus de Bertand Russel i A.N. Whitehead n opera ,,Principia Mathematica,, Formularea logicii predicatelor aa cum este aceasta utilizat astzi este logica de ordinul I prezentat n lucrarea lui David Hilbert iWilhelm Ackermann, Principles of Theoretical Logic[1] (1928). Generalitatea analitic a logicii predicatelor a permis formalizarea matematicii i a dus la dezvoltarea teoriei modelelor de ctre Alfred Tarski; logica predicatelor constituie fundamentul logicii matematice moderne. Marea diferen dintre logica silogistic aristotelician i logica predicatelor const n capacitatea acesteia din urm de a ptrunde n structura fiecrei propozi ii, n vreme ce silogistica trata exclusiv relaia dintre propozi ii. Odat cu apariia logicii predicatelor logicienii au putut s ia n considera ie cuantorii ca instrumente apte pentru exprimarea tuturor argumentelor care apar n limbajul natural. Bertrand Russell (1872-1970) Succesiunea lucrrilor de logic matematic ale acestui logician este urmtoarea: 1903, Londra ,,Principles of mathematics,, - ,,Principiile matematicilor,,1906, Paris ,,Les paradoxes de la logique,, - ,,Paradoxurile logicii,,) n Revue de Mtaphysique et de Morale,, 1908, ,,Mathematical logic as based on the theory of types,,-,,Logica matematic bazat pe teroria tipurilor n ,,American Journal of Mathematics,, 1910-1913, Cambridge, ,,Principia Mathematica,, -,,Principiile Matematice,,- n colaborare cu A.N. Whitehead 1919, Londra, ,,Introduction to mathematical philosophy,, -,,Introducere n filozofia matematic,,Logicienii care au impus prima oper de logic matematic au fost Bertrand Russell i A.N.Whitehead (1861-1947) prin lucrarea ,,Principia Mathematica,,.Sistemul logic construit de acetia avea ca scop s reconstruiasc matematica n mod logicosimbolic n conformitate cu concepia lui Gotlob Frege. Anton Dumitriu sintetizeaz trei trsturi ale sistemului logic al lui Russel: 1)este logic complet i explicit axiomatizat; 2)este primul sistem logic complet formalizat, deoarece nu ine seama

dect de semne i de regulile de operare cu acestea pentru construirea de formule;3)este perfectibil el fiind pornit cu cteva dificult i ini iale. Problema antinomiilor. n dezvoltarea logicii i matematicii a aprut o serie de piedici paradoxale care au nruit att fundamentele logicii ct i ale matematicii provocnd nencredere n matematic i logic.Acestea au fost paradoxele logico-matematice.Printre aceste contradicii citm cele mai importante:1)paradoxul lui Burali-Forti 2)paradoxul lui Cantor 3)paradoxul lui Russell 4)paradoxul lui Richard 5)Paradoxul lui Zermelo-Knig 6)Paradoxul lui Berry 7)paradoxul lui Greeling-Nelson 9)paradoxul lui Skolem 10.paradoxul lui Gdel 10)paradoxul mincinosului.Pentru dep irea acestor pericole pentru logic i matematic au fost ncercate mai multe solu ii, cea mai important fiind a lui Bertrand Russell, teoria tipurilor.Problema antinomiilor logico-matematice este unul din obstacolele cele mai mari n constituirea logicii ca tiin matematic i n fundamentarea logic a matematiciii. Jan ukasiewicz (1878 - 1956) a introdus o a treia valen , aceea de "posibil". Mai trziu se admite c ntre "adevrat" i "fals" exist un numr nesfr it de grade intermediare (logica fuzzy). Kurt Gdel (1906 - 1978) a ntreprins ambiiosul program de considerare a logicii ca obiect de studiu al matematicii. Operaii logice[modificare] Operaiile logice aplicabile diferitelor produse ale gndirii sunt:

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

Definiia[modificare] Definiia este operaia prin care se face precis con inutul i clar sfera unei no iuni pentru mintea unui om dat. Mai puin riguros definiia se poate face dezvluind n elesul 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. Rela ia dintre cele dou elemente ale definiiei este necesarmente de identitate, altminteri ea nu este o rela ie 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 cunoa terii 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 po i defini riguros att sub aspectul intensiunii ct i sub aspectul extensiunii, adic att sub aspectul nsuirilor lui eseniale ct i sub aspectul variet ii speciilor sub care el exist. Clasificarea[modificare] Clasificarea este operaia prin care obiectele unei mul imi date sunt distribuite n clase dup un anumit criteriu. Este o opera iune sintetic i porne te de la indivizi (obiecte individuale, concrete sau de la no iunile obiectelor individuale) mergnd ctre specii i genuri. n ordine logic este a doua opera iune, fiind precedat de definiie i urmat de diviziune. Diviziunea[modificare] Divizunea este operaia logic de descompunere a unei no iuni n no iuni subordonate. Este operaiune analitic pornind de la genuri, trecnd la specii i ajungnd la noiuni individuale. Divizunea porne te numai de la no iuni constituite deja prin proces anterior de cunoatere. n ordinea generrii cunoa terii este a treia operaiune logic presupunnd definiia i clasificarea avnd func ia ordonrii cunotinelor achiziionate prin definire i clasificare. Inferarea[modificare] Inferarea este procedeul de gndire prin care din cuno tin e ini iale, ob inem o cunotin nou. Schema operaiei de inferare se nume te inferen sau raionament. Inferarea se bazeaz pe existen a n cuno tin ele ini iale a cuno tin elor rezultate. Ele dobndesc nsuirea de a fi noi pentru con tiin a celui ce nu le-a neles iniial direct din judecile de la care a pornit. Inferena imediat (nemijlocit) Inferarea se poate face asupra unei singure judec i avnd calitatea de premis, adic judecat de pornire. Pornindu-se de la ea printr-o opera ie de gndire ob inem o cunotin, adic o judecat nou prin explicitarea judec ii premiz. Principalele forme de inferene imediate sunt urmtoarele: obversiunea i conversiunea. Obversiunea Obversiunea const n obinerea dintr-o judecat dat a unei alte judec i echivalente, dar opus calitativ, adic dintr-o judecat afirmativ ob inem una negativ i invers dintr-una negativ obinem una afirmativ. Exemplu: Simbolic i general: S este P S nu este non-P. Natural i concret : Omul este spiritual implic Omul nu este nespiritual. Conversiunea

Conversiunea este obinerea unei judeci noi, al crei subiect logic este predicatul logic al judecii iniiale i al crei predicat logic este subiectul judec ii ini iale. Exemplu: Simbolic i general: Toi S sunt P Unii P, i numai unii P sunt S. Natural i concret: Toi consecvenii sunt oameni implic Unii oameni i numai unii oameni sunt consecveni. Inferena mediat (mijlocit) Este forma de inferare a unei judeci noi pornind de la alte dou sau mai multe judeci cu rol de premize. Compoziia raionamentului este urmtoarea: 1.Cunotina iniial compus din dou sau mai multe judec i cu rol de premise; 2.Cunotina de fundare care se exprim n regula ra ionamentului; 3.Cunotina nou exprimat n concluzia raionamentului. Exemplu: Schema general simbolizat: < AB BC> <AC>. n limbaj natural: Premiza 1: Existena viciului determin cutarea obiectului satisfacerii viciului. Premiza 2: Cutarea obiectului satisfacerii viciului poate cauza o infrac iune. Regula de fundare: O cauz determin un lan determinat de cauze. Concluzie: Existena viciului poate cauza o infraciune. Clasificri ale logicii[modificare] n ciuda caracterului ei ordonat logica nu este unitar. Nu sunt acumulate i maturizate cunotinele logice n aa fel nct s se poat executa o diviziune logic asupra ei nsi. n aceast situaie se pot face doar clasificri provizorii a diferitelor dezvoltri logice. Clasificri ale logicilor ca pri ale logicii n ansamblu se pot face dup criterii diferite. Se disting criteriul coninutului, adic al obiectului, criteriul metodelor folosite, criteriul evoluiei istorice a logicii ca form a vieii spirituale umane. Dup obiectul cunoaterii[modificare] 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 apari ia logicilor speciale.Pentru gndirea unui anumit obiect se cere o anumit gndire logic. Logica dialectic Termenul de logic dialectic a fost utilizat cu n elesuri diferite.Din totalul inelesurilor n contextul logicii considerm n elesul de teorie a compozi iei, structurii i funcionrii operaiilor logice unice ale spiritului uman n situa ii 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 ra ionale de cunoa tere este ntruchipat de logica dialectic. Presupoziia ini ial este c fiecare formul logic ndeplinete o anumit funcie cognitiv n ansamblul (ntregul) cunoa terii omene ti. 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 exigen e ale raportrii la obiectul exterior contiinei. Aceast deficien este compensat par ial de logica dialectic prin considerarea procesului gndirii logice n desf urarea 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 con inut. Are urmtoarele caracteristici: 1.studiaz numai formele cele mai generale de propozi ii logice; 2.cuprinde numai legile care depind de formele generale de propozi ii i de valorile de adevr adevrat i fals; 3.nu cuprinde niciun fel de termeni, opera ii sau rela ii determinate (relative la domeniu particular); 4.consider ca scop al logicii studiul inferen ei i a condi iilor ei formale; 5.consider c orice determinare a termenilor opera iilor i rela iilor, nseamn trecerea de la forme de propoziii la propozi ii despre obiecte determinate i implicit la logica aplicat; 6.operaiile i relaiile logicii sunt studiate numai prin prisma propriet ilor formale ale relaiilor i prin prisma adevrului i falsului; 7.cuprinde toate legile logice posibile care satisfac condi iile indicate mai sus. Logica aplicat Este logica obinut din logica pur pe urmtoarele ci: determinarea formelor de propoziii prin determinarea termenilor, opera iilor i rela iilor 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 tiin a este constituit. n acest caz logicianul studiaz modul n care procesele i schemele logice se manifest ntr-un domeniu sau altul al cunoa terii tiin ifice. 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 n elege aplicarea matematicii la studiul logicii formale. Logica matematic este o consecin a evolu iei tiin ei i n special a aplicrii matematicii la logic. Neclaritatea i imprecizia limbajului natural au

fost ameliorate prin matematic. Sub acest neles logica matematic este acela i lucru cu logica simbolic i logistica. b.Logica disciplinelor matematice Logica deontic Logica pragmatic Logica tehnic Dup calea adoptat[modificare] Logica inductiv Studiaz formele gndirii, ce pornesc de la judec i individuale, legate direct de fapte i obin judeci cu grade de generalitate crescnde. 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 judec i mai generale. Sensul obinerii concluziilor este de la judecile universale ctre cele generale, apoi ctre cele particulare i n final ctre cele individuale. Dup evoluia istoric[modificare] Nicholas Rescher a fcut urmtoarea clasificare a logicii considernd criteriul dezvoltrii istorice. Logica de baz[modificare] a.Logica tradiional b.Logica modern ortodox: logica matematic clasic (bivalent) c.Logica modern neortodox: --Logica modal --Logica polivalent --Sistemele nonstandard de implicaie: implica ia strict, entailment .a. --Sistemele nonstandard de cuantificare: pluralitate, .a. Metalogic[modificare] a.Sintaxa logic b.Semantica logic c.Pragmatica logic d.Lingvistica logic ---Teoria structurii ---Teoria nelesului ---Teoria validitii

Dezvoltri ale logicii[modificare] a.Dezvoltri matematice Dezvoltri aritmetice Dezvoltri algebrice Dezvoltri funcional-teoretice Teoria demonstraiei Logica probabilist Teoria mulimilor Fundamentele matematicii n ordine istoric aceste dezvoltri au fost primele aplica ii ale logicii simbolice. Logica matematic a debutat ca o logic a matematicii. b.Dezvoltri tiinifice Aplicaii fizice Logica cuantic Teoria modalitilor fizice ori cauzale Aplicaii biologice Aplicaii n stilul lui Woodger Logica cibernetic Aplicaii sociologice Logica normelor Logica evalurii Aplicaii legale Procesul de matematizare precede n general procesul de logicizare prefigurnd structurile logice n domeniul aplicaiei. c.Dezvoltri filozofice Aplicaii etice -Logica aciunii -Logica deontic -Logica comenzilor (a imperativelor) -Logica preferinei i alegerii Aplicaii metafizice -Logica existenei -Ontologia lui Leniewski -Logica constructivist -Ontologia (disputa nominalism-realism) Aplicaii epistemologice

-Logica ntrebrilor i rspunsurilor -Logica temporal -Logica parte-ntreg (mereologia) -Logica epistemic -Logica supoziiei -Logica informaiei -Logica inductiv Logica evidenei i confirmrii Logica probabilist n msura n care reflecia logic filozofic asupra unui domeniu dat se maturizeaz, gndirea logic a obiectului trece n aplica ii tiin ifice ale logicii. Ceea ce rmne constant n sfera logicii filozofice sunt temele ontologice i gnoseologice. Bibliografie[modificare] 1.Enescu Gheorghe

Introducere n logica matematic, 1965 Logic i adevr, 1967 Logic simbolic, Editura tiinific, Bucure ti, 1971 Filozofie i logic, Editura tiinific, Bucureti, 1973 Teoria sistemelor logice, Editura tiinific i Enciclopedic, Bucure ti, 1976 Fundamentele logice ale gndirii, Editura tiin ific i Enciclopedic, Bucureti, 1980 Dicionar de logic, Editura tiinific i Enciclopedic, Bucure ti, 1985

2.uugan F.

Silogistica judecilor de predicaie, Bucure ti, 1965

3.Petre Botezatu

Semiotic i negaie, Editura Junimea, Iai, 1973

4.Petru Ioan

Orizonturi logice, Editura Didactic i Pedagogic, Bucure ti, 1995

5.Anton Dumitriu

,,Istoria logicii,, Editura didactic i pedagogic, Edi ia II Bucure ti 1975 ,,Teoria logicii,, Istoria logicii romneti, Alexandru Surdu, Drago Popescu, coord., Editura Tehnic, Bucureti, 2006.

Vezi i[modificare]

Eroare logic Logica fuzzy

Referine[modificare]

[ascunde] vdm Ghid rapid de filozofie Portal Categorie Proiect Oriental Occidental Filozofie Antic Medieval Modern Contemporan Liste Ramuri Filozofia Domenii de baz Filozofi Filozofii Glosar Curente Publicaii Alte liste Estetic Etic Epistemologie Logic Metafizic Filozofie natural

Educaiei Istoriei Limbajului Dreptului Matematicii Minii Politicii Psihologiei Relig

Atomism Deconstrucie Determinism Dialectic Empirism Existenialism Fenomenolog coli analitic Hermeneutic Idealism Materialism Monism Nativism Neoplatonism Nihilism logic Pragmatism Presocratici Raionalism Relativism Scepticism Scolastic Stoicism Referine: Encyclopedi