La logique est très souvent présentée comme l'art et la science du bon raisonnement. C'est la discipline des démonstrations rigoureuses, de la mécanique des preuves. Mais c'est également le lieu des interprétations de la signification des énoncés, celui des modèles ou mondes possibles. C'est le coeur de cet écart entre syntaxe et sémantique que se situe cet ouvrage...