Reiteramos aquí el motivo que inspira esta obra y que fue expresado en el prefacio del primer volumen. La lógica ha tenido un crecimiento impredecible y gigantesco en las últimas décadas, muy fecundo en su entrecruzamiento con disciplinas afines a las que ha sido útil en sus aplicaciones y de las que ha recibido a su vez valiosas sugerencias para su desarrollo. Aunque la lógica es cada vez más una disciplina matemática, nunca ha perdido del todo sus motivaciones filosóficas. Se propone, por un lado, proveer lenguajes que permiten una expresión clara y precisa del pensamiento y, por otro, codifica en ellos nuestras formas de razonamiento en campos particulares para determinar cuáles son válidas y cuáles no. Junto con estos fines generales cumple otros no menos importantes, por ejemplo, la lógica dio una idea precisa de lo que se entiende por un algoritmo. Eso basta para indicar por qué ha sido de extrema utilidad tanto en el desarrollo de la filosofía (en general y, en particular, de la filosofía de la mente y del lenguaje) como en el de la lingüística. Al interior de la matemática, en interacción con la teoría de conjuntos, ha generado métodos para resolución de problemas en álgebra, topología, gráficas y análisis, entre otras ramas. Esto sólo por mencionar algunas formas en que la lógica ha contribuido a la expansión del conocimiento. Sin embargo, en nuestro país son muy escasas las posibilidades que un alumno de educación superior tiene de apreciar el rigor, la fecundidad y la sutileza que da la lógica y de profundizar en sus desarrollos más recientes. Pocos son los cursos que se ofrecen en las licenciaturas de matemáticas, filosofía, lingüística o computación. Con ello, el estudiante de nuestras diversas universidades queda fatalmente imposibilitado para aportar al desarrollo en muchos campos de conocimiento tanto teóricos como prácticos. Estos volúmenes buscan subsanar en algo esa carencia. Pueden servir para acompañar cursos en las instituciones de educación superior o bien para el estudiante autodidacta que desee explorar por su cuenta los temas aquí tratados, sea sistemáticamente o ahondando en alguno de su particular interés. Pero la obra trasciende esos límites y se propone abrir nuevas direcciones de estudio, por ejemplo, las lógicas abstractas, en general las lógicas no clásicas.