Introdução: O abismo lógico invisível do cotidiano

No cotidiano, em debates políticos e na divulgação científica, deparamo-nos constantemente com raciocínios como estes:

• «Os seres humanos evoluíram biologicamente para procriar e transmitir seus genes. Portanto, todo indivíduo deve se casar e ter filhos.»
• «No livre mercado capitalista, a competição severa seleciona os fortes e elimina os ineficientes por lei natural. Portanto, o Estado não deve amparar os vulneráveis com programas sociais.»
• «Esta tradição e estrutura familiar foi observada em nossa sociedade por trezentos anos. Portanto, devemos preservar essa tradição perpetuamente.»
• «A empatia e o altruísmo evoluíram porque a liberação de ocitocina aumentava a sobrevivência de grupos ancestrais. Portanto, o altruísmo é um dever moral objetivamente vinculante.»

À primeira vista, tais proposições parecem persuasivas, amparadas em fatos objetivos da biologia, economia ou neurociência. Contudo, sob a ótica rigorosa da lógica formal e da metaética, revelam um salto ilegítimo: a passagem indevida daquilo que É (fato descritivo) para aquilo que DEVE SER (norma prescritiva).

O mero fato biológico de possuirmos impulsos reprodutivos não engendra uma obrigação moral de procriar. Assim como bactérias letais existem na natureza sem que ninguém defenda que devemos deixar pandemias se espalharem, o modo como o universo empiricamente se comporta pertence a uma ordem lógica completamente distinta daquela que dita como devemos agir.

  flowchart TD
    subgraph FactRealm ["【O Reino do SER (Is)】\nEnunciados empíricos e descritivos"]
        Biology["Evolução biológica: replicação genética e seleção natural"]
        Physics["Leis físicas: gravitação, termodinâmica, entropia"]
        History["Fatos históricos: costumes e tradições seculares"]
        Neuroscience["Neurociência: liberação de ocitocina e circuitos de recompensa"]
    end

    subgraph HumeGuillotine ["A Guilhotina de Hume\n【A lâmina lógica】\nProibição dedutiva de inferir normas a partir de premissas puramente descritivas"]
        Blade["Lâmina afiada da lógica\nCorte do salto não-sequitur entre fatos e valores"]
    end

    subgraph ValueRealm ["【O Reino do DEVER SER (Ought)】\nEnunciados prescritivos e avaliativos"]
        MoralDuty["Dever moral: socorrer os necessitados / cumprir promessas"]
        Justice["Princípios de justiça: distribuição equitativa"]
        Ethics["Avaliação axiológica: a crueldade é má"]
        Ecology["Ética ambiental: preservar ecossistemas"]
    end

    FactRealm == Tentativa de dedução ==> Blade
    Blade -.->|Dedução 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

Essa ruptura foi articulada pela primeira vez pelo iluminista escocês David Hume (1711–1776) em sua obra Tratado da Natureza Humana (1739). Batizada por Max Black no século XX como «A Guilhotina de Hume», ela demoliu as concepções teleológicas aristotélicas. Mais tarde, G. E. Moore formulou a «falácia naturalista», inaugurando a metaética analítica contemporânea.

1. O argumento de David Hume no Tratado da Natureza Humana

No Livro III de sua obra de 1739, Hume expôs a constatação mais célebre da história da ética:

«Em todo sistema de moral que até hoje encontrei, sempre notei que o autor procede por algum tempo da maneira comum de raciocinar, estabelece a existência de Deus ou faz observações sobre os assuntos humanos; quando, de repente, fico surpreso ao constatar que, em vez das habituais cópulas das proposições, é e não é, não encontro nenhuma proposição que não esteja conectada com um deve ou um não deve.

Esta mudança é imperceptível, mas é da maior importância. Pois, como este deve ou não deve expressa uma nova relação ou afirmação, é necessário que seja observada e explicada; e que ao mesmo tempo se dê uma razão para aquilo que parece inteiramente inconcebível: como esta nova relação pode ser uma dedução de outras inteiramente diferentes dela.»

