A szerző korábbi, Klasszikus, modális és intenzionális logika című könyvében a technikai (matematikai) apparátus csaknem teljes mellőzésével mutatta be a modern logika fejlődését Frege klasszikus elméletétől az intenzionális logikáig. Jelen kétkötetes munkája lényegében ugyanezt a témát dolgozza fel, ám jóval részletesebben és a matematikai technika széles körű alkalmazásával. A formalizált nyelvek szintaxisához szükséges matematikai eszközként bemutatja a kanonikus kalkulusok és a Markov-algoritmusok elméletét, majd a logikai szemantika alapvető segédtudományaként a halmazelméletet. Ezek a matematikai eszközök nemcsak a formalizált, hanem a természetes nyelvek egzakt vizsgálatában is nélkülözhetetleneknek bizonyultak. A szerző az extenzionális és az intenzionális logika különféle rendszereinek leírása és nagy jelentőségű törvények szabatos bizonyítása során hasznosítja ezeket az eszközöket. Nem épít azonban az olvasó matematikai előismereteire: mindent, ami a könyv megértéséhez szükséges, magából a könyvből sajátíthat el az olvasó. A nyelv és a logika számos filozófiai-módszertani problémáját is érintő és a szerző saját kutatási eredményeit is bemutató könyv nem könnyű, de izgalmas tudományos olvasmány.
