Heh. This is precisely the question, isn’t it? Are logic and mathematics in the territory somewhere or are they the language of the map?
The way I see it is that logic is a territory, my beliefs about logic form a corresponding map, and that map is useful for constructing maps of other territories (and the accuracy of those maps is evidence of the accuracy of the logic map).
Heh. This is precisely the question, isn’t it? Are logic and mathematics in the territory somewhere or are they the language of the map?
The way I see it is that logic is a territory, my beliefs about logic form a corresponding map, and that map is useful for constructing maps of other territories (and the accuracy of those maps is evidence of the accuracy of the logic map).