Históricamente la palabra "lógica" ha ido cambiando de sentido. Comenzó siendo una modelización de los razonamientos, propuesta por los filósofos griegos, y posteriormente ha evolucionado hacia diversos sistemas formales, relacionados con la teoría. Etimológicamente la palabra lógica deriva del término griego Λογικός logikós derivado de λόγος logos '
razón'.
[4] Históricamente se considera a
Aristóteles el fundador de la lógica como
propedéutica o
herramienta básica para todas las
Ciencias.,
[5] ya que fue el primero en
formalizar completamente el campo.
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 a. C.
En China no duró mucho tiempo: la traducción y la investigación escolar en lógica fue reprimida por la
dinastía Qin, acorde con la filosofía
legista. En India, la lógica duró bastante más: se desarrolló (por ejemplo con la
nyāya) 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 principios del siglo XIX, pero no sobrevivió mucho dentro de la
India Colonial). El tratamiento sofisticado y formal de la lógica moderna aparentemente proviene de la tradición
griega.
Aristóteles fue el primero en emplear el término “Lógica” para referirse al estudio de los
argumentos dentro del "lenguaje apofántico" como manifestador de la verdad en la ciencia. Pensaba que la
verdad se manifiesta en el
juicio verdadero y el argumento
válido en el
silogismo: “Silogismo es un argumento en el cual, establecidas ciertas cosas, resulta necesariamente de ellas, por ser lo que son, otra cosa diferente”.
[6]Nació así la lógica formal.
Aristóteles formalizó el
cuadro de oposición de los juicios y las formas válidas del silogismo.
[7] Kant en el siglo XVIII pensaba que Aristóteles había llevado la lógica formal a su perfección, por lo que básicamente hasta entonces no había habido prácticamente modificaciones de importancia. Y lo justificaba al considerar que siendo la lógica una ciencia
formal, era por ello
analítica y
a priori, lo que justifica su
necesidad y su
universalidad, pues es la razón la que trata consigo misma respecto a sus leyes del pensar, sin contenido de experiencia alguno.
[8] [9]En la filosofía tradicional, por otro lado, la
lógica informal, o el estudio metódico de los argumentos probables 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 los
discursos.
Aristóteles asimismo consideró el argumento
inductivo, base de lo que constituye la ciencia experimental, cuya
lógica está ligada al progreso de la ciencia y al
método.
A partir de mediados del
Siglo XIX 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. La lógica simbólica trata de esquematizar los pensamientos de forma clara y sin ambigüedades. Para ello usa un
lenguaje formalizado constituido como
cálculo.
De este modo, en la edad contemporánea, la lógica generalmente es entendida como un
cálculo y se aplica a los
razonamientos en una forma prescripta mediante aplicación de
reglas de
inferencia como un
cálculo lógico o matemático.
Actualmente se considera una única ciencia lógico-matemática cuya expresión más importante en el campo de la ciencia es la creación de
modelos gracias sobre todo a la aplicación técnica en los
circuitos lógicos que hacen posible la
informática y el
cálculo numérico.
Si bien a lo largo de este proceso la lógica aristotélica pareció inútil e incompleta,
Łukasiewicz mostró que, a pesar de sus grandes dificultades,
[10] la lógica aristotélica era consistente, si bien había que interpretarse como
lógica de clases, lo cual no es pequeña modificación. Por ello la silogística prácticamente no tiene uso actualmente.
Para la
Lógica matemática y la
filosofía analítica la lógica es un objeto de estudio en sí mismo, por lo que esta es estudiada a un nivel más abstracto.
Existen muchos otros sistemas lógicos, como la lógica
dialéctica,
lógica difusa,
lógica probabilística,
lógica modal y la
lógica no monótona.
Martin Heidegger —discípulo de
Edmund Husserl—, se aparta de estas líneas de consideración de la lógica —aunque sin despreciarlas y comprendiendo su alcance (pero también sus límites), planteando que una lógica más originaria se podría encontrar en un plano previo a las proposiciones, sentencias, declaraciones o juicios. Tomar en cuenta eso podría llevar a un replanteamiento de la lógica de la
proposición o la lógica del
juicio, puesto que nos conduciría a movernos en las raíces de la lógica tal como ha sido habitualmente entendida, raíces que hasta ahora han sido insuficientemente atendidas. Para él, la lógica tendría que partir de una suficiente meditación del λόγος (
lógos), el cual debería ser distinguido de la ratio (razón), que, en rigor, significa fracción. De ahí, y a modo de ejemplo de su significado, la denominación de números irracionales, es decir, aquéllos que no pueden ser representados en forma de fracción.
Hoy es una postura sostenible que la lógica es formal y
a posteriori, o como decían los
escolásticos antiguos respecto al contenido
real de los
conceptos: entes de razón cum fundamento in re (es decir, producto de la razón con fundamento en la realidad).
