Kas yra simbolinė logika

Ši knyga sumanyta kaip išsamus įvadas į simbolinę logiką. Jam nereikia jokių ankstesnių logikos ar matematikos žinių apimamos visos įprastos temos iki pat daugiaviečių predikatų logikos su tapatybe. Knyga buvo rašoma tikint, kad kiekvienas studentas gali išmokti simbolinę logiką. Ji yra parengta siekiant suteikti studentui kuo daugiau pagalbos ją perprantant.

Pradedantys studentai, ypač turėję keblumų su matematika, kartais nerimauja, ar jie sugebės susidoroti su simbolinės logikos kursu. Jie gali būti nusiteikę, kad "nesigaudo simboliuose", arba kad jie tiesiog negali suprasti formalios medžiagos. Šie nuogąstavimai nepagrįsti. Norint suprasti šioje knygoje pateikiamą medžiagą nebūtina išankstinė pažintis su simbolių sistemomis; ji dėstoma nuo pat pagrindų, tad nė vienas studentas nebus nuskriaustas. Be to, čia vartojami simboliai yra ganėtinai paprasti; tai tiesiog tokių įprastų sąvokų kaip "ir", "arba", "ne" santrumpos. Tiesą sakant, studentai dažnai teigia, kad simbolinės logikos kursas jiems padeda matematikoje, nes jie išmoksta sistemingai analizuoti ir spręsti uždavinius. Jie taip pat atranda, kad vis dėlto sugeba be didesnių keblumų manipuliuoti simboliais.