Overview

Este libro presenta la logica proposicional y la logica de primer orden en un contexto pensado especialmente para estudiantes de filosofia, es decir, con el rigor que debe tener la ciencia pero sin perder la dimension humanistica que tradicionalmente la disciplina ha tenido. En la primera parte se establece una demarcacion entre inferencias inductivas y deductivas y se explica la necesidad de la introduccion de los lenguajes formales. En la segunda parte se desarrolla la logica proposicional, llegando a presentar los dos conceptos centrales del curso en ese marco: la consecuencia semantica y la consecuencia sintactica, de las que se estudian algunas caracteristicas. En la tercera parte se hace lo mismo para la logica de primer orden, y la cuarta se dedica a la metateoria. A lo largo de todo el desarrollo se presentan consideraciones historicas y filosoficas, que van desde las lenguas analiticas hasta los contextos indirectos fregeanos, pasando por las descripciones definidas, la relacion de la logica aristotelica con ciertas metafisicas, la relacion de la logica intuicionista con las filosofias antirrealistas, el argumento ontologico en la version de Descartes, y otros aspectos tradicionalmente filosoficos en los que el aporte de la logica es especialmente pertinente. Se presenta una seleccion de ejercicios y problemas, que incluye situaciones muy simples pensadas para que el lector compruebe si ha comprendido los conceptos basicos y tambien cuestiones mucho mas desafiantes que pueden dar lugar a amplias reflexiones. No se espera del lector ninguna formacion matematica previa, pero si el deseo de pensar arduamente sobre problemas apasionantes.

Full Product Details

9781534700543

Table of Contents

Reviews

Author Information

El autor es docente del Departamento de Logica y Filosofia de la Logica del Instituto de Filosofia (Facultad de Humanidades y Ciencias de la Educacion, Udelar, Uruguay). Dicta habitualmente los cursos de Logica I, Logica II y Filosofia de las Ciencias Formales.

Tab Content 6

Countries Available