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).
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).