Mulțumesc lui Dumnezeu Frege

Mulțumesc lui Dumnezeu Frege (1878)

Friedrich Ludwig Gottlob Frege (n . 8 noiembrie 1848 în Wismar ; † 26 iulie 1925 în Bad Kleinen ) a fost un logician , matematician și filosof german .

Realizarea sa remarcabilă în domeniul logicii este să fie primul care dezvoltă un limbaj formal și, legat de acesta, dovezi formale . El a creat astfel o bază esențială pentru tehnologia informatică și informatică de astăzi, precum și pentru metodele formale în semantica lingvistică .

În domeniul filozofiei, reflecțiile sale asupra filosofiei limbajului au fost extrem de influente. A influențat direct, printre alții, pe Rudolf Carnap , care a studiat cu el, Bertrand Russell și Ludwig Wittgenstein . Frege este considerat unul dintre principalii pionieri ai filozofiei analitice , unul dintre cele mai importante curente din filosofia secolului XX .

biografie

Părinți și strămoși

Gottlob Frege era fiul lui Karl Alexander Frege (* 1809 la Hamburg ; † 1866) și al lui Auguste Wilhelmine Sophia Bialloblotzky (* 1815 la Pattensen ; † 1898). Căsătoria părinților a avut loc în 1846. Tatăl lui Frege a fost profesor și director al liceului Wismar , o școală privată pentru fete pe care el însuși a fondat-o. În special, s-au ținut acolo clase elementare de limbă germană nouă (pe lângă cursurile de religie, franceză, istorie, istorie naturală, geografie și aritmetică) pentru fiicele care vorbeau inițial germana scăzută (vârsta de început era de opt ani). Karl Alexander Frege a publicat, de asemenea, o nouă gramatică de înaltă germană în 1862. Mama lui Frege, Auguste, a fost profesor acolo din 1843 și mai târziu, după moartea soțului ei în 1866, a condus cu succes școala de fete înființată de soțul ei timp de zece ani. Tatăl ei a fost Heinrich Sigmund Bialloblotsky (1757-1828), care a fost superintendent la Pattensen și din 1822 la Wunstorf . Familia Bialloblotzky provine din familia nobilă poloneză Ogonceyk, care a emigrat din Polonia în Germania (Seehausen lângă Wittenberg) în secolul al XVII-lea din motive de credință. Bunica maternă a lui Frege era fiica superintendentului Ludwig Wilhelm Ballhorn, care și -a trasat linia până la Philipp Melanchthon . Alți strămoși ai lui Freges au fost unchiul său matern explorator în Africa, director, pastor și misionar Christoph Heinrich Friedrich Bialloblotsky (1799-1869) și bunicul său patern, comerciantul și consulul saxon la Hamburg Christian Gottlob Frege (1779-1811), care cu Fiica unui agent imobiliar Printz era căsătorită. El provenea dintr-o renumită familie bancară din Leipzig (vezi Christian Gottlob Frege ).
Frege avea și un frate Arnold Frege (* 1852).

Casa în care s-a născut la Böttcherstraße 2 din Wismar, pe care tatăl a cumpărat-o în 1846, a fost distrusă în cel de- al doilea război mondial.

educație și profesie

Frege a urmat liceul Große Stadtschule Wismar . Unul dintre profesorii săi, Leo Sachse, a avut aparent o mare influență asupra lui. Numele „Leo Sachse” este folosit ulterior în exemple în scrierile lui Frege. După ce tatăl său a murit în 1866, Frege și-a început studiile la Universitatea din Jena în 1869 la sfatul lui Saxa . Printre alții , au predat aici Ernst Abbe , care l-a susținut pe Frege în cariera sa științifică, și filosoful Kuno Fischer , ale cărui idei s-au ocupat intens de Frege.

În 1871 Frege s-a mutat la Universitatea din Göttingen , unde și-a prezentat teza de doctorat în 1873 despre o reprezentare geometrică a structurilor imaginare în plan . Frege s-a întors la Jena , unde s-a întors în 1874 când Abbe a abordat subiectul metodelor contabile, care se bazează pe o extindere a termenului de dimensiune abilitată . A predat ca lector privat . În 1879 a fost numit profesor asociat.

În 1887 Frege s-a căsătorit cu Margarete Lieseberg, fiica omului de afaceri Heinrich Lieseberg din Grevesmühlen . Căsătoria a rămas fără copii (conform altor surse, au avut cel puțin doi copii care au murit tineri), iar cuplul Frege a adoptat un băiat, Paul Otto Alfred Frege (fost Paul Otto Alfred Fuchs).

