La pregunta que no cierra

Hay preguntas que no se terminan de responder porque son demasiado difíciles. Y hay preguntas que no se terminan de responder porque son demasiado buenas: cada respuesta parcial abre tres nuevas preguntas que valen más que la original. La relación entre mente y cerebro es de ese segundo tipo.

El semestre en que tomé Filosofía de las Neurociencias en la Universidad de Antioquia decidí que mi forma de estudiar iba a ser distinta. No iba a acumular apuntes cronológicos. Iba a construir una base de conocimiento organizada por función cognitiva: por qué pregunta responde cada texto, no por cuándo fue escrito ni en qué orden lo dictó el profesor. Y el lenguaje que elegí para la capa de lógica formal fue Smalltalk.

Eso necesita explicación.

Por qué Smalltalk

Smalltalk es el lenguaje donde nació la orientación a objetos en su forma más pura. Alan Kay lo concibió no como un lenguaje de programación sino como un medio de pensamiento: un entorno donde todo es objeto, todo se comunica por mensajes, y la computación es indistinguible de la simulación de mundos posibles. Elegirlo en 2026 no es nostalgia ni rareza de coleccionista. Es una declaración de que el nivel de abstracción importa, y que a veces hay que bajar hasta los fundamentos para entender qué se está haciendo.

El repositorio usa Smalltalk concretamente a través de un intérprete llamado st que permite declarar lógicas formales, axiomas, teoremas y verificarlos. La carpeta 10_LogicaFormal contiene archivos .st donde las ideas de Hinton, el conexionismo, la ontología de las redes neuronales artificiales y su relación con el cerebro se traducen a lógica de primer orden. No como metáfora. Como código que corre.

Un ejemplo: el archivo 01_Hinton_Ontologia_Base.st formaliza el vocabulario mínimo que el texto de Hinton necesita para ser inteligible. Un axioma dice forall x (GoodRepresentation(x) -> EconomicalDescription(x)). Otro dice forall x (PopulationCode(x) -> RobustToLocalLoss(x)). Luego el sistema deriva consecuencias. No se está verificando si Hinton tiene razón sobre el cerebro; se está verificando si el texto es internamente coherente, si los compromisos ontológicos implícitos son consistentes entre sí.

Esa distinción es filosóficamente crucial.

La arquitectura del conocimiento

La estructura del repositorio refleja una teoría sobre cómo se debe organizar el saber de un campo difícil. Hay carpetas para clases (cronológico), fichas por texto (exegético), fichas por autor (biográfico-conceptual), ensayos temáticos transversales, visualizaciones en Mermaid y LaTeX, glosario unificado, bibliografía anotada, banco de preguntas, y producción propia.

Lo interesante es el orden de prioridad. El portal del repositorio dice explícitamente que el punto de entrada no es el índice cronológico de clases sino el índice maestro y el mapa de conceptos transversales. La idea es que uno pueda entrar por tema aunque no recuerde el título del escrito, o ubicar a un autor aunque no sepa en qué sesión apareció. El conocimiento como red, no como línea.

Los ensayos temáticos en 04_Temas son el núcleo intelectual. Cada uno abre con el problema filosófico central del bloque, despliega las posiciones principales en una tabla con tesis, argumento clave y objeción principal, y luego cruza la discusión con evidencia empírica real. El problema mente-cuerpo se discute junto a lesiones focales (Gage, H.M.) que muestran cómo el daño circunscrito produce cambios mentales específicos. La conciencia y los qualia se abordan con la fórmula de la Teoría de Información Integrada de Tononi y los datos clínicos de Laureys sobre pacientes en estado vegetativo. Las redes neuronales e IA aparecen con backpropagation escrita como ecuación y con la disputa conexionismo-simbolismo desde Fodor hasta los stochastic parrots.

El gesto metodológico

Hay algo que me resulta filosóficamente honesto en formalizar los compromisos de un texto antes de debatirlos. La filosofía analítica lleva décadas diciendo que los argumentos deben ser explícitos, que los supuestos deben poder examinarse. Pero en la práctica, los seminarios de filosofía siguen siendo conversaciones donde la precisión se negocia en tiempo real y los compromisos quedan implícitos.

Escribir axiom ont_05 = forall x ((ArtificialUnit(x) & HiddenUnit(x)) -> CarrierOfRepresentation(x)) y luego pedirle al sistema que verifique la consistencia del conjunto es una forma de hacer explícito lo que el texto de Hinton presupone cuando dice que las unidades ocultas "cargan" representaciones distribuidas. Si esa presuposición es inconsistente con otra cosa que el mismo texto afirma, el sistema lo va a detectar. La lógica no sabe de autoridad académica.

Eso también conecta con algo que me parece central en la filosofía de las neurociencias como disciplina: Bechtel, Mandik y Mundale argumentan que ella nace cuando los problemas clásicos sobre mente, cuerpo, explicación y conocimiento dejan de poder discutirse solo en abstracto y pasan a depender del trabajo científico real. La lógica formal es el puente entre el abstracto y el empírico: permite articular con precisión qué afirma un marco teórico antes de preguntar qué evidencia lo respalda o lo refuta.

Autores y el mapa del campo

El repositorio cubre 25 autores con fichas individuales: desde Bechtel hasta Friston, desde Chalmers hasta Dennett, desde Hebb hasta Varela y Thompson. No como galería de grandes nombres, sino como mapa de posiciones en un debate continuo. Las fichas conectan hacia los ensayos temáticos y hacia las lecturas primarias. La idea es que ningún autor sea una isla: Putnam responde a Place y Smart, Churchland radicaliza a Place y Smart, Bechtel naturaliza a Putnam.

Ese tipo de navegación conceptual, donde uno entra por una pregunta y sale habiendo recorrido la historia de las respuestas, es lo que el repositorio hace posible estructuralmente.

Lo que enseñó

Construir esta base de conocimiento me confirmó algo que ya sospechaba: la forma en que se organiza el conocimiento no es neutral. Un índice cronológico enseña que la historia importa más que la lógica. Un índice por función cognitiva enseña que las preguntas son más duraderas que las respuestas.

Y usar Smalltalk para formalizar los argumentos me recordó por qué Kay quería que el lenguaje fuera un medio de pensamiento. No para ejecutar instrucciones, sino para hacer visible la estructura de lo que se está pensando. Cuando escribo un axioma sobre lo que significa que una representación sea buena según Hinton, no estoy programando: estoy pensando con más rigor del que sería posible solo en prosa.

La filosofía de las neurociencias pregunta cómo se relacionan los estados mentales con los estados cerebrales. Yo no sé la respuesta. Pero sé que para acercarse a ella hay que ser capaz de distinguir con precisión lo que se afirma, lo que se presupone y lo que se sigue. Eso es lo que el repositorio intenta hacer posible.