Teori Himpunan on kenji.blog

Ketika Kata Mendeskripsikan Dirinya Sendiri: Paradoks Grelling-Nelson

Thu, 10 Sep 2026 21:00:00 +0900

Kata-kata adalah alat untuk mendeskripsikan dunia, tetapi ketika kita mencoba mendeskripsikan kata itu sendiri, logika kadang-kadang jatuh ke dalam perangkap yang tak terduga.

Diciptakan pada tahun 1908 oleh Kurt Grelling dan Leonard Nelson, “Paradoks Grelling-Nelson” adalah paradoks semantik terkenal yang dengan tepat menunjukkan batas dari “kata yang mendefinisikan kata”.

Mengklasifikasikan Kata Menjadi Dua

Grelling dan Nelson menganggap bahwa semua kata sifat (kata-kata) dapat diklasifikasikan ke dalam dua kelompok berikut.

Autologikal (Autological): Kata tersebut memiliki sifat yang dideskripsikan oleh arti kata itu sendiri.
Heterologikal (Heterological): Kata tersebut tidak memiliki sifat yang dideskripsikan oleh arti kata itu sendiri.

Mari Kita Lihat Contohnya

Contoh kata-kata Autologikal:

“Pendek” (short): Kata ini sendiri pendek.
“Inggris” (English): Kata ini sendiri adalah bahasa Inggris.
“Kata benda” (noun): Kata ini adalah kata benda.
“Pentasyllabic” (lima suku kata): Dalam bahasa Inggris, “pen-ta-syl-lab-ic” memiliki 5 suku kata.

Contoh kata-kata Heterologikal:

“Panjang” (long): Kata ini sendiri pendek, bukan panjang.
“Jerman” (German): Kata ini adalah bahasa Indonesia (atau Inggris), bukan bahasa Jerman.
“Tak terlihat” (invisible): Kata ini saat ini terlihat jelas di atas layar atau kertas.

Sejauh ini, tampaknya hanya seperti permainan kata. Semua kata seharusnya bisa diklasifikasikan dengan pasti, apakah mewujudkan artinya sendiri atau tidak.

Pertanyaan Fatal: Munculnya Paradoks

Nah, dari sinilah paradoks dimulai. Mari kita pertimbangkan satu kata berikut.

Apakah kata “Heterologikal” itu sendiri Autologikal? Atau Heterologikal?

Terhadap pertanyaan ini, kita akan menghadapi kontradiksi tidak peduli jawaban mana yang kita pilih.

Kasus 1: Mengasumsikan “Heterologikal” itu “Autologikal”

Jika kata “Heterologikal” itu “Autologikal”, berdasarkan definisi, kata itu “memiliki sifat yang dideskripsikan oleh arti kata itu sendiri”. Namun, arti dari kata ini adalah “Heterologikal”. Dengan kata lain, memiliki sifat “Heterologikal” berarti kata itu “Heterologikal”. Meskipun diasumsikan Autologikal, hasilnya menjadi Heterologikal. (Kontradiksi)

Kasus 2: Mengasumsikan “Heterologikal” itu “Heterologikal”

Jika kata “Heterologikal” itu “Heterologikal”, berdasarkan definisi, kata itu “tidak memiliki sifat yang dideskripsikan oleh arti kata itu sendiri”. Karena arti kata ini adalah “Heterologikal”, tidak memiliki sifat tersebut berarti ia “Autologikal”. Meskipun diasumsikan Heterologikal, hasilnya menjadi Autologikal. (Kontradiksi)

Ke arah mana pun kita memilih, logikanya akan runtuh.

graph TD A["Kata 'Heterologikal'"] --> B{"Diklasifikasikan ke mana?"} B -->|Adalah Autologikal| C["Definisi: Memiliki sifat yang dideskripsikan artinya"] C --> D["Artinya adalah 'Heterologikal'"] D --> E["Hasil: Adalah Heterologikal!"] E -->|Kontradiksi| B B -->|Adalah Heterologikal| F["Definisi: Tidak memiliki sifat yang dideskripsikan artinya"] F --> G["Artinya adalah 'Heterologikal'"] G --> H["Hasil: Adalah Autologikal!"] H -->|Kontradiksi| B style A fill:#4CAF50,stroke:#333,stroke-width:2px,color:#fff style B fill:#FF9800,stroke:#333,stroke-width:2px,color:#fff style E fill:#F44336,stroke:#333,stroke-width:2px,color:#fff style H fill:#F44336,stroke:#333,stroke-width:2px,color:#fff

