Ši knyga - tai vadovėlis, pateikiantis šiuolaikinės logikos pagrindus. Jos septyniuose skyriuose apžvelgiamos abstraktaus mąstymo formos - sąvoka, teiginys, samprotavimas; analizuojami pagrindiniai formaliosios logikos dėsniai; aiškinamos pamatinės logikos teorijos: apibrėžimo, klasių, teiginių, modalinės logikos ir kt.; plačiai dėstomas dedukacinis metodas ir tikimybiniai samprotavimai; nagrinėjami argumentacijos loginiai pagrindai, daug dėmesio skiriant įrodymo ir paneigimo būdams, argumentacijos gudrybėms, jų neutralizavimo metodams ir kt.