Dos retos para la lógica

Resumen

Tenemos al menos dos retos en lógica: crear una teoría rigurosa del contexto inferencial e integrar armónicamente lógicas diversas. Gran parte de lo que hace a una inferencia aceptable son las circunstancias en las que se produce. Es necesario tomar en cuenta las prioridades y los recursos disponibles cuando se hace una teoría de lo que es una buena inferencia. El otro reto es combinar sistemas de lógica en la construcción de análisis más completos de las diferentes facetas de la corrección inferencial, preguntándonos cuáles herramientas lógicas es más conveniente utilizar, en qué áreas de la experiencia y en qué contextos.

Abstract

In logic we face at leat two challenges: the creation of a rigorous theory of inferencial context and the harmonious integration of different logics. The circumstances of production are part and parcel of what makes an inference acceptable. It is necessary to take into account both priorities and available resourses in a theory of good inference. The second challenge is the combining of logical systems into more complete analysis of sundry facets of inferential correctness, asking what logical tools are convenient, in what areas and in what contxts.