29 p.A lo largo de esta investigación se ilustrará la operatividad de la lógica proposicional y su función verificadora de corrección racional, se traerá nuevamente a la vida el dilema planteado por Jörgensen en 1938, que demostró la imposibilidad de que las prescripciones reguladoras de conducta puedan formar estructuras lógicas (Alarcón, 1989), posteriormente, se revisarán los intentos de Kelsen para desarrollar una lógica jurídica plausible, que enfocó en la teoría de las normas fundantes y normas derivadas (Bobbio, 1965). Se establecerá como paradigma lógico-normativo de las proposiciones prescriptivas condicionales, la lógica deóntica desarrollada a mediados de los años cincuenta por Georg Henryk Von Wright, que explica satisfactoriamente hasta la actualidad el funcionamiento lógico de las normas dentro de un conjunto que las contiene llamado corpus, este conjunto de normas inicialmente debe guardar coherencia entre las normas contenidas en él. Sin embargo, el corpus no reúne las condiciones necesarias para poder ser un sistema. Además, se presentarán los imperativos contrarios al deber que son proposiciones condicionales que gozan de la estructura básica de un antecedente y un consecuente unidos por un término de enlace expresado en el lenguaje castellano por “si…, entonces”, como la piedra angular en la estructuración y construcción de lo que llamaremos sistemas punitivos deónticos, los cuales deberán poder suministrar soluciones emergentes a casos que estén previamente contenidos en él.Contrafácticos e imperativos contrarios a deber
Introducción
El lenguaje apofántico proposicional
La distinción entre enunciado y proposición
Variables y términos de enlace
La problemática aplicación de la lógica al derecho
La aproximación kelseniana
El dilema de Jörgensen
El metalenguaje lógico de las normas
Las lógicas modales
Primeros sistemas normativos deónticos
La lógica de la satisfacción normativa
La solución al problema de insatisfactibilidad de los corpus
Referencias2a edició
