Activity Feed
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.
#3542·Erik Orrje, 6 days agoElaboration:
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.
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?
#3555·Bart Vanderhaegen, 5 days agoYes. 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.
#3553·Dennis HackethalOP revised 5 days agoIsn'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)
Isn't every theory infinitely underspecified ?
No.
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.
#3549·Bart Vanderhaegen, 5 days agoIsn'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
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.
#3549·Bart Vanderhaegen, 5 days agoIsn'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
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.
#3549·Bart Vanderhaegen, 5 days agoIsn'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.
#3548·Dennis HackethalOP, 5 days agoThe 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
#3547·Bart Vanderhaegen, 5 days agoHow 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.
#3545·Dennis HackethalOP, 5 days agoIt’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 ?
#3543·Bart Vanderhaegen, 6 days agoDo you mean "HTV is underspecified by Deutsch" ? But that is not a criticism ? It does not point to a mistake/ contradiction with HTV ?
"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.
#3543·Bart Vanderhaegen, 6 days agoDo 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.
#3543·Bart Vanderhaegen, 6 days agoDo you mean "HTV is underspecified by Deutsch" ? But that is not a criticism ? It does not point to a mistake/ contradiction with HTV ?
That’s only one of several criticisms.
#3536·Dennis HackethalOP, 6 days agoCriticising 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 ?