Search Ideas
2199 ideas match your query.:
When ideas “conflict, then at best only one of them can be true.” (P. 39)
Even without a common framework, people usually share problems, “such as the problems of survival.” (P. 38) But even if they don’t, they can still learn from each other. Success “will depend largely on our goodwill, and to some extent also on our historical situation, and on our problem situation.”
A fruitful discussion between people of different frameworks is possible, but we should not expect too much (p. 37).
Don’t expect to find agreement! If we learn “new and interesting arguments”, then even if they are “inconclusive”, the discussion is still fruitful. It can take “time and patience”.
[W]e should look with tolerance and even with respect upon customs or conventional laws that differ from our own.
Popper grants that the myth has a “kernel of truth” (p. 35). A fruitful discussion can be hard without a common framework. But it’s not impossible.
A discussion is fruitful if people learn. The more their views differ, the more they can learn from each other!
Tradition is important, but:
[O]rthodoxy is the death of knowledge, since the growth of knowledge depends entirely on the existence of disagreement.
(defn add [a b](if (zero? b)a(recur (inc a) (dec b))))
If the court can force people to be jurors because it needs jurors, why can’t it also force people to be judges, lawyers, prosecutors, etc? Why can’t it force carpenters to make tables, chairs, and gavels? Etc. Why draw the line at jurors? Seems absurd.
Interesting. Do you think the conflict is always between short vs long-term preferences, or could there be addictive conflicts between two short-term preferences or even two long-term preferences?
When you have program [sic] you can test a concept (incl. whether it is sufficiently defined to allow a program in the first place). But the other way around does not work: "If one does not have a program, then the concept is underspecified".
That isn’t what I said anyway. No disrespect but frankly I don’t think you know what you’re talking about.
I didn’t read the rest of your comment because you keep talking instead of coding. I’ll delete any further comments of yours that don’t contain code that at least tries to meet the bounty terms.
Isn't every theory infinitely underspecified ?
No. For example, the theory of addition is sufficiently specified: we have enough info to implement an algorithm of addition on a computer, then run it, test it, correct errors with it, and so on.
We’re getting off topic. I’m currently running a bounty requesting a working implementation of HTV.
If you think you can beat the bounty, do it. I’m not interested in anything else for now.
Also, I would think that criteria for sufficiency must always be subjective ones (e.g. a working computerprogram [sic] cannot be itself a proof of meeting an some objective sufficiency criterium)?
No, there are objective criteria.
The mistake is insufficiency. If someone gives you a recipe for baking a cake but doesn’t specify ingredients or bake time, that’s a problem.
"HTV is underspecified by Deutsch"
That isn’t a quote. Don’t put things in quotation marks unless they are literal quotations or obviously scare quotes.
It’s a criticism. Deutsch says to use HTV but never explains in sufficient detail how to do that.
Elaboration:
The conflict in addiction is between short-term and long-term solutions.
The preference for short-term in addiction is caused by uncertainty/an inability to make predictions based on explanations.
This uncertainty can be real (e.g. increased heroin addiction during the Vietnam War) or learned from insecurity during one's early years.
I think Lucas is right to reject that fragmentation but I don’t think it happens in the first place.
CR universally describes the growth of knowledge as error correction. When such error correction leads to correspondence with the facts (about the physical world), we call that science. When it doesn’t, we call it something else, like art or engineering or skill-building.
It’s all still error correction. There is no fragmentation due to correspondence.
I think Lucas is right to reject that fragmentation but I don’t think it happens in the first place.
CR universally describes the growth of knowledge as error correction. When such error correction leads to correspondence with the facts (about the physical world), we call that science. When it doesn’t, we call it something else, like art or engineering or skill-building.
It’s all still error correction. There is no fragmentation due to correspondence.
Criticising HTV would anyway be the more important first step. Maybe examples of good theories with some ETV aspects (compared to rejected theories) in them could reveal some more.
That could work, yeah. What other criticisms of HTV can you think of?
To make a new version of #3516, revise the idea. See that pencil button?
Criticising HTV would anyway be the more important first step.
The linked blog post has several criticisms of HTV.
Deutsch’s “hard to vary” is a guideline for criticizing explanations, not a step by step decision algorithm.
But he says to use hard to vary as part of a decision-making algorithm. As quoted in my blog post:
“we should choose between [explanations] according to how good they are…: how hard to vary.”