Kripke's skeptical challenge Yes, but in the thought experiment, you've never done that. The idea is that in real life there's a number you've never added up to before. For the sake of presenting the challenge, we just pick 57. — frank
Ah right. Well, in that case, if I'm disregarding the obvious silliness of the whole thing, then I would think about the sorts of problems I was trying to solve with addition, and think about it those sorts of problems would be solvable by quaddition.
Perhaps I used addition once to count how many apples me and my brother picked together. I picked 5 and he picked 10, so together we picked 15. I'd then think, would quaddition give me the correct answer? In this case, yes, but in the case where one of us picked 57 or more? No, clearly not.
Quaddition doesn't generally solve the sorts of problems I've thus far been using addition to solve, so no, I haven't been doing that.