Marco Dialógico con Lógica de Justificaciones para la Representación Formal de Diálogos Jurídico-normativos.

Este proyecto propone marcos dialógicos (Rahman, 2015), (Keiff, 2011) para disputas jurídicas con justificaciones fácticas y jurídico-normativas explícitas, formalizadas como términos de justificación de Lógica de Justificación (Artemov & Fitting, 2016). Dichos términos serán definidos tanto conjunto-teoréticamente como en relación a su pertenencia o no al conjunto de especificación constante y serán implementados como concesiones iniciales de diálogos definidos por reglas de partículas y estructurales, que definan la sintaxis y semántica del desarrollo del diálogo. Debido a la importancia de condicionales normativos sugerimos partir del análisis del marco dialógico de Sievers-Magnier (2013). Exponemos el marco teórico y los elementos formales que explican y justifican esta propuesta.

Palabras clave:Modal Logic, Dialogical Logic, Justification Logic, Argumentation on Normative and Legal Theory, Epistemic Logic

• Dr. Francisco Hernández Quiroz
• Dr. Pau Luque Sánchez