Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
WSTĘP
To,cologiczne,wżadensposóbniejestwstanie
zachwiaćtym,conielogiczne.
HomarvonDitfurthDziedzictwoNeandertalczyka
Logikamazłyimage.Jestponoćzimnaiwyrachowana,
awkulturzepopularnejpojawiasięmnóstwopostaci,któ-
resięośmieszają,bonielogicznymstronomżyciapróbują
przeciwstawićbiało-czarnyformalizmprawlogiki-po-
myślmytylkooWolkanieSpockuzeStarTreka.
Jesttakdlatego,żelogikajakotakaniewypowiadasięme-
rytorycznie,lecztylkowyciągawnioskizzałożeń,doktó-
rychwłaściwienicniedodaje.Czytotylkopustesłowa?
Równieżwtejksiążceznajdąsięformalnewyprowadzenia
twierdzeń,októrychzpewnościąmożnapowiedzieć:to
przecieżlogiczne-dlaczegotrzebategodowodzićwtak
skomplikowanysposób?
Wielumatematykówifilozofówtakżetakmyśli.Logika,
jakodyscyplinałączącaobiedziedziny,nauniwersytec-
kichwydziałachmatematykialbofilozofiitraktowana
jestraczejniszowo.Studentówfilozofiiirytująobowiąz-
kowekolokwia,naktórychmusząprzekształcaćdziwacz-
networysłowne,matematycyczęstouważająlogikęza
przesadniedrobiazgowyformalizm,któryprzeszkadzaim
wzapisywaniuswoichprzekonańkrótko,zwięźleinele-
gancko”
.
Leczprzedmniejwięcejstulatytowłaśniematematycy
dowiedzielisię,żezbytnonszalanckietraktowanielogiki
wprostzagrażaimusunięciemziemispodstóp.Logiczne
sprzecznościkilkakrotniewstrząsnęłymatematykąidłu-
