La vuelta a la relevancia en 300 segundos

Ponente(s): Miguel Ángel Trejo Huerta, Luis Estrada González Miguel Ángel Trejo Huerta

La lógica de la relevancia es una familia de lógicas con las que se pretende formalizar la idea de que en un argumento válido premisas y conclusión deben compartir contenido. Ahora bien, en esta familia de lógicas hay algunas que son deductivamente más fuertes que otras. Las lógicas (deductivamente) más débiles de esta familia suelen expresar requisitos relevantistas más estrictos que los involucrados en las lógicas más fuertes. La lógica relevante más fuerte de esta familia es la lógica R. Después de presentar una axiomatización de R esbozamos razones para pensar que algunos de los axiomas de R parecen paradojas de relevancia. Esto nos lleva a explorar lógicas más débiles que R y, de la misma manera, evaluaremos qué tan relevantes son sus (esquemas de) axiomas.