În 1895 Frege a fost ales membru al Leopoldinei . În 1896 Frege a fost numit profesor onorific titular la Jena și a predat acolo - puțin remarcat de studenți și colegi - până la pensionarea sa în 1917. Singurul student de importanță al lui Frege a fost Rudolf Carnap , care ulterior și-a continuat activitatea în multe feluri și a făcut-o cunoscută. La urma urmei, Frege a avut contact științific cu Premiului Nobel câștigătorii Rudolf Eucken și Bertrand Russell .

Opera științifică a lui Frege a fost aruncată într-o criză gravă în 1902 prin descoperirea paradoxului lui Russell (vezi și secțiunea despre matematică ). În 1903, Frege a admis în epilogul legilor sale de bază ale aritmeticii că Russell „scuturase bazele structurii sale”.

Mormântul lui Gottlob Frege, cimitirul Wismar

În 1904, soția lui Frege, Margarete, a murit.
În anii următori, Frege a căzut într-o depresie , care s-a exprimat, printre altele, prin faptul că nu mai publică lucrări majore. Abia după pensionare a reapărut o serie de trei investigații logice conexe: The Thought (1918), The Negation (1918) și Thoughts (1923). El își depășise cel puțin parțial criza vieții. În partea din jurnalul său publicată în 1994 din moșie (pentru 1924) există observații antidemocratice , anti- catolice , anti- franceze și antisemite ; cu toate acestea, Frege probabil nu a făcut niciodată o apariție politică în public. Frege și-a petrecut anii de amurg în Bad Kleinen , lângă orașul său natal Wismar.

A fost înmormântat în cimitirul Wismar , unde o stelă informativă îl comemorează.

Proprietatea lui Frege a venit la Münster în 1935 la inițiativa lui Heinrich Scholz , unde o mare parte a acesteia a fost distrusă într-un bombardament din martie 1945.

Onoruri

act

logică

Pagina de titlu a scrierii conceptuale

După ce silogistica fondată de Aristotel a fost considerată cea mai exactă formă de raționament logic încă din antichitate, „scrierea conceptuală ” revoluționară a lui Frege din 1879 a început o nouă eră în istoria logicii. În această publicație a dezvoltat o nouă logică în formă axiomatică , care cuprindea deja nucleul logicii formale moderne , și anume o logică predicat de al doilea nivel cu conceptul de identitate .

Alături de George Boole și Ernst Schröder, Frege a fost unul dintre acei logici din secolul al XIX-lea care au pus bazele cercetării bazelor matematicii prin îmbunătățirea logicii . Potrivit lui Wilhelm Ackermann și David Hilbert , care s-au referit deseori la scrierile sale în lucrarea lor, cea mai importantă contribuție a lui Frege este „îndeplinirea nevoii matematicii de fundamente exacte și tratament strict axiomatic”.

matematică

În filosofia matematicii, Frege a apărut ca un critic ascuțit al abordărilor găsite: în bazele aritmeticii există o analiză extinsă și influentă , în special a teoriilor lui Immanuel Kant , care înțelege propozițiile aritmetice ca judecăți sintetice a priori și John Stuart Mills. , deoarece propozițiile aritmetice sunt legi generale ale naturii confirmate de experiență .

În plus, Frege a fost fondatorul unui nou program matematic-filozofic, logicismul , potrivit căruia propozițiile aritmetice pot fi urmărite înapoi la adevăruri logice. Acest program este prezentat în mod informal în Bazele aritmeticii și desfășurat într-o manieră strict formală în legile fundamentale ulterioare ale aritmeticii .

Cu toate acestea, sistemul logicismului conținea o contradicție , așa-numita antinomie Russelliană , așa cum Frege a aflat într-o celebră scrisoare din 1902 de la Bertrand Russell. Frege și-a văzut munca vieții eșuată și sa retras resemnat din logică. Cu toate acestea, opera sa pusese bazele pe care alții, în special Russell, puteau construi și finaliza programul logistic.

filozofie

Wismar Marienkirche bustul de bronz Gottlob Frege (01-1) .JPG

