Lógica simbólica para abogados

Las dos ramas principales de la lógica formal (o lógica menor) y la lógica matemática (o lógica mayor). La lógica material se ocupa del contenido semántico de la argumentación. La lógica formal se interesa por la forma o estructura de los razonamientos, es la lógica clásica propiamente dicha. El libro tercero de Luigi Ferrajoli: Principia iuris. Teoría del derecho y la democracia. La sintaxis del derecho, es un esfuerzo congruente de axiomatización de su teoría conforme la lógica simbólica o matemática.

El presente libro busca dar los elementos, de la manera más sencilla posible, para que los abogados puedan acceder al manejo de la lógica simbólica, herramienta que, cada vez más, es empleada por diversos autores de prestigio mundial como Manuel Atienza, Robert Alexy y Eugenio Bulygin.

CONTENIDO

Abreviaturas de las obras relativas de Aristóteles
 

• Símbolos matemáticos y lógicos

Introducción

I.  Aproximación a un lenguaje formal
 

1. División de la lógica
2. El lenguaje de la ciencia
3. Los enunciados de la ciencia
4. El lenguaje de la lógica
5. La lógica simbólica y sus partes
6. Semántica en matemáticas y lógica
7. Principales notaciones simbólicas
8. Una formalización poco rigurosa
9. Formalización del lenguaje
10. Variables proposicionales y operadores lógicos
11. Predicados
12. Constantes de entes
13. Variables de individuos
14. Cuantificadores
15. Constante lógica
16. Conectivas
17. Formalización de proposiciones

II. Introducción a las gramáticas libres de contexto
 

1. Lenguajes y metalenguajes
2. Tipos de lenguajes
3.  El lenguaje en la teoría del derecho
4. Leyes generales del pensamiento
5. Razonamiento y demostración
6. ¿Razonamiento y demostración?
7. Tipos de inferencias
8. Formalización de una inferencia
9. Principales reglas y leyes de la lógica proposicional

III. Objetivo, finalidad y método de la teoría axiomatizada
 

1. Conocimientos anteriores de la demostración o los tipos de principios
2. Derecho y principios
3. ¿Cuál es el propósito de la lógica en la teoría del derecho?
4. Los principios de la demostración
5. Los axiomas, hipótesis y definiciones
6. Derecho y proposición
7. Los principios en la teoría del derecho
8. Los principios absolutos
9. Fundamentos para la teoría axiomatizada de Ferrajoli
10. Las cosas, seres o entes verdaderos
11. Los principios son cosas primeras e inmediatas
12. Las cosas mediatas
13. Acerca de todo
14. En sí
15. Lo universal
16. Problemática de la demostración
17. La inducción incompleta
18. Los principios bajo discusión dialéctica

IV. La axiomatización de la teoría del derecho
 

1. Objetivo, finalidad y método de la teoría del derecho garantista
2. Presentación axiomática de la lógica proposicional
3. Idea de demostración
4. Sistema axiomático de Principia Mathematica de Russell/Whitehead
5. Lógica proposicional
6. Noción de proposición
7. Proposición, oración y enunciado
8. Características de los enunciados
9. Validez o corrección formal de los argumentos
10. Verdad o adecuación material de los enunciados
11. Solidez o corrección formal unida a adecuación material
12. Géneros de proposiciones
13. Proposiciones moleculares
14. Cálculo de predicados
15. Afinidad entre los principios universales de la lógica y la lógica jurídica
16. Lógica jurídica
17. Razonamientos inválidos
18. Razonamientos validos en el derecho
19. Los argumentos de la lógica retorica
20. Lógica deóntica
21. Modalidades normativas

Bibliografía