Hubungan dengan Matematika dan Logika: Kerabat dari Paradoks Russell

Paradoks ini bukan kesalahan perhitungan sederhana atau ilusi seperti “misteri dolar yang hilang”. Ia pada dasarnya memiliki struktur yang sama dengan Paradoks Russell (“Apakah himpunan dari semua himpunan yang tidak memuat dirinya sendiri, memuat dirinya sendiri?”) yang mengguncang fondasi matematika.

Paradoks Grelling-Nelson bisa dikatakan sebagai versi semantik (arti kata) dari Paradoks Russell.

Paradoks Russell dalam Teori Himpunan:

$$ R = \\{ x \mid x \notin x \\} $$

Ketika mendefinisikan himpunan tersebut, menanyakan apakah $R \in R$ atau $R \notin R$ akan mengarah pada kontradiksi.

Paradoks Grelling-Nelson dalam Semantik: Ketika $Het(x)$ didefinisikan sebagai “kata $x$ tidak memiliki sifat $x$ (Heterologikal)”,

$$ Het(\text{"Het"}) \iff \neg Het(\text{"Het"}) $$

kita akan jatuh ke dalam kontradiksi logis tersebut.

Mengapa Paradoks Ini Penting?

Ketika kata merujuk pada dirinya sendiri (referensi-diri), selalu ada bahaya tersembunyi terjadinya kesalahan seperti perulangan tak terbatas.

Ini bukan hanya masalah filosofi atau linguistik. Dalam bidang ilmu komputer dan kecerdasan buatan, kita juga menghadapi hambatan logis serupa ketika sebuah program mencoba mengevaluasi atau memodifikasi kodenya sendiri, atau ketika model pemrosesan bahasa alami menafsirkan kontradiksi makna.

Paradoks Grelling-Nelson adalah sebuah eksperimen pemikiran yang dengan brilian memvisualisasikan “bug” (batasan) yang secara inheren terkandung di dalam sistem “bahasa”.

Paradoks Russell: Apakah "Himpunan dari Semua Himpunan yang Tidak Memuat Dirinya Sendiri" Memuat Dirinya Sendiri?

Thu, 10 Sep 2026 04:00:00 +0900

1. “Paradoks Tukang Cukur” yang Menyerang Desa yang Damai

Di sebuah desa yang damai, ada seorang tukang cukur. Di pintu masuk desa, terdapat papan pengumuman aneh sebagai berikut:

“Tukang cukur di desa ini mencukur janggut semua penduduk yang tidak mencukur janggutnya sendiri, dan tidak mencukur janggut orang selain itu.”

Penduduk desa merasa puas dengan aturan ini. Orang yang tidak bisa mencukur janggutnya sendiri bisa pergi ke tukang cukur, sedangkan orang yang bisa mencukur janggutnya sendiri bisa mencukurnya di rumah.

Namun suatu hari, pemuda tukang cukur itu melihat ke cermin dan terkejut. Ada janggut tipis tumbuh di dagunya. “Nah, apakah aku harus mencukur janggutku sendiri?”

Dia memutuskan untuk berpikir secara logis mengikuti aturan di papan pengumuman.

Bagaimana jika dia memutuskan untuk “mencukur janggutnya sendiri”? Menurut aturan, tukang cukur hanya boleh mencukur janggut “orang yang tidak mencukur janggutnya sendiri”. Oleh karena itu, jika dia mencukur janggutnya sendiri, dia tidak memenuhi syarat untuk dicukur janggutnya oleh tukang cukur (dirinya sendiri). Artinya, “tidak boleh mencukur”.
Bagaimana jika dia memutuskan untuk “tidak mencukur janggutnya sendiri”? Menurut aturan, tukang cukur harus mencukur janggut semua “orang yang tidak mencukur janggutnya sendiri”. Oleh karena itu, jika dia tidak mencukur janggutnya sendiri, dia harus meminta tukang cukur (dirinya sendiri) untuk mencukur janggutnya. Artinya, “harus mencukur”.

“Jika mencukur, maka tidak boleh mencukur.” “Jika tidak mencukur, maka harus mencukur.”

Tukang cukur itu menjadi panik sepenuhnya dan tidak bisa mengambil tindakan apa pun. Inilah “Paradoks Tukang Cukur” yang terkenal.

