Argumento de Filosofía de la Lógica
Filosofía de la Lógica, resultado de una iniciativa de la Sociedad Española de Filosofía Analítica para la publicación de manuales universitarios, es una puesta al día de algunos de los temas centrales que la lógica plantea a la filosofía. Escrito por investigadores en activo, el volumen presenta de manera clara y comprensible las últimas discusiones sobre nociones como la validez, la consecuencia lógica y la propuesta de la relevancia, los desarrollos contemporáneos acerca de lo que son las constantes lógicas, los cuantificadores y los operadores deónticos, y un tratamiento actualizado de los problemas epistemológicos de la lógica. Incluye asimismo una presentación de lo que se entiende por lógica en la actualidad, de las diversas posibilidades de formalizar los intercambios comunicativos en contextos reales y de la lógica de orden superior. Filosofía de la Lógica va dirigido a estudiantes e investigadores universitarios con un doble objetivo: presentar los temas de una manera actual y clara, aunque sin pérdida de rigor, y proporcionar las herramientas conceptuales para proseguir la investigación en este ámbito de la filosofía.0PRÓLOGO. Información sobre los autores. CAPÍTULO I: ¿QUÉ ES LA LÓGICA? Lógica e inferencia. Inferencia deductiva e información. Inferencias analíticas. Inferencia ampliativa. Sistematización lógica versus sistematización extralógica. Sintaxis versus semántica. Límites de las aproximaciones sintáctica y semántica. ¿A qué llamamos lógica de primer orden? Presupuestos de la lógica heredada de primer orden. Significado de los cuantificadores. Juegos semánticos. Implicaciones de la lógica amigable a la independencia; axiomatizabilidad. La negación y su significado. Lógicas de orden superior. ¿Distinción sin diferencia ontológica? ¿Lógicas alternativas? Inferencia ampliativa y adquisición de la información. CAPÍTULO II: VALIDEZ Y CONSECUENCIA LÓGICA. LA CONCEPCIÓN CLÁSICA. Concepciones intuitivas de la consecuencia lógica. Implicación lógica e implicación material. Validez lógica de los argumentos. Enfoques de generalidad formal de la consecuencia lógica. Esbozo histórico reciente y observaciones al estado de la cuestión. CAPÍTULO III: EL STATUS EPISTEMOLÓGICO DE LA LÓGICA: VERDAD Y NECESIDAD. La noción de aprioricidad. La lógica no es a priori. La lógica es a priori. Conclusión. CAPÍTULO IV: LÓGICA DE ORDEN SUPERIOR. Lógica y teoría de conjuntos. Semántica estándar para SOL. Incompletud de la lógica de segundo orden. Completud de SOL con semántica general. CAPÍTULO V: CUANTIFICADORES. ¿Qué es un cuantificador? Los orígenes de la teoría de la cuantificación. La teoría de los cuantificadores generalizados. (continúa...)