“There is nothing for the correspondence theory of truth to correspond to” is a feature, not a bug. Because this is one of those philosophical debates which is really just a choice of definition. “Something is true if it corresponds to reality” is just a definition, and definitions don’t have truth* value.
*truth defined in a way that I think is pretty useful to define it, which is what we’re usually looking for when we pick definitions.
“There is nothing for the correspondence theory of truth to correspond to” is a feature, not a bug. Because this is one of those philosophical debates which is really just a choice of definition. “Something is true if it corresponds to reality” is just a definition, and definitions don’t have truth* value.
*truth defined in a way that I think is pretty useful to define it, which is what we’re usually looking for when we pick definitions.