Introducción: El abismo lógico invisible de la vida cotidiana

En la vida cotidiana, el debate político y la divulgación científica, tropezamos con frecuencia con argumentos como estos:

• «Los seres humanos evolucionaron biológicamente para reproducirse y perpetuar sus genes. Por lo tanto, toda persona debe casarse y tener hijos.»
• «En una economía de libre mercado, la competencia hace que los fuertes sobrevivan y los débiles perezcan por ley natural. Por lo tanto, el Estado no debe socorrer a los vulnerables con subsidios.»
• «Esta tradición y estructura familiar se ha observado en nuestro país durante tres siglos. Por lo tanto, debemos conservarla intacta por siempre.»
• «El altruismo y la cooperación evolucionaron porque la secreción de oxitocina favorecía la cohesión grupal. Por lo tanto, el altruismo es un deber moral objetivamente vinculante.»

A simple vista, estas afirmaciones parecen apoyarse sólidamente en hechos científicos irrefutables de la biología, la economía o la neurociencia. Sin embargo, bajo el rigor de la lógica y la metaética, todas incurren en un salto ilegítimo: el paso indebido de lo que ES (hecho descriptivo) a lo que DEBE SER (norma prescriptiva).

El hecho biológico de que estemos dotados de capacidad reproductiva no genera automáticamente la obligación moral de procrear. Del mismo modo que los virus letales existen de manera natural sin que nadie sostenga que debemos permitir que las plagas se propaguen, la descripción fáctica del universo pertenece a un orden lógico enteramente distinto al de la deliberación ética.

  flowchart TD
    subgraph FactRealm ["【El Reino del SER (Is)】\nEnunciados descriptivos y empíricos"]
        Biology["Evolución biológica: replicación genética y selección natural"]
        Physics["Leyes físicas: gravitación, termodinámica, entropía"]
        History["Hechos históricos: costumbres y convenciones centenarias"]
        Neuroscience["Neurociencia: circuitos cerebrales y oxitocina"]
    end

    subgraph HumeGuillotine ["La Guillotine de Hume\n【La cuchilla lógica】\nProhibición deductiva de inferir normas a partir de premisas puramente fácticas"]
        Blade["Afilada cuchilla de la lógica\nCorte del salto no-sequitur entre hechos y valores"]
    end

    subgraph ValueRealm ["【El Reino del DEBER SER (Ought)】\nEnunciados normativos y prescriptivos"]
        MoralDuty["Deber moral: proteger al vulnerable / cumplir promesas"]
        Justice["Justicia distributiva: equidad social"]
        Ethics["Juicio axiológico: la crueldad y la traición son malas"]
        Ecology["Ética ambiental: preservar los ecosistemas"]
    end

    FactRealm == Intento de deducción ==> Blade
    Blade -.->|Deducción inválida（Non-Sequitur）| ValueRealm

    style HumeGuillotine fill:#ffe6e6,stroke:#ff0000,stroke-width:2px
    style FactRealm fill:#e6f3ff,stroke:#0066cc,stroke-width:2px
    style ValueRealm fill:#fff0b3,stroke:#e6b800,stroke-width:2px

Esta insalvable fractura fue formulada con precisión quirúrgica por el filósofo ilustrado escocés David Hume (1711–1776) en su célebre Tratado de la naturaleza humana (1739). Conocida gracias a Max Black como «La guillotina de Hume», demolió la visión teleológica aristotélica. Más tarde, G. E. Moore formuló la «falacia naturalista», fundando la metaética analítica moderna.

1. El pasaje clásico de David Hume en el Tratado

En el Libro III de su Tratado de la naturaleza humana, Hume redactó uno de los pasajes más citados de la historia filosófica:

«En todo sistema de moralidad con el que hasta ahora me he topado, siempre he observado que el autor procede durante un tiempo en la forma ordinaria de razonar, y establece el ser de un Dios, o hace observaciones sobre los asuntos humanos; cuando de repente me sorprende encontrar que, en lugar de las copulaciones ordinarias de proposiciones, es y no es, no me encuentro con ninguna proposición que no esté conectada con un debe o un no debe.

Este cambio es imperceptible, pero es de la mayor consecuencia. Porque como este debe o no debe expresa una nueva relación o afirmación, es necesario que sea observada y explicada; y al mismo tiempo que se dé una razón para lo que parece enteramente inconcebible: cómo esta nueva relación puede ser una deducción de otras que son enteramente diferentes de ella.»

