Republica Bolivariană Venezuela

Ministerul Puterii Populare pentru Învățământul Universitar

Institutul Universitar de Tehnologie Industrială

Rodolfo Loero Arismendi

Sediul Los Chaguaramos

Catedră: Antropologie

Istorie
al
Logică
prof.: Membru:

Iisus Parra Jose Olivares

IC V- 19.893.109

Caracas, 16 octombrie 2018

 Introducere

Acest raport de cercetare următor definește o parte din evoluția logicii, care
este legată în esență de progresul intelectual al ființei umane, deoarece ca
știință a raționamentului, începuturile și istoria ei reprezintă istoria omului
însuși. După cum se deduce din textul următor, „logica ia naștere din primul
moment în care omul, atunci când se confruntă cu natura, deduce, deduce și
raționează, cu scopul de a o înțelege și de a profita de ea pentru
supraviețuirea lui”, indică faptul că, fără a se folosi de logică, nu puteți ajunge
la nicio analiză a vreunei probleme sau circumstanțe și, prin urmare, la niciun
răspuns în timp util la aceasta.

Marii logicieni și filozofi precum Platon, Aristotel, Mozi „Maestrul Mo”, Euclid,
al-Farabi, Avicenna, al-Ghazali, René Descartes, Isaac Newton, au avut idei,
opinii și contribuții importante la implementarea și evoluția logicii, pe care în
aceste paragrafe încercăm să deducem care au fost aceste mari contribuții și
cauzele și consecințele acestor mari contribuții.

În această mică reclamă se urmărește informarea și educarea cititorului

despre evoluția pe care a avut-o logica de-a lungul timpului, dar nu înainte de
a face o mică referire la definiția pe care o are logica ca atare, precum și la
principalele caracteristici și/sau avantaje ale acesteia. a acestuia, culminând
cu tipurile de logică care există astăzi.
Subiectul nostru principal, care este definit ca Istoria logicii, integrează mai
multe abordări cu privire la modul de interpretare a evoluției logicii. După cum
ar spune Poncaire, „Logica este împărțită în cinci etape sau revoluții, care
sunt prezentate oscilând între două mari subiecte: de la rigoare și formalitate,
la creativitate și haos”. Acest filosof francez încearcă să definească în câteva
cuvinte în anul 1900, secole și secole de evoluție, de succese și eșecuri, de
realizări și eșecuri pe care le-a avut logica și că evident că la început au
existat mai multe puncte de vedere din fiecare generație. și din fiecare cultură
și că, pe măsură ce trecea timpul, s-au unit până a devenit un semn
universal.
1.- Definiția logicii

Logica este știința formală și ramura strictă a matematicii care studiază

principiile demonstrației și inferenței valide, erorile, paradoxurile și noțiunea
de adevăr, precum și filozofia. Acest cuvânt derivă din grecescul antic logikḗ,
care înseamnă intelectual, iar acesta, la rândul său, provine din cuvântul
lógos, care înseamnă rațiune sau principiu.

Studiul logicii este inferența. Care acest cuvânt este definit ca procesul prin
care concluziile sunt derivate din premise (o idee care este considerată
adevărată și care servește drept bază pentru raționament sau discuție)

Logica investighează temeiurile pe care unele inferențe sau deducții sunt

acceptabile, iar altele nu. Atunci când o inferență sau deducție este
acceptabilă, este din cauza structurii sale logice și nu din cauza conținutului
specific al argumentului sau a limbajului folosit. Din acest motiv logica este
considerată o știință formală. Logica este o capacitate mentală pe care o are
ființa umană cu care este capabilă să înțeleagă și să stabilească un răspuns
coerent la o situație în raport cu o validare care nu este.

Logica este o știință generică, aplicată unui întreg, dacă acel întreg este
obiectul de studiu. Logica include o stare de acceptare și raționament atât
pentru cei care o aplică pentru a analiza, cât și pentru cei care o înțeleg.
Pentru aceasta se folosesc toate metodele de verificare existente Cu logica,
ființa umană are puterea de a-și deschide mintea către noi alternative atunci
când ia decizii, aceasta fiind folosită pentru a obține cea mai bună soluție la o
problemă.
1.1.- Caracteristicile logicii.

