Evolución Histórica de la Lógica

Desde cuando existe la lógica

La lógica es tan antigua como la propia filosofía. Piensa que la palabra "lógica" proviene
del vocablo griego logos, que significa "razón, ley y palabra", y que está íntimamente unida
a la tarea propia de la filosofía, como ya vimos en la primera unidad. La lógica tiene por
tanto que ver con las leyes que ordenan nuestro pensamiento y con la forma de expresarlo
en el lenguaje.

Se considera que Aristóteles fue el fundador de la lógica, allá por el siglo IV a. C.

Aristóteles definió la lógica como "ciencia que estudia los razonamientos correctos", por lo
que la entendía como un instrumento al servicio de las demás ciencias. Cualquier ciencia
(la física, por ejemplo) debe construirse con razonamientos correctos, por lo que la lógica
será de gran utilidad al ser su cometido el establecer las formas correctas de razonamientos
(de ahí que se la considere como una ciencia formal, pues no se interesa por el contenido de
los razonamientos, sino por su forma). Para Aristóteles existía un tipo de razonamiento
especialmente útil para la ciencia: el silogismo. Un silogismo es un razonamiento de tipo
deductivo que consta de dos premisas y una conclusión (que se deduce necesariamente de
las premisas). A continuación tienes un ejemplo de silogismo:

¿Cuál es el propósito de la Lógica?

Como hemos visto la lógica clásica (desde Aristóteles hasta el siglo XIX) se entiende como
la ciencia que estudia los razonamientos correctos, centrándose especialmente en los
silogismos. La lógica moderna (desde el siglo XIX hasta la actualidad), sin embargo, asume
como tarea un propósito de caracter más general: el estudio de las formas validas de
demostración o inferencia, es decir, la manera en que ciertas verdades son demostradas a
partir de otras previas (sea de forma inductiva o deductiva). De esta forma la lógica de
Aristóteles es hoy en día una pequeña parte de la lógica, conocida como lógica de clases o
de predicados (que estudiaremos más adelante).
Para llevar a cabo este estudio, la lógica se constituye como un cálculo o sistema formal
axiomático: no te asustes, se trata simplemente de un lenguaje artificial constituido por
signos y reglas, que permite "calcular", es decir, demostrar ciertas verdades a partir de otras
ya establecidas a través de una serie de pasos (las operaciones del cálculo). Al final de este
tema veremos un ejemplo de cálculo o sistema formal axiomático que nos permitirá
entender que quiere decir esto; usaremos para ello un juego llamado "El acertijo MU"