[sparsely]

I'm not knowledgeable enough about their works to say anything interesting, but on the philosophy side of this there were a lot of developments in the 20th century, notably the logical positivists (e.g. Carnap) and later Quine.

Quine disagrees with the logical positivists in a way that I find a little tricky to pin down, despite his and their writing being much clearer than "continental" philosophers, but I have found everything I've read from either camp very thought provoking.

[derbOac]

My mind went to Quine as well. One issue is that the empirical world is really some representation of it via human senses, or some consensual agreement on it. I'm not trying to question that there is an external reality, but (along the lines of Quine) one might argue that our understanding of it -- our perception of it, and mental representation of it -- is fundamentally a human representation.

One might argue the same thing about math, that at some level it's fundamentally a human creation. In fact, regardless of your position on this, I think it's maybe safe to argue that if one accepts the legitimacy of the question "why is mathematics so useful in representing the external world?" that person is implicitly accepting the idea that math is at some level a human -- i.e., internal -- construct, otherwise the question wouldn't make sense.

As such, someone might argue that the reason math is so good at representing external reality is because it's part of our representational system for external reality. That is, they're both the same: "external reality" is really "our understanding of external reality" which is in turn part of the same representational system as math.

... at least that's what I think the Quinian perspective would be? He probably wrote about this somewhere but something like that is my guess. I think a more useful discussion might be something like "why does math work at all in prediction?"

One interesting thing that arises from a Quinian take -- and is maybe implied by the essay in the discussion of areas where math doesn't predict well -- is that it's possible that actual reality deviates in significant ways from what is afforded by our current mathematics, that maybe there's some other representational system that would be better. "Mathematics" is sufficiently broad in scope that I think whatever it is would still be subsumed under that label (raising the tautological argument again) but at least the idea is there's possibly some way in which our current mathematical understanding is "off" in a very fundamental way, like at the level of fundamental logic or something.

[meroes]

Thank you. I've been circling this thought process for a while and didn't know if it is completely incoherent.

The thought process began thinking all mathematical equations can be translated to English and vice versa. There must be a shared structure to language and math, or an isomorphism at the least. The effectiveness of mathematics then is more about its conciseness, not that it says anything new about the world we don't have with language.

One "natural" idea is that both our internal representations and external reality depend on spatio-temporal relations. Through sptatio-temporal relations a sound might hit our left ear before our right, or that we have a memory of the past and not the future. Noticing these relations are what are brain is good at, because it too is spatio-temporally laid out. We could then imagine from this base set of relations we construct language and math, to capture them.

But, and I hate to sound cliche, quantum mechanics might be showing relations beyond this picture of spacetime. Does math and language need to add some new relations to its repertoire to capture entanglement and wavefunction collapse? Or can it get there with its current structure? It kind of depends on what QM really is telling us. But how to get there... If math and language were built from only relations our brain and body could sense, maybe we are in danger of making empirically-refutable mathematics. How would that even look I have no idea. I have come across philosophy of mathematics essays saying math is our most global framework, able to accommodate any and all structure thus far, but still open the possibility of empirical refutation.

I don't want to get too "out there", but QM did spell the end for our classical picture of the world. Math gives us the precise statistics (e.g. wavefunctions), but does not tell us the causal story of QM. There are current-mathematics causal stories of QM (bohmian, etc), but they too disrupt our conception of spacetime and relativity. If the world is not spacetime limited, then doesn't that call into question our senses and language and math if they came about in the above method? I'm not entirely sure how the classical picture fits with math and language, but they seem connected to a large degree.

[Koshkin]

> The effectiveness of mathematics then is more about its conciseness

Indeed! Ultimately, this is expressed in mathematical notation - which is necessary if you want math to "just work" for you (almost automagically).

> If math and language were built from only relations our brain and body could sense

Which they, of course, are; hence the whole mystery of the "unreasonable effectiveness" of our "everyday" mathematics (such as linear algebra or complex analysis) in areas unreachable to our senses or to our ability even to imagine things (e.g., the quantum world).

[sparsely]

That's my understanding as well (although I have no idea what his opinion on "external reality" would be - probably that we can't test any theories about it as opposed to the world of human perception, so it isn't a useful idea).

I think the way some philosophers tend to phrase it is that we develop mathematics as a common language which we agree to use to communicate our theories, which we can attempt to verify via perception. Our choice of axioms etc is pretty free, but we tend to pick the ones which are both minimal and most useful for communication and making verifiable predictions.

I think that where the positivists and Quine differ is that the positivists say that once you have chosen axioms, you can make purely analytic statements, whose truth (within that system), only depends on reasoning according to those axioms, as opposed to statements whose truth does depend on our perceptions. Quine disagrees either that this is a useful distinction or that there is any difference at all, I'm not sure.