Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
17
czydłem,mówiącdosiebie(jeślisiępodoba,toprzyjaznym
tonem):«Zacznijmywięcliczyć»”
.
Środkamilogikiuczeniodczasówśredniowieczachcieli
odpowiadaćnawetnapytaniaostateczne-niejedenraz
próbowanowywnioskowaćistnienieBogazzasadlogiki
przezczysterozważanie.Pierwszym,którysiętegopodjął,
byłwXIwiekuAnzelmzCanterbury.Jegoargumentacja
wyglądałamniejwięcejtak:
.
Bógtojestto,ponadconiemożnapomyślećniczego
większego.
.
Przyjmijmy,żeBógistniejetylkownaszychumysłach.
Wtedymożnapomyślećcoś,cojestwiększeodtego,
ponadconiemożnapomyślećniczegowiększego.
.
Jeślimożnapomyślećcoś,cojestwiększeniżto,po-
nadconiemożnapomyślećniczegowiększego,tojest
to,ponadconiemożnapomyślećniczegowiększego,
czymś,ponadcomożnapomyślećcoświększego.
.
Czylito,ponadconiemożnapomyślećniczegowiększe-
go,jestczymś,ponadcomożnapomyślećcoświększego.
.
Tosprzeczność.Czylizałożenie,żeBógwrzeczywisto-
ścinieistnieje,musibyćfałszywe,aBógistnieje.
Dzisiajtaargumentacjawydajesięnamzawiła,średnio-
wiecznaischolastyczna,nikogoteżnienawróci.Zkon-
struktusłownego(to,ponadconiemożnapomyśleć
niczegowiększego)wnioskujesięoistnieniuistotywy-
kazującejodpowiedniewłaściwości.Lecznapoczątku
XXwiekucośpodobnegoprzydarzyłosięmatematyce.
Dozwolonyzgodnieznaiwnąteoriąmnogości1Canto-
1
Teoriamnogościlubinaczejteoriazbiorówtodziałmatematyki,
azarazemlogikimatematycznej.PowstałpodkoniecXXwieku
ipełnirolęfundamentu,naktórymopierasięobecnieniemalcała
matematyka(przyp.red.).
