What Is a Logical or Mathematical Learner