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.

Antichitatea
Evoluia principal a logicii a fost realizat de europeni ncepnd cu Grecia antic.Vechii greci nu au conceput logica dect n nelesul 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 tiine 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 intuiia 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 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 silogismului este 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 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.

Epoca modern
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 cunoaterii 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 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,, apreciat pentru 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 aplicat n logic metoda matematic. A ncercat s construiasc logica sub forma calculului matematic. A formulat precis legea raiunii suficiente i a pus bazele elaborrii principiilor pentru construirea teoriilor deductive. A descoperit proprietile analitice ale judecilor de relaie, adic proprietile logice ale relaiilor 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 logice de coninutul lor, declarndu-le forme anterioare experienei, imuabile, cu care raiunea ar trebui s-i armonizeze activitatea. Dup Kant, adevrul sau falsul nu constau n concordana sau neconcordana ideilor cu obiectele din realitate, ci de concordana dintre reprezentri. n felul acesta Kant a dat logicii un caracter formalist.

Secolul XIX
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 construcia concepiei generale despre lume.

Gottlob Frege (1848-1925) Nevoile dezvoltrii matematicii au cauzat problemele logicii matematice. Apariia geometriilor neuclidene i descoperirea paradoxelor teoriei mulimilor, au pus problema legitimitii folosirii anumitor procedee logice n procesul demonstraiei 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 iniind 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
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 i Wilhelm 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 propoziii, n vreme ce silogistica trata exclusiv relaia dintre propoziii. Odat cu apariia logicii predicatelor logicienii au putut s ia n consideraie cuantorii ca instrumente apte pentru 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 s reconstruiasc matematica n mod logico-simbolic 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 dificulti iniiale.