Hard to Vary or Hardly Usable?
Showing only those parts of the discussion that lead to #3555 and its comments.
See full discussion·See most recent related ideasLog in or sign up to participate in this discussion.
With an account, you can revise, criticize, and comment on ideas.My critique of David Deutsch’s The Beginning of Infinity as a programmer. In short, his ‘hard to vary’ criterion at the core of his epistemology is fatally underspecified and impossible to apply.
Deutsch says that one should adopt explanations based on how hard they are to change without impacting their ability to explain what they claim to explain. The hardest-to-change explanation is the best and should be adopted. But he doesn’t say how to figure out which is hardest to change.
A decision-making method is a computational task. He says you haven’t understood a computational task if you can’t program it. He can’t program the steps for finding out how ‘hard to vary’ an explanation is, if only because those steps are underspecified. There are too many open questions.
So by his own yardstick, he hasn’t understood his epistemology.
You will find that and many more criticisms here: https://blog.dennishackethal.com/posts/hard-to-vary-or-hardly-usable
I think the first question is whether HTV is a real concept (because if real, it is programmable, and via EC to arbitrary precision)
To understand if it’s real, we need to seek counterexamples/ counterarguments, not demand that a program can be written
What would such a program prove ? Not that HTV is real, but also not that we understand something about HTV.
That’s because Deutsch only says : no program = no understanding. That implies having a basic conception programmed can mean that you understand something. Take the season’s example, you could simulate that replacing Gods would not change the fact that they cry but that tears are not the same as rain etc. Granted, this would only be for 1 example, extending HTV to general examples would be needed. But with such basic program, for 1 example theory, we can’t conclude either that we do not understand anything about HTV.
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.
Criticising HTV would anyway be the more important first step.
The linked blog post has several criticisms of HTV.
Do you mean "HTV is underspecified by Deutsch" ? But that is not a criticism ? It does not point to a mistake/ contradiction with HTV ?
It’s a criticism. Deutsch says to use HTV but never explains in sufficient detail how to do that.
How is that a criticism ? What mistake does it point out/ argue for ?
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.
Isn't every theory infinitely underspecified ? Also, I would think that criteria for sufficiency must always be subjective ones (e.g. a working computerprogram cannot be itself a proof of meeting an some objective sufficiency criterium)? So I don't see how insufficiency points to a conflict of ideas/ contradiction
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.
Yes. When you have program 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".
One way to program HTV could be to feed 2 explanations of the same phenomenon (in the form of text strings) to an LLM that is trained on seeking ETV patterns in text (things of the form "and then -all of a sudden- X happened ..." or "and Y (e.g. tears of a God) is kind of like Z (e.g. rain)" ) and seeking HTV patterns in text (e.g. Y happened because of X, with the LLM evaluating whether it is actual causation, whether if X did not happen, Y could not happen).And then the LLM could rank score the HTV-ness of each string (as a first approximation)
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.