graph TD Barber["Tukang Cukur: Apakah harus mencukur janggut sendiri?"] Barber -->|YA: Mencukur sendiri| Cond1["Pelanggaran aturan!
(Tidak boleh mencukur janggut orang yang mencukur janggutnya sendiri)"] Barber -->|TIDAK: Tidak mencukur sendiri| Cond2["Pelanggaran aturan!
(Harus mencukur janggut orang yang tidak mencukur janggutnya sendiri)"] Cond1 --> Paradox["Kontradiksi (Paradoks)"] Cond2 --> Paradox style Paradox fill:#ff4444,color:#fff,stroke:#333,stroke-width:2px

2. “Paradoks Russell” yang Mengguncang Dunia Matematika

“Paradoks Tukang Cukur” ini adalah sebuah analogi yang dibuat oleh ahli logika dan filsuf Inggris, Bertrand Russell, untuk menjelaskan paradoks matematika temuannya agar mudah dipahami oleh masyarakat umum.

Apa yang sebenarnya dia temukan bukanlah tentang tukang cukur, melainkan kontradiksi mengerikan terkait “Himpunan (Set)”. Hal tersebut disebut “Paradoks Russell (1901)”.

Konsep “Himpunan dari Himpunan”

“Himpunan” dalam matematika adalah kumpulan dari objek-objek yang memenuhi kondisi tertentu.

“Himpunan bilangan genap 10 atau kurang” = $\{2, 4, 6, 8, 10\}$
“Himpunan apel merah”

Lalu, sebagai isi (elemen) dari sebuah himpunan, kita juga bisa memasukkan “himpunan” lain. Misalnya, mari kita pertimbangkan “himpunan semua buku di seluruh dunia”. Karena himpunan ini sendiri bukanlah sebuah “buku”, maka “himpunan semua buku di seluruh dunia” tidak termasuk ke dalam himpunannya sendiri.

Di sisi lain, mari kita pertimbangkan “himpunan benda-benda yang bukan buku”. Himpunan ini sendiri juga bukanlah sebuah “buku”. Oleh karena itu, “himpunan benda-benda yang bukan buku” akan termasuk ke dalam himpunannya sendiri.

Dengan demikian, himpunan di dunia ini secara garis besar dapat dibagi menjadi 2 jenis:

A: Himpunan yang tidak memuat dirinya sendiri (Contoh: himpunan buku)
B: Himpunan yang memuat dirinya sendiri (Contoh: himpunan benda yang bukan buku)

Lahirnya Himpunan Iblis $R$

Di sini, Russell mempertimbangkan sebuah himpunan khusus $R$ sebagai berikut:

Himpunan $R$ = Himpunan yang mengumpulkan semua “himpunan yang tidak memuat dirinya sendiri (tipe A)”

Jika ditulis dalam rumus matematika (notasi pembentuk himpunan), maka akan menjadi seperti ini:

$$ R = \{ x \mid x \notin x \} $$

Nah, dari sinilah inti permasalahannya dimulai. Russell mengajukan pertanyaan berikut terhadap himpunan $R$ ini:

“Apakah himpunan $R$ memuat dirinya sendiri ($R$)?”

Mari kita pikirkan.

Bagaimana jika $R$ “memuat dirinya sendiri ($R \in R$)”? Syarat untuk masuk ke dalam $R$ adalah “tidak memuat dirinya sendiri”. Oleh karena itu, $R$ tidak memenuhi syarat dan tidak dapat masuk ke dalam $R$. (Menjadi $R \notin R$ yang merupakan sebuah kontradiksi)
Bagaimana jika $R$ “tidak memuat dirinya sendiri ($R \notin R$)”? Syarat untuk masuk ke dalam $R$ adalah “tidak memuat dirinya sendiri”. Oleh karena itu, $R$ dengan sempurna memenuhi syarat dan harus masuk ke dalam $R$. (Menjadi $R \in R$ yang merupakan sebuah kontradiksi)

Jika ditulis dengan rumus matematika, ini adalah keruntuhan logika yang hanya terdiri dari satu baris.

$$ R \in R \iff R \notin R $$

“Jika memuat, maka tidak dimuat.” “Jika tidak dimuat, maka memuat.” Ini adalah struktur yang persis sama dengan Paradoks Tukang Cukur. Namun, jika ini tentang tukang cukur di desa, itu hanya akan menjadi bahan tertawaan “kepala desa yang membuat aturan konyol itu saja yang bodoh”, tetapi di dunia matematika tidak bisa begitu.

Sebab pada saat itu, dunia matematika sedang berada di tengah proses membangun ulang seluruh matematika dengan berlandaskan pada aturan sederhana (Teori Himpunan Naif) yang berbunyi: “Selama kondisinya didefinisikan dengan jelas, kita bebas membuat ‘himpunan’ dari apa pun.”

3. Tragedi Frege

Orang yang dikirimi surat ini oleh Russell adalah ahli logika hebat asal Jerman, Gottlob Frege. Frege baru saja mengirimkan buku kedua dari karya besarnya, “Hukum Dasar Aritmetika”, yang telah ia dedikasikan seluruh hidupnya, ke percetakan. Buku ini adalah puncak upayanya untuk membuktikan kelengkapan matematika berdasarkan pada aturan “himpunan dapat dibuat dari kondisi apa pun”.

Membaca surat dari Russell, Frege menjadi putus asa. Sebab terbukti bahwa jika ia menggunakan aturan “dasar dari segala dasar” dalam bukunya, ia bisa menciptakan “himpunan yang mutlak berkontradiksi” seperti Paradoks Russell. Jika fondasinya runtuh, ratusan halaman rumus matematika yang dibangun di atasnya akan menjadi tidak valid sama sekali.

Frege meninggalkan sebuah catatan tambahan yang memilukan di bagian akhir buku yang baru saja akan diterbitkan tersebut:

“Bagi seorang ilmuwan, tidak ada yang lebih menyedihkan daripada melihat fondasinya runtuh tepat pada saat ia merasa pekerjaannya telah selesai. Segera setelah buku ini dikirim ke percetakan, saya ditempatkan tepat dalam situasi itu oleh surat dari Bapak Bertrand Russell.”

4. Mengatasi Krisis: Lahirnya Teori Himpunan Aksiomatik

Paradoks Russell menyebabkan kepanikan besar di dunia matematika yang disebut sebagai “Krisis Fondasi Matematika”. Aturan bebas yang mengatakan “Selama kondisinya ditentukan, bebas membuat himpunan apa pun” telah melahirkan monster bernama kontradiksi.

Untuk mengatasi krisis ini, para matematikawan mulai memperketat aturan. Matematikawan seperti Zermelo dan Fraenkel merumuskan sistem aturan (sistem aksioma) yang secara ketat membedakan antara “himpunan yang boleh dibuat” dan “himpunan yang tidak boleh dibuat (terlalu besar)”. Ini disebut “Sistem Aksioma ZFC (Teori Himpunan Aksiomatik)”.

Di bawah sistem aksioma ZFC, himpunan $R$ seperti yang dipikirkan oleh Russell, yaitu “himpunan yang mengumpulkan semua ‘himpunan yang tidak memuat dirinya sendiri’”, dinyatakan sebagai “terlalu besar dan berbahaya, sehingga tidak lagi diakui sebagai sebuah ‘himpunan’ (itu hanyalah sebuah ‘kelas’)” dan dilarang masuk dari dunia matematika.

graph LR subgraph "Teori Himpunan Naif (Pra-Russell)" Free["Bebas membuat himpunan
dengan kondisi apa pun!"] --> Monster["Monster Kontradiksi R
(Paradoks Russell)"] end subgraph "Teori Himpunan Aksiomatik (Matematika Modern)" Strict["Hanya yang mengikuti aturan ketat (aksioma)
yang disebut 'Himpunan'"] --> Safe["Kontradiksi R tidak diakui sebagai 'Himpunan'
sehingga aman!"] end Monster -.->|Krisis Dunia Matematika| Strict

5. Kesimpulan: Paradoks adalah “Obat Kuat” untuk Memperbaiki “Bug Logika”

Paradoks Russell adalah puncak dari bug logika yang disebabkan oleh referensi diri (merujuk pada diri sendiri), mirip dengan “ular yang memakan ekornya sendiri (Ouroboros)” atau “pembohong yang mengatakan bahwa saya adalah pembohong”.

Paradoks, yang pada pandangan pertama mungkin tampak seperti sekadar permainan kata-kata atau argumen konyol, telah menghancurkan fondasi matematika—disiplin ilmu yang paling ketat—dan pada akhirnya membuat matematika berevolusi menjadi sesuatu yang lebih kuat dan lebih ketat.

Seandainya seorang jenius bernama Russell tidak menyadari “bug tukang cukur” ini, matematika modern dan ilmu komputer yang merupakan perpanjangan dari logika matematika mungkin akan berkembang dengan membawa kontradiksi yang fatal di suatu tempat. Paradoks adalah obat kuat yang paling merangsang, yang mengajarkan kita batas dari logika manusia.