LA LÓGICA

Estudia el razonamiento y la argumentación y se preocupa por establecer las reglas y

principios que deben seguirse para llegar a conclusiones vaídas y justificadas.
LA LÓGICA FORMAL

Es una de las principales ramas de la lógica y se centra en el estudio de las reglas formales
y simbólicas que permita diferenciar el razonamiento válido del inválido (silogismos, modos
de razonamiento, las reglas de inferencia y las leyes de la lógica proposicional y de
predicados).
EN CONCLUSIÓN

La lógica y la argumentación lógico formal son fundamentales y están estrechamente

relacionadas ya que comparten el objetivo de construir argumentos sólidos y coherentes.
EXISTEN TRES TIPOS PRINCIPALES DE RAZONAMIENTO
DEDUCTIVO:
Se trata de extraer conclusiones a partir de premisas que consideramos globalmente
ciertas.
"Todos los seres humanos son mortales. Juan es un ser humano. Por lo tanto, Juan es
mortal."
Se caracteriza por ser válido o inválido
Por ejemplo, podemos pensar que el agua hidrata, luego dado que el mar está hecho de
agua, el agua de mar nos va hidratar (cuando en realidad nos produciría deshidratación).

INDUCTIVO:
Se suponen premisas particulares para, a través de la experiencia, apoyar una conclusión
más generalizada, es un tipo de razonamiento más del tipo probabilístico.
"Las últimas veces que he ido al cine, la película ha empezado con un tráiler. Por lo tanto,
es probable que la próxima vez que vaya al cine, la película también empiece con un
tráiler."
ABDUCTIVO:
Se basa en la mejor explicación para la conclusión que se presenta, se caracteriza por ser
provisional ya que la hipótesis no se ha confirmado.
"Siempre que mi perro se ha comido la comida que le doy, se sienta y me mira con
atención. Por lo tanto, es probable que mi perro me mire con atención cuando se ha
comido su comida porque quiere algo más que comida."