Mis on loogiline? Kuidas konstrueeritakse loogilisi väiteid? Kuidas tavalisest tekstist lähtudes jõuda range loogilise konstruktsioonini? Kuidas hinnatakse väidete tõeväärtust Mis on tuletussammud, reeglid ja tõestused? Mis on vastuolud ja vastuolulisus? Kuidas on üles ehitatud ebakorrektsed põhjendused? Kuidas on omavahel seotud õiged väited ja tõestatavad väited? On see ikka üks ning sama? Mida kujutavad endast arvutused ja teooriad? Mis on loogika ja loogikad?