Edgar  Andrade
Esther Juliana Vargas
Pablo Cubides
Diego Cancino
Carlos M. Márquez
Colección Lecciones de Ciencias Humanas
Editorial Universidad del Rosario
Año edición 2008
Encuadernación rústica, 17 × 24 cm.
ISBN 978-958-8378-32-9
Páginas: 221

Este libro son unas “notas de clase” que son el fruto del ejercicio docente de los profesores de la Escuela de Ciencias Humanas, en los cursos de Introducción al pensamiento formal y de Lógica. El objetivo principal de este texto es ofrecer una herramienta tanto a los docentes como a los estudiantes que facilite la introducción a esta área del conocimiento; lo cual se hace a través del estudio de tres de los sistemas formales más básicos.

El presente manual incluye un capítulo sobre lógica proposicional, otro sobre proposicional modal —raras veces presente en los manuales de lógica—, y presenta una introducción suficientemente accesible y conceptualmente rigurosa de la lógica de predicados —la cual es, a veces, expuesta o de manera ligera o demasiado elaborada, de tal suerte que requiere mayor formación en lógica—. En este libro también hemos hecho un esfuerzo particular en incluir la mayor cantidad posible de ejercicios, de diferentes niveles de dificultad, en cada uno de los capítulos.