Una sintetica introduzione alla logica attraverso esempi ed esercizi che evidenziano il legame tra le forme logiche e il linguaggio comune, e tra la logica e la filosofia: dalle basi della logica classica (calcolo degli enunciati e dei predicati) alle logiche non classiche (paraconsistenti, paracomplete, modali, condizionali), e alla logica della probabilità e delle decisioni. Per ogni argomento si parte dalle difficoltà ricorrenti nella comune pratica del pensiero: inferenze apparentemente sensate che però contengono una trappola; presunte insensatezze che si rivelano ragionevoli; tesi che non ci convincono ma non riusciamo a dire perché.