Text this: Empiricism, logic, and mathematics :