Características de la lógica.
A continuación vamos a conocer las características fundamentales 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, si no 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 los tres modelos se aplica de acuerdo a las circunstancias del contexto comunicativo
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 especifica (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 es 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
Consiste en el proceso opuesto a la lógica deductiva. Busca extraer premisas a partir de una conclusión ya existenteEste tipo de lógica supone conclusiones observables, ejemplos.
- Conclusión observable: El cachorro duerme en la casa los días lluviosos
- 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 buscan extraer premisas a partir de una conclusión
La diferencia 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
- 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
- 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 o informal
La lógica se divide en dos ramas principales: la lógica formal y la lógica informal
La lógica formal es la filosófica y la 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 argumentos expresados en el lenguaje natural (cotidiano y no especializado)
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 preposiciones contradictorias no pueden ser validas al mismo tiempo. Es decir, no se puede y no ser de manera simultanea
Tomemos en cuenta las siguientes preposiciones:
- El cuadrado tiene cuatro lados.
- El cuadrado tiene cinco lados
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 relación con el de la no contradicción. Mientras que el principio de no contradicción estable que dos preposiciones 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.
- La diferencia temporal: Algunas proposiciones eran falsas en el pasado pero ahora son ciertas en el presenten 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

