Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
12
Wstęp
NastępnieprzedstawiękorespondencjęzHilbertem.Dobardziejszcze-
gółowejprezentacjiwybrałamichdyskusjęnadkoncepcjąistrukturąsyste-
mugeometrii,rozumieniemaksjomatuorazjegoroląwsystemiegeometrii,
niesprzecznościąiniezależnościąaksjomatów,odmiennymrozumieniem
frazyesgibt(Distnieje”),atakżeoczekiwaniamiwobecsymbolizmulogicz-
nego.
JakoostatniąprzedstawiękorespondencjęFregegozRussellem,która
jestnajobszerniejszą,najciekawsząinajtrudniejsząmerytorycznieczęścią
listówzebranychFregego.Rozpocznęodprzedstawienianajważniejsze-
gotematucałegoWB,jakimjestmożliwośćskonstruowaniaantynomii
opartejnalogiceFregego.Zwrócętakżeuwagęnainnesformułowania
antynomiipodaneprzezRussellaiFregego,naanalizytychwariantów,kon-
trowersjedotyczącerozumieniaklasy,poszukiwaniapodstawowejformy
funkcjiimaksymalnieszerokierozumieniejejdziedziny,naróżnorakiepró-
bywyeliminowaniaantynomiiwsystemieFregegooraznajegoargumenty
przemawiającezakoniecznościąposługiwaniasięodróżnieniemsensuod
znaczeniawyrażeńjęzykowych.
Drugoplanowymzadaniemmonografiijestpokazaniehistorycznegotła
dyskusjiprowadzonychwlistach.Przełomdziewiętnastegoidwudziestego
wiekubyłdlamatematyki,logikiifilozofiiczasemwielkichposzukiwań
ibudowynowychparadygmatówuprawianiatychdziedzin,dlategoteż
wmonografiizamieściłamkopieoryginalnychzapisów,międzyinnymi
ztegopowodu,żeniebrakujebadaczyintensywniepracującychnadhisto-
rycznąnotacjąlogiczną13.
WbibliografiipodmiotowejumieściłamtylkopodstawowedziełaFrege-
go,Peana,HilbertaiRussella,awbibliografiiprzedmiotowejinnepozycje
przywoływanewprzypisach.Zcałejbogatejliteraturydotyczącejdorobku
FregegoiporównaniagozPeanem,HilbertemorazRussellemodnoszę
siędopozycji,któreuznałamzakluczowe.Niestety,pomimoobszernej
literaturydotyczącejosiągnięćFregego,Peana,HilbertaiRussellarzadko
powracasiędoichzwiązków(wszczególnościwujęciuhistorycznym),
chociażichwzajemneinspiracjeiwielewspólnychcelówbadawczych
13
WTallinnUniversityofTechnology(Estonia)w2015rokuzostałozorganizowanese-
minariumedukacyjnepodnazwąHistoryandPhilosophyofLogicNotations,Tallinn,1-2
August2015,podczasktóregospecjaliścizcałegoświatadawaliwyrazżywemuzaintere-
sowaniuzapomnianyminotacjamilogicznymi,badanymidziśmiędzyinnymizewzględu
naichznaczeniedlaprogramowania.Niektórereferatyzostałyopublikowanewnumerze
tematycznymczasopismaDHistoryandPhilosophyofLogic”2018,vol.39,iss.1:History
andPhilosophyofLogicalNotation.