Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Rozdział1
takienazwiska,jak-obokwspomnianychwyżej-Tarski(uważanywrazzGödlem
zanajwybitniejszegologikaXXwl),Mostowski,Kuratowski,Mazur,Sierpiński,Eilen-
berg,Lindenbaum,atodaleceniewszyscylWpodręcznikachlogiki,teoriimnogo-
ści,atakżeanalizyfunkcjonalnejitopologiiwieletwierdzeńskojarzonychjestztymi
właśniepostaciamilWpływnaukowyiintelektualnytejgrupyludzitrwałażdolat
80lubiegłegostulecial
Drugauwagawynikazfaktu,iżlogikaopisanawyżejokazałasięwpewnymsensie
paradoksalnalAksjomatwyborupozwoliłnplTarskiemuiBanachowiudowodnić,że
jednąkulędasiępodzielićnaskończonąliczbęczęścitak,żemożnaznichstworzyć
dwiekuleidentycznezpierwsząlDefinicjelogikiklasycznejprowadzązatemczasa-
miwobszarywątpliwelDlategoteż,zpunktuwidzeniapraktyki,istniałrównieżopór
przeciwtakszerokiemupunktowiwidzenialPowstawałylogikizakładająceinnepo-
dejścienpldokwestiiwartościlogicznychlWartotuwymienićkilkaznichl
•Logikaintuicjonistyczna(Brouwer,Heyting)kwestionujeprawdziwośćzasady
wyłączonegośrodka,ograniczasiędopojęćefektywniekonstruowanych;jest
najpoważniejsząalternatywąlogikiklasycznejl
•Logikimodalne(Lewis,Langford)próbująująćwścisłeramypojęciamożliwo-
ściikonieczności;dziśtraktowanesąbardziejjakoobszarfilozofiiniżlogiki.
•Logikiwielowartościowe(Łukasiewicz,Post)dopuszczająistnieniewięcejniż
jednejwartościlogicznej(np.„niewiadomo”).
•
Logikaprobabilistyczna(Keynes,Carnap)określawartośćlogicznązdaniajako
prawdopodobieństwojegoprawdziwości.
•Logikarozmyta(Zadeh)definiujewartośćlogicznązdaniajakomiarędobroci
opisuprzeznieelementuzbioru-jeśliopisdokładniepasuje,towartościąlogicz-
nązdaniajestprawda(1),jeślizupełnieniepasuje,towartościątakąjestfałsz
(0),ajeślipasujeczęściowo,towartościąjestliczbazprzedziału(0;1),będąca
miarąnstopniadopasowania”elementudowzorca;logikataznalazłaszerokie
zastosowaniewsterowaniurobotamiikonstrukcjisystemóweksperckich.Mimo
podobieństwaliczbowegotakrozumianewartościlogiczneniemajązprawdo-
podobieństwaminicwspólnego.
Istniejejeszczewielelogikspecyficznych(npllogikaalgorytmicznawykorzysty-
wanaprzyopisywaniuprogramówdlamaszyncyfrowych),alesąonezazwyczajwą-
skimisystemamidedykowanymikonkretnymzagadnieniomlTakwięcwpobieżnym
zkoniecznościprzeglądziemusimyjepominąćl
Nazakończenietrzebajednakwspomnieć,że-mimowszelkichzastrzeżeń-na-
szacywilizacjarozkwitłanabazielogikiklasycznejlDlategowłaśnieprzedstawieniu
elementarnychjejpodstawpoświęconajestpierwszaczęśćniniejszegoskryptul
22