Barber Paradox

Barber Paradox (Paradoks Tukang Cukur) adalah teka-teki logika tentang seorang tukang cukur di sebuah desa yang mencukur semua orang yang tidak mencukur dirinya sendiri, dan hanya orang-orang itu. Pertanyaannya sederhana: apakah tukang cukur itu mencukur dirinya sendiri? Jika ia mencukur dirinya, ia termasuk orang yang mencukur diri sendiri, padahal ia hanya mencukur mereka yang tidak melakukannya. Jika ia tidak mencukur dirinya, ia termasuk orang yang tidak mencukur diri sendiri, sehingga menurut aturannya ia harus mencukur dirinya.

Teka-teki ini sangat dikenal sebagai versi populer dari Paradoks Russell. Bertrand Russell menyinggungnya dalam serangkaian kuliah tentang atomisme logis (logical atomism) yang diberikan di London pada 1918 dan diterbitkan di jurnal The Monist pada 1918–1919. Di sana ia menyebut bahwa bentuk tukang cukur pernah disarankan kepadanya, tetapi ia menilainya tidak sahih sebagai versi paradoksnya sendiri.

Catatan Russell itu menarik karena menunjukkan bahwa paradoks yang paling sering dipakai untuk menjelaskan Paradoks Russell justru tidak dianggap setara oleh Russell sendiri. Perdebatan tentang apakah teka-teki ini benar-benar paradoks, dan bagaimana hubungannya dengan Paradoks Russell, masih berlanjut dalam literatur logika dan filsafat.

Pengertian Barber Paradox

Secara logis, Paradoks Tukang Cukur dapat dirumuskan sebagai pernyataan bahwa ada seseorang, sebut saja b, sehingga untuk setiap orang y, b mencukur y jika dan hanya jika y tidak mencukur dirinya sendiri. Jika rumusan ini diterapkan pada kasus y sama dengan b, hasilnya adalah bahwa b mencukur dirinya jika dan hanya jika b tidak mencukur dirinya. Pernyataan ini bertentangan dengan dirinya sendiri.

Ada dua cara membaca kontradiksi tersebut. Pembacaan pertama menyatakan bahwa tukang cukur dengan sifat itu menimbulkan kontradiksi. Pembacaan kedua, yang dipegang sebagian besar ahli logika, menyatakan bahwa kontradiksi hanya membuktikan satu hal: tidak ada tukang cukur dengan sifat tersebut. Dalam logika predikat orde pertama, negasi dari pernyataan eksistensi itu merupakan kebenaran logis yang dapat diturunkan secara langsung lewat reductio ad absurdum.

Dengan kata lain, jawaban atas “apakah tukang cukur mencukur dirinya sendiri?” adalah bahwa pertanyaannya mengandaikan sesuatu yang tidak mungkin ada. Tukang cukur seperti itu sama saja dengan lingkaran persegi: deskripsinya mustahil dipenuhi oleh siapa pun.

Argumen Barber Paradox

Rumusan Argumen dan Bentuk Logisnya

Argumen ini bertumpu pada satu asumsi tunggal, yaitu keberadaan tukang cukur yang dideskripsikan. Dari asumsi itu, kontradiksi diturunkan dengan dua langkah. Pertama, kita menanyakan kasus tukang cukur terhadap dirinya sendiri. Kedua, kita menunjukkan bahwa kedua jawaban, “ya” maupun “tidak”, sama-sama menghasilkan kebalikannya.

Strukturnya adalah argumen diagonal: sebuah relasi diterapkan pada dirinya sendiri sehingga sifat yang dijanjikan tidak dapat dipenuhi oleh objek yang bersangkutan. Pola inilah yang membuat Paradoks Tukang Cukur serupa dengan banyak paradoks swa-rujukan lain, meskipun, seperti dijelaskan di bawah, kemiripan ini tidak berarti keduanya setara.

Pseudo-paradoks atau Paradoks Sejati

Pertanyaan mendasar adalah apakah teka-teki ini layak disebut paradoks. Dalam definisi paradoks yang lazim, paradoks adalah argumen dengan premis yang tampak dapat diterima dan penalaran yang tampak sahih, tetapi yang berujung pada kesimpulan yang tidak dapat diterima. Dalam kasus tukang cukur, kesimpulannya, yaitu bahwa tidak ada tukang cukur seperti itu, justru sepenuhnya dapat diterima. Berdasarkan ukuran ini, sebuah analisis menyimpulkan bahwa teka-teki tersebut jelas bukan paradoks dalam arti standar, dan sebagian ahli menyebutnya pseudo-paradoks.

Kesan paradoksal muncul karena cerita mengajak kita menerima premis bahwa tukang cukur itu ada. Begitu premis itu ditolak, kontradiksi menghilang. Ini berbeda dengan paradoks sejati, tempat kita tidak punya alasan yang jelas untuk menolak premis awalnya.

Hubungan dengan Paradoks Russell

Paradoks Russell muncul dalam teori himpunan naif. Jika himpunan R didefinisikan sebagai himpunan semua himpunan yang bukan anggota dirinya sendiri, maka R anggota R jika dan hanya jika R bukan anggota R. Struktur logisnya sama dengan kasus tukang cukur, dengan “mencukur” digantikan oleh “menjadi anggota dari”.