În domeniul filosofiei limbajului, Frege diferențiază între un sens și un sens atribuit fiecărui semn lingvistic. Terminologia lui Frege diferă de utilizarea obișnuită și, prin urmare, este oarecum înșelătoare, deoarece prin sens el înseamnă referința sau referința unei expresii, în timp ce semnificația ei este apropiată de ceea ce se numește de obicei semnificație . Frege cunoaște practic trei tipuri diferite de expresii lingvistice: nume proprii, propoziții și expresii conceptuale. Pentru fiecare dintre aceste tipuri, se poate face o distincție între sens și semnificație:

  • Nume proprii: Pentru Frege, numele proprii sunt expresii care se referă exact la un singur obiect. Un nume propriu poate fi simplu ca „Venus” sau complex ca „primul om de pe lună”. Sensul unui nume propriu este obiectul pe care îl desemnează. Sensul unei minciuni corespunzătoare nume în „modul în care este dat“, așa cum Frege se pune. Cele două expresii „3 + 5” și „10 - 2” desemnează ambele numărul 8, deci au aceeași semnificație conform lui Frege. Dar au semnificații diferite, deoarece dau numărul 8 sub diferite forme (o dată ca rezultat al unei adunări, o dată ca rezultat al unei scăderi).
  • Propoziții: Potrivit lui Frege, sensul unei propoziții este „gândul” exprimat de aceasta. Acest gând trebuie înțeles ca un conținut obiectiv, Frege refuză în mod expres să echivaleze gândul cu o simplă „idee”. Potrivit lui Frege, toți cei care înțeleg o frază înțeleg același gând, dar totuși pot avea idei diferite.
    Atunci când determină semnificația propozițiilor, Frege folosește așa-numitul principiu Frege , care afirmă că sensul unei propoziții nu se schimbă dacă una dintre componentele sale este înlocuită de o expresie cu același sens. Dacă înlocuim numele propriu-zis „Neil Armstrong” în adevărata propoziție „ Neil Armstrong era american” cu același sens „primul om de pe lună”, obținem „Primul om de pe lună era american”, o altă propoziție adevărată. Deoarece adevărul sau falsitatea propozițiilor nu se modifică în mod normal atunci când expresiile sunt înlocuite cu expresii cu același sens (vezi mai jos), Frege definește mai întâi așa-numitele „valori ale adevărului”, adevăratul și falsul, ca sens al propozițiilor. Conform lui Frege, toate propozițiile adevărate au același sens, la fel ca toate cele false. (Această teză inițial destul de contraintuitiv că există doar două sensuri posibile ale propozițiilor este adesea justificată astăzi cu recurs la așa-numitul argument praștie .)
    După cum sa arătat deja, păstrarea valorii de adevăr , atunci când înlocuirea expresiilor cu același sens se aplică numai în cazuri normale. Cu toate acestea, propozițiile „Frank crede că Neil Armstrong este american” și „Frank crede că primul om de pe lună este american” nu au neapărat aceeași valoare de adevăr (mai ales dacă Frank nu știe că Neil Armstrong este primul om din luna), deși și aici o expresie a fost înlocuită cu un echivalent. Prin urmare, Frege spune că propozițiile subordonate care depind de verbe precum „crede” sunt în „ vorbire ciudată ”. Propozițiile au valori de adevăr ca semnificații numai atunci când sunt în vorbire directă. În vorbirea ciudată, sensul unei propoziții conform lui Frege este gândul pe care îl exprimă. Semnificația unei propoziții în vorbirea ciudată este, prin urmare, aceeași cu sensul ei în par.
  • Expresii conceptuale . O expresie de termen apare din faptul că un nume propriu este omis dintr-o propoziție. Prin omiterea numelui propriu-zis „Berlin” în propoziția „Berlinul este o capitală”, apare termenul „() este o capitală”. Frege numește asemenea expresii „nesaturate”, ceea ce înseamnă să spună că trebuie completate cu un nume propriu. Sensul unei fraze pe termen este un concept. Pentru Frege aceasta este o funcție ale cărei valori sunt valori de adevăr. Dacă funcția „() este o capitală” este aplicată Parisului, de exemplu, atunci oferă valoarea adevărului adevărul (pentru că „Parisul este o capitală” este adevărat), pentru Frankfurt oferă greșeala (deoarece „Frankfurt este un capital ”fals este). Nu există multe de găsit despre semnificația expresiei unui termen în Frege, dar se poate presupune că înțelege ceva de genul definiției termenului corespunzător.

Lucrări

