Este libro presenta la lógica proposicional y la lógica de primer orden en un contexto pensado especialmente para estudiantes de filosofía, es decir, con el rigor que debe tener la ciencia pero sin perder la dimensión humanística que tradicionalmente la disciplina ha tenido. En la primera parte se establece una demarcación entre inferencias inductivas y deductivas y se explica la necesidad de la introducción de los lenguajes formales. En la segunda parte se desarrolla la lógica proposicional, llegando a presentar los dos conceptos centrales del curso en ese marco: la consecuencia semántica y la consecuencia sintáctica, de las que se estudian algunas características. En la tercera parte se hace lo mismo para la lógica de primer orden, y la cuarta se dedica a la metateoría. A lo largo de todo el desarrollo se presentan consideraciones históricas y filosóficas, que van desde las lenguas analíticas hasta los contextos indirectos fregeanos, pasando por las descripciones definidas, la relación de la lógica aristotélica con ciertas metafísicas, la relación de la lógica intuicionista con las filosofías antirrealistas, el argumento ontológico en la versión de Descartes, y otros aspectos tradicionalmente filosóficos en los que el aporte de la lógica es especialmente pertinente. Se presenta una selección de ejercicios y problemas, que incluye situaciones muy simples pensadas para que el lector compruebe si ha comprendido los conceptos básicos y también cuestiones mucho más desafiantes que pueden dar lugar a amplias reflexiones. No se espera del lector ninguna formación matemática previa, pero sí el deseo de pensar arduamente sobre problemas apasionantes.

Formato	Tapa suave
Número de Páginas	390
Lenguaje	Español
Editorial	Createspace Independent Publishing Platform
Fecha de Publicación	2016-06-17
Dimensiones	11.02" x 8.5" x 0.8" pulgadas
Letra Grande	No
Con Ilustraciones	No

El autor es docente del Departamento de Lógica y Filosofía de la Lógica del Instituto de Filosofía (Facultad de Humanidades y Ciencias de la Educación, Udelar, Uruguay). Dicta habitualmente los cursos de Lógica I, Lógica II y Filosofía de las Ciencias Formales.