• Inicio

    Una especificación de software indica qué cosas debe hacer el software y cuáles no. Es esperable que no tenga contradicciones ni subespecificaciones. 

    Una ley (o mejor dicho, una norma legal), indica qué cosas está obligado a hacer, cuáles tiene prohibido hacer y cuáles puede hacer, una persona física o jurídica. Es esperable que no tenga contradicciones ni "lagunas". 

    Dado que ambas entidades son tan similares (¿hasta qué punto lo son?), ¿no podríamos usar las herramientas con las que cuenta la Ingeniería de Software para tratar de obtener normas de mejor calidad? 

    En esta materia exploraremos estas preguntas junto con otras que componen el área de Lógica y Derecho, en particular el análisis formal de normas.

    Temario:


    Parte I - Introducción 

    Módulo 1. Normas y leyes. Introducción a la problemática del análisis formal de normas. 
    Módulo 2. Lógica de los imperativos vs lógica deóntica. 

    Parte II - Background 

    Módulo 3. Repaso de lógica proposicional y de primer orden. Métodos de inferencia. 
    Módulo 4. Lógicas modales y temporales. Model checking y theorem proving. 
    Módulo 5. Lógicas deónticas y defeasible logic. 

    Parte III – Algunos problemas de la Filosofía del Derecho 

    Módulo 6. Contradicciones y vacíos. Paradojas legales. 
    Módulo 7. Operadores deónticos primitivos. Permisos. 
    Módulo 8. Contratos. 

    Parte III – Análisis formal de normas 

    Módulo 9. Metodologías. 
    Módulo 10. Model Checking. 
    Módulo 11. Herramientas.

    Puntaje

    1 un punto para la Licenciatura, consultar por doctorado.


    Carga horaria

    2 hs semanales, una vez por semana.

    Correlatividades

    Lógica y Computabilidad, Algoritmos y Estructuras de Datos III

    Modalidad

    Tendrá una modalidad similar a la de seminario, donde los temas se expondrán en clase y luego se asignarán artículos para la lectura y presentación en clase.