Publicado por primera vez en 1655, este texto es la principal obra de Hobbes en lógica, primera filosofía y física, pero también uno de los mayores textos metafísicos del siglo XVII. Allí encontramos una teoría de la lógica como cálculo, uno de cuyos elementos decisivos es la crítica del lenguaje. Esta lógica es la condición de una primera filosofía.