TRABAJO DE INVESTIGACIÓN LÓGICA JURÍDICA

TRABAJO DE INVESTIGACIÓN LÓGICA JURÍDICA

PRESENTADO POR:

LILIAN ROCIO GALLEGO HEREDIA

DOCENTE:

JOSE ALBERTO CORTÉS BARRAGAN

LÓGICA JURÍDICA

5TO SEMESTRE DERECHO

UNIVERSIDAD DE LA AMAZONIA

FLORENCIA – CAQUETÁ

2012

TABLA DE CONTENIDO Pág.

1.0 Trabajo de Investigación Lógica Jurídica 4

2.0 Prólogo 5

3.0 Lógica Modal. 6

3.1 Definición 6

3.2 Sistema formal 6

3.2.1 Vocabulario 6

3.2.2 Gramática 7

3.3 Reglas de inferencia 7

3.4 Axiomas 7

3.5 Semántica 9

4.0 Lógica de clases 11

4.1 Definición 11

4.2 Elementos y simbolización 12

4.3 Operaciones entre las clases y su simbolización 13

4.4 Relaciones entre las clases 14

4.5 Proposiciones tipo 15

4.6 Reglas del cálculo de clases 16

5.0 Lógica deóntica 16

5.1 Definición 16

5.2 Perdida de significado 17

5.3 Tabla de equivalencias 18

5.4 Principios de la Lógica deóntica 18

5.4.1 Principio de permisión 18

5.4.2 Principio de distribución deóntica 19

5.5 Antecedentes de la Lógica deóntica 19

6.0 Argumentación 22

6.1 Definición 22

6.2 Parámetros de la argumentación 23

6.3 Estructura interna de la argumentación 23

6.3.1 La tesis 24

6.3.2 Las bases 24

6.3.3 Las garantías 24

6.3.4 El respaldo 25

6.4 Etapas de la Argumentación 25

6.4.1 Introducción 25

6.4.2 Desarrollo 25

6.4.3 Conclusión 25

7.0 Ejemplos de los temas 25

7.1 Ejemplo de la Lógica Modal 26

7.2 Ejemplo de la Lógica de Clases 26

7.3 Ejemplo de la Lógica Deóntica 26

7.4 Ejemplo de la Argumentación 26

8.0 Opinión personal 27

8.1 Opinión personal Lógica Modal 27

8.2 Opinión personal Lógica de Clases 27

8.3 Opinión personal Lógica deóntica 27

8.4 opinión personal argumentación 27

9.0 Bibliografía 28

1.0 TRABAJO DE INVESTIGACIÓN LÓGICA JURÍDICA

El desarrollo de este trabajo está fundamentado en conocer a cabalidad su estructura, funcionamiento, servicio y demás atribuciones que le han sido propias y adquiribles tras el análisis y estudio de la lógica modal, la lógica de clases, la lógica deóntica y la argumentación. Partiendo desde la idea básica y fundamental que ha sido otorgada por el hombre y para el hombre de que la lógica es aquella que permite al ser humano ser distinto a los animales ya que permite darle el sentido de juicio y razón a las cosas y fenómenos que se presentan en el quehacer diario y desarrollo de nuestra vida en este mundo. Ese es nuestro principal objetivo al desarrollar este trabajo, conocer de manera profunda este tipo de lógica para así conocer cómo usar el juicio de razón.

2.0 PRÓLOGO

En el desarrollo de este tendremos diversidad de conocimientos otorgados por grandes pensadores y tratadistas del tema en mención, la lógica es una ciencia que ha permitido al hombre darle un sentido de razón y juicio a las cosas que nos suceden, conozcamos cada vez mas y fundamentemos ese juicio y esa razón para entender nuestro mundo, nuestro entorno…

(ANONIMO)

3.0 LÓGICA MODAL

3.1 DEFINICION

Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales. Los operadores modales son expresiones que califican la verdad de los juicios. Por ejemplo, en la oración "es necesario que 2+2=4", la expresión "es necesario que" es un operador modal que califica de necesaria a la verdad del juicio "2+2=4".

En un sentido más restringido, sin embargo, se llama lógica modal al sistema formal que se ocupa de las expresiones "es necesario que" y "es posible que". Este artículo trata exclusivamente sobre este sistema formal. Otros sistemas de lógica modal conocidos son la lógica deóntica, la lógica temporal, la lógica epistémica y la lógica doxástica.

3.2SISTEMA FORMAL

3.2.1 VOCABULARIO

La lógica modal sólo agrega dos símbolos al vocabulario de la lógica proposicional: el símbolo , que representa la expresión del lenguaje natural "es necesario que", y el símbolo , que representa la expresión "es posible que". Ambos símbolos se prefijan a proposiciones, de modo que se lee "es necesario que p", y se lee "es posible

...