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 que p". Además, en la lógica modal clásica, ambos símbolos son inter-definibles por medio del otro y de la negación; así:

Esto implica que en principio, sólo es necesario tomar uno de los dos símbolos como primitivo, ya que el otro puede ser definido a partir de éste y del vocabulario de la lógica proposicional. En general, el símbolo que se toma como primitivo es el de necesidad. Estas inter-definiciones son paralelas a las de los cuantificadores en la lógica de primer orden:

Las razones de este paralelismo resultarán más claras en la sección de semántica de mundos posibles.

3.2.2 GRAMÁTICA

La gramática nos indica qué secuencias de signos del vocabulario están bien construidas. A estas secuencias se las llama fórmulas bien formadas. La gramática de la lógica modal es igual a la de la lógica proposicional, excepto que añade una regla para los operadores modales, la cual ya fue indicada informalmente en la sección anterior:

 Si es una fórmula bien formada, entonces también lo es.

Algunos ejemplos de fórmulas bien formadas del lenguaje serán, por lo tanto:

3.3 REGLAS DE INFERENCIA

La regla de inferencia más propia de la lógica modal se llama N (o regla de Necesitación), y dice que si una fórmula es un teorema, entonces "es necesario que " también es un teorema. En otros términos:

A esta regla hay que sumarle, por supuesto, el modus ponens heredado de la lógica proposicional.

3.4 AXIOMAS

Cuáles deben ser los axiomas de la lógica modal es algo muy debatido. Diferentes conjuntos de axiomas permiten demostrar diferentes teoremas, y por lo tanto los axiomas que se eligen muchas veces dependen de los teoremas que se quieren demostrar, y de la posición filosófica que se defiende.

La siguiente es una lista de algunos de los axiomas más conocidos:

Nombre Axioma Lectura informal

K Si es necesario que implica , entonces si es necesario, también lo es.

T (o M) Si es necesario que , entonces es el caso.

4 Si es necesario que , entonces es necesario que sea necesario.

5 Si es posible que , entonces es necesario que sea posible.

B Si es el caso, entonces es necesario que sea posible.

Diferentes combinaciones de axiomas dan lugar a diferentes sistemas de lógica modal. El sistema K (llamado así en honor a Saul Kripke) es el que menos axiomas utiliza: aparte de los axiomas de la lógica proposicional, el sistema K se sirve sólo del axioma K (no confundir el axioma con el sistema). Por esta misma razón, sin embargo, el sistema K también es el más débil de los sistemas, es decir, el que menos teoremas puede demostrar. Sistemas más fuertes se construyen agregando axiomas a K. A continuación hay una tabla

...