Would you say that you are expressing a difference in the territories covered by physics and math, in our existing maps of physics and math, in any potential map of physics and math, or in our methods of constructing the maps?
I think the answer to your question is “method of construction.”
In principle, a Cartesian skeptic should be able generate the same map of “Math” that we use. In contrast, there is no reason that a Cartesian skeptic’s map of Physics would have any resemblance to the territory at all. (I accept that it is hard to see what could motivate a Cartesian skeptic to generate Math).
I’m almost tempted to say that for a priori truths, the map is the territory. I hesitate because I’m not confident I am using the metaphor correctly.
In principle, a Cartesian skeptic should be able generate the same map of “Math” that we use. In contrast, there is no reason that a Cartesian skeptic’s map of Physics would have any resemblance to the territory at all. (I accept that it is hard to see what could motivate a Cartesian skeptic to generate Math).
I am not convinced this is the case. How do we pick which axioms to use, except by comparison to reality? Certainly, this is how it historically happened.
After describing all possible physics models, the skeptic still has no idea which is right.
In contrast, all the math articulated is right. (There are probably some caveats I should make, like no inconsistent axioms, and some reference to Godel, but I suspect I don’t know enough actual math to make all the necessary caveats).
I’m almost tempted to say that for a priori truths, the map is the territory. I hesitate because I’m not confident I am using the metaphor correctly.
This definitely seems to be a slip up in application of the metaphor. The map is my beliefs, the territory is truth. I know from experience that I can believe something to be a mathematical truth, only to thereafter find a mistake in my proof—I don’t expect “the statement was true for as long as your map represented it” is actually your position.
I think the answer to your question is “method of construction.”
In principle, a Cartesian skeptic should be able generate the same map of “Math” that we use. In contrast, there is no reason that a Cartesian skeptic’s map of Physics would have any resemblance to the territory at all. (I accept that it is hard to see what could motivate a Cartesian skeptic to generate Math).
I’m almost tempted to say that for a priori truths, the map is the territory. I hesitate because I’m not confident I am using the metaphor correctly.
I am not convinced this is the case. How do we pick which axioms to use, except by comparison to reality? Certainly, this is how it historically happened.
What can’t the skeptic say “If you accept the Axiom of Choice, here’s what follows. If you reject the Axiom of Choice, this follows instead.”
And you are right that I misused the map/territory metaphor.
Why can’t the skeptic similarly say, “If you accept that there is a particle at..., here is what follows; otherwise, this follows instead”?
After describing all possible physics models, the skeptic still has no idea which is right.
In contrast, all the math articulated is right. (There are probably some caveats I should make, like no inconsistent axioms, and some reference to Godel, but I suspect I don’t know enough actual math to make all the necessary caveats).
I am not certain that the same objection cannot be made to math, but I at least follow what your objection is.
This definitely seems to be a slip up in application of the metaphor. The map is my beliefs, the territory is truth. I know from experience that I can believe something to be a mathematical truth, only to thereafter find a mistake in my proof—I don’t expect “the statement was true for as long as your map represented it” is actually your position.