Tema 5 3d6g5m

Bienvenida o bienvenido a esta exploración. Hoy nos metemos de lleno en la historia de la lógica.

Hola, ¿qué tal? Vamos a ver cómo ha evolucionado eso de analizar si un argumento es válido o no, ¿verdad? Desde los griegos hasta, bueno, cosas más modernas.

Exacto. Queremos ver los momentos clave, las figuras que la cambiaron, destilar un poco esa larga historia que tiene su miga.

Pues venga, empecemos el viaje. Grecia, supongo. Es como el kilómetro cero de esto, ¿no? Pues sí, es el punto de partida natural. Y allí, ojo, no hay una sola lógica, sino como dos grandes corrientes iniciales.

¿Ah, sí? ¿Cuáles? Por un lado, la más famosa, quizá, Aristóteles. Su lógica de términos, los silogismos.

Claro, los silogismos. Todos los hombres son mortales.

Este es el clásico. Analizaba la estructura de la frase, sujeto predicado, clasificaba juicios, universales, particulares, afirmativos, negativos… Vale.

Y estudiaba cómo sacar una conclusión válida a partir de dos premisas, buscando ese término medio que las conectaba.

Entiendo. El foco en las palabras, en los términos dentro de la frase.

Eso es. Pero luego estaban los otros, los megáricos y los estoicos. Gente como Crisipo.

Ajá. ¿Y ellos qué hacían de diferente? Pues ellos se centraban más bien en cómo se conectan las proposiciones enteras. O sea, frases completas. El famoso si A, entonces B. O A y B. A o B.

Ajá, vale, vale. No tanto el interior de la frase, sino la relación entre frases.

Exacto. Desarrollaron reglas de inferencias súper importantes. El modus ponens, por ejemplo.

El modus ponens.

Si sabes que si llueve, la calle se moja, y además sabes que llueve, pues concluyes que la calle se moja. Parece obvio, pero formalizarlo fue un paso enorme.

Ya, ya. La base de mucho razonamiento lógico, imagino.

Totalmente. Y ojo que también se metieron en paradojas muy curiosas, como la del mentiroso.

Uf, esa me suena. Si digo, estoy mintiendo.

Claro. ¿Dices la verdad o mientes? Si dices la verdad, lo que afirmas, estoy mintiendo, es cierto, así que mientes. Pero si mientes, lo que dices es falso, así que no mientes.

Un lío.

Parece tremendo, sí. Muestra los límites del lenguaje. Y bueno, ¿qué pasó con todo esto después de la antigüedad? ¿Se perdió? No exactamente. Aunque hubo un bache, digamos, mucho se conservó en el mundo árabe. Y luego, en la Edad Media, sobre todo entre los siglos XII y XIV, hubo un auténtico renacer en Europa.

¿Ah, sí? Sí, sí. Cuando se redescubrió toda la obra de Aristóteles que faltaba, gracias a las traducciones del árabe.

¿Qué va? Hubo aportaciones muy originales. Figuras como Pedro Hispano, Ockham, Buridán… no solo sistematizaron, sino que desarrollaron cosas nuevas.

¿Como qué, por ejemplo? Pues mira, destacó mucho la teoría de las propiedades de los términos. Analizaban cómo usamos las palabras, distinguían si hablabas de la palabra en sí o de la cosa a la que se refiere. Muy útil para evitar confusiones.

Ya, cuestiones de significado, de uso del lenguaje… Y también la teoría de las consecuencias, que es como una continuación del trabajo estoico sobre las inferencias. Estudiaban a fondo qué se sigue lógicamente de qué.

O sea que la Edad Media, lejos de ser oscura para la lógica, fue una época de… De bastante sofisticación, ¿no? Desde luego.

Hubo un análisis muy fino del lenguaje y la inferencia. Pero bueno, después de eso, digamos entre el Renacimiento y la Ilustración, la lógica formal como tal tuvo un menos empuje.

Se dejó un poco de lado.

Se criticó la silogística. Se le dio un enfoque más psicológico, como la lógica de Port Royal, que la veía como el arte de pensar.

Pero el gran cambio, ese llegó en el siglo XIX.

Ahí llegamos a la lógica simbólica. Esto ya me suena más a mates.

Totalmente. Es la matematización. Y hay dos nombres clave aquí. Primero, George Boole.

Boole. El álgebra de Boole, ¿verdad? Lo de los ordenadores.

Bueno, la base, sí. A mediados del XIX tuvo la idea de usar herramientas del álgebra para la lógica. Representó proposiciones y filogismos con ecuaciones.

¿Cómo? Como si fueran números.

Algo así.

Definió operaciones parecidas a la suma, a la multiplicación, para las clases y las proposiciones. Una matematización en toda regla.

¡Qué potente! ¿Y el segundo nombre? Gottlob Frege. Su obra, La conceptografía, de 1879, eso es, digamos, el punto de inflexión, el nacimiento de la lógica moderna.

Frege. ¿Y qué hizo él exactamente? Creó un lenguaje formal, una escritura conceptual, muchísimo más potente que el de Boole. Consiguió unificar la lógica de proposiciones, la de los estoicos, y la lógica de predicados,