Printre cele mai importante caracteristici sau aspecte ale logicii se

menționează următoarele:

 Rezultatele logice sunt valide sau invalide

Aceasta înseamnă că din punct de vedere al logicii nu există argumente

corecte sau greșite, ci doar valide sau invalide. Logica constă în raționament
pentru a produce argumente. Aceste argumente sunt evaluate în termeni de
validitate.

 Logica poate fi formală și informală

Logica este împărțită în două ramuri principale: logica formală și logica

informală.

Logica formală este filozofică și tradițională. Este responsabil de studierea

argumentelor deductive, acelea în care inferența este folosită pentru a trage
concluzii.

Logica informală este cea care este responsabilă pentru studierea

argumentelor exprimate în limbajul natural.

Poate fi deductiv, inductiv, abductiv sau analogic

Logica urmează o serie de modele pentru a produce raționament valid.

Aceste modele sunt deducția, inducția, răpirea și analogia. Fiecare dintre cele
trei modele este aplicat în funcție de circumstanțele contextului comunicativ.

Logica deductivă

Logica deductivă este cea în care se trage o concluzie din două premise.
Prima reprezintă o propoziție universală (pentru că este generală), iar a doua
este o propoziție specifică (pentru că este particulară).
Logica inductivă

Logica inductivă constă în procesul opus logicii deductive. În termeni

generali, acest tip de logică caută să extragă premise dintr-o concluzie deja
existentă.

Logica abductivă

Acest tip de logică este similar cu logica inductivă, deoarece încearcă să

extragă premise dintr-o concluzie.

Diferența dintre aceste două procese este că răpirea oferă cea mai bună
explicație posibilă pentru concluzia prezentată. Cu toate acestea, rezultatele
pot fi incorecte.

 Declarațiile logice sunt unități

Enunțurile logice, fie deductive, inductive, abductive sau analogice, reprezintă

o unitate. Prin urmare, ele nu pot fi împărțite.

 Afirmațiile logice nu se contrazic

Logica este guvernată de principiul non-contradicției. Aceasta afirmă că două

propoziții contradictorii nu pot fi valabile în același timp. Adică nu poți fi și nu fi
simultan.

 Terțul exclus

Logica este caracterizată de principiul mijlocului exclus. Acest principiu se

bazează pe logica clasică, care stabilește că o propoziție nu poate fi decât
adevărată sau falsă, fără posibilitatea existenței unei a treia opțiuni. Acest
principiu este legat de cel al necontradicției.

 Valabilitatea propunerilor este evaluată ținând cont de anumite modalități

Există diverse modalități pe care logica le ia în considerare atunci când
decide dacă o propoziție este validă sau nu.
1.2.- Clasele logice

Acestea sunt împărțite în 8 tipuri de clase, dintre care sunt derivate:

 Logica formală

Aceasta instruiește studiul propozițiilor, argumentelor, enunțurilor sau

propozițiilor din punct de vedere structural.

 Există și alte tipuri de logică, cum ar fi logica științifică, materială, naturală

și de clasă.

 logica matematica

Aceasta studiază sistemele formale în relație cu modul în care codifică sau

definesc noțiuni intuitive ale obiectelor matematice, cum ar fi mulțimi, numere,
dovezi și algoritmi, folosind un limbaj formal.

 Logica informală

Aceasta este ramura de studiu care se concentrează pe limbaj și mesajul

care emană din construcțiile și argumentele semantice.

 Logica non-clasică

Acest tip de logică a apărut în secolul al XIX-lea și apare în contrast cu

afirmațiile logicii clasice.

 logica simbolica

Aceasta se caracterizează prin utilizarea simbolurilor care constituie un nou

limbaj prin care argumentele sunt „traduse”.

 Logica modală

Aceasta implementează studiul argumentelor, dar adaugă elemente legate de

posibilitatea ca afirmația în cauză să fie adevărată sau falsă.
 Logica de calcul

Acesta este un tip de logică derivat din logica simbolică sau matematică, doar
că se aplică în domeniul calculului.

2.- Revizuire istorică a logicii.

Logica, ca studiu clar al metodelor de raționament, a început inițial în trei

civilizații din istoria antică: China, India și Grecia, între secolul al V-lea și
secolul I î.Hr. Dar a existat o civilizație care s-a remarcat înaintea acestor trei
civilizații descrise mai sus, care a fost Mesopotamia.

2.1- Mesopotamia

În Mesopotamia, Manualul de Diagnostic Medical al lui Esagil-kin-apli, scris în

secolul al XI-lea î.Hr., se baza pe un set logic de axiome și presupuneri,
inclusiv viziunea modernă că, prin examinare și Prin examinarea simptomelor
unui pacient, este posibil să se determina problema pacientului, etiologia
acesteia si dezvoltarea viitoare, precum si sansele de recuperare.

În secolele al VII-lea și al VIII-lea î.Hr., astronomii babilonieni au început să

folosească logica internă în sistemele lor de predicție planetară, ceea ce a
reprezentat o contribuție importantă la logica și filosofia științei, gândirea
babiloniană a avut o influență considerabilă asupra gândirii Greciei antice.

2.2.- China antică

În China, un contemporan al lui Confucius, Mozi, „Maestrul Mo” (468 î.Hr.-.

391 î.Hr.), este considerat fondatorul școlii mohiste (mohismul), ale cărei
principii sunt legate de subiecte precum inferența validă și condițiile
concluziilor corecte. În special, una dintre școlile care au urmat mohismului,
logicienii, este considerată de mai mulți experți ca fiind prima care a
investigat logica formală. Din păcate, din cauza reglementărilor legale rigide
din timpul dinastiei Qin, acea linie de cercetare a dispărut din China până la
introducerea filozofiei indiene de către budism. Traducerea și cercetarea
scolastică în logică au fost reprimate de dinastia Qin, în conformitate cu
filozofia legistă Desam. În India, logica a durat mult mai mult: s-a dezvoltat
(de exemplu cu nyāya) până când a apărut școala așarită în lumea islamică,
care a suprimat o parte din lucrările originale în logică. În ciuda celor de mai
sus, au existat inovații scolastice indiene până la începutul secolului al XIX-
lea, dar nu prea au supraviețuit în India colonială. Tratamentul sofisticat și
formal al logicii moderne vine aparent din tradiția greacă.

Filosoful logic chinez Gong Sunlong (325-250 î.Hr.) a propus paradoxul „Unul
și unul nu pot fi doi, deoarece niciunul nu devine doi”. În China, tradiția
cercetării academice în logică a fost însă reprimată de dinastia Qin urmând
filozofia legalistă a lui Han Feizi.

2.3.- India antică

Două dintre cele șase școli de gândire indiene sunt legate de logică: Nyāya și
Vaisheshika. Sutrele Nyaya ale lui Aksapada Gautama constituie textele de
bază ale școlii Nyaya, una dintre cele șase școli ortodoxe ale filozofiei
hinduse. Această școală realistă a lucrat cu o schemă rigidă de inferență cu
cinci membri care cuprinde o premisă inițială, un motiv, un exemplu, o
aplicație și o concluzie. Filosofia idealistă budistă a devenit principalul
adversar al Naiyayikas. Nāgārjuna, fondatorul căii Madhyamika de mijloc, a
dezvoltat o analiză cunoscută sub numele de „catuskoti” sau tetralema.
Această argumentare pe patru direcții a examinat și a respins sistematic
afirmarea unei propoziții, negarea acesteia, afirmarea și negația comune și,
în final, respingerea afirmării și negației sale. Dar cu Dignāga și cu succesorul
său Dharmakirti logica budistă a atins cea mai mare apogeu. Analiza sa s-a
concentrat pe definirea implicației neapărat logice, „vyapti”, cunoscută și sub
numele de concomitent sau penetrare invariabilă. În acest scop, a fost
dezvoltată o doctrină cunoscută sub numele de „apoha” sau diferențiere. Ea
cuprinde ceea ce s-ar putea numi includerea și excluderea proprietăților
definitorii. Dificultățile legate de această întreprindere au stimulat, parțial,
școala neo-scolastică din Navya-Nyāya, care a introdus o analiză formală a
inferenței în secolul al XVI-lea.

În India, inovațiile în școala școlară, numită Nyaya, au continuat din cele mai
vechi timpuri până la începutul secolului al XVIII-lea cu școala Navya-Nyaya.
Spre secolul al XVI-lea, s-au dezvoltat teorii asemănătoare logicii moderne,
cum ar fi „diferența dintre sensul și referința numelor proprii” a lui Gottlob
Frege și „definiția numărului”, precum și teoria „condițiilor restrictive pentru
universale” care anticipează unele dintre ele. Evoluții în teoria mulțimilor
modernă. Din 1824, logica indiană a atras atenția multor studenți occidentali
și a influențat logicieni importanți ai secolului al XIX-lea precum Charles
Babbage, Augustus De Morgan și George Boole. În secolul al XX-lea, filozofii
occidentali precum Stanislaw Schayer și Klaus Glasoff au investigat mai pe
larg logica indiană.

2.4.- Grecia antică

În Grecia Antică, au apărut două tradiții logice opuse. Logica stoică își are
rădăcinile în Euclid din Megara, un elev al lui Socrate și, prin concentrarea sa
pe logica propozițională, este poate cel mai apropiat de logica modernă. Cu
toate acestea, tradiția care a supraviețuit influențelor culturilor ulterioare a fost
Peripatetic, care și-a avut originea în corpul de lucrări ale lui Aristotel
cunoscut sub numele de Organon (instrument), prima lucrare sistematică
grecească despre logică. Examinarea silogismului de către Aristotel permite
comparații interesante cu schema indiană de inferență și discuția chineză mai
puțin rigidă.

Aristotel este considerat fondatorul logicii ca instrument propedeutic sau de

bază pentru toate științele. Aristotel a fost primul care a oficializat
raționamentul, folosind litere pentru a reprezenta termeni. De asemenea, el a
fost primul care a folosit termenul „logică” pentru a se referi la studiul
argumentelor din „limbajul apofantic” ca un manifestator al adevărului în
știință. El a susținut că adevărul se manifestă în judecata adevărată și
argumentul valabil în silogism: (Silogismul este un argument în care, odată
stabilite anumite lucruri, din ele rezultă în mod necesar altceva, pentru că
sunt ceea ce sunt).

În mai multe scrieri ale lui Organon s-a referit la aspecte precum concept,
propoziție, definiție, dovadă și eroare. În principala sa lucrare logică, First
Analytics, el a dezvoltat silogismul, un sistem logic cu o structură rigidă.
Aristotel a formalizat și cadrul opozițional al judecăților și a categorizat
formele valide ale silogismului. Mai mult, Aristotel a recunoscut și studiat
argumentele inductive, baza a ceea ce constituie știința experimentală, a
cărei logică este strâns legată de metoda științifică. Influența realizărilor lui
Aristotel a fost atât de mare încât în secolul al XVIII-lea Immanuel Kant a
ajuns până la a spune că Aristotel a finalizat practic știința logicii.

În Europa, Aristotel a fost primul care a dezvoltat logica. Logica aristotelică a

fost acceptată pe scară largă în știință și matematică și a rămas în uz pe
scară largă în Occident până la începutul secolului al XIX-lea. Sistemul logic
al lui Aristotel a fost responsabil pentru introducerea silogismului ipotetic, a
logicii modale temporale, a logicii inductive, precum și a termenilor influenți
precum termeni, predicabili, silogisme și propoziții. În Europa, în perioada
medievală târzie, s-au făcut eforturi mari pentru a demonstra că ideile lui
Aristotel erau compatibile cu credința creștină. În timpul Evului Mediu
timpuriu, logica a devenit centrul principal al filosofilor, care s-au angajat în
analize logice critice ale argumentelor filozofice, folosind adesea variații ale
metodologiei scolastice. În 1323, a fost publicată influența Summa Logicae a
lui William of Ockham. Până în secolul al XVIII-lea, abordarea structurată a
complotului a degenerat și a căzut din favoare, așa cum se arată în piesa
satirică a lui Holberg Erasmus Montanus.

Filosofii stoici au introdus silogismul ipotetic și au anunțat logica

propozițională, dar nu a avut prea multă dezvoltare. Pe de altă parte, logica
informală a fost cultivată de retorică, oratorie și filozofie, printre alte ramuri ale
cunoașterii. Aceste studii s-au concentrat în principal pe identificarea erorilor
și a paradoxurilor, precum și pe construcția corectă a discursurilor.

În perioada romană logica a avut o dezvoltare mică, s-au făcut mai degrabă
rezumate și comentarii asupra lucrărilor primite, cele mai notabile fiind:
Cicero, Porfirie și Boethius. În perioada bizantină, Philopon.

Până în secolul al XIX-lea, logica aristotelică și stoică a menținut întotdeauna

o relație cu argumentele formulate în limbaj natural. De aceea, deși erau
formale, nu erau formaliste. Astăzi acea relație este tratată dintr-un punct de
vedere complet diferit. Formalizarea strictă a arătat limitările logicii
tradiționale sau aristotelice, care astăzi este interpretată ca o mică parte a
logicii de clasă.

Prin latină în Europa de Vest și prin diferite limbi orientale precum arabă,
armeană și georgiană, tradiția aristotelică a fost considerată într-un mod
special pentru codificarea legilor raționamentului. Abia din secolul al XIX-lea
s-a schimbat această abordare.

2.5.- Matematică și logică

În perioada 600 î.Hr. până în 300 î.Hr., principiile formale ale matematicii au
fost dezvoltate în Grecia. Această perioadă este cunoscută ca perioada
clasică, unde principalii ei reprezentanți sunt Platon, Aristotel și Euclid. Platon
își introduce ideile sau abstracțiile; Aristotel prezintă raționamentul deductiv și
sistematizat iar Euclid este personajul care a avut cea mai mare influență
asupra matematicienilor, instituind metoda axiomatică. În „Elemente”, Euclid
organizează dovezile deductive într-o prezentare sistematică, riguroasă și
bine organizată a cunoștințelor matematice.

Platon

Platon (427-347 î.Hr.) încearcă să înființeze o republică utopică condusă de

filosofi la Siracuza și creează Academia la Atena, care nu a fost doar o
instituție filozofică, ci a servit și ca pregătire politică pentru tinerii aristocrației.
Potrivit multor critici, Platon își construiește teoria cunoașterii pentru a justifica
puterea preeminentă a filosofului și parte a gândirii socratice: căutarea unor
concepte și definiții stabile ale ideilor abstracte (dreptate, bunătate, valoare
etc.). El a menținut existența a două lumi diferite (cea a ideilor și cea a
lucrurilor). Conform lui Platon, concretul este înțeles doar în termeni abstracti,
rezultând că lumea sensibilă își datorează existența lumii ideilor. Platon a
ales dialogul ca formă literară pentru a-și exprima gândurile; Ca personaj
central al „Dialogurilor” sale, el îl plasează pe Socrate, de la care a primit o
influență notabilă [5].

Aristotel
Tratatele lui Aristotel de logică (384-332 î.Hr.), cunoscute sub numele de
Organon, conțin prima tratare sistematică a legilor gândirii în raport cu
dobândirea cunoștințelor. Acestea reprezintă prima încercare de a stabili
logica ca știință. El oferă o clasificare a tuturor conceptelor sau noțiunilor
(substanțe, cantitate, relație, acțiune, pasiune, diferență, proprietate și
accident) și discută regulile raționamentului silogistic. Aristotel nu face din
logică o disciplină metafizică, dar stabilește o corespondență între gândirea
logică și structura ontologică.

Euclid

Acest matematician alexandrin a publicat numeroase lucrări, printre care se

remarcă celebrele ''Elemente'', fără îndoială cel mai cunoscut text matematic
de-a lungul istoriei. „Elementele” sunt împărțite în treisprezece cărți și
constituie o compilație a multor matematici cunoscute pe vremea lui Euclid;
Marea sa valoare constă în utilizarea riguroasă a metodei deductive, făcând
distincție între principii (definiții, axiome și postulate) și teoreme, care sunt
demonstrate din principii. Principiile de natură pur geometrică din „Elemente”
sunt cunoscute sub denumirea de postulate; trei dintre ele asigură existența
și unicitatea liniei determinate de două puncte; a patra, existența unui cerc cu
un centru și o rază date; iar al cincilea oferă condiții care asigură că două
drepte se intersectează într-un punct. De-a lungul istoriei, a rămas
suspiciunea că al cincilea postulat era demonstrabil față de cele precedente.
Dorința de a găsi o asemenea demonstrație a condus, în secolul al XIX-lea,
la construirea unor geometrii non-euclidiene din care se poate deduce
imposibilitatea demonstrării celui de-al cincilea postulat.

2.6.- Evul Mediu

Averroes, unul dintre principalii gânditori arabi care a salvat logica aristotelică
și a reintrodus-o în lumea occidentală. Sub denumirea de dialectică în Evul
Mediu, logica și-a menținut statutul de știință propedeutică. Așa se studiază
în structura învățăturilor Trivium ca una dintre artele liberale dar fără
contribuții deosebite în Evul Mediu timpuriu.

În evoluția sa spre Evul Mediu târziu, contribuțiile arabe ale lui Al-Farabi,
Avicenna și Averroes sunt importante, deoarece arabii au fost cei care au
reintrodus scrierile lui Aristotel în Europa. În Evul Mediu târziu, studiul său era
o cerință pentru a intra în orice universitate. De la mijlocul secolului al XIII-lea,
trei corpuri separate de text au fost incluse în logică. În logic vetus și logic
nova sunt scrieri logice tradiționale, în special Organonul lui Aristotel și
comentariile lui Boethius și Porfirie. Parva logicalia poate fi considerată
reprezentativă pentru logica medievală.

Evoluția critică care s-a dezvoltat din contribuțiile lui Abelard a dinamizat
problemele logice și epistemologice din secolul al XIII-lea (Pedro Hispano,
Raimundo Lulio Lambert din Auxerre, William de Sherwood) care au culminat
cu întreaga problemă din secolul al XIV-lea: William of Ockham, Jean
Buridan, Albert of Saxonia.

Aici sunt abordate o serie de probleme noi la frontiera logicii și semanticii

care nu au fost abordate de gânditorii antici. De o deosebită relevanță este
problema aprecierii termenilor de limbă în raport cu conceptele universale,
precum și statutul lor epistemologic și ontologic și problema individuației.

2.7.-Lumea islamică în Evul Mediu

Pentru un timp după moartea lui Mahomed, legea islamică a considerat

importantă formularea de standarde pentru argumente, ceea ce a dat naștere
unei noi abordări a logicii în Kalam, dar această abordare a fost ulterior
înlocuită de ideile împrumutate din filozofia greacă și elenistică odată cu
ascensiunea filozofi ai școlii Mu'tazili, care au apreciat extraordinar Organonul
lui Aristotel. Lucrările filozofilor islamici cu influențe elenistice au fost cruciale
pentru receptarea logicii aristotelice în Europa medievală, împreună cu
comentariile lui Averroes la Organon. Lucrările lui al-Farabi, Avicenna, al-
Ghazali și alți logicieni musulmani care uneori au criticat și corectat logica
aristotelică și au introdus propriile forme de logică, au jucat, de asemenea, un
rol central în dezvoltarea ulterioară a logicii europene medievale.

Printre cele mai importante dezvoltări făcute de logicienii musulmani se

numără cea a logicii lui Avicenna ca substitut pentru logica aristotelică.
Sistemul logic al lui Avicenna a fost responsabil pentru introducerea
silogismului ipotetic, a logicii mod-temporale și a logicii inductive. O altă
dezvoltare importantă în filosofia islamică este aceea a unei științe stricte a
citatului, isnad sau „revizuirii” și dezvoltarea unei metode științifice. de
anchetă deschisă pentru a contesta anumite pretenții, ijtihad, care ar putea fi
de obicei aplicată la multe tipuri de probleme. Din secolul al XII-lea, în ciuda
rafinamentului logic al lui al-Ghazali, ascensiunea școlii așarite la sfârșitul
Evului Mediu a limitat treptat lucrările originale despre logică în lumea
islamică, deși a continuat mai târziu în secolul al XV-lea.

2.8.-Europa medievală

„Logica medievală” (cunoscută și ca „logică scolastică”) este în mod obișnuit

înțeleasă ca fiind forma logicii aristotelice dezvoltată în Europa medievală în
perioada c 1200–1600. Această sarcină a început după traducerile latine din
secolul al XII-lea, când textele arabe despre logica aristotelică și logica lui
Avicenna au fost traduse în limba Romei. Deși logica lui Avicenna a influențat
logicienii europeni medievali timpurii precum Albert cel Mare, tradiția
aristotelică a devenit dominantă datorită influenței importante a averroismului.
După faza inițială a traducerilor, tradiția logicii medievale s-a dezvoltat în
manuale precum cel al lui Petrus Hispanus (secolul al XIII-lea), de identitate
necunoscută, care a fost autorul unui manual standard de logică, Tractatus,
pentru care era bine cunoscut în Europa câteva secole.

Tradiția a atins punctul culminant în secolul al XIV-lea, cu lucrările lui William

of Ockham (c. 1287–1347) și Jean Buridan. O caracteristică a dezvoltării
logicii aristotelice este cunoscută sub numele de teoria supoziției, un studiu al
semanticii termenilor propoziției. Ultimele mari lucrări ale acestei tradiții sunt
Logica de John Poinsot (1589–1644, cunoscut sub numele de Ioan de Sfântul
Toma) și Deputații metafizice de Francisco Suárez (1548–1617).

2.9.- Ştiinţa matematică

După declinul școlii clasice a grecilor, a apărut o perioadă în care autoritatea

religioasă a brutalizat creativitatea intelectuală. Renașterea începe o nouă
eră în care revitalizarea științei și matematicii este permisă. Cei mai
importanți reprezentanți ai acestei etape sunt Descartes, Newton și Leibniz.
Această perioadă acoperă de la 1500 după Hristos până la 1800 după
Hristos.

Rene Descartes

Punctul de plecare al acestui filozof și matematician francez (1596-1650) este

îndoiala universală, care constă în ignorarea oricărei cunoștințe anterioare
care nu este confirmată de dovezile cu care spiritul trebuie să se manifeste.
Descartes s-a îndoit de toată învățătura primită, de toate cunoștințele
dobândite, de mărturia simțurilor și chiar de adevărurile unei ordini raționale.
În acest moment, el găsește un adevăr de care nu se poate îndoi: evidența
interioară care se manifestă în propriul subiect (eu gândesc, deci sunt). Ca
om de știință, îi datorăm lui Descartes, printre alte contribuții de importanță
considerabilă, crearea geometriei analitice. Această dezvoltare este
importantă pentru știință deoarece face geometria cantitativă și permite
utilizarea metodelor algebrice. Geometria trebuie să fie cantitativă pentru a fi
utilizată în știință și inginerie, iar metodele algebrice permit o dezvoltare mai
rapidă decât metodele sistematice (mai riguroase) cerute de abordarea
axiomatică a geometriei clasice.

Isaac Newton

Isaac Newton (1642-1727) este responsabil de descoperirea gravitației

universale, de dezvoltarea calculului infinitezimal și de descoperiri importante
în optică, precum și de legile care guvernează mecanica clasică.

Gottfried W. Leibniz

filozof și matematician german (1646-1716); a fondat Academia de Științe din

Berlin (1700). În „Discurs asupra artei combinatorii” el afirmă necesitatea unui
limbaj riguros, exact și universal (un limbaj pur formal). Ca matematician,
lucrarea sa principală (publicată în 1684) este raportul intitulat ''Nouă metodă
pentru determinarea maximelor și minimelor'', în care expune ideile
fundamentale ale calculului infinitezimal, anticipându-l pe Newton cu câțiva
ani. Notația pe care a folosit-o este deosebit de convenabilă și este încă
folosită cu unele modificări; a introdus simbolul integral și diferențial al unei
variabile.

2.10.- Formalizarea matematicii

Această etapă se caracterizează prin renașterea formalizării riguroase a

matematicii, care a fost reprezentativă în stadiul grecesc clasic. Utilizarea
infinitezimale a fost una dintre cele mai notorii practici din epoca Renașterii,
pentru care nu s-a oferit nicio justificare. Rigorizarea analizei a venit odată cu
eliminarea infinitezimalelor și prezența limitelor ca argument. În această
perioadă, au fost create logica simbolică, școala formală, logica booleană,
calculul propozițional, inducția matematică și calculul secvenților. Figuri foarte
notabile ale acestei etape sunt: Peano, Hilbert, Frege, Boole, de Morgan,
Gentzen, Russell, Gödel și Whitehead. Îi datorăm lui Russell și Gödel
abordările limitărilor logicii și ale științei în general.

2.11.- Revoluția digitală

Această revoluție a început odată cu inventarea computerului digital și

accesul universal la rețelele de mare viteză. Turing unește logica și calculul
înainte ca orice computer să fie inventat. Weiner a fondat știința ciberneticii.
În școala modernă de calcul există logicieni care au permis progrese
importante: Hoare prezintă un sistem axiomatic de sisteme de programare și
Dijkstra un sistem de verificare și deducere a programelor din specificații.

Alan Turing

Matematician și logician care a fost pionier în teoria calculului și a contribuit la

analize logice importante ale proceselor de calcul. Specificațiile pentru
computerul abstract conceput de el (numit Mașina Turing) s-au dovedit a fi
una dintre cele mai importante contribuții ale sale la teoria calculului. Turing a
dovedit, de asemenea, că este posibil să se construiască o mașină
universală care, cu o programare adecvată, va face munca oricărei mașini
concepute pentru a rezolva probleme specifice [9] Alan Turing a inventat
mașina care îi poartă numele (Turing Machine) în încercarea de a determina
dacă toată matematica ar putea fi redusă la un tip simplu de calcul. Scopul
său a fost să dezvolte cea mai simplă mașină posibilă capabilă să calculeze.
Mașina propusă de Turing este un dispozitiv relativ simplu, dar capabil să
efectueze orice operație matematică. Turing a găzduit iluzia că mașina lui
avea o astfel de capacitate încât ar putea fi capabilă să facă orice poate fi
realizat de creierul uman, inclusiv capacitatea de a poseda conștiința de sine.
În ciuda faptului că sunt considerate echivalente din punct de vedere formal,
diferitele modele de calcul au structuri și comportamente interne diferite.

2.12.- Următoarea revoluție logică

Următoarea revoluție logică va fi asimilarea practică a matematicii și a

calculului în logică. Accentul va fi pus pe computerele care exploatează
informațiile în mod inteligent, trecând de la baze de date la baze de
cunoștințe.

Concluzie
Odată finalizată această investigație și după efectuarea unei scurte
explicații corespunzătoare acestui subiect, s-au putut stabili următoarele
concluzii.

Fără îndoială că logica a avut un impact fundamental, ca știință a științelor,

asupra gândirii contemporane și că nașterea tehnologiei informatice
datorează mult dezvoltării formalismului logic la începutul secolului.

Istoria logicii a fost implementata in imperiul mesopotamien, gandirea

babiloniana a avut o influenta considerabila asupra gandirii Greciei antice.

În timpul secolelor al VII-lea și al VIII-lea î.Hr., astronomii babilonieni au

început să folosească logica internă în sistemele lor de predicție planetară,
ceea ce a reprezentat o contribuție importantă la logica și filosofia științei.
Logica prezintă o dezvoltare istorică foarte interesantă, născându-se din
puternica formalizare a matematicii grecilor, care a fost impactată, ca multe
științe, de gândirea Evului Mediu, unde religia a primat asupra tuturor; Dar,
imboldul minții filozofilor Renașterii a ajutat la reluarea dezvoltării acesteia.

Datorită marilor contribuții pe care logica le-a avut de-a lungul veacurilor, se
poate spune astăzi că a mers mână în mână cu evoluția omului și a mediului
său, deși în prezent mai este nevoie de concentrare și perfecționare a logicii
mult mai mult și premisele actuale pe care trebuie să le rezolvăm cât mai
curând posibil.