Las Proteinas

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

Frege, padre de la lógica moderna

Imágen 8. Autor: Desconocido. Dominio público

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".

...