Qué es la 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 razonamiento correcto frente al que no lo es. La cual estudia la
estructura o formas del pensamiento humano (como proposiciones, conceptos y razonamientos)
para establecer leyes y principios válidos para obtener criterios de verdad.

Como adjetivo significa que algo sigue las reglas de la lógica y de la razón. Indica también una
consecuencia esperable natural o normal. Se utilizar también para referirse al llamado sentido
común.

Tipos de lógica:
Tradicionalmente se considera que las dos ramas principales de la lógica son la llamada lógica
formal (o lógica menor) y la lógica material (o lógica mayor). En realidad, la lógica formal y la
material tratan sobre problemas bastante diferentes aunque relacionados.

La lógica formal también llamada lógica pura

Es la lógica propiamente dicha - es precisamente la “ciencia” (en cuanto conocimiento) que

determina cuáles son las formas correctas y válidas de los raciocinios; pero lo hace
considerándolos en sí mismos y con prescindencia de los contenidos concretos de los
razonamientos, es decir, considerando esos contenidos como entes lógicos abstractos, de tal
manera que las leyes a aplicar tengan validez para cualquier contenido concreto.

También conocida como lógica tradicional o lógica filosófica, se trata del estudio de las inferencias
con contenido puramente formal y explícito. Se trata de analizar los enunciados formales (lógicos
o matemáticos). La tradición filosófica de la cual deriva esto último se llama precisamente
“formalismo”.

A su vez, un sistema formal es aquel que se utiliza para extraer una conclusión de una o más
premisas. Estas últimas pueden ser axiomas (proposiciones evidentes por sí mismas) o teoremas
(conclusiones de un conjunto fijo de reglas de inferencias y axiomas)

La lógica material también llamada lógica aplicada

Es aquella en que 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 concordante con la realidad.

Este tipo de lógica es llevado a cabo por una rama de la filosofía moderna denominada la
epistemología. Sus razonamientos no son concluyentes, dado que siempre da lugar a la
incertidumbre para avanzar en el cuestionamiento. Un razonamiento va a ser válido según la
lógica desde este punto de vista, en tanto y en cuanto pueda ser constatado con la realidad. Se va
a centrar de este modo no en la forma de la premisa, sino que en el contenido propio de la
argumentación.