El propósito que anima a José Ferrater Mora y Hugues Leblanc en este libro es presentar, mediante una exposición sucinta, clara y rigurosa, los temas fundamentales de la lógica matemática. Conocida también como lógica moderna o lógica simbólica, se acerca más que ninguna otra ciencia a un ideal inasequible: constituirse en un lenguaje perfecto. Por ello, el presente libro también aspira a "despertar en los lectores de lengua española el interés por una disciplina que ocupa un puesto singularmente destacado en el saber contemporáneo". La lógica matemática empieza a rebasar los reducidos círculos de especialistas para ser un instrumento
utilizado por grupos cada vez más amplios de estudiosos. Aquellos que se acercan por primera vez a la lectura de textos de esta índole se encontrarán con una abundancia de símbolos; sin embargo, lejos de obstaculizar su lectura, constituyen el único modo de entender cabalmente esta disciplina.
José Ferrater Mora ha publicado, además, un Diccionario de Filosofía, El hombre en la encrucijada, La filosofía en el mundo de hoy y El ser y la muerte, entre otras obras. También sobre la lógica, Hugues Leblanc ha publicado An Introduction to Deductive Logic.