Hello Friend, I just got back from a trip and didn't have much time before that.
friend said:
It's probably more of a faith issue on my part to believe that the most fundamental facts
are absolutely logically consistent with each other. I can't even imagine how to proceed
if such consistency is not the case. I don't know of any sort of reasoning process that
doesn't rely on consistency.
Of course a set of facts that isn't consistent isn't satisfactory, no question about that - we agree on that. But the question I ask is if we should focus on possible states of perfection, or on the PROCESS of improvement?
Ie. which choice of question are likely to be of highest utility to us?
I neither rule out consistency, nor presume it's unique existence (in the sense of realism). I simply suggest a different focus, where the question is making the "best choice" in a case where the "perfect choice" isn't at hand, or identified - it's a game.
But for me the focus is as much on the reasoning process itself rather than the state of reason, because the state of reason changes, and I consider a connection where the lack of perfect consistency in any state of reason, is the basis for expecting change.
I take the lesson to be to try to treat processes and states on the same basis. So that while we might never find perfect consistency in the ordinary sense, one might hope to find a process of increasing the consistency.
I guess I picture something like degrees of consistency, or it might be better called degrees of constructivity - an inconsistent observer will "not survive", so when perturbed it better get back on track, or face destruction. This aims to bring the question of consistency into an evolutionary context.
Since to my understanding all information, knowledge and measures are relative to a context, and I equate this concept to an observer. This means that in my view of things
the question of consistency is the question of survival and persistence. As I see it the laws of nature, are implicit in the makeup of observers and matter. So it makes no sense (I think) to separate the two, except for hte case where you have single out an observer of course. But then the "consistency" of thta observer relative to other observer translates into interactions and ultimately the evolution of hte observer (matter).
This way of reasoning really does put the notion of law, method on an edge as I see it.
friend said:
There have been attempts to derive the laws of physics starting from the consistency
between facts. But these efforts are not complete yet and are not on the arXiv and
are not peer reviewed yet. So what are we to make of the situation if it turns out
that we can indeed derive the Standard Model and General Relativity from this
consistency between facts that we now only take on faith. Would observation then prove
this underlying consistency? Or would this derivation only be a coincidence?
Do I think it is possible to find a choice of statements from which the standard model of particle physics and GR follows from consistency? I think that might well be. But I still think that isn't the best question to ask. It's not the type of questions I want to ask.
Ok, the question is how can all this be turned into constructive mathematics?
I look at the basic notions of distinguishability, and the construction of measures (probability beeing one). I think an analysis of this, will introduce relative measures that come with natural measures such as rating states (entropy) and rating processes (actions) that are more well founded in the foundations of a new logic of probability that what one is feed with from standard physics textbooks. I think out of this a new relation between the continuum and discreteness will follow.
/Fredrik