LOGICA

Lógica formal
La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se dedica al estudio de la inferencia mediante la construcción de lenguajes formales, sistemas deductivos y semánticas formales. La idea es que estas construcciones capturen las características esenciales de las inferencias válidas en los lenguajes naturales, pero que al ser estructuras formales ysusceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobre ellas.
Lógica jurídica
Parte de la lógica que examina, desde el punto de vista formal, las operaciones intelectuales del jurista, así como los productos mentales de esas operaciones: conceptos, divisiones, definiciones, juicios y raciocinios jurídicos, merecen en razón de su objeto específico el nombre de lógicajurídica.
Partiendo del desarrollo de los postulados teóricos de la lógica, se presentan dichos axiomas como elementos trascendentales de producción de conocimiento no solamente básico sino aplicado. Y es en este segundo nivel donde la lógica ha sido de gran utilidad a las distintas ciencias del saber tanto formales como fácticas. Surgen entonces el interrogante sobre la posibilidad de generaciónde autonomía científica de estas nuevas facetas de la lógica, por lo que es de interés resolver este cuestionamiento teniendo como marco de referencia una de estas.













Principios lógicos jurídicos
Principio de identidad
La ley de la identidad puede formularse brevemente: los pensamientos son idénticos entre sí, si poseen la misma extensión; todo pensamiento e enunciado es idéntico a símismo, si su extensión permanece invariable. En lógica y filosofía se utilizan conceptos similares para explicar el concepto de identidad, tales como inherente, atribuible e identidad.
En la ley de identidad aparece en forma sencilla: “A es A”, “una rosa es una rosa”.
 En derecho si presentamos una demanda solicitando la protección de determinado derecho, no podemos presentar en la misma demandauna pretensión distinta a lo demandado. El principio de identidad nos dice que una cosa es idéntica a sí misma, lo que es, es; lo que no es, no es: A es A, o no A es no
Principio de contradicción
El principio de contradicción establece que ninguna proposición puede ser verdadera y falsa al mismo tiempo
Debería llamarse principio de no-contradicción puesto que lo expresa es la necesidad de nocontradecirse “Dos proposiciones contradictorias no pueden ser a la vez verdaderas”, es imposible que una cosa sea o no sea al mismo tiempo y bajo el mismo aspecto. O bien: “Es Imposible ser y no ser a la vez”.
Principio de tercero excluso
El principio de tercero excluso no es idéntico al de contradicción. Añade una nueva idea, la que no se puede encontrar una nueva opción entre el ser y el no-ser.
Fija solo dos posibilidades para cualquier proposición, a la vez que excluye, como inexistente, cualquier tercera posibilidad que no sea su verdad o su falsedad.
La ley de tercero excluido es de gran importancia para el pensar. En toda demostración indirecta, al aceptar como verdad una proposición contradictoria respecto a la tesis que se demuestra, entramos en contradicción con juicios cuyaLa ley de tercero excluido y la de contradicción son la base de la negación. Se entiende por negación, una operación gracias a la cual, cambiando de determinada manera tan sólo la forma de un juicio, de partida falso, se sigue un juicio verdadero.
El principio de tercero excluso nos dice que una cosa es o no es, no cabe un término medio:
A es B, o A no es B


Principio de razón suficiente

Paraconsiderar que una proposición es completamente cierta, ha de ser demostrada, es decir, han de conocerse suficientes fundamentos en virtud de los cuales dicha proposición se tiene por verdadera
Principio de la no contradicción como base de las verdades necesarias, El fundamento o razón suficiente es lo que da razón de una preferencia, de una elección, de la realización de una alternativa más...