- #141
Fra
- 4,208
- 631
So by "soft contradiction" you mean a contradiction that occur only during certain - possible, but improbable - conditions.stevendaryl said:The issue I was talking about when I coined "soft contradiction" wasn't really inductive versus deductive. It was really about how we reason with huge numbers (or very tiny numbers). Let me give a toy example: Suppose I say that
...
I feel that the rules of thumb for using QM may be a similar type contradiction. That recipe consists of
They work very well. However, since measurement devices are themselves quantum systems (even if very complex) and measurements are just ordinary interactions between measurement devices and the systems being measured, these two rules may very well be contradictory. But a detailed analysis of the measuring process as a quantum interaction may infeasible, so actually deriving a contradiction (that everyone would agree was a contradiction) may never happen.
- A rule for how microscopic systems evolve (Schrodinger's equation)
- A rule for how measurements produce outcomes (Born's rule)
Thus the softly flawed inference is justified?
If so, i would still think that relates to the discussion of general inference. I see your case as a possible kind of rational inference of a deductive rule but in an subjectively probabilistic inductive way, and it´s also something that can be generalized.
A possible driving force for a rational agent to abduct an approximative deductive rule, to base expectations and thus action on, is that of limited resources.
A deductive rule that are right "most of the time", can increase the evolutionary advantage of the agent in competition. As the agent can not store all information, it has not choice but to choose, what to store and how, and what to discard.
This is perfectly rational, but it also brings deep doubts on the timeless and observer invariant character of physical law.
I have also considered that this might even be modeled as an evolving system of axioms, where evolution selects for the consistent systems. An agent is associated with its axioms or assumptions. And different systems of axioms can thus be selected among, in terms of effiency of keeping their host agent in business. Meaning, efficient coding structurs for producing expectations of their environment.
This is also a way to see how deductive systems are emergent, and there is then always an evolutionary argument for WHY these axioms etc. Ie. while axioms in principle are CHOICES, the choices are not coincidental. This would then assume a one-2-one mapping between the axioms in the abstraction, and the physical postualtes which are unavoidably part in the mud of reality. In this view, the axioms are thus simply things that "seem to be true so far" but arent be proved, and they serve the purposes of a efficient betting system, but they can be destroyed/deleted whenever inconsistent evidence arrives.
These ideas gives a new perspecive into the "effectiveness of mathematics". Like Smolin also stated in this papers and talks, the deductive systems are effective precisely because they are limited. But to really appreciate this, you must also understand how and why deductive systems are emergent.
/Fredrik
Last edited: