Nume: Voicu

Prenume: Antonio-Alex
Clasa a IX-a A
Liceul Tehologic Administrativ și de Servicii “VIctor Slăvescu”

Referat Logică

G. Frege- Contribuții în logica modernă

 Friedrich Ludwig Gottlob Frege a fost un matematician , logician și filosof german , tată
al logicii matematice moderne, și apoi a proclamat controversat și tatăl filosofiei analitice din
lucrarea exegetică a lui Michael Dummett , precum și un erudit în epistemologie , filozofia
matematicii și filozofia limbajului .
Frege este considerat aproape în unanimitate de criticii de astăzi drept unul dintre cei mai mari
logicieni după Aristotel și este tatăl gândirii formale din secolul al XX-lea . De exemplu, Jan Łukasiewicz îl
numește „cel mai mare logician al vremurilor noastre”, în timp ce conform lui Józef Maria Bocheński prima sa
carte, “Ideografia” , poate fi comparată doar cu o lucrare din întreaga istorie a logicii, “Prima Analitică” a lui
Aristotel. Această lucrare revoluționară a sa (intitulată “Begriffsschrift” în germană, „Scrierea pentru
concepte”, și publicată în 1879 ) a marcat începutul unei noi epoci în istoria logicii, înlocuind vechea logică a
relației gen-specie, care a rămas aproape neschimbată timp de secole după formalizarea lui Aristotel în
Organon , cu o logică a funcțiilor a n - a împrumutate din matematică.

Frege a fost primul susținător al logicismului , adică al perspectivei conform căreia

aritmetica , așa cum este constituită prin propoziții analitice, ar fi reductibilă doar la logică. În
practică, prin realizarea proiectului său, el ar fi arătat că judecățile aritmeticii nu sunt sintetice a
priori , ci analitice; de aceea sunt demonstrabile într-un mod exclusiv logic, adică recurgând doar
la regulile gândirii raționale. Pe scurt, Frege a vrut să arate că, cu teoria mulțimilor și o bună
definiție a logicii, toate seturile numerice ar putea fi derivate. Toată aritmetica devine o
construcție logică.
Acest lucru nu se aplică geometriei , care pentru Frege este sintetică a priori, deoarece se
bazează pe intuiția pură a spațiului ; de fapt, el va argumenta cu David Hilbert , care, cu
formalismul său matematic, a încercat să readucă geometria în axiomele pur logice.
În plus față de ideografia menționată mai sus, el a încercat ulterior să găsească aritmetica pe o bază
logică în Die Grundlagen der Arithmetik („Fundamentele aritmeticii”) și în Grundgesetze der Arithmetik
(„Principiile aritmeticii”): aceste lucrări au reprezentat tocmai încercarea a deriva în mod explicit legile
aritmeticii dintr-un sistem de axiome prin intermediul unui calcul logic format din lanțuri deductive lungi în
care, potrivit lui Frege, nu ar fi trebuit să fie inserat nimic intuitiv și nedeductibil logic. Având în vedere
limitele limbajului natural, adesea subliniate într-un mod critic de către Frege însuși, pentru realizarea acestui
proiect a fost necesar să se utilizeze un limbaj formal cu simbolism propriu, un „limbaj în formulele gândirii
pure în imitația aritmeticii unul ": acesta este tocmai limbajul simbolic prezentat în Ideografie .Astfel s-a
născut logica simbolică.

Friedrich Ludwig Gottlob Frege ( Wismar , 8 noiembrie 1848 - Bad Kleinen , 26 iulie 1925 )
 Una dintre lucrările sale principale este, fără îndoială, Sens și semnificație ( Über Sinn
und Bedeutung ), publicată în 1892 .
Funcția și conceptul
Unele elemente fundamentale ale ideografiei elaborate de Frege sunt ilustrate mai jos.

• Funcția . Conform analizei matematice superioare , o funcție a lui x este o expresie de

calcul care conține x ca argument variabil. Ei bine: această definiție este insuficientă,
deoarece nu distinge forma de conținut. În primul rând, trebuie clarificat faptul că
argumentul nu face parte din funcție : este inițial nesaturat , adică conține un „loc gol”
pentru a fi umplut, precis, cu un argument; atunci când un argument este dat funcției,
acesta ia o valoare. Două funcții au aceeași succesiune de valori, dacă cu aceleași
argumente își asumă aceleași valori. În acest sens, pentru Frege, aritmetica nu este nimic
mai mult decât o logică dezvoltată în continuare: de la un domeniu binar, pe un domeniu
de valori constituite de setul (adevărat, fals), vom trece la un domeniu mai larg (setul de
naturale numere , sau numere reale , sau altele).
• Concept . Conceptul este o funcție a cărei valoare, cu un argument x, este întotdeauna o
valoare de adevăr.
• Extinderea conceptului : este cursul valorilor unei funcții a cărei valoare pentru orice
argument este o valoare de adevăr .
Egalitățile matematice îndeplinesc o funcție similară cu cea a propozițiilor asertive. Să
considerăm ca exemplu propoziția: „Cezar a cucerit Galia”.

o Cezar este o parte finită în sine (argument al funcției);

o () Galia cucerită este o expresie nesaturată , trebuie completată printr-un
argument. Prin urmare, argumentul nu trebuie neapărat să fie un număr, ci orice
obiect, atâta timp cât este potrivit pentru funcția: de asemenea, posibil, o
persoană.
• Obiect : tot ceea ce nu este o funcție, a cărui expresie nu este nesaturată , adică nu poartă
locuri goale cu ea.
Funcțiile diferă deci de obiecte, ele diferențiază și funcțiile care au alte funcții ca argumente și
funcțiile care au obiecte ca argumente. Acestea sunt definite ca nivel superior dacă argumentul
este un obiect. Al doilea nivel dacă argumentul este o funcție.
• Relație : funcție cu două argumente care ia o valoare de adevăr .