derecho

CLASIFICACIÓN DE LA LÓGICA
Podemos clasificar los tipos de lógica desde dos puntos de vista:
a) la lógica clásica
b) la moderna.
Sin embargo dicha clasificación sólo sirve para efectos históricos
De ahí que mejor proponemos dividir, los distintos tipos de lógica, respecto a los objetos que trata.
La Lógica Formal:
Conocida también como lógica clásica o aristotélica, Se imputa alfilosofo ARISTOTELES ser el creador de la misma, aunque ya existían antecedentes en PARMENIDES y ZELEO (TAREA INVESTIGAR BIOGRAFÍA).

Aristoteles
Fue un filósofo, lógico y científico de la Antigua Grecia (384 a. C. – 322 a. C.).
Escribió una enorme variedad de temas, incluyendo lógica, metafísica, filosofía de la ciencia, ética, filosofía política, estética, retórica, física, astronomía ybiología. Transformó muchas, si no todas, las áreas del conocimiento que tocó. Es reconocido como el padre fundador de la lógica.
la Lógica Moderna:
Con el paso del tiempo, se da inicio a la evolución de algunas corrientes matemáticas, específicamente las aportaciones realizadas por los matemáticos EULER y BOOLE, a la álgebra
Leonhard Euler
(Basilea, Suiza, 15 de abril de 1707 - San Petersburgo,Rusia, 18 de septiembre de 1783), fue un matemático y físico suizo. Se trata del principal matemático del siglo XVIII y uno de los más grandes y prolíficos de todos los tiempos.
realizó importantes descubrimientos en áreas tan diversas como el cálculo o la teoría de grafos. También introdujo gran parte de la moderna terminología y notación matemática, particularmente para el área del análisismatemático, como por ejemplo la noción de función matemática. Asimismo se le conoce por sus trabajos en los campos de la mecánica, óptica y astronomía.

GEORGE BOOLE
(2 de noviembre de 1815 - 8 de diciembre de 1864) fue un matemático y filósofo británico.
Como inventor del álgebra de Boole, que marca los fundamentos de la aritmética computacional moderna, Boole es considerado como uno de losfundadores del campo de las Ciencias de la Computación. En 1854 publicó "An Investigation of the Laws of Thought" en el que desarrollaba un sistema de reglas que le permitían expresar, manipular y simplificar problemas lógicos y filosóficos cuyos argumentos admiten dos estados (verdadero o falso) por procedimientos matemáticos. Se podría decir que es el padre de las operaciones lógicas y gracias a suálgebra hoy en día es posible manipular operaciones lógicas.

LÓGICA MODERNA
De esta lógica, se desprende:
a) La semiótica.
b) Lógica deóntica.
c) Modal.
d) Cuantificacional
e) Proposicional.

LÓGICA DEÓNTICA
La lógica deóntica se formaliza a través de conceptos relacionados con el deber. Este tipo de lógica se utiliza en el Derecho, infiriéndose del mismo, la denominada lógica de lasnormas.

SON EJEMPLO DE LAS NORMAS
Los significados de las siguientes frases:
a) ¡te ordeno que te calles, grosero!.
b) "prohibido el paso; perro agresivo puede atacar«.
c) "todo ser humano es libre de expresar su pensamiento".

LA LÓGICA DEÓNTICA ESTÁNDAR
Expresaría los ejemplos dados antes a través del lenguaje simplificado que acabamos de mencionar, aunque cierta información o matiz sepierdan:

EJEMPLO A)
a)"¡te ordeno que te calles, grosero!"
se expresaría diciendo simplemente
aa)"obligatorio callarse" u "obligatorio que haya silencio";

EJEMPLO B)
b) "prohibido el paso; perro agresivo puede atacar"
Se expresaría diciendo:

bb) "prohibida la conducta de entrar" o "prohibido que haya alguien adentro";

EJEMPLO C)
c) "todo ser humano es libre de expresar supensamiento"
se expresaría diciendo
cc) "permitido el acto de expresar el propio pensamiento" o "permitido que sea expresado el propio pensamiento".

Lenguajes deónticos
Algunos lenguajes deónticos más complejos pueden expresar rigurosamente nociones asociadas, como el concepto de sanción o amenaza de sanción
- (evocada en el ejemplo del perro)
o el concepto de derecho individual - (como el...