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.
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.
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.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.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.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.
Lectura compartida
Commentarii
Este espacio está pensado para aportes breves, preguntas o lecturas críticas sobre el artículo. Por ahora, todo texto enviado queda sujeto a revisión editorial antes de cualquier publicación.