Friedrich Ludwig Gottlob Frege | |
---|---|
Friedrich Ludwig Gottlob Frege | |
| |
Születési név | német Friedrich Ludwig Gottlob Frege |
Születési dátum | 1848. november 8 |
Születési hely | Wismar |
Halál dátuma | 1925. július 26. (76 évesen) |
A halál helye | Bad Kleinen |
Ország | |
Akadémiai fokozat | PhD ( 1873 ) és habilitáció ( 1874 ) |
alma Mater |
|
A művek nyelve(i). | NDK |
Fő érdeklődési körök | filozófia |
Befolyásolók | Bernard Bolzano |
Médiafájlok a Wikimedia Commons oldalon |
Friedrich Ludwig Gottlob Frege ( német Friedrich Ludwig Gottlob Frege , 1848. november 8. , Wismar – 1925. július 26. , Bad Kleinen ) - német logikus , matematikus és filozófus . Az analitikus filozófiai iskola képviselője .
Megfogalmazta a logika gondolatát , vagyis egy irányt a matematika és a matematika filozófiája alapjaiban , amelynek fő tézise a "matematika logikára való redukálhatóságának" kijelentése.
Frege 1848-ban született Wismarban , Mecklenburg-Schwerinben (ma Mecklenburg-Vorpommern része ). Frege apja matematika tanár volt és egy leánygimnázium igazgatója . Frege 1869-ben kezdte meg felsőfokú tanulmányait a jénai egyetemen. Két évvel később Göttingenbe költözött , ahol 1873 -ban védte meg matematikai szakdolgozatát " Über eine geometrische Darstellung der imaginären Gebilde in der Ebene " (Képzeletbeli objektumok síkon való geometriai ábrázolásáról).
Disszertációja megvédése után visszatért Jénába, ahol Abbe vezetésével megírta a "Rechnungsmethoden, die sich auf eine Erweitung des Größenbegriffes gründen" (Számítási módszerek, amelyek a dimenzió fogalmának kiterjesztése alapján) című habilitációs munkát. ) ( 1874 ) és Privatdozent néven kapott helyet (1875). 1879-ben rendkívüli , 1896-ban rendes professzor lett. Közvetlen tanítványai közül csak Rudolf Carnap (később a Bécsi Kör egyik tagja, számos fontos tudományfilozófiai mű szerzője) ismert széles körben . Mivel Frege összes gyermeke meghalt, mielőtt elérte volna az érettséget, 1905-ben befogadta fogadott fiát a házba.
Elképzeléseinek Carnap, Bertrand Russell és Ludwig Wittgenstein általi népszerűsítése bizonyos körökben már az 1930-as években híressé tette Fregét. Az angol nyelvterületen munkái csak a második világháború után váltak széles körben ismertté , nagyrészt azért, mert számos logikus és filozófus, akik úgy vélték, Frege öröksége fontos hozzájárulás a filozófiai gondolkodás fejlődéséhez (például Rudolf Carnap, Kurt Gödel és Alfred Tarski ) kénytelenek voltak az Egyesült Államokba emigrálni . Hozzájárultak Frege fő műveinek angol fordításainak megjelenéséhez, ami széles népszerűségnek örvend.
Annak ellenére, hogy oktatása és korai matematikai munkája főként a geometriára összpontosított, Frege munkája hamarosan erősebben érintette a logikát. Könyvet írt "Begriffsschrift" címmel a logikáról. Frege célja az volt, hogy bemutassa, hogy a matematika eredete a logika, és ennek során olyan módszereket fejlesztett ki, amelyek messze túlmutattak az arisztotelészi szillogisztikus és sztoikus propozicionális logikán, amelyek a logika tanulmányozása során jutottak el hozzá.
Frege logikához való hozzájárulását sokan Arisztotelész , Kurt Gödel és Alfred Tarski hozzájárulásaihoz hasonlították . Forradalmi munkája , a Begriffsschrift (Fogalmak számítása) ( 1879 ) egy új korszak kezdetét jelentette a logika történetében. A Begriffsschriftben Frege számos matematikai problémát teljesen új pozícióból átdolgozott, beleértve a függvény és a változó fogalmának egyértelmű kezelését . Valójában ő találta fel és axiomatizálta a predikátumok logikáját , köszönhetően a kvantorok felfedezésének , amelyek használata fokozatosan elterjedt az egész matematikában , és lehetővé tette a többszörös általánosság középkori problémájának megoldását . Ezek az előrelépések megnyitották az utat Bertrand Russell leíráselméletének és a Principia Mathematicának (Russell és Alfred Whitehead írója ), valamint Gödel híres befejezetlenségi tételének .
Frege különbséget tett egy meghatározott névvel jelölt fogalom jelentése ( német Sinn ) és jelentése ( német Bedeutung ) között (az úgynevezett Frege-háromszög vagy szemantikai háromszög : jel-jelentés-jelentés). Jelentése alatt reprezentációs rendszerének keretében a tárgykört értették, egy-egy névvel korrelálva. Jelentés alatt e témakör figyelembevételének egy bizonyos aspektusát értjük.
Például valaki ismerheti Mark Twain és Samuel Clemens neveket anélkül, hogy észrevenné, hogy ugyanarra a tárgyra utalnak, mert „különböző módon ábrázolják”, ami azt jelenti, hogy a jelentésük más.
A Gottlob Frege logiko-aritmetikai koncepciójának első orosz tanulmányát V. V. Mader matematikus végezte „Bevezetés a matematika módszertanába” [1] című könyvében , amelyben arra a következtetésre jutott, hogy „a matematikai objektumok természete csupán a szerepek. Átfogó, axiomatikusan adott rendszerben játszanak. Kiderül, hogy az axiomatikus megközelítéssel az egyes tárgyak „létező léte” valami megfoghatatlan, leírásra vagy meghatározásra nem alkalmas. Ennek eredményeként maga az axiomatikus rendszer is elsajátítja egyfajta játék megjelenése szimbólumokkal "és ezért lehetővé teszi, hogy Frege koncepcióját ne csak matematikai, hanem filozófiai szempontból is szemléljük [2] .
„Gottlob Frege kísérlete arra, hogy az aritmetikát a logikára redukálja, lendületet ad a matematikai logika fejlődésének, és az egyik első példa a formális-logikai nyelvi alaprendszerek létrehozására (az ilyen rendszereket később az ún. Frege-Russell típusú) ... A Frege-rendszer inkonzisztenciájának felfedezése nem akadályozza Russell -t abban, hogy kidolgozza azt a logisztikai koncepciót, amelynek kidolgozását Frege kezdte. Russell igyekszik elkerülni azokat a nehézségeket, amelyekkel a halmazelmélet alkotói és Gottlob Frege szembesülnek. A logikusok (Russell és Whitehead ), akik megpróbálják az összes "tiszta" matematikát logikára redukálni, jelentős eredményeket érnek el. Formális-logikai nyelvi rendszert alakítanak ki, amelynek segítségével a tiszta matematika alaptörvényei, fogalmai, tárgyai meglehetősen kifejezhetők. A formális módszerek később Gödel által bizonyított korlátai, valamint a konzisztens és teljes (egyszerre) formalizált aritmetikai rendszer (valamint minden aritmetikát tartalmazó rendszer) létrehozásának lehetetlensége azonban nem vonhat le a vizsgált időszak jelentőségét. a matematika analitikus filozófiájának kialakulásáról és fejlődéséről. E. Arepiev [3]
Szemiotika | ||
---|---|---|
Fő | ||
Személyiségek | ||
Fogalmak | ||
Egyéb |
Tematikus oldalak | ||||
---|---|---|---|---|
Szótárak és enciklopédiák | ||||
Genealógia és nekropolisz | ||||
|