Capítulo de Libro
Modelos lógicos como métodos de estudio sistémico del derecho. Determinación de la operatividad de lenguajes ideales
Fecha
2018Registro en:
León-Molina, J. E. (2018). Modelos lógicos como métodos de estudio sistémico del derecho. Determinación de la operatividad de lenguajes ideales. En Ó. A. Agudelo-Giraldo, J. E. León-Molina, M. A. Prieto-Salas, A. Alarcón-Peña & J. C. Jiménez-Triana. La pregunta por el método: derecho y metodología de la investigación (pp. 95-116). Bogotá: Universidad Católica de Colombia
978-9585456-18-1 (impreso)
978-9585456-19-8 (digital)
340.07
Autor
León-Molina, Jorge Enrique
Institución
Resumen
Al hacer el análisis de formulaciones lógicas operativas en modelos clásicos o modales de operaciones semánticas, se puede caer en el error de la corrección de la fórmula, por encima de la explicación contextual o real de la misma. Los modelos de lenguajes surgen como las experiencias más plausibles a la hora de construir semánticas que permitan el análisis, el estudio y la sistematización de expectativas contrafácticas en el marco del estudio científico del derecho, pero no es el único modelo existente. En esta investigación se presentan tres modelos de operación de lenguajes ideales: la conmensurabilidad, que funciona como una mera identificación de elementos comunes entre conjuntos de modelos operativos; la reducción, que funciona como la operación de compartir un determinado lenguaje entre conjuntos o sistemas operativos, y que permite amplificar el espectro de operaciones comunes de los mismos; y la traducción, que es una operación de cierre, en donde a pesar de haber interacción de operaciones, la cláusula operativa de cada conjunto especifica aquellas comunes en variables de su propio lenguaje operativo. Estos modelos darían lugar a uno más genérico: el modelo de realidades, en donde Alchourrón nos muestra cómo podría ser operativo un sistema contrafáctico, sin necesidad de ser modélico, solo basta con una caracterización de la expectativa contrafáctica que quiera hacerse operativa, estructurar el lenguaje determinado, jugar con las variaciones en el tipo de lógica propuesto, y al final, desde el modelo axiomático-deductivo, el lenguaje será operativo.