Introducción a la lógica combina dos aspectos habituales en la presentación de los temas básicos en una teoría de la inferencia: nociones de lenguaje ordinario para la búsqueda de validez en razonamientos y primeros pasos en la construcción de cálculos para evaluación de argumentos.
Dentro del primer aspecto caben temas como las nociones de premisa y conclusión, la distinción entre términos y proposiciones, propiedades de los términos y tipos de proposiciones, uso y mención, acuerdo y desacuerdo, noción y clases de definición, falacias informales y razonamientos por analogía e inducción. Al segundo aspecto pertenecen, entre otras cosas, la noción de deducción, la distinción entre validez semántica y sintáctica, así como la construcción de un cálculo sencillo en lógica proposicional con elementos para ampliarlo al tratamiento de cuantificación simple.
El énfasis en el libro es la aplicación inmediata de nociones a casos, ejemplos y ejercicios, basada en la convicción de que es necesario fomentar el desarrollo de la capacidad para argumentar válidamente, en vez de aprender de memoria reglas y procedimientos lógicos.
El libro está dirigido a lectores deseosos de explorar en qué consiste la lógica, sin importar el ámbito de estudios universitarios en el que se encuentren. También puede ser usado por estudiantes de secundaria en años avanzados, y por cualquier lector interesado en estos temas.