Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
niekonieczniegłębsząznajomośćteoriikategorii,przedstawiając
„suchedefinicje”jestemniekiedygotówpoświęcićdrobiazgową
precyzjęnarzeczwiększejpoglądowości.
Teoriakategoriidorozumieniarozumieniawnosidwaściśle
zesobąsplecioneelementy:popierwsze,rozumieniewduchuteorii
kategoriimusibyćstrukturalnei,podrugie,częściątego
strukturalizmumusibyćlogika.Oczywiście,istrukturalizm,
ikierowaniesięlogikąoddawnabyłyobecnewfilozoficznym
rozumieniu,aleteoriakategoriitraktujeteelementywzaskakująco
odkrywczysposób.Możenajbardziejuderzającymjestfakt,żelogika
wmyśleniukategoryjnymniejestczymśprzyjętymdomyślnielub
narzuconymzgóry,leczokazujesięczęściąlubaspektemstruktury,
którąma„nadzorować”.Cowięcej,międzylogikąastrukturą
występujesprzężenie,którewprzypadkustrukturformalnychmożna
matematyczniekontrolować.
Rozdział3jestpoświęconystrukturalistycznymaspektom
rozumienia,arozdział4jegoaspektomlogicznym.Dzięki
wspomnianemuwyżejsprzężeniumiędzylogikąastrukturątakże
zasadaniesprzecznościstajesięelementemstrukturalnejgry.Gdyby
ZeusmiałwiedzęlogicznąwiększąniżówcześniGrecy,gdyby
wszczególnościznałdzisiejsząteoriękategorii,byćmożenie
musiałbysięuciekaćażdotakradykalnegośrodka,jakimbyło
zamienieniepolującegopsaiuciekającegolisawgwiazdozbiory,
mógłbybowiemdopuścićsprzeczność,alezastosowaćśrodki,które
niepozwoliłybyjejrozlaćsięnacałysystem.Wystarczyłoby
naprzykładzagwarantować,bysystembyłodpowiednimkotoposem.
Rozdział5jestjużtylkopodsumowaniemcałości.
2.Preliminaria
2.1.Dwieiskrygeniuszu
Wmatematyceodniepamiętnychczasów,toznaczyprzynajmniej
