Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Zakładamznajomośćpodstawowejterminologiifilozoficznejipodsta-
wowychpojęćlogikimatematycznej.Czytelnikzpewnościądomyślisię
wtrakcielektury,żeautorjestmatematykiemilogikiem-stądtylewksiąż-
ceodniesieńdologikiimetamatematyki.Zdrugiejstrony,odniesieniatakie
sąnaturalneinieuniknione,gdyżwspółczesnekierunkiwfilozofiimatema-
tyki(takiejaklogicyzm,intuicjonizmczyformalizm)opierająsięnawyni-
kachlogikimatematycznejidlategobezznajomościtychostatnichniemoż-
naichadekwatnieprzedstawićizrozumieć.Cowięcej,pewnewynikilogiki
matematycznejimetamatematykiwymuszajązmianykoncepcjifilozoficz-
nychikorektytychczyinnychelementówdoktryny.Tegotypuzwiązki
pomiędzylogikąafilozofiąmatematykibędąwskazanewtrakciewykładu.
Danebibliograficzneopracachszczególnieważnychzpunktuwidzenia
filozofiimatematykiznajdzieczytelnikwBibliografii.Częstoodwoływaćsię
będędoantologiiklasycznychtekstówzfilozofiimatematykiwmoimopra-
cowaniu(por.Filozofiamatematyki,Poznań1986(wyd.I),1994(wyd.II),2003
(wyd.III)).Dlauproszczeniabędępowoływaćsięnaniąpoprostujakona
antologię(bezpodawaniazakażdymrazempełnegotytułu).Tekstyodno-
szącesiędowspółczesnejfilozofiimatematyki(poroku1930)znaleźćmożna
wopracowanejprzezemnieantologiiWspółczesnafilozofiamatematyki,War-
szawa2002.
Książkaskładasięzdwuzasadniczychczęści.WCzęściIomawiamsta-
nowiskawfilozofiimatematykidokońcaXIXwieku,czylidoczasupowsta-
niawspółczesnychkierunkówfilozofiimatematyki.Tymostatnimpoświę-
conajestCzęśćII,wktórejmówięologicyzmie,intuicjonizmieitrendach
konstruktywistycznych,oformalizmieorazonajnowszychtendencjach
wfilozofiimatematyki.Książkazawierateżtrzydodatki.DodatekIpoświę-
conyjestfilozoficznymproblemomteoriimnogości.DodatekIIomawia
pewneproblemyfilozofiigeometrii.DodatekIIIzawierakrótkiebiogramy
matematykówifilozofów,którzywsposóbistotnywpłynęlinarozwójfilo-
zofiimatematyki.
Powołującsięnajakiśfragmentksiążki,podajęnumerczęściinumer
rozdziału(ewentualniedodatkowojeszczenumerparagrafu).Takwięcna
przykładrozdziałII.1oznaczarozdział1CzęściII.Powołującsięnarozdział
znajdującysięwczęścidanejaktualnie,pomijamnumerczęści.
Chciałbymserdeczniepodziękowaćwszystkim,którychżyczliwapomoc
ułatwiłamipracęnadtąksiążką.PrzedewszystkimdziękujęPanuProfeso-
rowiTadeuszowiBatogowiiKoledzedr.hab.MaciejowiKandulskiemu
zWydziałuMatematykiiInformatykiUniwersytetuim.AdamaMickiewi-
czawPoznaniuzaprzeczytaniemaszynopisu,wielecennychuwagikomen-
tarzy.Częśćtejksiążki(wszczególnościfragmentypoświęconeintuicjoni-
zmowiiprądomkonstruktywistycznym)napisałemwczasiedwumoich
8
