Pendahuluan: Jurang Logika Tersembunyi dalam Keseharian

Dalam percakapan sehari-hari, debat politik, maupun narasi sains populer, kita sering mendengar pernyataan seperti:

• “Manusia secara biologis berevolusi untuk bereproduksi dan mewariskan materi genetik. Oleh karena itu, setiap orang seharusnya menikah dan memiliki anak.”
• “Dalam pasar bebas, persaingan ketat menyeleksi pihak yang kuat dan melenyapkan yang lemah menurut hukum alam. Oleh karena itu, pemerintah tidak seharusnya memberikan bantuan sosial bagi kelompok rentan.”
• “Tradisi dan adat keluarga ini telah dijalankan di negeri kita selama tiga ratus tahun. Oleh karena itu, kita wajib melestarikannya untuk selama-lamanya.”
• “Empati dan kerja sama terbentuk karena pelepasan hormon oksitosin meningkatkan kelangsungan hidup kelompok purba. Oleh karena itu, altruisme adalah kebaikan moral yang bernilai objektif.”

Sepintas lalu, pernyataan-pernyataan di atas tampak meyakinkan karena bersandar pada fakta-fakta ilmiah dari biologi, ekonomi, sejarah, atau ilmu saraf. Namun, di bawah analisis logika dan metaetika, klaim-klaim tersebut memperlihatkan cacat logika fatal: lompatan sewenang-wenang dari apa yang NYATA ADANYA (Is / fakta) menuju apa yang SEHARUSNYA DILAKUKAN (Ought / norma).

Fakta biologis bahwa tubuh manusia berevolusi untuk bereproduksi tidak serta-merta melahirkan kewajiban moral bahwa seseorang harus memiliki anak. Sebagaimana virus dan bakteri mematikan ada secara alami di dunia tanpa seorang pun menyimpulkan bahwa kita harus membiarkan wabah merajalela, keadaan empiris alam semesta berada pada domain logika yang sama sekali berbeda dengan pertimbangan kewajiban moral manusia.

  flowchart TD
    subgraph FactRealm ["【Ranah KENYATAAN (The Realm of IS)】\nPernyataan deskriptif dan empiris"]
        Biology["Evolusi biologis: seleksi alam dan replikasi genetik"]
        Physics["Hukum fisika: gravitasi, termodinamika, entropi"]
        History["Fakta historis: adat dan tradisi berabad-abad"]
        Neuroscience["Ilmu saraf: sekresi oksitosin dan sirkuit penghargaan otak"]
    end

    subgraph HumeGuillotine ["Guillotine Hume (Hume's Guillotine)\n【Pisau Pemutus Logika】\nLarangan deduktif menarik kesimpulan normatif dari premis fakta murni"]
        Blade["Pisau Logika yang Tajam\nMemutus lompatan non-sequitur dari fakta ke nilai"]
    end

    subgraph ValueRealm ["【Ranah KEHARUSAN (The Realm of OUGHT)】\nPernyataan preskriptif dan evaluatif"]
        MoralDuty["Kewajiban moral: menolong yang lemah / menepati janji"]
        Justice["Prinsip keadilan: pemerataan kesejahteraan"]
        Ethics["Penilaian etika: kekejaman dan kebohongan adalah buruk"]
        Ecology["Etika lingkungan: menjaga kelestarian biosfer"]
    end

    FactRealm == Upaya inferensi deduktif ==> Blade
    Blade -.->|Inferensi tidak valid（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

Pemisahan radikal ini pertama kali diartikulasikan oleh filsuf Pencerahan Skotlandia David Hume (1711–1776) dalam karya monumentalnya A Treatise of Human Nature (1739). Dinamai oleh Max Black pada abad ke-20 sebagai “Guillotine Hume”, gagasan ini meruntuhkan pandangan alam teleologis Aristotelian. Kemudian, G. E. Moore memperluasnya menjadi konsep “Kesesatan Naturalistik” (Naturalistic Fallacy).

1. Teks Klasik David Hume dalam Treatise of Human Nature

Dalam Buku III dari Treatise, Hume menuliskan kalimat yang paling sering dikutip dalam metaetika:

“Dalam setiap sistem moralitas yang pernah saya temui, saya selalu memperhatikan bahwa penulis selama beberapa waktu menggunakan cara penalaran biasa, membuktikan keberadaan Tuhan, atau mengamati urusan manusia; namun tiba-tiba saya terkejut mendapati bahwa, alih-alih menggunakan kata penghubung proposisi biasa, adalah dan bukan (is and is not), tidak ada proposisi yang tidak terhubung dengan kata seharusnya atau tidak seharusnya (ought or ought not).

Perubahan ini tidak mencolok, namun membawa konsekuensi besar. Karena kata seharusnya atau tidak seharusnya ini mengekspresikan suatu hubungan atau afirmasi baru, maka hal itu mutlak perlu diperhatikan dan dijelaskan; dan pada saat yang sama harus diberikan alasan untuk hal yang tampaknya sama sekali tidak dapat dipahami: bagaimana hubungan baru ini dapat diturunkan dari hubungan-hubungan lain yang sama sekali berbeda darinya.”

