Kas yra simbolinė logika

Knyga sumanyta kaip išsamus įvadas į simbolinę logiką. Jam nereikia jokių ankstesnių logikos ar matematikos žinių ir apimamos visos įprastos temos iki pat daugiaviečių predikatų logikos su tapatybe.

Išplėtotos logikos sistemos egzistuoja nuo Aristotelio laikų (384-322 m. pr. Kr.), tačiau simbolinė logika daugiausia yra XX amžiaus išradimas. Logikoje simbolių pranašumai yra tokie patys kaip matematikoje: simboliais lengviau manipuliuoti, jie teikia efektyvias santrumpas ir leidžia vos pažvelgus pamatyti bendrą teiginio struktūrą. Vartojant simbolius galima dirbti su gerokai sudėtingesniais samprotavimais, ir tai logikai leidžia pasiekti daugiau, nei būtų įmanoma priešingu atveju. Ir iš tikrųjų, susiformavus simbolinei logikai, įvyko tikras šios srities žinių sprogimas, buvo padaryta stulbinamų atradimų, kurie be jos būtų neįmanomi.