Hume baseia-se no princípio da conservatividade da lógica dedutiva: numa inferência válida, a conclusão não pode conter nenhum operador ou predicado que não estivesse presente nas premissas. Derivar um dever («ought») de meras descrições fáticas constitui uma falácia de non-sequitur. Para torná-la válida, é indispensável acrescentar uma premissa normativa prévia, o que acarreta uma regressão ao infinito.

2. G. E. Moore: Falácia naturalista e o argumento da questão aberta

Em 1903, em Principia Ethica, G. E. Moore defendeu que a propriedade «bom» é simples e indefinível, análoga à percepção da cor «amarelo». Tentar definir a bondade por meio de propriedades naturais (prazer, evolução ou desejo) constitui a falácia naturalista (Naturalistic Fallacy).

Moore introduziu o Argumento da Questão Aberta (Open Question Argument):

• Questão fechada: «João é solteiro, mas ele não é casado?» (Trivial e analítica).
• Questão aberta: «A ação X maximiza o prazer geral, mas a ação X é verdadeiramente boa?»

A questão permanece genuinamente aberta e substantiva. Se «bom» fosse estritamente idêntico a «maximizar o prazer», a pergunta seria um contra-senso. Portanto, o bem moral não pode ser identificado com propriedades empíricas.

3. Demonstração formal na lógica deôntica padrão (SDL)

Em 1997, o lógico austríaco Gerhard Schurz provou o teorema generalizado de Hume na lógica deôntica padrão. Nos modelos de Kripke, a valoração fática e a relação de acessibilidade aos mundos ideais são matematicamente ortogonais. Para qualquer conjunto consistente de fatos $\Gamma$ e qualquer fórmula deôntica relevante $\mathbf{O}\phi$:

4. Tragédias históricas e o alinhamento da IA

  flowchart TD
    subgraph History ["Tragédia histórica: o salto ilegítimo"]
        Darwin["Evolução darwiniana\nSeleção natural e variação (Ciência descritiva)"]
        SocialDarwin["Darwinismo social (Spencer)\n'Sobrevivência do mais apto é lei' (Fato)\n　　↓ Salto indevido\n'Os fracos devem ser eliminados' (Dever)"]
        Eugenics["Eugenia e holocausto nazista\nEsterilização forçada, programa T4"]
        Darwin --> SocialDarwin --> Eugenics
    end

    subgraph AI ["Fronteira contemporânea: alinhamento da IA"]
        Data["Grandes bases textuais de LLMs\nTrilhões de tokens = 'O que humanos fazem' (Ser)"]
        Gap["Abismo humeano de alinhamento\nImitação estatística não engendra valores morais;\napenas reproduz vícios e preconceitos"]
        SafeAI["IA segura e alinhada\nExige princípios éticos constitucionais externos (Dever ser)"]
        Data --> Gap --> SafeAI
    end

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

Historicamente, ignorar a guilhotina de Hume gerou o pesadelo do darwinismo social e da eugenia, postulando que a crueldade da seleção natural justificava o extermínio de populações vulneráveis. A hostilidade da natureza é, ao contrário, o exato motivo pelo qual devemos fundar laços de solidariedade.

Hoje, essa questão ressurge no problema de alinhamento da IA. Modelos de linguagem aprendem a distribuição empírica do que os humanos escrevem (o domínio do Ser). Estabelecer como uma inteligência artificial deve agir (o domínio do Dever Ser) requer salvaguardas éticas independentes.

5. Conclusão: O farol dos valores no mar dos fatos

A guilhotina de Hume não corrói a ética; ela resguarda a nossa liberdade. Se o dever brotasse diretamente dos fatos, seríamos meros autômatos biológicos subjugados à realidade existente. É justamente porque há um abismo entre o ser e o dever ser que podemos fitar a realidade e proclamar:

«O mundo é assim hoje (Ser). Mas ele não deve continuar assim (Dever Ser). Nós temos a liberdade e a responsabilidade de torná-lo melhor.»