En este libro, de índole introductoria, el autor expone lo fundamental y básico de tres aspectos de la lógica formal: 1) la lógica clásica, de corte aristotélico; 2) la lógica simbólica o lógica matemática, y 3) la historia de la lógica. La lógica clásica sigue siendo ala mejor introducción al estudio de la lógica, pues da un acceso muy intuitivo a la lógica formal, que después puede perfectamente desembocar en la lógica formalizada o simbólica. De igual modo, la lógica simbólica es propiamente la aportación de los tiempos recientes, llevada a un desarrollo notable gracias a la formalización misma, que ha servido como abreviatura, pero también como auxiliar en la representación lógica, sobre todo en vistas al control inferencial. Y, finalmente, la historia de la lógica se ha mostrado de gran ayuda para la comprensión de la misma lógica sistemática, ya que en dicha historia se ven los problemas que más han atraído la consideración y la reflexión de los teóricos de esta disciplina.