Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Przedmowadowydania
pierwszego
Logikajestrównocześniejednąznajstarszych,jakinaj-
bardziejwspółczesnychdziedzinnauki.Jejpoczątkisięgają
IVw.p.n.e.Jedynymistarszymiodniejnaukamisąfilozofia
imatematyka,zktórymibyłazawszebliskozwiązana.Została
zrewolucjonizowananapoczątkuXXw.dziękiużyciunowych
narzędzimatematycznych,awjegodrugiejpołowieznalazłara-
dykalnienoweiważnezastosowaniadlaobliczalnościiprzetwa-
rzaniainformacji.Odgrywawięccentralnąrolęwdużejczęści
ludzkichmyśliiprzedsięwzięć.
Książkatajestwprowadzeniemdologiki,takiej,jakąjąwidzą
współcześnilogicy.Niepróbujeonajednakbyćpodręcznikiem
–tychjestjużdostępnychbardzowiele.Celemniniejszejksiążki
jestzbadanieźródełlogiki,któretkwiągłębokowfilozofii.Po
drodzezostanieobjaśnionetrochęlogikiformalnej.
Każdyzgłównychrozdziałówrozpoczynamodpewne-
goproblemufilozoficznegolubzagadkilogicznej.Następnie
objaśniamjednopodejściedonich.Częstojestonozupełnie
standardowe,choćwpewnychdziedzinachniemastandardo-
wejodpowiedzi:logicywciążtocządyskusje.Wtakichprzy-
padkachwybierampodejścieinteresujące.Niemalwszystkiete
teorie,nieważneczystandardowe,czynie,mogązostaćpod-
ważone.Każdyrozdziałkończę,wymieniającpewneproblemy,
stanowiska,któreomówiłem.Czasamiproblemytesąstandar-
dowe,czasaminie;czasamimająprosteodpowiedzi,czasami
nie.MoimcelemjestzachęcićCiędozastanowieniasię,jakTy
towidzisz.
Przedmowadowydaniapierwszego
9
