Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Słowowstępne
Podręczniktenjestprzeznaczonydlaosób,którezamierzająprzyswoićsobiepodstawowewiadomościzdziedzinylogikiformalnej,anadto
dowiedziećsię,jakiwkładwnositadyscyplinadowspółczesnejwiedzyojęzyku.Zakresisposób,wjakiprezentujętucentralneczęści
klasycznejlogiki–rachunekzdańirachunekkwantyfikatorów–nieodbiegapodżadnymistotnymwzględemodujęćstosowanych
winnychelementarnychpodręcznikach.Sposóbnatomiast,wjakiprzedstawiamzwiązkimiędzylogikąformalnąanowoczesnym
językoznawstwemteoretycznym,atakżesugestiedotyczącerozwiązaniapewnychproblemówlogicznych,zjakimimusisięuporaćopis
językanaturalnego,wyrażająmojewłasnestanowiskowtychdyskusyjnychkwestiach.Różnisięononietylkoodpoglądówwielu
lingwistów,lecztakżeodrozstrzygnięćpreferowanychprzezniektórychlogików.Różnicetesygnalizujęwodpowiednichmiejscachtekstu,
niereferujęjednakszczegółowoodmiennychstanowiskwporuszanychsprawach.
Obecne,ósmewydanietegopodręcznikajestniecozmienioneirozszerzonewstosunkudowydańwcześniejszych.Zmiany,które
wprowadziłamwrozdziałach1–3,sądrobneisłużąwyłącznieulepszeniutekstupodwzględemdydaktycznym.Rozdział4natomiastzostał
dośćgruntownieprzebudowanyiznacznieposzerzony;nositeżnowytytuł.Uzupełniłamgobowiemoproblematykę,którawostatnich
dziesięcioleciachstałasięnowymkontekstembadańlogicznychnadjęzykiemnaturalnym.Ogólniemożnascharakteryzować
tęproblematykęjakopytanieogranice,wktórychlogikaopisujerzeczywisteaktyrozumowaniaikomunikowaniasięludzizapomocą
zwykłego,etnicznegojęzyka.Mocwyjaśniającalogikiwtejempirycznejdziedziniebywałaprzeceniana;przesadnąreakcjąnato
sąwspółczesnegłosyproklamujące„konieclogiki”jakoteoriinaturalnejkomunikacjijęzykowej.Dlategopodjęłamtupróbęzarysowania
owychgraniclogikiwsposóbdostatecznieudokumentowany.
Podobniejakwwydaniachpoprzednich,książkatazawierajako
Dodatek
standardowywykładpodstawowegofragmentuteoriizbiorów.
Znajomośćniektórychpojęćteoriizbiorówzakładałamwróżnychmiejscachtegopodręcznika;czytelnik,któremusąoneobce,powinien
sięgnąćdo
Dodatku
.Znajdzietamtakżewyjaśnieniewieluinnychpojęćtejteorii,którewartopoznaćzuwaginaichbardzoogólny
charakter,umożliwiającykorzystanieznichwkażdejdziedzinienauki,awłaściwiewmyśleniuimówieniuowszelkichsprawach.
Uniwersalnośćzastosowańjestcechąwspólnągłównychpojęćlogikiiteoriizbiorów;podobieństwoobudyscyplinpodtymważnym
względemprzemawiazatym,byzapoznawaćsięzichpodstawamiprzytejsamejokazji.
Jakoelementarnypodręczniklogikiksiążkatamapewnąpoważnąwadę:brakwniejtekstówzadań,którychsamodzielnerozwiązywanie
ułatwiłobyczytelnikowizapamiętanieistosowaniewpraktyceaparatupojęciowegoimetodlogiki.Niematutakichzadań,ponieważdość
obszernyichzbiórprzygotowałamiopublikowałamwcześniej;zbiórten,zatytułowany
Ćwiczeniazlogiki
,stanowiuzupełnienieniniejszego
podręcznika.Najnowsze,szesnastewydanie
Ćwiczeńzlogikizostałorozszerzonewsposóbodpowiadającyobecnemu,rozszerzonemu
wydaniuWprowadzeniadologikiformalnej.
ZacenneuwagikrytycznedomaszynopisuzawierającegopierwotnąwersjętejksiążkijestembardzowdzięcznaProfesorowiMarianowi
PrzełęckiemuorazProfesorowiJackowiJadackiemu;dziękitymuwagomjejopublikowanawersjamaznaczniemniejusterek.
grudzień2004
BarbaraStanosz
