Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Wprowadzenie
wrozważaniafilozoficzne,leczskupiamsięnapraktycznychmetodach.Mają
onecharakterelementarnyikażdymożeocenićichużyteczność.
Tekstpisałemspecjalniezmyśląostudentachkierunkówścisłych,którzyna
ogółźleznosząwykładyfilozoficzno-humanistyczne,atakżeroztrząsanienie-
jasnychinieścisłychproblemów.Maonposmakścisłościikonkretnościna
tyle,nailejesttomożliwewdziedzinie,któraznaturyniejestanijasna,ani
ścisła,którarozważaznaczeniazdańwjęzykunaturalnymorazrelacjemię-
dzyniezupełnieścisłymitwierdzeniaminatematrzeczywistościzewnętrznej
(wprzeciwieństwiedościśleiprecyzyjniezdefiniowanychobiektówmatema-
tycznych).Sądzę,żepunktwidzeniamatematyka,wzorowanenapraktycema-
tematycznejmetodymyśleniaisposobyjasnegowyrażaniamyślimogąmieć
takżespecjalneznaczeniedlahumanistów.Mamnadzieję,żewykładtegotypu
okażesięatrakcyjnyiprzydatnynawszystkichkierunkachstudiów.
Zdolnośćkrytycznegoilogicznegomyśleniajestbowiemzpewnościąjedną
znajważniejszychcech,jakichwymagasiędziśwkażdejdziedziniepracy
umysłowej.Tejzdolnościwznacznejmierzezawdzięczamynaszrozwójcywi-
lizacyjny.Odpowiednikurskrytycznegomyślenialublogikipraktycznejpo-
winienstanowićpodstawęwszelkiegowykształcenia.
*
Czytelnika,któryznachoćbypobieżnieinnepodręcznikilogikipraktycz-
nejlubkrytycznegomyślenia,zdziwićmożeniewielkaliczbaformalnych
schematówiwzorówwtympodręczniku.Warto,abymjużwtymmiejscu
określiłmójstosunekdologikiformalnej.Popierwsze,jesttomojaulubio-
nadziedzinamatematyki–jedynadziedzinamatematyki,którejprzedmiot
badańzdawałsiębyćkonkretnymrzeczywistymprzedmiotem,zajakina-
leżyuznaćludzkiemyślenie.Podrugie,uważam,żedziedzinataodniosła
niezwykłysukces,stającsięjednązpodstawtechnologiiinformatycznej.
Tenszczęśliwytrafprzykryłjednakzaskakującąporażkę,którąjestzko-
lei,corazbardziejwidoczny,brakzastosowańlogikiformalnejwpraktyce
myślowejżyciacodziennego.To,żeludziewpraktycemyślenia,nawetci,
którymprzypisujesięszczególneumiejętnościlogicznegorozumowania,nie
stosująprawiwzorówlogikiformalnej,jestfaktem,zktórympróbująpo-
lemizowaćtylkoniektórzylogicyimatematycy.Okazałosię,iżzbytścisłe,
zbytformalneujęcienieścisłychfenomenówwypaczaichnaturę,prowadzi
doidealizacjioderwanychodpraktykiirzeczywistości.Szczególnymdowo-
demnato,żeformalneschematywypracowaneprzezlogikówniewielemają
wspólnegozpraktycznymrozumowaniem,jestklęskatzw.logicznegonurtu
badańwdziedziniesztucznejinteligencji.Dokładniepiszęotymwmojej
książceSztucznainteligencjailogika.Tutylkochcęzwrócićuwagę,zjak
złożonyminieścisłymfenomenemmamydoczynienia.
11
