Ejemplos.
de lógica en sistemas biológicos, pero no construida por el hombre.
Construidos por el hombre.
¡Qué tema tan bonito! Déjame pensar en ejemplos de lógica en sistemas biológicos, no diseñados por humanos.
Un caso precioso es la regulación génica: el operón lac en bacterias funciona como una puerta lógica tipo AND. La bacteria produce las enzimas para digerir lactosa solo cuando hay lactosa presente y no hay glucosa disponible. Dos condiciones que deben cumplirse a la vez.
Otro ejemplo son las neuronas, que integran señales excitatorias e inhibitorias y solo disparan si la suma supera un umbral, algo parecido a una compuerta con umbral.
¿Quieres que siga por el lado molecular, como las redes de regulación genética, o prefieres el lado neuronal y de comportamiento?
Creo que sigas por la regulación genética y otro tipo de digamos mmm, mmm,
Perfecto, sigamos por ahí. La regulación genética está llena de lógica.
Además del operón lac que es tipo AND, existe el operón trp, que funciona como una compuerta NOT o un interruptor de apagado. La bacteria fabrica triptófano solo cuando no hay triptófano en el entorno. Si aparece, el sistema se apaga solo.
Y hay algo aún más elegante: los circuitos de retroalimentación. Por ejemplo, una proteína que reprime su propio gen, lo que crea un sistema autorregulado que mantiene ni…
¿Cómo se llaman? Mapas de, de reacciones químicas, digamos.
Pathways.
Ah, sí. Esos se llaman rutas o vías, en inglés pathways.
Tienes varios tipos según lo que representen. Las vías metabólicas son los mapas de reacciones químicas propiamente dichas, donde unas moléculas se transforman en otras mediante enzimas. El ejemplo clásico es la glucólisis.
Luego están las vías de señalización, que no transforman materia sino que transmiten información dentro de la célula, como una cascada de interruptores.
Y cuando juntas todas esas reacciones en un gran mapa interconectado, hablas de redes metabólicas. El diagrama más famoso es el de las rutas metabólicas de Kegg, que es como un mapa de metro gigante de toda la bioquímica celular.
¿Te referías a ese tipo de mapas?
Sí, ¿puedes darme más detalles de los sistemas de señalización y qué, en cuanto a qué, qué, qué pasos de lógica usan?
Claro, las vías de señalización son fascinantes desde el punto de vista lógico.
La idea general es que una señal externa, como una hormona, llega a un receptor en la membrana, y esa información se va transmitiendo hacia dentro mediante una cascada de proteínas que se activan unas a otras, normalmente añadiéndose grupos fosfato. A eso se le llama fosforilación.
En cuanto a la lógica, encuentras varias cosas bonitas. Primero, compuertas AND: muchos receptores solo disparan la respuesta si reciben dos señales distintas a la vez. Por ejemplo, los linfocitos T necesitan dos confirmaciones independientes antes de activarse, lo cual es un mecanismo de seguridad.
Segundo, amplificación: una sola molécula de señal puede activar muchas enzimas, y cada una activa muchas más, como un efecto dominó que multiplica la señal.
Tercero, interruptores de todo o nada, llamados ultrasensibilidad. Algunas cascadas, como la vía MAP quinasa, convierten una señal gradual en una respuesta tipo botón: o está encendido o apagado, sin términos medios.
¿Quieres que profundice en alguno, como las compuertas AND reales o los interruptores biestables?
sigue
Sigo, entonces. Vamos con los interruptores biestables, que son de lo más elegante.
Un sistema biestable es aquel que tiene dos estados estables posibles, encendido o apagado, y que una vez que salta de uno a otro, se queda ahí aunque la señal desaparezca. Es decir, tiene memoria. Esto se consigue normalmente con retroalimentación positiva: una proteína que promueve su propia producción. Una vez que arranca, se mantiene sola.
El ejemplo más famoso es la decisión de una célula de dividirse. Cuando una célula entra en división, no puede quedarse a medias, así que usa un interruptor biestable para comprometerse del todo. El punto de no retorno.
Otro caso precioso es la maduración de los óvulos en las ranas, estudiada clásicamente, donde la vía MAP quinasa se com…
Se ha cortado.
Perdona, sí. Te decía que en la maduración de los óvulos de rana, la vía MAP quinasa se comporta como un interruptor biestable: el óvulo pasa de inmaduro a maduro de golpe, sin estados intermedios, y ya no puede volver atrás.
Y añado otra pieza lógica muy bonita que no habíamos mencionado: la lógica tipo NOR y la inhibición combinada. A veces una proteína se activa solo si no están presentes ni una señal ni la otra. Combinando activadores e inhibidores, la célula construye prácticamente cualquier función lógica que quieras, igual que en electrónica se puede construir todo a partir de compuertas básicas.
¿Seguimos con cómo la célula combina todo esto para tomar decisiones complejas, o prefieres que veamos la retroalimentación negativa, que es la que da estabilidad y oscilaciones como los relojes biológicos?
Me refiero a más atrás cuando me estabas explicando qué elementos lógicos había en estos sistemas, qué, qué puertas lógicas, etcétera.
Ah, perfecto, vuelvo a las puertas lógicas en sí. Te amplío el repertorio completo.
Puerta AND: la respuesta ocurre solo si llegan dos señales a la vez. Lo vimos con los linfocitos T.
Puerta OR: la respuesta ocurre si llega una señal o la otra, indistintamente. Varias rutas distintas pueden encender el mismo gen.
Puerta NOT: una señal que en lugar de activar, reprime. Lo vimos con el operón trp.
Puerta NAND y NOR: combinaciones donde la presencia de ciertos represores bloquea la salida.
Y luego hay dos que son muy biológicas y especialmente interesantes. La primera es el filtro de persistencia, técnicamente un bucle feed-forward coherente. Aquí la célula solo responde si la señal dura lo suficiente, ignorando pulsos cortos que podrían ser ruido. Es como un AND con retardo temporal.
La segunda es la detección de cambios, un bucle feed-forward incoherente, que responde al cambio de una señal más que a su valor absoluto. Se activa cuando algo cambia y luego se adapta.
¿Quieres que te explique los bucles feed-forward con más detalle, que son quizás lo más sofisticado?
Los bucles fit, fit forward eh, son formalizables, lógicamente, o necesitan algo más.
Muy buena pregunta, y la respuesta es matizada: con lógica booleana pura te quedas corto.
Si usas solo lógica booleana, puedes capturar el esqueleto. Por ejemplo, un feed-forward coherente tipo AND lo escribes como: la salida se activa si está presente la entrada directa y la rama indirecta. Eso lo formaliza como función booleana sin problema.
Pero, y aquí está lo importante, lo que hace especial al feed-forward es el tiempo. El filtro de persistencia funciona porque la rama indirecta tarda en acumularse. Esa demora es lo que filtra los pulsos cortos. Y el tiempo no lo captura la lógica booleana, que es atemporal.
Así que necesitas algo más. Hay varias opciones. Una es la lógica temporal, como la lógica temporal lineal, que añade operadores tipo eventualmente o hasta que. Otra, la más habitual en biología, son las ecuaciones diferenciales, que capturan las concentraciones cambiando en el tiempo de forma continua. Y una intermedia muy elegante son las redes de Petri o los modelos híbridos, que combinan estados discretos con dinámica temporal.
En resumen: la estructura lógica sí se formaliza en booleano, pero la función real, el porqué filtra o detecta cambios, necesita tiempo, y ahí entras en lógica temporal o en dinámica continua.
¿Quieres que te muestre cómo se vería un feed-forward en lógica temporal concretamente?
Eh, en los ejemplos formalizados, lógicamente, ¿hay algún paper que formalice alguno de estos sistemas?
Buena pregunta. Déjame buscar papers concretos que formalicen estos sistemas, porque aquí quiero darte referencias reales y no fiarme de la memoria.
Voy a rastrear la literatura. Dame un momento. Déjame buscar directamente en la literatura biomédica, que es donde está lo bueno de este tema. Déjame hacer la búsqueda de verdad ahora. Déjame ver los detalles de los más relevantes. Sí, hay literatura muy buena, y toca justo lo que hablábamos. Según PubMed, hay dos vertientes.
Para la parte lógica formal propiamente dicha, está el trabajo del grupo de Hidde de Jong, un artículo de 2008 titulado Temporal logic patterns for querying dynamic models of cellular interaction networks. Lo bonito es que ataca exactamente tu pregunta anterior: usan model checking con lógica temporal para verificar redes celulares, y como formular lógica temporal es difícil, crean plantillas que traducen preguntas biológicas a lógica temporal automáticamente. Lo aplican a la respuesta a la falta de carbono en E. coli. Si quieres verlo, el enlace es doi punto org barra 10.1093 barra bioinformatics barra btn275.
Y luego, justo sobre los feed-forward loops que mencionabas, el artículo fundacional es de Mangan y Uri Alon, de 2003, Structure and function of the feed-forward loop network motif. Ahí demuestran formalmente que las cuatro variantes coherentes actúan como retardos sensibles al signo, y las cuatro incoherentes como aceleradores. El enlace es doi punto org barra 10.1073 barra pnas.2133841100.
¿Quieres que te haga una búsqueda más profunda y a fondo sobre la formalización con lógica temporal en concreto, con un informe completo de fuentes?
y algo que sea formalizable solo.
Mmm, déjame asegurarme de entenderte bien. ¿Te refieres a un sistema biológico cuya lógica se capture completamente con lógica booleana pura, sin necesidad de tiempo ni de ecuaciones diferenciales? Es decir, algo que sea puramente combinacional, donde la salida dependa solo de las entradas presentes y no de la historia ni de la dinámica…
con lógica booleana.
Perfecto, entendido. Sí, hay sistemas que se capturan muy bien solo con lógica booleana, y de hecho es un campo entero.
El caso más limpio son los promotores combinacionales de bacterias. Un promotor que integra dos factores de transcripción como un AND o un OR puro: la salida, que es si el gen se expresa o no, depende únicamente de qué factores están presentes en ese momento. No hay memoria ni dinámica relevante, es combinacional puro, igual que una puerta lógica de silicio.
El marco teórico grande se llama redes booleanas, introducido por Stuart Kauffman en los años sesenta para modelar redes genéticas. Cada gen es una variable de cero o uno, encendido o apagado, y su estado se actualiza según una función booleana de los otros genes.
El ejemplo formalizado más famoso y validado es la red de control del ciclo celular de la levadura, modelada por Fangting Li en 2004 como una red booleana. Reprodujeron toda la secuencia del ciclo celular solo con reglas booleanas, y además mostraron que la secuencia biológica real es un atractor muy robusto del sistema.
Eso sí, un matiz honesto: en cuanto metes el ciclo celular entero, aunque las reglas sean booleanas, ya hay actualización por pasos, o sea, dinámica temporal discreta. Lo puramente combinacional, sin ningún paso temporal, se limita más bien a promotores individuales. ¿Quieres que busque el paper de Li y alguno más de redes booleanas con referencias concretas?
Busca el delí y el anterior que comentabas de lógica temporal.
Déjame buscar los dos: el de Li de la red booleana del ciclo celular, y recuperar bien el de lógica temporal. Déjame simplificar la búsqueda. Déjame confirmar que el 15037758 es el de Li. Los tengo los dos. Según PubMed, aquí están.
El de Li es de 2004, en PNAS, titulado The yeast cell-cycle network is robustly designed, de Fangting Li, Tao Long, Ying Lu, Qi Ouyang y Chao Tang. Con un modelo booleano simple demuestran que la red del ciclo celular de la levadura es extremadamente estable: el estado G1 es un atractor global de la dinámica, y la propia secuencia del ciclo celular es una trayectoria atractora. Y esas propiedades se conservan aunque perturbes un poco la red, lo que sugiere que está diseñada de forma robusta. El enlace es doi punto org barra 10.1073 barra pnas.0305937101.
Y el de lógica temporal es el de Pedro Monteiro y Hidde de Jong, de 2008, en Bioinformatics, Temporal logic patterns for querying dynamic models of cellular interaction networks. Usan model checking con plantillas que traducen preguntas biológicas a lógica temporal, aplicado a la respuesta a la falta de carbono en E. coli. El enlace es doi punto org barra 10.1093 barra bioinformatics barra btn275.
¿Quieres que tire del hilo de alguno, o lanzo una búsqueda a fondo sobre redes booleanas en biología?
todas estas referencias y un resumen de la conversación en un artefacto.
Ahí hay un pequeño problema: estoy en modo de voz, así que no puedo generar un artefacto desde aquí. Los artefactos se crean en la interfaz de texto.
Si abres este mismo chat en la app o en la web, puedo montarte el artefacto con el resumen de toda la conversación y las tres referencias bien formateadas. ¿Te paso ahí, o prefieres que te deje algo preparado de otra manera?
Genera un resumen de la conversación con las referencias
Monto el resumen con las cuatro referencias en un documento. El documento ya está listo: un resumen de la conversación, desde las puertas lógicas hasta las redes booleanas, con las cuatro referencias y sus enlaces DOI. Puedes editarlo directamente, comentarlo o compartirlo.
Ejemplos de vida colectiva en grupos de organismos como las hormigas
La vida colectiva aparece en muchos grupos, y casi siempre sin un líder que dé órdenes: el comportamiento del grupo surge de reglas locales simples, muy en la línea de lo que veníamos hablando.
El concepto que une todo esto es la inteligencia de enjambre, o comportamiento emergente. Además, la lógica de las hormigas ha inspirado algoritmos reales, como la optimización por colonia de hormigas que se usa en rutas y redes.
¿Quieres que profundice en alguno, por ejemplo en cómo se formaliza el quórum o el algoritmo de las hormigas?
Laogica en estos casos y los biológicos es implícita. En que se diferencia del razonamiento humano?
La diferencia clave es que en las hormigas o en una célula la lógica está en el sistema, pero no hay nadie que la represente. El operón lac computa un AND, pero no contiene ningún símbolo que signifique “AND”, ni puede preguntarse si su regla es buena. Dennett lo llama competencia sin comprensión: el sistema hace lo correcto sin saber por qué.
El razonamiento humano añade varias cosas. Usa símbolos que representan reglas, y por eso podemos escribir la regla, comunicarla y criticarla. Permite pensar en contrafactuales (“¿y si no hubiera glucosa?”) sin vivirlos, mientras que la hormiga solo responde a lo que hay. Generaliza a dominios nuevos: la misma regla lógica vale para genes, circuitos o argumentos. Puede revisarse en minutos, mientras que la lógica biológica solo cambia por evolución, a lo largo de generaciones. Y es reflexiva: podemos razonar sobre nuestro propio razonamiento, que es justo lo que hacíamos al preguntarnos si un feed-forward es formalizable.
Un matiz importante: la mayor parte de lo que hace nuestro cerebro también es lógica implícita. Las neuronas integran señales con umbrales, igual que las células, y casi todo nuestro juicio intuitivo funciona así. La lógica explícita es más bien una herramienta cultural, inventada y aprendida, que corre encima de ese sustrato implícito. Así que la frontera no está entre biología y humanos, sino entre computar algo y tener una representación de lo que se computa.
¿Te interesa tirar por ese hilo, el de cómo surge lo explícito a partir de lo implícito?
Completa el documento
Añado al documento las dos secciones nuevas: vida colectiva y lógica implícita frente a razonamiento humano. He añadido al documento dos secciones nuevas, “Vida colectiva” y “Lógica implícita frente a razonamiento humano”, justo antes de las referencias.
https://jsomers.net/e-coli-chemotaxis/
Es un ensayo precioso de James Somers y Edwin Morris sobre la quimiotaxis de E. coli, y encaja de lleno con lo que veníamos hablando: es casi un compendio vivo de todas las piezas lógicas que vimos.
El mecanismo, en breve. La bacteria alterna entre nadar recto (run) y girar al azar (tumble). Una proteína mensajera, CheY, viaja del “nariz” (los receptores) a los motores del flagelo; en su forma fosforilada provoca giros. Cuando el receptor detecta más atrayente, se frena la fosforilación, hay menos giros y la bacteria sigue nadando hacia la comida.
Las piezas lógicas que aparecen: - Detección de cambios, no de valores: la bacteria responde a si la concentración sube, no a cuánta hay. Es lo mismo que hace el feed-forward incoherente. - Adaptación con memoria química: la metilación de los receptores reajusta la sensibilidad, de modo que cualquier nivel se vuelve “lo normal”. Así funciona en cinco órdenes de magnitud y recuerda unos segundos de historia. - Amplificación: un cambio del 2 % en los receptores puede producir un cambio del 100 % en los motores. - Umbral: hacen falta varias CheY-p a la vez para invertir un motor; una sola no basta. - Ciclos “fútiles”: fosforilar y desfosforilar sin parar parece un derroche, pero da un mando regulable y rápido, como un potenciómetro. - Robustez: el sistema funciona sin depender de concentraciones exactas (cita a Alon et al., 1999, Robustness in bacterial chemotaxis).
Y conecta con tu pregunta filosófica: el texto lo llama inteligencia elemental, con algo parecido a olfato, impulso y memoria. Es el ejemplo perfecto de competencia sin comprensión: computa una derivada temporal sin representar nada.
¿Lo añado al documento como un caso de estudio, junto a la referencia de Alon y el libro Wetware de Dennis Bray que el ensayo recomienda?
Fuente: The Baffling Intelligence of a Single Cell
Resumelo en una pàgina y añádelo al documento de drive
Ya está en el documento. Ahora actualizo la copia de Drive. He añadido la sección “Caso de estudio: la quimiotaxis de E. coli”, de una página, con el mecanismo en cuatro pasos, las piezas lógicas y la lectura filosófica. También he sumado cuatro referencias nuevas: el ensayo de Somers, Alon 1999, Falke 1997 y Wetware de Bray.
En Drive no puedo editar el contenido de un documento existente. Por eso he creado una versión actualizada en tu carpeta “Claude Artifacts”. La versión anterior, del 11 de octubre, sigue ahí con el mismo nombre. ¿Quieres que la mande a la papelera?