Historia de la lógica

La lógica formal como un análisis explícito de los métodos de razonamientos se desarrolló originalmente en tres civilizaciones de la historia antigua: China, India y Grecia entre el Siglo V y el Siglo I AC.

En China no duró mucho: la traducción y la investigación escolar en lógica fue reprimida por la dinastía Qin, acorde con la filosofía legalista. En India, la lógica duró bastante más: Se desarrolló hasta que en el mundo islámico apareció la escuela de Asharite, la cual suprimió parte del trabajo original en lógica. (A pesar de lo anterior, hubo innovaciones escolásticas indias hasta los principios del siglo XIX, pero no sobrevivió mucho dentro de la India Colonial). Así entonces, el tratamiento sofisticado y formal de la lógica moderna aparentemente proviene de la tradición griega.

Habitualmente se le acredita a Aristóteles el ser primero en emplear el término “Lógica” para referirse al estudio de los argumentos dentro del lenguaje natural. En el “Organon”, recopilaciones del pensamiento de Aristóteles, se observa su trabajo donde él mismo definió esta ciencia como: “El arte de la argumentación correcta y verdadera”.

Nació así la anteriormente definida “Lógica Informal”, o el estudio metódico de los argumentos. Durante varios siglos, sólo fue investigada por la retórica, la oratoria y la filosofía, entre otras ramas del conocimiento. Se especializó medularmente en la identificación de falacias y paradojas, así como en la construcción correcta de razonamientos.

Luego, desde más o menos la mitad del Siglo XIX, sin jamás abandonar la filosofía, la lógica formal comenzó a ser estudiada en el campo de las matemáticas y posteriormente por las ciencias computacionales, naciendo así la “Lógica Simbólica”. Ésta trata de esquematizar los pensamientos claramente usando un lenguaje signos propio y distinto al verbal, evitando así las ambigüedades y la potencialidad estética inherentes de la palabra.

Así, en la edad contemporánea, la lógica generalmente es entendida para describir razonamiento en una forma prescriptita. Esto es, describe cómo el razonar debería tomar lugar.

Además de encontrarle múltiples e importantes usos computacionales y matemáticos a la lógica simbólica, se ha mantenido la lógica aristotélica, la cual principalmente se ocupa de enseñar el buen argumento, y es todavía enseñada con ese designio en la época contemporánea. La Lógica matemática y la filosofía analítica tienen un énfasis mayor en lógica como un objeto de estudio en su propio derecho, por lo que ésta es estudiada a un nivel más abstracto. Existen también muchos otros sistemas lógicos, tales como la lógica dialéctica, lógica difusa, lógica probabilística, lógica modal y la lógica no monótona, para mencionar algunos ejemplos. Como está establecido anteriormente, la existencia de muchos y distintos tipos de lógica es importante para explicar que la lógica no es una ciencia que se estudia en el vacío, sino en un entorno.