FILOSOFÍA DE LA LÓGICA

PRÓ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. La interpretación de los cuantificadores. Una interpretación inferencial. Una intuición pragmatista. CAPÍTULO VI: CONSTANTES LÓGICAS. Forma lógica y constantes lógicas. Teorías invariantistas. Teorías inferencialistas. Una perspectiva pragmática. CAPÍTULO VII: LÓGICA DEÓNTICA. El silogismo normativo. El cálculo deóntico. CAPÍTULO VIII: LA FORMALIZACIÓN DEL SENTIDO COMÚN. Necesidad de representar los contextos. Pero ¿qué son los contextos? ¿Cómo están estructurados los contextos? ¿Qué propiedades tienen? La formalización de contextos en inteligencia artificial. Insuficiencias de la representación. El entimema. CAPÍTULO IX: LÓGICA DE LA RELEVANCIA.

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.