Raamatus antakse praktilisi teadmisi formaalsest loogikast: traditsiooniliselt on käsitletud põhilisi mõtlemisvorme, operatsioone nendega ning seadusi, mida tuleb järgida kas kõnes või tekstis, et arutlus oleks loogiliselt kehtiv. Kuid raamatus demonstreeritakse ka traditsioonilise loogika piiratust. Traditsiooniline loogika uuris kehtivaid arutlusvorme loomulikust keelest lähtudes ja just sellepärast on tema teaduslik saavutus praktilise tähtsusega. Raamat tutvustab ka kaasaegse sümbolloogika aluseid: lausearvutuse ja predikaatarvutuse sümbolkeelt. Kaasaegse sümbolloogika ja traditsioonilise loogika eesmärgid langevad kokku ja kaasaegne loogika on üle võtnud kõik positiivse, mida on avastanud ja uurinud traditsiooniline loogika. Abstraktset loogikalist sümboolikat on raamatus kasutatud minimaalselt.