uwot wrote: ↑Mon Apr 20, 2020 8:58 am
But you do not discover whether the Earth orbits the Sun by interpreting the words.
Of course you do.
Before you can determine whether X orbits Y, you kinda have to determine what it means for one thing to orbit another.
You have to produce a predicate which approximately corresponds to a test procedure. You know - science.
Orbits(X,Y) -> Boolean.
uwot wrote: ↑Mon Apr 20, 2020 8:58 am
The barycentre of Earth and the Sun is roughly 450km from the centre of the Sun. In an object almost 1.4 million km in diameter, that's pretty much bang in the middle.
So according to you 450km from the centre is not the centre, but it is the middle. So that's a Middle(Y) -> Boolean predicate where Y represents. "distance from centre".
At what point does your predicate return false? 4.5 * 10^2km? 10^4? 10^6?
uwot wrote: ↑Mon Apr 20, 2020 8:58 am
So yeah, Earth makes the Sun wobble a bit, but it's reasonable to say that the Earth orbits the Sun.
So now you have a Reasonable(X) -> Boolean predicate.
If the Barycentre is in the middle of the sun, then it's a reasonable thing to say.
If the barycentre is not in the middle of the sun, then it's not a reasonable thing to say.
So, what do you mean by "middle"?
uwot wrote: ↑Mon Apr 20, 2020 8:58 am
Well, it's not by analysing the natural language that you determine the barycentre of a system.
It really depends on whether you think formal languages are "natural" or "unnatural". Personally, I find the terms "natural" and "existing" to be synonymous.
In order to define what a "barycentre" is, you sure need geometrical language and you need a concept for "orbit". However "unnatural" that may seem to you.
Unless you insist that you can conceptualise the notions of "barycentre" and "orbiting" ostensively.
uwot wrote: ↑Mon Apr 20, 2020 8:58 am
The maths will give you a prediction, but you can only discover whether the mathematical prediction is correct by looking at the evidence. There is no equivalent test for murder.
Math is declarative, not imperative - it doesn't give you any vocabulary/expressions/grammatical constructs to talk about "tests" or "testing".
Declarative languages in general prevent you from talking about things like "procedures" - Maths gives you definitions, not tests.
To speak about "test results", "test failures" and "test successes" coherently you need imperatives.
You need memory/state/branching/backtracking - exactly the things Mathematics doesn't have.
Exactly the thing imperative programming languages do.
Explicit control-flow.
uwot wrote: ↑Mon Apr 20, 2020 8:58 am
We've been through this. It is my view that language is contextual. Sometimes you agree with that, sometimes you don't. Which is it today?
Everything is contextual. Even my agreement. To agree on context/reference frame is the step 1 of theory-construction and communication.