Ši knyga – studijų vadovas, pateikiantis šiuolaikinės logikos pagrindus. Aiškinamos pamatinės logikos teorijos: teiginių, predikatų, klasių logika, apibrėžimo teorija, daugiareikšmė, modalinė, deontinė logika ir kt. Plačiai dėstoma loginė semantika.

Aiškinama dedukcinis metodas ir tikimybiniai samprotavimai. Logikos istorijos apybraižoje pasakojama apie svarbiausius šio mokslo raidos tarpsnius ir šiuolaikinės logikos susiformavimą.

Skiriama įvairių specialybių studentams. Šiuolaikinė logika išdėstyta taip, kad ją be specialaus pasirengimo gali studijuoti kiekvienas, norintis susipažinti su jos pagrindais.