Una lógica para la aceptación lógica

Resumen

En este artículo, desarrollo un análisis formal del concepto de aceptación lógica, extendiendo una propuesta de Lokhorst (1997). En el sistema formal que propongo, podemos representar la idea de que un agente acepta determinada oración o argumento como válidos. Para eso, utilizamos el aparato de la lógica epistémica. A modo de ejemplo, exploramos la posibilidad de aceptar o rechazar lógicas trivaluadas como LP o K3. Luego desarrollo una semántica para este sistema, utilizando ideas de la lógica modal no-normal. Hacia el final del artículo, muestro que en el sistema no sólo se puede representar la aceptación lógica y el rechazo, sino también las creencias sobre compromisos lógicos de otros agentes.