For an AI that had no need to communicate with other agents, then the idea of truth serves as a succinct term for the map-territory/belief-reality correspondence.
It allows the AI to be more economical/efficient in how it stores information about its maps.
That’s some value.
Saying that a proposition is true, is saying that it’s an accurate description of the territory.
Tarski’s Litany:
“The sentence ‘X’ is true iff X.”
The territory may be physical reality (“‘the sky is blue’ is true”), a formal system (“‘2 + 2 = 4’ is true”), other maps, etc.
Response to the Second Meditation
For an AI that had no need to communicate with other agents, then the idea of truth serves as a succinct term for the map-territory/belief-reality correspondence.
It allows the AI to be more economical/efficient in how it stores information about its maps.
That’s some value.
Saying that a proposition is true, is saying that it’s an accurate description of the territory.
Tarski’s Litany: “The sentence ‘X’ is true iff X.”
The territory may be physical reality (“‘the sky is blue’ is true”), a formal system (“‘2 + 2 = 4’ is true”), other maps, etc.