Dreyfus makes some vague arguments about logic based AI, but he never issues a precise, testable challenge.