Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
WSTĘP
Haecquippeprimasapientiaeclavisdefinitur
assiduascilicetseufrequensinterrogado.[...]
Dubitandoquippeadinquisitionemvenimus;
inquirendoveritatempercipimus1.
PierreAbélard,SicetNon
W
tomietymzebranychzostałoosiemnaściemoichpracpoświęconychrozma-
itymzagadnieniomfilozofiiihistoriimatematykiilogiki.Powstawałyonewróż-
nychokresachnaprzestrzeniostatnichkilkunastulatibyłypublikowanewróżnych
czasopismachitomachzbiorowych.Możnajepodzielicnaczterygrupy.
Pierwszagrupapracpoświęconajestogólnymipodstawowymproblemom
filozofiimatematyki.WotwierającejtompracynUniwersummatematyczne:rze-
czywistośćczyartefakt?”rozważasięróżnekoncepcjeontologicznedotyczące
matematyki,czylipróbyodpowiedzinapytanieczymsąijakistniejąobiektyba-
daneprzezmatematykę.KolejnapracanNieskończonośćwmatematyce”pokazuje,
jakmatematycyzmagalisięzpojęciemnieskończonościijakpróbowalitopojęcie
ujarzmiaćioswajać.WpracynKilkauwagodowodziewmatematyce”zastana-
wiamysięnadtym,czymwistociejesticzympowinienbyćdowódmatematyczny
stanowiącyprzecieżpodstawowenarzędzieuzasadnianiatezwtejnauce.Rozważa
siętamteżproblemstatusudowodówkomputerowychidowodówwspomaganych
komputerowo.Kolejnetrzypracedotycząpewnychkwestiiaktualniedyskutowa-
nychirozważanychwfilozofiimatematyki.Wszczególnościopisujesięnową
tendencję,którawrozważaniachfilozoficznychnadmatematykąjakonaukąkaże
uwzględniaćpodmiotpoznającyipraktykębadawcząmatematyków,mówisię
ozaletachitrudnościachstrukturalizmuorazotym,jakiemiejscezajmujeijaką
rolępełni/możepełnićteoriakategorii,wtym:nailemożepomócwrozwijaniu
koncepcjistrukturalistycznych.
1nKluczemdomądrościjestnieustanneiczęstepytanie.[...]Wątpieniewiedziedozadawania
pytań,apytanieprowadzidoprawdy.”
7
