7/29/2019 Geneza logicii

1/3

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 pentrumodurile 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.

Antichitatea

Evoluia principal a logicii a fost realizat de europeni ncepnd cu Grecia antic.Vechii greci nu auconceput logica dect n nelesul originar de disciplin anterioar tiinelor, ca mod al tiinelor i nu catiin.Acest fapt s-a petrecut deoarece logica nu putea s se prezinte ca o tiin printre alte tiine dinmoment ce ea era ndrumtor pentru tiine deci gen al lor i nu specie printrealte specii.

Conform nelesului elen al termenului "teoria", , aceasta nsemna "contemplare", "viziune", vederedirect.n mod originar, numele de teorie s-a dat acelor cunotine imediate, obinute direct de intuiiaintelectual.Pentru cei vechi i special pentru Aristotel logica era n acest sens o teorie adic un corp deadevruri nedemonstrate, "contemplate", aa cum se gsesc ele esenial 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 silogismuluieste numai o teorie a principiilor silogismului.

n aceast ipostaz a fost lsat logica greac antic pentru nvaii Evului Mediu.

Evul Mediu

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 raionamentelor.

Europa

Logica aristotelic, n aspectul su formal, a stat la bazascolasticiidinEvul Mediu.

Anselm de Canterburry(1033-1109)

A interpretat natura noiunilor universale susinnd c exist n mod real n afara obiectelor singulare iindependent de ele formnd un fel de esen supranatural a obiectelor.

http://ro.wikipedia.org/wiki/Scolastic%C4%83http://ro.wikipedia.org/wiki/Scolastic%C4%83http://ro.wikipedia.org/wiki/Scolastic%C4%83http://ro.wikipedia.org/wiki/Evul_Mediuhttp://ro.wikipedia.org/wiki/Evul_Mediuhttp://ro.wikipedia.org/wiki/Evul_Mediuhttp://ro.wikipedia.org/w/index.php?title=Anselm_de_Canterburry&action=edit&redlink=1http://ro.wikipedia.org/w/index.php?title=Anselm_de_Canterburry&action=edit&redlink=1http://ro.wikipedia.org/w/index.php?title=Anselm_de_Canterburry&action=edit&redlink=1http://ro.wikipedia.org/wiki/Evul_Mediuhttp://ro.wikipedia.org/wiki/Scolastic%C4%83

7/29/2019 Geneza logicii

2/3

Roscelin1050-1112

A considerat c noiunile nu exist ci sunt simple nume pentru obiectele singulare care n fapt suntsingurele existente.

Epoca modern

Secolul XVI

Francis Bacon(1561-1626)

n opera Noul Organon a fundamentat i dezvoltat logica inductiv. Poate fi considerat revoluionar nlogic, fiind adversar al logicii aristotelice ajuns prin denaturarea scolastic din instrument al cunoateriio 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 sne cluzim n cercetarea tiinific. 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,, apreciatpentru purificarea logicii aristotelice de denaturrile scolasticilor precum i pentru valoarea ei pedagogic.

Lucrarea a fost numit Logica de la Port-

Royal.

G.Leibniz(1646-1716)

A studiat problemele logice n legtur cu sarcinile matematicii i ale demonstraiei matematice. A aplicatn logic metoda matematic. A ncercat s construiasc logica sub forma calculului matematic. Aformulat precis legea raiunii suficiente i a pus bazele elaborrii principiilor pentru construirea teoriilordeductive. A descoperit proprietile analitice ale judecilor de relaie, adic proprietile logice alerelaiilor extinznd teoria mijloacelor deduciei.

Secolul XVIII

Immanuel Kant(1724-1804)

A renviat ntr-o form original teoria idealist a ideilor nnscute i a separat total formele i legile logicede coninutul lor, declarndu-le forme anterioare experienei, imuabile, cu care raiunea ar trebui s-iarmonizeze activitatea. Dup Kant, adevrul sau falsul nu constau n concordana sau neconcordanaideilor cu obiectele din realitate, ci de concordana dintre reprezentri. n felul acesta Kant a dat logicii uncaracter formalist.

Secolul XIX

Georg Wilhelm Friedrich Hegel(1770-1831)

http://ro.wikipedia.org/w/index.php?title=Roscelin&action=edit&redlink=1http://ro.wikipedia.org/w/index.php?title=Roscelin&action=edit&redlink=1http://ro.wikipedia.org/wiki/Francis_Baconhttp://ro.wikipedia.org/wiki/Francis_Baconhttp://ro.wikipedia.org/wiki/Ren%C3%A9_Descarteshttp://ro.wikipedia.org/wiki/Ren%C3%A9_Descarteshttp://ro.wikipedia.org/w/index.php?title=G.Leibniz&action=edit&redlink=1http://ro.wikipedia.org/w/index.php?title=G.Leibniz&action=edit&redlink=1http://ro.wikipedia.org/wiki/Immanuel_Kanthttp://ro.wikipedia.org/wiki/Immanuel_Kanthttp://ro.wikipedia.org/wiki/Georg_Wilhelm_Friedrich_Hegelhttp://ro.wikipedia.org/wiki/Georg_Wilhelm_Friedrich_Hegelhttp://ro.wikipedia.org/wiki/Georg_Wilhelm_Friedrich_Hegelhttp://ro.wikipedia.org/wiki/Immanuel_Kanthttp://ro.wikipedia.org/w/index.php?title=G.Leibniz&action=edit&redlink=1http://ro.wikipedia.org/wiki/Ren%C3%A9_Descarteshttp://ro.wikipedia.org/wiki/Francis_Baconhttp://ro.wikipedia.org/w/index.php?title=Roscelin&action=edit&redlink=1

