rbj said:
i know that the formal discussion of what is truly real and what is not is "ontology" (venesch's usage, not yours), but as soon as i hear (or read) that word in the context of physical science or engineering or similar, i usually run away. i am assuming we're getting past some of these deeper philosophical issues like Descartes or whether or not I'm in the Truman Show or am just a brain in some mad scientiest's laboratory and he (or the purple blob or the "god") is just applying stimulus and i am (more accurately, my disembodied brain is) reacting to this stimulus.
Ok, if we take on this hypothesis, then what we take for ontologically real must be the formal elements of our theory that are supposed to be charged with a physical meaning, right ?
if we get well past that, i really think, and have defended, that fundamental physical quantities that we perceive or measure (which is just an extension of precision of what we perceive) are real numbers. (our measurements are rational, too, but i am not saying that the actual physical quanities the measurements are meant to measure are, themselves, rational.)
You are jumping back and fro again. What do you consider real now ? Only *observable* things (that is, observations), or "the formal thing these observations try to approach" ?
Because in the first case, we are NOT in the paradigm you previously seemed to accept (namely that there is a genuine real world out there that is more or less correctly described by our theories), and you only accept "observations" without any "background to them". In that case, we are - as you accept - not ever measuring genuine real numbers, but at best are counting.
However, if you accept the "reality of the formal entity behind the measurement", then you have to accept, well, the formal entity as it is, in its most observer-independent notion as it is present in the theory. In other words, you cannot accept the coordinate system, and reject the manifold !
additionally, if there is some hypothetical and "hidden" physical quantity, like a deBroglie wave, that is, in our physical equations, a complex quantity, the actual effect of such hypothetical quantity actually manifests itself as real (probability and expectation values) and such equations can be restated, albeit less elegantly, as pairs or sets of equations of real variables. I'm not recommending that we do physics that way, we should use the elegant and concise and well-established quantitative laws having complex variables, but when you apply such to a real physical context (an experiment), it is still real quantities that you are looking for. (the complex results you might ultimately view are constructed from real measurements of real numbered quantities.)
I think you've just DEFINED that what you consider as real, are formal elements that are represented by real numbers. That definition doesn't hold any water in the case that the natural formal structure is not the real numbers system, such as a vector or a complex quantity.
real numbers have properties that do make them more "real", or congruent to reality (without getting too philosophical about what we mean by "reality"), than what they've been calling "imaginary numbers".
You are just *using* real numbers as your DEFINITION of what you take to be "ontological reality", thereby removing from the latter term its philosophical meaning. In that case, Hurkyl is as entitled as you to also redefine it, and take imaginary numbers.
Redefining a term is not the same as giving an argument of why the original definition of the word should correspond to the concept of your definition !