Tipos De lógica

:

La lógica formal también llamada lógica pura que es la lógica apropiadamente dicha es precisamente la ciencia que determina cuales son las formas correctas y validas de los raciocinios de tal manera que las leyes a aplicar tengan validez para cualquier contenido concreto.

Llamada lógica aplicada es aquella en que es un proceso de raciocinio o de pensamiento se analiza en consideración al contenido real de sus premisas y por lo tanto debe conducir a una verdad material, una conclusión que sea concorde a la realidad.

Originariamente designaba un método de conversación o argumentación análogo a lo que actualmente se llama lógica. De manera más esquemática puede definirse la dialéctica como el discurso en el que se contrapone una determinada concepción o tradición, entendida como tesis, y la muestra de los problemas y contradicciones, entendida como antítesis. De esta confrontación surge, en un tercer momento llamado síntesis, una resolución o una nueva comprensión del problema. Este esquema general puede concretarse como la contraposición entre concepto y cosa en la teoría del conocimiento, a la contraposición entre los diferentes participantes en una discusión y a contraposiciones reales en la naturaleza o en la sociedad, entre otras.

ES la lógica de los símbolos y se divide en tres partes: sintaxis, semántica y pragmática. La primera trata de las relaciones.

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 las normas.

Lo hace en los conceptos de necesidad y posibilidad.

Que estudia de manera más detallada los predicados a través del uso de cuantificadores que expresan cantidad (todos ∀ o algunos ∃).

Analiza los razonamientos formalmente válidos partiendo de proposiciones y conectivas proposicionales (operadores lógicos).

De la que nos estamos refiriendo, emplea un lenguaje artificial en la que simboliza las proposiciones generalmente con las letras p, q, r, s, t utilizando de operadores lógicos, también llamados conectores, para poder construir formulas operando.

Los sistemas lógicos clásicos son los más estudiados y utilizados de todos, y se caracterizan por incorporar ciertos principios tradicionales que otras lógicas rechazan.

Los sistemas lógicos no clásicos son aquellos que rechazan uno o varios de los principios de la lógica clásica. Algunos de estos sistemas.

Las lógicas modales están diseñadas para tratar con expresiones que califican la verdad de los juicios. Así por ejemplo, la expresión «siempre» califica a un juicio verdadero como verdadero en cualquier momento, es decir, siempre. No es lo mismo decir «está lloviendo» que decir «siempre está lloviendo».

Es la parte de la lógica que, a diferencia de la lógica formal les dedica al estudio de la inferencia mediante la construcción de lenguajes formales, sistemas deductivos. La idea es que estas construcciones capturen las características esenciales de las inferencias válidas

...