Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Jakwszechogarniająca,odzwierciedlającaświatlogika
możeuciekaćsiędotakspecjalnychzabiegówikrucz-
ków?Tylkotak,żewszystkieonesplatająsięwjednąnie-
skończeniedrobnąsieć1wwielkiezwierciadło.
L.Wittgenstein:Tractatuslogico-philosophicus,5.511
Wstęp
ChociażGottlobFregemiałwykształceniematematyczne,dziśpo-
wszechniejestuznawanyzafilozofa1.Historycylogikitwierdzą,żeFrege
położyłpodwalinypodwspółczesnąlogikę.W1879rokuopublikował
pierwsząksiążkę1BS2,którajestuważanazanajważniejszytekstlogicz-
nynapisanyodczasuAnalitykwtórychArystotelesa3.Sformułowałtam
syntaktykęisemantykędlarachunkuzdańorazrachunkupredykatów
pierwszegoidrugiegostopnia.Żadnazdotądnapisanychpraclogicznych
niebyłanapisanatakprecyzyjnie.TenfilozofilogikzJenyjestuważany
zaautorapierwszegoaksjomatycznegosystemulogikizdań,pierwszyteż
zbudowałsystemlogikipredykatów4.
AletoniewszystkieosiągnięcianaukoweFregego.Jestonrównież
uważanyzajednegozpierwszychprzedstawicielidwudziestowiecznejfilo-
zofiianalitycznej(obokBertrandaRussella,GeorgaEdwardaMoore’a,
LudwigaWittgensteina),któratozdominowałakrajeanglojęzyczne(inie
1Ch.Thiel:„ThisGalaxyofParadoxandObscurity”1systemFregegowświetle
badańwspółczesnych.Tłum.K.Rotter.„KwartalnikFilozoficzny”2002,t.30,z.1,
s.1171119.
2G.Frege:BegriffsschriftundandereAufsätze.Hrsg.I.Angelelli.Hildesheim,
Zürich,NewYork1998,s.XI.(Ideografia.Językformalnyczystegomyśleniawzorowanyna
językuarytmetyki.[Przedmowa,§§1113].W:F.Brentano,G.Frege,Ch.Thiel:
Próbygramatykifilozoficznej.Antologia.Tłum.ioprac.K.Rotter.Wrocław1997).Sto-
sowaneskróty1zob.Wykazskrótów.
3J.M.Bocheński:AHistoryofFormalLogic.Transl.I.Thomas.NotreDame
1962,s.268.Podajęza:G.Frege:ConceptualNotationandRelatedArticles.Transl.and
ed.withabiogr.andintrod.T.W.Bynum.Oxford1972,s.237.
4M.Beaney:Introduction.In:TheFregeReader.Ed.M.Beaney.Oxford1997,
s.380.
