Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
1
Logika
Ogólnierzeczujmująciniecoupraszczając,logikatonaukaozasadachpoprawnego
rozumowania.Logikaformalnalubmatematyczna,którejpodstawypoznamy,sytuuje
sięnapograniczufilozofiiimatematyki.Zajmujesięonamiędzyinnymibadaniem
takichregułwnioskowania,dziękiktórymzprawdziwościjednychzdańwnosimy
oprawdziwościinnychbezrozpatrywaniaichgłębszychznaczeńizwiązkuzrzeczy-
wistością.Należytupodkreślić,żezajmiemysięjedyniepodstawamirachunkuzdań
ilogikidwuwartościowej,toznaczytakiej,któraprzyjmuje,żedanezdaniemoże
byćalboprawdziwe,albofałszywe,inicpośrodku.Takoncepcjajestkluczowadla
matematykiinaukprzyrodniczych,gdyżnaukitestwierdzająnaogółistnienielub
nieistnieniepewnychobiektówalboichcech.Stądzdaniegłosząceoistnieniujakiejś
cechylubwystępowaniujakiegośzwiązkumożemiećtylkodwiewartościlogiczne,
możebyćprawdziwealbofałszywe.Rozważasiętakżelogikiwielowartościowe,któ-
remajązastosowanienaprzykładprzymodelowaniuprocesówdecyzyjnychwprzy-
padkuróżnegostopniapewnościcodoprawdziwościsądów,np.systemyeksperckie
wspomagającepodejmowaniedecyzjiprzezlekarza.
Tenrozdziałmanaceluzapoznaniebiologówzpodstawamilogikiformalnej,
którejprawa,choćzdająsiębyćpowszechnierespektowaneodczasówstarożytnych,
zwykleniesąznaneiwykorzystywane.
1.1.Pojęciezdaniawlogice
DEFINICJA1.1.Zdaniemwlogicenazywamywyrażenieoznajmujące,któremu
możnaprzyporządkowaćwartośćprawdy,oznaczane1,lubfałszu,oznaczane0.
Zauważmy,żewdefinicjizdanianiemamowyotym,wjakisposóbmożnasię
przekonać,czydanezdaniejestprawdziweczynie.Logikaformalnaniezajmuje
siębezpośredniobadaniemrzeczywistościempirycznej,alebadaniemwzajem-
nychzależnościmiędzyzdaniami,którecośorzeczywistościstwierdzają.Wten
sposóbnagruncieklasycznejlogikiformalnejomijasięcałązłożonądebatęfilozo-
ficznądotyczącąpojęciaprawdy,odnoszącąsięprzedewszystkimdorelacjimiędzy
myślamiczygłoszonymisądamiarzeczywistością.Przystępnyprzeglądzagadnień
dotyczącychpojęciaprawdyznaleźćmożnaw[2].
