Sesión Lógica y Computabilidad

Una lógica modal explícita de preferencias y razones

Sebastian Ferrando

Universidad Nacional de Córdoba, CIFFyH., Argentina   -   Esta dirección de correo electrónico está siendo protegida contra los robots de spam. Necesita tener JavaScript habilitado para poder verlo.

En el lenguaje estándar de la lógica de la preferencia, se entiende que una fórmula como PA expresa simplemente una preferencia por la proposición A, o también puede decirse, por el estado de cosas o conjunto de mundos posibles asociado con esta proposición. Se puede admitir sin embargo, que en cada caso existe una razón para esta preferencia, que, no obstante, el lenguaje estándar de la lógica de la preferencia no puede denotar de forma explícita. En el lenguaje modal explícito de la Lógica de la Justificación, las modalidades del tipo de las representadas por el operador $\Box$ (box) se descomponen en términos, t, que denotan la razón específica por la que una proposición se estima que está justificada, demostrada, conocida, creída, etc. En el caso de las preferencias de un agente esto vendría a decir, que las fórmulas del tipo PA –esto es, que un agente manifiesta una preferencia por la proposición representada por A- se reemplazan por fórmulas del tipo t:A. Una lectura o interpretación informal de esto sería que t es una razón por la cual es preferida A, o que se prefiere A porque t. En este trabajo nos proponemos desarrollar una de estas lógicas de la preferencia, a saber, la lógica modal de preferencias ceteris paribus [2], como una lógica de preferencias con razones o justificaciones, en la forma de una lógica modal explícita. Recurrimos a tal fin a la lógica de preferencias [3] y a la realización de distintos sistemas modales dentro de esta última. Desde un costado filosófico, nuestro interés radica en abarcar formalmente un tipo de razonamiento en el que se consideren preferencias y razones o justificaciones para estas. Asimismo, buscamos incorporar en este marco formal-normativo la noción de `horizonte de preferencias', que von Wright esbozara en [1].

Referencias

[1] von Wright, G., “The logic of preference reconsidered”, Theory and Decision 3 (1972) 140-169.

[2] van Benthem, J., Girard, P., Roy, O., “Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences”, J Philos Logic (2009) 38:83–125.

[3] Artemov, S, Fitting, M., Justification Logic: Reasoning with Reasons, Cambridge University Press, 2019.

Ver resumen en PDF