Introducción a la lógica y al análisis formal – Manuel Sacristán
«Hay algunos importantes conceptos que son hoy de uso frecuente en numerosas ciencias positivas y que tienen en la lógica formal el lugar de su primera introducción y aclaración. Se trata de conceptos como los de sistema deductivo, algoritmo, modelo, función, estructura. Esa primera aclaración que se encuentra en la lógica es, desde luego, muy general, y los conceptos en cuestión toman en las diversas ciencias positivas que los usan connotaciones específicas. Pero una introducción formal a esos conceptos en el marco de una iniciación a la lógica es probablemente útil para toda formación científica que quiera educar también en el espíritu de la teoría. La principal motivación con que ha sido escrito este manual es la de suministrar un texto introductorio que, a diferencia de lo que muy naturalmente suele ocurrir a los libros de lógica, no presuponga en sus lectores ningún interés especial por la filosofía ni por la matemática, ni menos una educación universitaria en ellas. El lector típico tenido presente es más bien el estudiante de nuestras facultades de ciencias positivas (naturales y sociales). Esto puede dar razón del carácter ingenuo de la información y las discusiones sobre temas filosóficos y matemáticos, así como de abandono de venerables doctrinas tradicionales (por ejemplo: de la renuncia a un tratamiento sustantivo de la silogística).
Lo que aquí se pretende en sustancia es servir a la introducción del estudio de la lógica fuera de las secciones de filosofía y de matemáticas». (de la introducción del autor)