I reject verificationism. Many meaningful claims are unverifiable, and there may well be illusions we never discover. So I reject Bouwsma’s analysis of the situation. Nevertheless, I think he’s right about the crucial point. The subject in Descartes’s evil-demon scenario is not undergoing an illusion.
