Wstęp do logiki, przechodząc przez formalne tematy związane z logiką zdań oraz predykatów, i też nieformalne tematy związane z indukacją oraz krytyczne myślenie.