* la première est une présentation technique et théorique de la logique formelle, principalement la logique des propositions et des prédicats ainsi que des éléments de logique non classique;
* la seconde est d'orientation plus philosophique. Elle invite à réfléchir sur la logique et les problèmes de philosophie du langage qu'elle suscite à partir de Wittgenstein, Frege, Russell, Quine et Strawson.
Cet ouvrage s'adresse aux universitaires, philosophes, philologues, linguistes, informaticiens, scientifiques désireux d'actualiser leurs connaissances en logique ou intéressés par le langage.
