Kniha nabízí netradiční úvod do světa moderní logiky. Předkládá čtenáři řadu filozofických otázek, které se týkají východisek a cílů logických teorií a jejich formálních aparátů. Krok za krokem pak ukazuje, jak je logika geneticky spjata s přirozeným jazykem a jak se obrysy běžných i méně běžných logických systémů vynořují z reflexe toho, jak běžně odůvodňujeme svá tvrzení. Nabízí tak alternativu k rozšířené představě, podle níž je smyslem logiky zachycení nějakých velice abstraktních a velice fundamentálních zákonů, které vymezují pole působnosti rozumu.