Text this: Empiricism, logic and mathematics :