Hume berpegang pada prinsip konservativitas logika deduktif: dalam argumen yang valid, kesimpulan tidak boleh memuat predikat atau operator baru yang tidak tercantum dalam premis-premisnya. Menurunkan keharusan moral dari fakta empiris semata merupakan kekeliruan bernalar (non-sequitur). Untuk menjadikannya sah, premis normatif tersembunyi harus ditambahkan, yang pada gilirannya menuntut pembenaran tanpa akhir (regres tak terhingga).

2. Kesesatan Naturalistik dan Argumen Pertanyaan Terbuka G. E. Moore

Pada tahun 1903, dalam Principia Ethica, G. E. Moore membuktikan bahwa sifat “baik” (good) adalah kualitas sederhana dan non-natural yang tidak dapat didefinisikan, serupa dengan pengalaman melihat warna “kuning”. Menyamakan kebaikan moral dengan kualitas alamiah (kenikmatan, kelangsungan hidup evolusioner, atau kepuasan hasrat) disebut Kesesatan Naturalistik (Naturalistic Fallacy).

Moore merumuskan Argumen Pertanyaan Terbuka (Open Question Argument):

• Pertanyaan tertutup: “Budi adalah seorang bujangan, tetapi apakah dia belum menikah?” (Trivial dan tertutup secara definisi).
• Pertanyaan terbuka: “Tindakan X memaksimalkan kesenangan kelompok terbanyak, tetapi apakah tindakan X benar-benar ‘baik’?”

Pertanyaan tersebut selalu merupakan pertanyaan terbuka yang bermakna. Jika “baik” identik dengan “kenikmatan”, pertanyaan itu akan konyol seperti menanyakan bujangan yang belum menikah. Karena pertanyaan itu sah dan mendalam, konsep kebaikan moral tidak dapat direduksi menjadi fakta empiris apa pun.

3. Pembuktian Formal dalam Logika Deontik Standar (SDL)

Pada tahun 1997, pakar logika Austria Gerhard Schurz membuktikan teorema Hume secara matematis dalam kerangka Standard Deontic Logic (SDL). Dalam semantik Kripke, penetapan nilai kebenaran fakta dunia nyata dan relasi keterjangkauan menuju dunia ideal secara model-teoretis adalah sepenuhnya ortogonal (independen). Untuk setiap himpunan fakta yang konsisten $\Gamma$ dan formula deontik relevan non-trivial $\mathbf{O}\phi$:

4. Tragedi Sejarah dan Krisis Penyelarasan AI Modern

  flowchart TD
    subgraph History ["Tragedi Sejarah: Lompatan Cacat"]
        Darwin["Evolusi Darwin\nSeleksi alam dan variasi (Sains deskriptif)"]
        SocialDarwin["Darwinisme Sosial (Spencer)\n'Yang terkuat bertahan adalah hukum alam' (Fakta)\n　　↓ Lompatan sewenang-wenang\n'Yang lemah harus disingkirkan' (Keharusan)"]
        Eugenics["Eugenika & Holocaust Nazi\nSterilisasi paksa, program eutanasia T4"]
        Darwin --> SocialDarwin --> Eugenics
    end

    subgraph AI ["Krisis Teknologi Terkini: AI Alignment"]
        Data["Data Pelatihan Teks Model Bahasa Besar\nTriliunan token = 'Apa yang senyatanya ditulis manusia' (Is)"]
        Gap["Jurang Penyelarasan Hume\nMeniru statistik tidak menghasilkan nilai etis;\nhanya menduplikasi prasangka dan keburukan manusia"]
        SafeAI["AI yang Aman dan Selaras\nMembutuhkan batasan nilai etis konstitusional eksternal (Ought)"]
        Data --> Gap --> SafeAI
    end

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

Pelanggaran terhadap Guillotine Hume memicu malapetaka Darwinisme Sosial dan eugenika pada abad ke-19 dan ke-20. Penganutnya berdalih bahwa karena alam menyeleksi yang terkuat, maka masyarakat pun harus menyingkirkan yang lemah. Mereka lupa: kekejaman alam justru menjadi alasan mengapa manusia harus membangun tatanan keadilan dan belas kasih.

Kini, persoalan ini muncul kembali dalam masalah penyelarasan kecerdasan buatan (AI Alignment Problem). Model bahasa besar (LLM) dilatih menggunakan kumpulan teks internet raksasa yang merepresentasikan alam Kenyataan (Is). Menentukan bagaimana superintelijen seharusnya bertindak (Ought) secara logis mustahil diperoleh hanya dari pola statistik teks masa lalu, melainkan membutuhkan penanaman prinsip etika konstitusional.

5. Kesimpulan: Mercusuar Nilai di Samudra Fakta

Guillotine Hume tidak meniadakan moralitas; gagasan ini justru menyelamatkan kebebasan manusia. Jika keharusan dapat diturunkan otomatis dari fakta, kita hanyalah roda mekanis yang tunduk pasrah pada hukum alam tanpa kebebasan memilih dan tanggung jawab etis.

Karena ada jurang pemisah antara fakta dan nilai, manusia dapat menatap kenyataan yang keras dan menyatakan:

“Dunia saat ini memang demikian adanya (Is). Namun dunia tidak boleh dibiarkan begitu saja (Ought). Kita memiliki kebebasan dan nurani untuk memperbaikinya."