Dilema buaya

Dilema buaya berusaha memaparkan sejumlah persoalan logika metapengetahuan. Karena itu, dilema ini memiliki konstruksi yang serupa dengan paradoks gantung tak terduga yang pernah dipakai Richard Montague (1960) untuk mendemonstrasikan bahwa asumsi-asumsi tentang pengetahuan berikut tidak konsisten saat diuji gabungan:
Dilema ini juga sama seperti paradoks pembohong. Sumber-sumber Yunani Kuno adalah yang pertama membahas dilema buaya.