Del mito a la regla

El quiebre ocurre cuando dejamos de preguntarnos qué podría hacer una entidad artificial y empezamos a preguntarnos cómo razona un humano. Pensar deja de ser don misterioso y se convierte en problema analizable. Si hay reglas, pueden describirse, enseñarse y, algún día, ejecutarse.

Platón preparó el terreno al pedir estructuras racionales estables; la escuela estoica añadió condicionales y argumentos completos. Aristóteles no estuvo solo: el pensamiento empezó a tratarse como objeto técnico.

Aristóteles y la formalización del razonamiento

Aristóteles separa forma de verdad: una inferencia puede ser válida aunque las premisas no lo sean. Esa distinción sostiene toda la lógica posterior y, siglos después, la computación.

Razonar deja de depender del contexto o la autoridad y puede evaluarse como proceso reproducible. Aquí nace la idea de algoritmo, aunque falten siglos para nombrarlo.

Sin Aristóteles, no hay IA: la formalización del razonamiento antecede por más de dos milenios a la computación.

Leibniz: cuando pensar parecía calculable

Si el razonamiento sigue reglas, podría expresarse mediante símbolos y resolverse como un cálculo. La characteristica universalis buscaba eliminar ambigüedad: ante un desacuerdo, “calculemos”.

El impulso aparece en una Europa atravesada por disputas; la lógica se ofrece como neutralidad, confunde corrección con justicia y anticipa tensiones que siguen vivas.

Boole y el nacimiento del pensamiento binario

Boole muestra que proposiciones pueden representarse con operaciones algebraicas. Verdadero y falso se vuelven valores manipulables. El razonamiento se hace cuantificable: cada decisión es una operación, cada inferencia una transformación.

De aquí descienden árboles de decisión, sistemas expertos y modelos de clasificación modernos.

Una advertencia clínica

La medicina siempre intentó formalizar sin deshumanizar. Las reglas ayudan, pero no agotan la práctica: el síntoma no siempre sigue el manual y el paciente no es una ecuación.

Traducir sistemas formales a experiencias humanas comprensibles es trabajo clínico. Delegar el juicio equivale a renunciar a la responsabilidad.

Cierre

Antes de una sola máquina capaz de calcular, el ser humano ya había intentado comprenderse a sí mismo como sistema. Esa obsesión intelectual es el origen de la inteligencia artificial.

En la próxima entrega, la lógica se encontrará con engranajes y tarjetas perforadas. Aparecerá Turing, y con él la frontera de lo computable.

Línea de tiempo rápida

La formalización del razonamiento en cuatro hitos que preparan la IA.

Siglo IV a. C.

Aristóteles

Separa forma de verdad: la validez de una inferencia no depende de sus premisas. Nace la lógica formal.

Busto clásico para aludir a Aristóteles y la lógica formal.
Siglo III a. C.

Estoicos

Lógica proposicional primitiva: condicionales y argumentos completos que anticipan estructuras modernas.

Papiro y cálamo evocan la transmisión de la lógica estoica.
Siglo XVII

Leibniz

“Calculemos”: sueña con un lenguaje universal y una máquina que opere sobre símbolos para resolver disputas.

Libro antiguo para representar la characteristica universalis.
Siglo XIX

George Boole

Verdadero y falso se vuelven valores algebraicos. El pensamiento se hace binario y cuantificable.

Pizarrón con fórmulas para la aritmética booleana.