L'ouvrage comporte une présentation technique et théorique de la logique formelle et invite à réfléchir sur la logique et les problèmes de philosophie du langage.