Interesting you would point that out. I was doing a bit of reading on a site before making this post that used a similar example.
I might have inadvertently stolen that example from somewhere. We probably read the same things (e.g. the SEP article) as I didn't know anything about presuppositions before I started working on this paper
Could you expand a bit on why you think it can't be justified and why you think this isn't a problem?
Sure, though it's going to go wildly off topic - at least in a sense. I mean, your OP deals with scepticism, so it's not that crazy off topic.
But anyway, like I said I'm a neo-Moorean safety theoriest. The neo-Moorean means that I follow in the footsteps of G.E. Moore and claim that we can know the negation of sceptical hypothesis. In other words, we can know that we're not brains-in-vats. The safety theorist part explains how this is so.
Safety is a constraint on knowledge - it's what I (and others) call an anti-luck condition. We don't want beliefs that are only luckily true to count as knowledge, and this is where safety comes in. A belief is safe if and only if the belief couldn't easily have been false. This is a modal notion, meaning we look at nearby possible worlds to determine whether the belief is safe or not. If the belief is false in most or all of those nearby worlds, then it could have easily been false - and thus unsafe (so it wouldn't be in the market for knowledge).
But if the world is pretty much how it appears to be, then a world in which we're BIVs is very, very remote. In other words, it would be radically different from the actual world. In that case, our belief that we aren't being radically deceived would count as knowledge. After all, it's safe and it meets other requirements for knowledge.
The problem here is that belief can't be justified - I mean, how could it? In other words, we don't have any reason to think that belief is true (this is a very broad notion of justification). Some people find this a really unsatisfying answer to the sceptical challenge for knowledge. But I argue that these people don't properly understand the challenge. (I won't go into detail here, but feel free to ask me on my profile or create a separate thread on scepticism if you want.) This does create a bit of a worry, though - which is cashed out in the notion of epistemic angst. Basically, it's the conjunction of a piece of knowledge without any sort of reason for believing this piece of knowledge - i.e., that we're not being radically deceived.
I don't see this as a genuine problem, though - at least for an account of knowledge. Epistemic angst turns out to be a pretty common phenomenon that presents in a variety of ways. The sceptical challenge is special, to be fair, but it's a theoretical constraint on an account of knowledge - not a genuine epistemic concern.
I suppose (pun?) that I've given one possible justification in the from of utility.
This ties into the (broadly) pragmatist theory of truth. What is true is what is expedient to believe. Sounds like you want to move this notion back, though, and say that what is justified is what is expedient to belief. I'll need to have a think about that, but since I'm not sure I'm even representing your position accurately, I'll let you fill in the details before I respond.