Paradoks ini adalah versi epistemik dari Liar Paradox. Alih-alih "kalimat ini salah", kita pakai "kalimat ini tidak diketahui". Jika seseorang mengetahui kalimat ini benar, maka kalimat itu salah — kontradiksi. Maka tidak ada yang tahu kebenarannya. Tapi jika benar bahwa tidak ada yang tahu, maka kalimat itu benar — dan seharusnya bisa diketahui.
Paradoks ini mengekspos ketegangan dalam logika epistemik: sistem yang memungkinkan penalaran tentang pengetahuan diri sendiri (self-referential knowledge) rentan runtuh. Solusinya melibatkan pembatasan pada operator pengetahuan, mirip dengan cara Tarski membatasi predikat kebenaran.
← Kembali ke Daftar Paradoks