Mai multe texte
  • Gottlob Frege: Scriere conceptuală. 1879. (Reprint: Olms, Hildesheim 1998, ISBN 3-487-00623-5 )
  • Gottfried Gabriel , Friedrich Kambartel și Christian Thiel (eds.): Corespondența lui Gottlob Frege cu D. Hilbert, E. Husserl, B. Russell, precum și scrisori individuale selectate din Frege. Meiner, Hamburg 1980, ISBN 3-7873-0482-7 .
  • ——. Legile de bază ale aritmeticii. 2 vol. 1893-1903. (Reimprimare: Olms, Hildesheim 1998, ISBN 3-487-09802-4 )
  • Christian Thiel (Ed.): Bazele aritmeticii. 1884. (Reprint: Meiner, Hamburg 1988, ISBN 3-7873-0719-2 )
  • Gottfried Gabriel (ed.): Scrieri despre logica și filosofia limbajului: Din moșie. Ediția a IV-a. Meiner, Hamburg 2001, ISBN 3-7873-1575-6 .
  • Max Steck : Scrisori necunoscute de la Frege despre fundamentele geometriei și răspunsul lui Hilbert către Frege . În: Rapoarte de întâlnire ale Academiei de Științe Heidelberg (clasa de matematică și științe naturale) , născut în 1941, al doilea tratat (discutat de Heinrich Scholz în Zentralblatt für Mathematik , septembrie 1942).
  • Mark Textor (Ed.): Funcție - Concept - Înțeles. Vandenhoeck & Ruprecht, Göttingen 2002, ISBN 3-525-30603-2 .
  • ——. [Jurnal]. În: revista germană pentru filosofie. [DZfPh], Berlin 42 (1994) 6, pp. 1067-1098.

literatură

Link-uri web

Commons : Gottlob Frege  - Colecție de imagini, videoclipuri și fișiere audio
Wikicitat: Gottlob Frege  - Citate
Wikisource: Gottlob Frege  - Surse și texte complete

Dovezi individuale

  1. ↑ Lothar Kreiser, Gottlob Frege - Viață, muncă, timp, Felix Meiner Verlag 2001, p. 4. Acolo sunt și datele vieții mamei, pentru care 1878 este uneori dat greșit ca fiind anul morții
  2. ↑ Lothar Kreiser, sursele extra-științifice ale lui Frege ale gândirii sale logice, în: Ingolf Max, Werner Stelzner (ed.), Logic and Mathematics, Frege Colloquium Jena 1993, De Gruyter 1995, p. 219
  3. ^ Lothar Kreiser, în: Frege în Jena. Contribuții la căutarea urmelor, Gottfried Gabriel, Wolfgang Kienzler (ed.), Anuarul critic de filosofie 2, 1997, Societatea Turingiană pentru filosofie Jena, Würzburg: Königshausen și Neumann, p. 71. El citează cartea de gen din Saxonia Inferioară.
  4. ↑ ADB
  5. ↑ Hans Hermes, intrare Frege în NDB
  6. ↑ Johannes Hohlfeld și Volkmar Weiss: Despre cercul căsătoriei și legăturile urbane ale proprietății și clasei de mijloc educate. Exemplul lui Frege din Leipzig 1744–1944 . În: Genealogia 52-lea an (2003) pp. 513-530
  7. ↑ Au existat mai mulți membri importanți ai familiei cu prenumele Christian Gottlob
  8. ↑ Hans Hermes, articol Frege în NDB, probabil că este lipsit de copii
  9. ↑ Mulțumesc lui Dumnezeu Frege. În: Enciclopedia Internet a filosofiei .
  10. ↑ Intrare de membru de către Gottlob Frege la Academia Germană de Științe Leopoldina , accesată la 5 aprilie 2015.
  11. ↑ Gottlob Frege: [Jurnal]. În: revista germană pentru filosofie. [DZfPh], Berlin 42 (1994), pp. 1067-1098.
  12. ↑ Yvonne Sherratt: filosofii lui Hitler. New Haven, Conn.; Yale University Press, Londra 2012, ISBN 978-0-300-15193-0
  13. ↑ Dacă înlocuim acum un cuvânt din [propoziția] cu altul cu același sens, dar cu un sens diferit, acesta nu poate avea nicio influență asupra sensului propoziției. - Frege: Despre sens și sens . În: Frege: funcție, concept, sens. Göttingen 1980, p. 47.
date personale
NUME DE FAMILIE Frege, slavă Domnului
NUME ALTERNATIVE Frege, Friedrich Ludwig Gottlob (nume complet)
DESCRIERE SCURTA Logician, matematician și filozof german
DATA DE NASTERE 8 noiembrie 1848
LOCUL NASTERII Wismar
DATA MORTII 26 iulie 1925
Locul decesului Cei mici răi