Hume apela a la regla de conservación lógica de la deducción: ninguna conclusión puede introducir un operador conceptual o modal que no estuviera contenido en las premisas. Deducir un deber («ought») a partir de meros hechos descriptivos constituye una falacia de tipo non-sequitur. Cualquier intento de salvar la validez formal requiere una premisa normativa implícita, la cual desencadena un regreso al infinito.

2. G. E. Moore: La falacia naturalista y el argumento de la pregunta abierta

En 1903, en Principia Ethica, G. E. Moore sostuvo que la propiedad «bueno» es simple e indefinible, como el color «amarillo». Identificar lo bueno con propiedades empíricas (placer, evolución o utilidad) constituye la falacia naturalista (Naturalistic Fallacy).

Moore introdujo el Argumento de la pregunta abierta (Open Question Argument):

• Pregunta cerrada: «Juan es soltero, ¿pero acaso no está casado?» (Trivial y cerrada por definición).
• Pregunta abierta: «La acción X maximiza el placer colectivo, pero ¿es la acción X verdaderamente buena?»

La pregunta permanece siempre abierta e inteligible. Si «bueno» fuera sinónimo estricto de «generador de placer», la pregunta sería absurda. Puesto que tiene un significado genuino, lo bueno no puede reducirse a ninguna propiedad física o psicológica.

3. Demostración formal en lógica deóntica estándar (SDL)

En 1997, el lógico austríaco Gerhard Schurz demostró el teorema generalizado de Hume en lógica deóntica. En la semántica de Kripke, las funciones de asignación empírica en el mundo real y la relación de accesibilidad a mundos deónticamente ideales son mutuamente ortogonales. Para todo conjunto coherente de hechos $\Gamma$ y toda fórmula deóntica relevante no trivial $\mathbf{O}\phi$:

4. Desastres históricos y el problema de alineación de la IA

  flowchart TD
    subgraph History ["Tragedia histórica: el salto ilegítimo"]
        Darwin["Evolución biológica (Darwin)\nSelección natural y variación (Hecho descriptivo)"]
        SocialDarwin["Darwinismo social (Spencer)\n'La supervivencia del más apto es ley' (Hecho)\n　　↓ Salto arbitrario\n'Los débiles deben ser eliminados' (Deber)"]
        Eugenics["Eugenesia y holocausto nazi\nEsterilización forzada, programa T4"]
        Darwin --> SocialDarwin --> Eugenics
    end

    subgraph AI ["Frontera tecnológica: alineación de la IA"]
        Data["Datos masivos de entrenamiento de LLMs\nBillones de palabras = 'Lo que los humanos hacen' (Ser)"]
        Gap["Brecha humeana de alineación\nImitar estadísticamente no produce valores éticos;\nsolo reproduce sesgos y hostilidad"]
        SafeAI["IA segura y alineada\nRequiere la inserción explícita de principios constitucionales (Deber ser)"]
        Data --> Gap --> SafeAI
    end

    style History fill:#fff2f0,stroke:#d9534f,stroke-width:2px
    style AI fill:#f0f7ff,stroke:#0275d8,stroke-width:2px

La violación de la guillotina de Hume engendró en el siglo XIX el darwinismo social y la eugenesia: justificar el exterminio de los vulnerables aduciendo que la naturaleza selecciona a los fuertes. Olvidaron que la crudeza de la naturaleza es precisamente el motivo por el cual los humanos debemos fundar instituciones de justicia y compasión.

Hoy, esta brecha reaparece en la alineación de la inteligencia artificial. Los modelos de lenguaje masivos aprenden lo que los humanos han escrito empíricamente (el reino del Ser). Deducir cómo una superinteligencia debe actuar (el reino del Deber Ser) requiere una arquitectura axiológica independiente.

5. Conclusión: El faro de los valores en el mar de los hechos

La guillotina de Hume no destruye la ética; rescata nuestra libertad. Si el deber ser emanara mecánicamente de los hechos, seríamos autómatas sin responsabilidad moral. Es precisamente porque existe un abismo infranqueable entre hechos y valores que el ser humano puede erguirse ante la realidad y proclamar:

«El mundo es así hoy (Ser). Pero no debe permanecer así (Deber Ser). Tenemos la libertad y el deber de transformarlo.»