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.