Kimse açıklamadığına göre ve bazılarının edepsizce dalga geçmesine tepki olsun diye kısaca açıklayayım:
Burada çataldan kasıt zoraki iki seçenek olduğudur. Yani bir önermenin yalnızca iki türde olabileceğidir. Buna çatal derler ya da sapan diyen de var.
Peki nedir bu iki önerme? Kim sordu bunu? Harika bir soru. Cevaplayalım:
Bir önerme hume'a göre ya ispatlı (matematiksel önermeler) ya da ihtimal veya olasılıklıdır (yani deneyle doğrulanmaya muhtaç)
Şimdi burada şunu demek istiyor hume:
Hiçbir önerme bu ikisi dışında değildir. Ya 7*7=49 tarzı bir önermedir ya da deneyle doğrulanmaya muhtaçtır. işte bu iki zorunlu seçenek hume'un çatalıdır.