Perbedaan pentingnya terletak pada status asumsi eksistensi. Dalam teori himpunan naif, keberadaan R dijamin oleh prinsip pemahaman (comprehension): setiap sifat yang dapat dirumuskan menentukan sebuah himpunan. Prinsip ini tampak wajar, sehingga kontradiksi yang muncul benar-benar mengguncang fondasi teori. Pada kasus tukang cukur, keberadaan tukang cukur hanyalah asumsi tentang dunia yang bebas kita tolak tanpa kerugian apa pun. Itulah sebabnya Russell mempertanyakan keabsahan analogi ini, dan itu pula sebabnya sebagian pengkaji menyebut teka-teki ini ilustrasi yang menyesatkan jika dianggap setara dengan paradoksnya.

Ambiguitas Frasa Kunci

Analisis yang lebih halus menunjukkan bahwa kesan paradoksal juga dapat berasal dari ambiguitas makna. Frasa “mencukur semua orang yang tidak mencukur dirinya sendiri” dapat dibaca dengan dua cara. Pada pembacaan tak-refleksif, tukang cukur mencukur semua orang lain yang tidak mencukur diri sendiri, sehingga ia sendiri tidak tercakup dalam aturan itu. Pada pembacaan refleksif, aturan mencakup semua orang tanpa terkecuali, termasuk tukang cukur.

Dua pembacaan ini menghasilkan asumsi eksistensi yang berbeda. Pada pembacaan tak-refleksif, tukang cukur seperti itu bisa ada tanpa kontradiksi, misalnya seseorang yang mencukur semua orang lain yang tidak mencukur diri sendiri, sementara dirinya sendiri dicukur oleh orang lain atau mencukur diri sendiri. Kontradiksi hanya muncul pada pembacaan refleksif. Dengan demikian, paradoks ini sebagian lahir dari ketidaktegasan bahasa sehari-hari yang kemudian diperlakukan seolah-olah sebagai rumusan formal.

Struktur Bersama Paradoks Swa-rujukan

Terlepas dari status paradoksnya, bentuk argumen tukang cukur menarik bagi para ahli logika karena mencerminkan pola yang lebih umum. Russell sendiri pada 1908 sudah mengajukan deskripsi struktural tentang paradoks-paradoks swa-rujukan. Belakangan, Graham Priest mengajukan Skema Inklosur (Inclosure Schema) dan berargumen bahwa paradoks swa-rujukan standar, baik semantik maupun teori himpunan, memenuhi struktur yang sama dan karena itu tergolong satu jenis. Pandangan ini memicu tanggapan, misalnya tentang apakah struktur bersama itu menuntut satu solusi yang seragam untuk semua paradoks, dan tentang batas klaim kesatuan tersebut.

Dari sudut pandang matematis, kerangka yang lebih umum menunjukkan bahwa banyak paradoks swa-rujukan, teorema ketaklengkapan, dan teorema titik tetap muncul dari satu skema sederhana yang bertumpu pada argumen diagonal. Dalam kerangka itu, argumen tukang cukur adalah salah satu contoh sederhana dari pola diagonal yang kemudian tampak pula dalam teori komputabilitas dan teori kompleksitas.

Solusi dan Implikasi

Terhadap Paradoks Russell, solusi klasik adalah teori tipe (type theory) yang dikembangkan Russell pada 1908, yang mencegah kontradiksi dengan melarang objek menjadi anggota dari jenis yang sama dengannya. Pendekatan lain adalah aksiomatisasi teori himpunan, seperti sistem Zermelo, yang membatasi prinsip pemahaman sehingga tidak setiap sifat menentukan sebuah himpunan.

Terhadap Paradoks Tukang Cukur, solusinya jauh lebih sederhana: tidak ada tukang cukur seperti itu. Pelajaran yang ditarik dari kasus ini adalah bahwa deskripsi yang tampak koheren dalam bahasa sehari-hari dapat gagal merujuk pada apa pun, dan bahwa analogi populer sebaiknya tidak dianggap sebagai pengganti rumusan formal. Sebagai alat pengajaran, teka-teki tukang cukur tetap berguna untuk memperkenalkan gagasan swa-rujukan, asalkan perbedaannya dengan Paradoks Russell tidak diabaikan.

Referensi

• Grattan-Guinness, I. (1998). Comments on Priest’s analysis of the paradoxes of self-reference. Mind, 107(428), 823–834.
• Priest, G. (1994). The structure of the paradoxes of self-reference. Mind, 103(409), 25–34.
• Raclavský, J. (2014). The Barber Paradox: On its paradoxicality and its relationship to Russell’s paradox. Prolegomena, 13(2), 269–278.
• Russell, B. (1908). Mathematical logic as based on the theory of types. American Journal of Mathematics, 30(3), 222–262.
• Russell, B. (1919). The philosophy of logical atomism. The Monist, 29(3), 345–380.
• Smith, N. J. J. (2000). The principle of uniform solution (of the paradoxes of self-reference). Mind, 109(433), 117–122.
• Yanofsky, N. S. (2003). A universal approach to self-referential paradoxes, incompleteness and fixed points. Bulletin of Symbolic Logic, 9(3), 362–386.