Actually they *are* lost. If you lose your private key, nobody else will be able to spend them anymore.
So, their value will go in the still existing bitcoins.
The fact is that it is hard to distinguish between a "lost" bitcoin and a simply "held" one. You can just do it statistically.