La 

lógica se caracteriza por ser el estudio de los métodos y principios que se emplean para discernir
el razonamiento válido del inválido. Cabe destacar que a esta disciplina solo le interesa cómo se
razona idealmente y no cómo razona cada persona (este último es el trabajo de la psicología).
De acuerdo al grado de formalidad de los argumentos, se distinguen dos tipos de lógica: la formal y
la informal.

La lógica formal se caracteriza por la aplicación de la inferencia para la comprensión de ciertos

enunciados. Por su parte, la lógica informal se encarga de estudiar el lenguaje natural, aquel  que es
usado por los hablantes en situaciones cotidianas.

Características principales de la lógica

1- Los resultados de la lógica son válidos o inválidos

La lógica consiste en razonar para producir argumentos. Dichos argumentos son evaluados en
términos de validez.

Esto quiere decir que desde el punto de vista de la lógica, no existen argumentos correctos o
incorrectos, sino válidos o inválidos.

2- Puede ser deductiva, inductiva, abductiva o analógica

La lógica sigue una serie de patrones para producir razonamientos válidos. Estos patrones son la
deducción, la inducción, la abducción y la analogía.

Cada uno de tres modelos se aplica de acuerdo con las circunstancias del contexto comunicativo.

Lógica deductiva

La lógica deductiva es aquella en la que se extrae una conclusión a partir de dos premisas. De estas
dos premisas, la primera representa una proposición universal (porque es general) y la segunda es
una declaración específica (porque es particular).

La validez de los resultados de la lógica deductiva depende de la veracidad de las premisas que
sirven de base. Si las premisas son inválidas, entonces la conclusión también lo será.

El ejemplo tradicional de este tipo de lógica es el siguiente:

-Todos los seres humanos son mortales.

-Aristóteles es un ser humano.

-Entonces Aristóteles es mortal.

Lógica inductiva

La lógica inductiva consiste en el proceso opuesto a la lógica deductiva. En términos generales, este
tipo de lógica busca extraer premisas a partir de una conclusión ya existente.

Es decir, este tipo de lógica supone premisas que apoyen una conclusión observable. De este modo,
las premisas obtenidas pueden ser probables y aceptables pero no completamente ciertas.

A continuación, se presenta un ejemplo de lógica inductiva:

-Conclusión observable: El cachorro duerme en la casa en los días lluviosas.

-Premisa: Cada vez que llueve, el cachorro duerme en la casa.

Lógica abductiva

Este tipo de lógica se asemeja a la lógica inductiva, ya que busca extraer premisas a partir de una
conclusión.

La diferencia entre estos dos procesos es que la abducción ofrece la mejor explicación posible para
la conclusión que se presenta. Sin embargo, los resultados pueden ser incorrectos.

Por ejemplo:

-Las luces del cuarto de mi hermana están encendidas. Entonces ella debe de estar despierta.

Analogía

Este proceso lógico se da cuando se establecen relaciones de semejanza entre una situación que se
está observando y otra que se conoce.

Por ejemplo: El gato de mi amigo está arañando la puerta de la casa. Cuando mi gato quiere salir a
pasear, araña la puerta de mi casa. Quizás el gato de mi amigo quiere salir a pasear.

3- La lógica puede ser formal e informal

La lógica se divide en dos ramas principales: la lógica formal y la lógica informal.

La lógica formal es filosófica y tradicional. Se encarga de estudiar los argumentos deductivos,

aquellos en los que se recurre a la inferencia para extraer conclusiones.

Por su parte, la lógica informal es la que se encarga de estudiar los argumento expresados en el
lenguaje natural (cotidiano y no especializado).
Se enfoca en el análisis de los razonamientos que se pueden encontrar en conversaciones con los
amigos, anuncios publicitarios, artículos de periódico, noticias, entre otros.

4- Los enunciados lógicos no se contradicen

La lógica se rige por el principio de la no contradicción. Este establece que dos proposiciones
contradictorias no pueden ser válidas al mismo tiempo. Es decir, no se puede ser y no ser de manera
simultánea.

Tomemos en cuenta las siguientes proposiciones:

-El cuadrado tiene cuatro lados.

-El cuadrado tiene cinco lados.

Cuando se presentan dos enunciados contradictorios, necesariamente uno debe ser inválido. En
este caso, la segunda proposición es inválida, ya que se opone a la lógica matemática.

5- Tercero excluido

La lógica se caracteriza por el principio del tercero excluido. Este principio se basa en la lógica
clásica, que establece que una proposición puede ser solamente verdadera o falsa, sin la posibilidad
de la existencia de una tercera opción.

Este principio se relaciona con el de la no contradicción. Mientras que el principio de no contradicción

establece que dos proposiciones contradictorias no pueden ser verdaderas al mismo tiempo, el de
tercero excluido señala que ambas proposiciones contradictorias no pueden ser falsas. Por fuerza,
una debe ser verdadera.

6- La validez de las proposiciones se evalúa tomando en cuenta ciertas modalidades

Existen diversas modalidades que la lógica toma en cuenta al momento de decidir si una proposición
es válida o no. Entre estas destacan:

– La diferencia temporal: algunas proposiciones eran falsas en el pasado pero ahora son ciertas en
el presente, y viceversa.

– La diferencia epistemológica: en algunos casos, se sabe que las proposiciones son ciertas o falsas.
En otros casos, se cree que las proposiciones son ciertas o no.

7- Los enunciados lógicos son unidades

Los enunciados lógicos, ya sean deductivos, inductivos, abductivos o analógicos, representan una
unidad. Por lo tanto, no pueden ser divididos.
Esta característica es defendida por la lógica proposicional. Esta rama de la lógica establece que
dividir los enunciados simples, aquellos que están formados por dos premisas y una conclusión,
sería un error, ya que le restaría sentido a la proposición.