straightforward notions of map-territory correspondence in terms of information compression or predictive power don’t really play well with abstraction. Abstraction is inherently about throwing away information we don’t care about, while map-territory correspondence is inherently about keeping and using all available information. A New York City subway map is intentionally a lossy representation of the territory, it’s obviously throwing out predictively-relevant information, yet it’s still “correct” in some important sense.
Lossless information representation may well be a bad way of cashing out “correspondence”. Unfortunately, that doesn’t leave us with a good way.
Lossless information representation may well be a bad way of cashing out “correspondence”. Unfortunately, that doesn’t leave us with a good way.