La logica è una disciplina le cui origini risalgono all'antichità e che si è molto sviluppata negli ultimi decenni anche per le sempre più numerose applicazioni nelle discipline scientifiche e umanistiche. Il dizionario, comprendente più di 300 lemmi, si rivolge ad un pubblico non specializzato e ha lo scopo di illustrare i concetti fondamentali della disciplina. Si propone inoltre di far conoscere i più importanti teoremi relativi alle teorie formali e le caratteristiche di alcuni sistemi logici che estendono o sono alternativi a quelli classici.