Drinker Paradox — dikenal juga sebagai drinker's theorem, drinker's principle, atau drinking principle — adalah sebuah teorema dalam logika predikat klasik yang dapat dinyatakan dalam bahasa sehari-hari sebagai berikut: di sebuah pub, selalu ada seseorang sedemikian rupa sehingga jika orang itu sedang minum, maka semua orang di pub itu pun sedang minum. Pernyataan ini dipopulerkan oleh logikawan matematika Raymond Smullyan dalam bukunya What Is the Name of this Book? yang terbit pada 1978, di mana ia menyebutnya sebagai "prinsip minum." Pada pandangan pertama, pernyataan ini tampak menggelikan dan tidak masuk akal — seolah-olah ada satu orang misterius yang secara ajaib mengendalikan kebiasaan minum seluruh pengunjung pub. Namun justru di situlah kekuatan paradoks ini: ia adalah teorema yang benar-benar valid dalam logika klasik, dan kebenarannya dapat dibuktikan secara ketat.
Pembuktian Drinker Paradox sebenarnya sangat sederhana jika kita mengikuti aturan logika predikat klasik. Titik awalnya adalah pengakuan bahwa salah satu dari dua kondisi berikut pasti benar: entah semua orang di pub sedang minum, atau setidaknya ada satu orang yang tidak sedang minum. Tidak ada kemungkinan ketiga. Pada kasus pertama — semua orang minum — maka kita bisa memilih siapa saja secara sembarang sebagai "orang spesial" tersebut. Sebut saja namanya X. Karena semua orang memang sudah minum, pernyataan "jika X minum maka semua orang minum" adalah benar secara trivial — konsekuennya sudah benar tanpa perlu memeriksa anteseden. Pada kasus kedua — ada seseorang yang tidak minum, sebut saja Y — maka Y adalah "orang spesial" kita. Pernyataan "jika Y minum maka semua orang minum" adalah benar bukan karena semua orang minum, melainkan karena anteseden ("Y minum") adalah palsu. Dalam logika material klasik, sebuah kondisional dengan anteseden palsu selalu bernilai benar, terlepas dari nilai konsekuennya. Dalam kedua kasus tersebut, orang yang dimaksud selalu dapat ditemukan — sehingga teorema terbukti.
Sumber dari rasa "paradoksal" dalam Drinker Paradox terletak pada jurang yang dalam antara cara logika formal mendefinisikan pernyataan bersyarat (conditional) dan cara manusia memahaminya dalam bahasa sehari-hari. Ketika seseorang mendengar "jika A maka B," intuisi natural kita adalah bahwa A dan B memiliki hubungan kausal atau relevansi substansial — bahwa A menyebabkan atau relevan dengan B. Dalam logika predikat klasik, tidak ada syarat demikian. Sebuah kondisional "jika P maka Q" — dinotasikan P → Q — semata-mata berarti bahwa tidak mungkin P benar sementara Q salah. Ia tidak mengatakan apa-apa tentang hubungan antara P dan Q. Inilah yang disebut implikasi material: definisi yang murni ekstensional, tidak peduli dengan kausalitas atau relevansi. Kebanyakan orang tanpa latar belakang logika formal akan membaca "jika orang itu minum maka semua orang minum" sebagai klaim kausal yang kuat, padahal dalam logika klasik ia hanyalah sebuah relasi kebenaran yang sangat lemah.
Kritik yang lebih serius terhadap Drinker Paradox datang dari tradisi logika relevansi (relevance logic), sebuah cabang logika non-klasik yang menolak implikasi material sebagai representasi yang memadai dari pernyataan bersyarat. Dalam logika relevansi, sebuah kondisional "jika P maka Q" hanya dianggap benar jika ada hubungan relevansi substansial antara P dan Q — bukan sekadar karena P kebetulan salah atau Q kebetulan benar. Jika kita mengadopsi logika relevansi, maka Drinker Paradox lenyap: tidak ada alasan yang relevan mengapa keadaan minum atau tidak minumnya satu orang harus berimplikasi apapun terhadap keadaan seluruh pengunjung pub. Debat antara logika klasik dan logika relevansi ini bukan sekadar perdebatan teknis — ia menyentuh pertanyaan yang lebih dalam tentang apa sebenarnya yang kita maksud ketika menggunakan kata "jika" dalam penalaran dan komunikasi sehari-hari.
Nilai filosofis dan pedagogis Drinker Paradox terletak tepat di titik ketegangan ini. Ia adalah contoh yang luar biasa bersih dari bagaimana sistem logika formal dapat menghasilkan kesimpulan yang benar secara teknis namun terasa sepenuhnya asing bagi intuisi manusia. Berbeda dengan banyak paradoks lain yang melibatkan kontradiksi tersembunyi atau struktur yang sangat rumit, Drinker Paradox hanya membutuhkan pemahaman dasar tentang logika predikat untuk diverifikasi — namun tetap berhasil mengejutkan hampir semua orang yang pertama kali mendengarnya. Smullyan sendiri menggunakannya bukan untuk membuktikan sesuatu yang misterius tentang dunia, melainkan untuk mendemonstrasikan betapa jauhnya logika formal dari bahasa alami, dan seberapa hati-hati kita harus bersikap ketika mentransfer argumen dari satu domain ke domain lainnya. Dalam konteks yang lebih luas, paradoks ini adalah pengingat bahwa kebenaran formal dan kebenaran intuitif adalah dua hal yang berbeda — dan bahwa sistem apapun, termasuk logika, dibangun di atas asumsi-asumsi yang membatasi dan mendefinisikan apa yang bisa dan tidak bisa diungkapkannya.
← Kembali ke Daftar Paradoks