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 la mejor introducción al estudio de la lógica, pues da un acceso intuitivo a la lógica formal, que después puede 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. 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.