7/29/2019 Geneza logicii

3/3

A criticat idealist i dialectic, formalismul kantian, n problemele logicii. S-a opus categoric ncercrilor dea ridica legile logicii la rangul de metode universale ale cunoaterii.A dezvoltat logica dialectic pe care aaplicat-o n construcia concepiei generale despre lume.

Gottlob Frege(1848-1925)

Nevoile dezvoltrii matematicii au cauzat problemele logicii matematice. Apariia geometriilor neuclidenei descoperirea paradoxelor teoriei mulimilor, au pus problema legitimitii folosirii anumitor procedeelogice n procesul demonstraiei matematice. Odat aprut din aceste condiii logica matematic arezolvat cu mijloacele ei probleme matematice speciale care pn atunci nu putuser fi rezolvate pevechile ci matematice.

n 1879 Frege a elaborat un nou calcul logic dup modelul proiectat de Leibniz i pe baza acestuicalcul adefinit numrul natural numai prin concepte logice. Pe aceast baz a ncercat s deduc aritmetica dinlogic iniind astfellogicismul. Elabornd primul sistem axiomatic al calculului propziional, Frege a dat oanaliz 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

Constituirea logicii matematice

David Hilbert(1862-1943)

S-a preocupat de fundamentele logice ale matematicii, de natura sistemelor formalizate ale logicii imatematicii. A perfecionat alturi de P. Bernais, sistemul axiomatic expus de Bertand Russel iA.N.Whiteheadn opera ,,Principia Mathematica,,

Formularea logicii predicatelor aa cum este aceasta utilizat astzi este logica de ordinul I prezentat nlucrarea luiDavid HilbertiWilhelm Ackermann, Principles of Theoretical Logic[1] (1928). Generalitatea

analitic a logicii predicatelor a permis formalizarea matematicii i a dus la dezvoltarea teoriei modelelorde ctreAlfred Tarski; logica predicatelor constituie fundamentul logicii matematice moderne. Mareadiferen dintre logica silogistic aristotelician i logica predicatelor const n capacitatea acesteia dinurm de a ptrunde n structura fiecrei propoziii, n vreme ce silogistica trata exclusiv relaia dintrepropoziii.

Odat cu apariia logicii predicatelor logicienii au putut s ia n consideraie cuantorii ca instrumente aptepentru exprimarea tuturor argumentelor care apar n limbajul natural.

Bertrand Russell(1872-1970)

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 sreconstruiasc matematica n mod logico-simbolic n conformitate cu concepia lui Gotlob Frege.AntonDumitriusintetizeaz trei trsturi ale sistemului logic al lui Russel: 1)este logic complet i explicitaxiomatizat; 2)este primul sistem logic complet formalizat, deoarece nu ine seama dect de semne i deregulile de operare cu acestea pentru construirea de formule;3)este perfectibil el fiind pornit cu cteva

dificulti iniiale.

http://ro.wikipedia.org/wiki/Gottlob_Fregehttp://ro.wikipedia.org/wiki/Gottlob_Fregehttp://ro.wikipedia.org/w/index.php?title=Logicismul&action=edit&redlink=1http://ro.wikipedia.org/w/index.php?title=Logicismul&action=edit&redlink=1http://ro.wikipedia.org/w/index.php?title=Logicismul&action=edit&redlink=1http://ro.wikipedia.org/wiki/David_Hilberthttp://ro.wikipedia.org/wiki/David_Hilberthttp://ro.wikipedia.org/wiki/Alfred_North_Whiteheadhttp://ro.wikipedia.org/wiki/Alfred_North_Whiteheadhttp://ro.wikipedia.org/wiki/Alfred_North_Whiteheadhttp://ro.wikipedia.org/wiki/Alfred_North_Whiteheadhttp://ro.wikipedia.org/wiki/David_Hilberthttp://ro.wikipedia.org/wiki/David_Hilberthttp://ro.wikipedia.org/wiki/David_Hilberthttp://ro.wikipedia.org/wiki/Wilhelm_Ackermannhttp://ro.wikipedia.org/wiki/Wilhelm_Ackermannhttp://ro.wikipedia.org/wiki/Wilhelm_Ackermannhttp://ro.wikipedia.org/wiki/Alfred_Tarskihttp://ro.wikipedia.org/wiki/Alfred_Tarskihttp://ro.wikipedia.org/wiki/Alfred_Tarskihttp://ro.wikipedia.org/wiki/Bertrand_Russellhttp://ro.wikipedia.org/wiki/Bertrand_Russellhttp://ro.wikipedia.org/wiki/Anton_Dumitriuhttp://ro.wikipedia.org/wiki/Anton_Dumitriuhttp://ro.wikipedia.org/wiki/Anton_Dumitriuhttp://ro.wikipedia.org/wiki/Anton_Dumitriuhttp://ro.wikipedia.org/wiki/Anton_Dumitriuhttp://ro.wikipedia.org/wiki/Anton_Dumitriuhttp://ro.wikipedia.org/wiki/Bertrand_Russellhttp://ro.wikipedia.org/wiki/Alfred_Tarskihttp://ro.wikipedia.org/wiki/Wilhelm_Ackermannhttp://ro.wikipedia.org/wiki/David_Hilberthttp://ro.wikipedia.org/wiki/Alfred_North_Whiteheadhttp://ro.wikipedia.org/wiki/Alfred_North_Whiteheadhttp://ro.wikipedia.org/wiki/David_Hilberthttp://ro.wikipedia.org/w/index.php?title=Logicismul&action=edit&redlink=1http://ro.wikipedia.org/wiki/Gottlob_Frege