Muchas culturas han empleado intrincados sistemas de razonamiento, e, incluso, el pensamiento lógico estaba ya implícito en Babilonia en algún sentido, la lógica como análisis explícito de los métodos de razonamiento ha recibido un tratamiento sustancial solo originalmente en tres tradiciones: la Antigua China, la Antigua India y la Antigua Grecia.
Aunque las dataciones exactas son inciertas, particularmente en el caso de la India, es probable que la lógica emergiese en las tres sociedades hacia el siglo IV a. C. El tratamiento formalmente sofisticado de la lógica proviene de la tradición griega, especialmente del Organon aristotélico, cuyos logros serían desarrollados por los lógicos islámicos y, luego, por los lógicos de la Edad Media europea. El descubrimiento de la lógica india entre los especialistas británicos en el siglo XVIII influyó también en la lógica moderna.
podríamos separar o dividir l historia de la lógica en 4 partes
En la edad antigua, en esta podríamos incluir a Mesopotamia, Grecia, China y la India en Mesopotamia se basó en un conjunto lógico de axiomas y asunciones
En la Antigua Grecia, emergieron dos tradiciones lógicas opuestas. La lógica estoica estaba enraizada en Euclides de Megara, pupilo de Sócrates, y con su concentración en la lógica proposicional es la que quizás esté más próxima a la lógica moderna.
En la India constituyen el núcleo de textos de la escuela Nyaya, una de las seis escuelas ortodoxas de filosofía hindú. En China, un contemporáneo de Confucio, Mozi, "Maestro Mo", es considerado como el fundador de la escuela Mohista (mohísmo), cuyos principios están relacionados con temas como la inferencia válida y las condiciones de las conclusiones correctas.
En la edad media
Mundo Islámico Durante un tiempo tras la muerte de Mahoma, la ley islámica consideró importante formular estándares para los argumentos, lo que dio lugar a una nueva aproximación a la lógica en Kalam, pero esta aproximación fue más tarde desplazada por ideas tomadas de la filosofía griega y helenística con el auge de los filósofos de la escuela Mu'tazili, que valoraron extraordinariamente el Organon de Aristóteles.
Europa medieval Se entiende habitualmente por "lógica medieval" (también conocida como "lógica escolástica") la forma de la lógica aristotélica desarrollada en la Europa medieval en el periodo de c 1200–1600. Edad moderna
Esta lógica adquiere un nuevo enfoque en las interpretaciones racionalistas de Port Royal, en el siglo XVII, (Antoine Arnauld; Pierre Nicole) pero tampoco supusieron un cambio radical en el concepto de la Lógica como ciencia.
Edad contemporanea
Históricamente, Descartes puede que haya sido el primer filósofo en haber tenido la idea de usar el álgebra, especialmente sus técnicas para resolver cantidades desconocidas en las ecuaciones, como vehículo para la exploración científica. La idea de un cálculo de razonamiento fue también cultivada por Gottfried Wilhelm Leibniz.
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.
BIBLIOGRAFIA
https://www.lifeder.com/caracteristicas-logica/
https://es.wikipedia.org/wiki/Historia_de_la_l%C3%B3gica#Mundo_isl%C3%A1mico
Aportes personales llegados tras la lectura de la investigacion
