LOGICA JURIDICA

LOGICA JURIDICA

LOGICA.- Es la ciencia que se basa en las leyes, modalidades y formas del conocimiento científico se conoce bajo el nombre de lógica. Se trata de una ciencia de carácter formal que carece de contenido ya que hace foco en el estudio de las alternativas válidas de inferencia.
Es decir, propone estudiar los métodos y los principios adecuados para identificar al razonamientocorrecto frente al que no lo es.

LOGICA FILOSOFICA.-  es la rama de la filosofía que trata de la naturaleza y la justificación de los sistemas lógicos.
PRINCIPIOS FUNDAMENTALES SON:
IDENTIDAD.- Según el cual toda entidad es idéntica a sí misma. Por ejemplo, Julio César es idéntico a sí mismo (a Julio César), el Sol es idéntico a sí mismo, esta manzana es idéntica a sí misma, etc.
NO CONTRADICCION.- Aveces llamado principio de contradicción, es un principio clásico de la lógica y la filosofía, según el cual una proposición y su negación no pueden ser ambas verdaderas al mismo tiempo y en el mismo sentido
TERCERO EXCLUIDO.- Propuesto y formalizado por Aristóteles, también llamado principio del tercero excluso o en latín principium tertii exclusi (también conocido como tertium non datur o unatercera (cosa) no se da), es un principio de lógica clásica según el cual la disyunción de una proposición y su negación es siempre verdadera
RAZON SUFICIENTE.- "Todo objeto debe tener una razón suficiente que lo explique". Lo que es, es por alguna razón, "nada existe sin una causa o razón determinante".

LOGICA ARISTOTELICA.- Es la tradición lógica basada en el trabajo del filósofogriego Aristóteles, primer pensador en formalizar el sistema lógico de tal manera que sus propuestas han trascendido hasta nuestros días.
Supone que la mente reproduce sólo la realidad, la existencia de las cosas tal y como son, por ello es una ciencia objetiva que se dedica a estudiar conceptos, desglosándolos en predicables y predicamentos. La lógica analiza juicios y formas de razonamiento y su manera deexpresar resultados es el silogismo o razonamiento deductivo categórico.
SILOGSISMOS. El elemento básico es el término o concepto. Este representa un objeto en la mente del hombre de manera que no pueda ser afectado por los sentidos, la memoria o la mente. Un concepto tiene comprensión (características del objeto) y extensión (hace alusión la cantidad de sujetos a los que el concepto puede aplicarse).La unión entre los términos o conceptos es una proposición.
LÓGICA FORMAL
Lógica formal. Es la parte de la lógica que se dedica al estudio de la inferencia mediante la construcción de lenguajes formales, sistemas deductivos y semánticos formales. La idea es que estas construcciones capturen las características esenciales de las inferencias validas en los lenguajes naturales, pero que al serestructuras formales y susceptibles de análisis matemáticos, permiten realizar demostraciones rigurosas sobre ellas
TIPOS DE LÓGICA FORMAL
Lógica de enunciados. Estudia la validez de los razonamientos teniendo en cuenta únicamente el valor de la verdad (verdadero o falso)de cada enunciado, tomando los enunciados en bloque sin analizarlos.
Lógica de predicados. Analiza la estructura interna de losenunciados atribuyendo una propiedad al sujeto.
Lógica de clases. Al contrario de la lógica de predicados esta atribuye individuos y calases a las características.
Lógica de relaciones. Incorpora a su lenguaje los elementos, símbolos y reglas que son necesarias para expresar un enunciado.
Lógica informal. Es el estudio de los argumentos naturales y en oposición al estudio de los argumentos en una formatécnica o artificial. Es parte de la lógica se dedica principalmente a diferencial entre formas correctas e incorrectas en que se desarrolla el lenguaje y el pensamiento cotidiano en especial al estudio de los procesos para obtener conclusiones a partir de información dada. Parte del principio que el pensamiento y el lenguaje humano a menudo incorrecto o tendencioso. Se le atribuyen sus...