Publié pour la première fois en 1655, ce texte est l'oeuvre majeure de Hobbes en matière de logique, de philosophie première et de physique, mais également un des plus grands textes métaphysiques du XVIIe siècle. On y trouve une théorie de la logique comme calcul dont l'un des éléments décisifs est une critique du langage. Cette logique est la condition d'une philosophie première.