Activity Feed
#5398·Dennis HackethalOP, 2 days agoTyler says “All known programs to date” outsource creative input to the user.
I reply that “Not all programs prompt users for input at runtime”
#5333·Dennis HackethalOP, 4 days agoAs I wrote to him in response, rationality and creativity are different things. They’re related, and there’s overlap, but you don’t need to code creativity to code rational preference formation. You can outsource creative input to the user, as programs usually do.
Tyler says “All known programs to date” outsource creative input to the user.
This is addressed in section 5 of Dennis' paper: The Structure of Rational Thought.
‘How can we rationally proceed when all known ideas have pending criticisms?’
By treating ideas as immutable and discrete, even if content overlaps. For example, as a description of reality, general relativity has pending criticisms. But there are no serious contenders. Instead, take the idea: ‘Although GR has pending criticisms as a true description of reality, it’s an excellent approximation, makes precise predictions, and powers technology such as GPS. So we keep using it until we find a replacement.’ As written, this idea has no pending criticisms, so its advocacy is rational.
This is addressed in section 5 of Dennis' paper: The Structure of Rational Thought.
‘How can we rationally proceed when all known ideas have pending criticisms?’
By treating ideas as immutable and discrete, even if content overlaps. For example, as a description of reality, general relativity has pending criticisms. But there are no serious contenders. Instead, take the idea: ‘Although GR has pending criticisms as a true description of reality, it’s an excellent approximation, makes precise predictions, and powers technology such as GPS. So we keep using it until we find a replacement.’ As written, this idea has no pending criticisms, so its advocacy is rational.
#5384·Benjamin Davies, 2 days agoThis is addressed in section 5 of Dennis' paper: The Structure of Rational Thought.
‘How can we rationally proceed when all known ideas have pending criticisms?’
By treating ideas as immutable and discrete, even if content overlaps. For example, as a description of reality, general relativity has pending criticisms. But there are no serious contenders. Instead, take the idea: ‘Although GR has pending criticisms as a true description of reality, it’s an excellent approximation, makes precise predictions, and powers technology such as GPS. So we keep using it until we find a replacement.’ As written, this idea has no pending criticisms, so its advocacy is rational.
Quote missing italics.
#5394·Benjamin Davies, 2 days ago“There are no serious contenders” is itself merely another conjecture inside the composite idea. It too can be criticised and revised recursively.
#5387·Benjamin Davies, 2 days ago“Serious contender” smuggles comparison of explanations with known flaws back in.
How do we distinguish between serious and unserious contenders?
“There are no serious contenders” is itself merely another conjecture inside the composite idea. It too can be criticised and revised recursively.
#5387·Benjamin Davies, 2 days ago“Serious contender” smuggles comparison of explanations with known flaws back in.
How do we distinguish between serious and unserious contenders?
The criterion excludes comparing the strength of criticisms, not comparison altogether. ‘Serious’ could be binary: does the contender solve the same problems, reproduce GR’s successful predictions, and lack a pending criticism that prevents replacing GR?
Eww American spelling
The wrapper provides no immunity. If X’s flaw defeats the proposed use, that flaw can criticize the new policy too. ‘This bridge design collapses, but keep using it’ is criticized by the danger of collapse. Therefore, not almost any criticized idea becomes adoptable this way.
The wrapper provides no immunity. If X’s flaw defeats the proposed use, that flaw can criticize the new policy too. ‘This bridge design collapses, but keep using it’ is criticised by the danger of collapse. Therefore, not almost any criticized idea becomes adoptable this way.
#5386·Benjamin Davies, 2 days agoThis seems to create a rewording loophole.
Almost any criticised idea could be made adoptable this way: “X has criticisms, but keep using X”
The wrapper provides no immunity. If X’s flaw defeats the proposed use, that flaw can criticize the new policy too. ‘This bridge design collapses, but keep using it’ is criticized by the danger of collapse. Therefore, not almost any criticized idea becomes adoptable this way.
#5386·Benjamin Davies, 2 days agoThis seems to create a rewording loophole.
Almost any criticised idea could be made adoptable this way: “X has criticisms, but keep using X”
‘X is true’ and ‘use X for purpose Y while acknowledging that X is not true’ are different proposals. A criticism of X as a true description does not necessarily criticise its bounded use.
#5385·Benjamin Davies, 2 days agoit’s an excellent approximation
It's an excellent approximation to what? Reality? How do we know that?
This assumes ‘approximation’ means measurable closeness to an unknown final theory. In context, it actually means that GR’s predictions closely approximate observed gravitational behaviour in its tested domains. We can compare predictions with observations without knowing the final theory.
#5384·Benjamin Davies, 2 days agoThis is addressed in section 5 of Dennis' paper: The Structure of Rational Thought.
‘How can we rationally proceed when all known ideas have pending criticisms?’
By treating ideas as immutable and discrete, even if content overlaps. For example, as a description of reality, general relativity has pending criticisms. But there are no serious contenders. Instead, take the idea: ‘Although GR has pending criticisms as a true description of reality, it’s an excellent approximation, makes precise predictions, and powers technology such as GPS. So we keep using it until we find a replacement.’ As written, this idea has no pending criticisms, so its advocacy is rational.
“Serious contender” smuggles comparison of explanations with known flaws back in.
How do we distinguish between serious and unserious contenders?
#5384·Benjamin Davies, 2 days agoThis is addressed in section 5 of Dennis' paper: The Structure of Rational Thought.
‘How can we rationally proceed when all known ideas have pending criticisms?’
By treating ideas as immutable and discrete, even if content overlaps. For example, as a description of reality, general relativity has pending criticisms. But there are no serious contenders. Instead, take the idea: ‘Although GR has pending criticisms as a true description of reality, it’s an excellent approximation, makes precise predictions, and powers technology such as GPS. So we keep using it until we find a replacement.’ As written, this idea has no pending criticisms, so its advocacy is rational.
This seems to create a rewording loophole.
Almost any criticised idea could be made adoptable this way: “X has criticisms, but keep using X”
#5384·Benjamin Davies, 2 days agoThis is addressed in section 5 of Dennis' paper: The Structure of Rational Thought.
‘How can we rationally proceed when all known ideas have pending criticisms?’
By treating ideas as immutable and discrete, even if content overlaps. For example, as a description of reality, general relativity has pending criticisms. But there are no serious contenders. Instead, take the idea: ‘Although GR has pending criticisms as a true description of reality, it’s an excellent approximation, makes precise predictions, and powers technology such as GPS. So we keep using it until we find a replacement.’ As written, this idea has no pending criticisms, so its advocacy is rational.
it’s an excellent approximation
It's an excellent approximation to what? Reality? How do we know that?
#5382·Benjamin Davies revised 2 days agoBy this criterion, it is irrational to adopt or advocate either GR or QM, as they have pending criticisms.
According to every physicist I have heard speak on the matter, GR and QM conflict.
@bart-vanderhaegen has also said to me that GR falsely predicts the orbit of electrons, and QM falsely predicts the mass threshold at which black holes form.
This is addressed in section 5 of Dennis' paper: The Structure of Rational Thought.
‘How can we rationally proceed when all known ideas have pending criticisms?’
By treating ideas as immutable and discrete, even if content overlaps. For example, as a description of reality, general relativity has pending criticisms. But there are no serious contenders. Instead, take the idea: ‘Although GR has pending criticisms as a true description of reality, it’s an excellent approximation, makes precise predictions, and powers technology such as GPS. So we keep using it until we find a replacement.’ As written, this idea has no pending criticisms, so its advocacy is rational.
By this criterion, it is irrational to adopt or advocate either GR or QM, as they have pending criticisms.
By this criterion, it is irrational to adopt or advocate either GR or QM, as they have pending criticisms.
According to every physicist I have heard speak on the matter, GR and QM conflict.
@bart-vanderhaegen has also said to me that GR falsely predicts the orbit of electrons, and QM falsely predicts the mass threshold at which black holes form.
#4902·Dennis HackethalOP revised 4 months agoRational Decision-Making
Expanding on #2112…
If an idea, as written, has no pending criticisms, it’s rational to adopt it and irrational to reject it. What reason could you have to reject it? If it has no pending criticisms, then either 1) no reasons to reject it (ie, criticisms) have been suggested or 2) all suggested reasons have been addressed already.
If an idea, as written, does have pending criticisms, it’s irrational to adopt it and rational to reject it – by reference to those criticisms. What reason could you have to ignore the pending criticisms and adopt it anyway?
Or, simplified:
It is rational to adopt only those ideas which, as written, don’t have pending criticisms, and to reject ideas that do.
By this criterion, it is irrational to adopt or advocate either GR or QM, as they have pending criticisms.
Remove outdated child
I read “two strings” literally. The strings are the only case-specific inputs. A fact read from a database, sensor, or anywhere else is another input, whether or not it appears in the function signature.
No function of those two strings can always provide such a ranking.
The bounty says the code must accept two strings as input. It doesn’t say only or at most or exactly two. But I see now that this may not have been clear – if you think it’ll help, I can edit the bounty to say ‘at least two’.
Also, when I wrote the bounty, I meant input as in ‘part of the function signature’. If the function body later reads from a database or prompts the user for input, that doesn’t in and of itself disqualify the submission.
I read “two strings” literally. The strings are the only case-specific inputs. A fact read from a database, sensor, or anywhere else is another input, whether or not it appears in the function signature.
No function of those two strings can always provide such a ranking.
The bounty says the code must accept two strings as input. It doesn’t say only or at most or exactly two. But I see now that this may not have been clear – if you think it’ll help, I can edit the bounty to say ‘at least two’.
Also, when I wrote the bounty, I meant input as in ‘part of the function signature’. If the function body later reads from a database or prompts the user for input, that doesn’t in and of itself disqualify the submission.
… we cannot avoid guesswork about which changes preserve meaning …
If a good-faith submission prompted the user for answers about changes in meaning or other creative input (within reason), that also would not automatically disqualify the submission. (The proviso “within reason” matters or else bad actors will simply prompt the user to tell the program which explanation is harder to vary. As with all other bounties, any submission will have to meet not just the bounty terms but survive all criticism it may get.)
Here also, I can edit the bounty to clarify that user input at runtime is permissible.
I hope I’ve addressed all reasons the bounty might not be doable, but let me know if I missed something.
Extract separate criticism
I read “two strings” literally. The strings are the only case-specific inputs. A fact read from a database, sensor, or anywhere else is another input, whether or not it appears in the function signature.
No function of those two strings can always provide such a ranking.
The bounty says the code must accept two strings as input. It doesn’t say only or at most or exactly two. But I see now that this may not have been clear – if you think it’ll help, I can edit the bounty to say ‘at least two’.
Also, when I wrote the bounty, I meant input as in ‘part of the function signature’. If the function body later reads from a database or prompts the user for input, that doesn’t in and of itself disqualify the submission.
… we cannot avoid guesswork about which changes preserve meaning …
If a good-faith submission prompted the user for answers about changes in meaning or other creative input (within reason), that also would not automatically disqualify the submission. (The proviso “within reason” matters or else bad actors will simply prompt the user to tell the program which explanation is harder to vary. As with all other bounties, any submission will have to meet not just the bounty terms but survive all criticism it may get.)
Here also, I can edit the bounty to clarify that user input at runtime is permissible.
I hope I’ve addressed all reasons the bounty might not be doable, but let me know if I missed something.
I read “two strings” literally. The strings are the only case-specific inputs. A fact read from a database, sensor, or anywhere else is another input, whether or not it appears in the function signature.
No function of those two strings can always provide such a ranking.
The bounty says the code must accept two strings as input. It doesn’t say only or at most or exactly two. But I see now that this may not have been clear – if you think it’ll help, I can edit the bounty to say ‘at least two’.
Also, when I wrote the bounty, I meant input as in ‘part of the function signature’. If the function body later reads from a database or prompts the user for input, that doesn’t in and of itself disqualify the submission.
#5373·Dennis HackethalOP revised 2 days agoI read “two strings” literally. The strings are the only case-specific inputs. A fact read from a database, sensor, or anywhere else is another input, whether or not it appears in the function signature.
No function of those two strings can always provide such a ranking.
The bounty says the code must accept two strings as input. It doesn’t say only or at most or exactly two. But I see now that this may not have been clear – if you think it’ll help, I can edit the bounty to say ‘at least two’.
Also, when I wrote the bounty, I meant input as in ‘part of the function signature’. If the function body later reads from a database or prompts the user for input, that doesn’t in and of itself disqualify the submission.
… we cannot avoid guesswork about which changes preserve meaning …
If a good-faith submission prompted the user for answers about changes in meaning or other creative input (within reason), that also would not automatically disqualify the submission. (The proviso “within reason” matters or else bad actors will simply prompt the user to tell the program which explanation is harder to vary. As with all other bounties, any submission will have to meet not just the bounty terms but survive all criticism it may get.)
Here also, I can edit the bounty to clarify that user input at runtime is permissible.
I hope I’ve addressed all reasons the bounty might not be doable, but let me know if I missed something.
Bulk idea
Dennis Hackethal updated an untitled discussion.
The title now reads ‘‘Hard to specify’’.
The ‘About’ section changed as follows:
Forgot to mark as criticism
I read “two strings” literally. The strings are the only case-specific inputs. A fact read from a database, sensor, or anywhere else is another input, whether or not it appears in the function signature.
No function of those two strings can always provide such a ranking.
The bounty says the code must accept two strings as input. It doesn’t say only or at most or exactly two. But I see now that this may not have been clear – if you think it’ll help, I can edit the bounty to say ‘at least two’.
Also, when I wrote the bounty, I meant input as in ‘part of the function signature’. If the function body later reads from a database or prompts the user for input, that doesn’t in and of itself disqualify the submission.
… we cannot avoid guesswork about which changes preserve meaning …
If a good-faith submission prompted the user for answers about changes in meaning or other creative input (within reason), that also would not automatically disqualify the submission. (The proviso “within reason” matters or else bad actors will simply prompt the user to tell the program which explanation is harder to vary. As with all other bounties, any submission will have to meet not just the bounty terms but survive all criticism it may get.)
Here also, I can edit the bounty to clarify that user input at runtime is permissible.
I hope I’ve addressed all reasons the bounty might not be doable, but let me know if I missed something.
I read “two strings” literally. The strings are the only case-specific inputs. A fact read from a database, sensor, or anywhere else is another input, whether or not it appears in the function signature.
No function of those two strings can always provide such a ranking.
The bounty says the code must accept two strings as input. It doesn’t say only or at most or exactly two. But I see now that this may not have been clear – if you think it’ll help, I can edit the bounty to say ‘at least two’.
Also, when I wrote the bounty, I meant input as in ‘part of the function signature’. If the function body later reads from a database or prompts the user for input, that doesn’t in and of itself disqualify the submission.
… we cannot avoid guesswork about which changes preserve meaning …
If a good-faith submission prompted the user for answers about changes in meaning or other creative input (within reason), that also would not automatically disqualify the submission. (The proviso “within reason” matters or else bad actors will simply prompt the user to tell the program which explanation is harder to vary. As with all other bounties, any submission will have to meet not just the bounty terms but survive all criticism it may get.)
Here also, I can edit the bounty to clarify that user input at runtime is permissible.
I hope I’ve addressed all reasons the bounty might not be doable, but let me know if I missed something.
I read “two strings” literally. The strings are the only case-specific inputs. A fact read from a database, sensor, or anywhere else is another input, whether or not it appears in the function signature.
No function of those two strings can always provide such a ranking.
The bounty says the code must accept two strings as input. It doesn’t say only or at most or exactly two. But I see now that this may not have been clear – if you think it’ll help, I can edit the bounty to say ‘at least two’.
Also, when I wrote the bounty, I meant input as in ‘part of the function signature’. If the function body later reads from a database or prompts the user for input, that doesn’t in and of itself disqualify the submission.
… we cannot avoid guesswork about which changes preserve meaning …
If a good-faith submission prompted the user for answers about changes in meaning or other creative input (within reason), that also would not automatically disqualify the submission. (The proviso “within reason” matters or else bad actors will simply prompt the user to tell the program which explanation is harder to vary. As with all other bounties, any submission will have to meet not just the bounty terms but survive all criticism it may get.)
Here also, I can edit the bounty to clarify that user input at runtime is permissible.
I hope I’ve addressed all reasons the bounty might not be doable, but let me know if I missed something.
Idea: showing the quickest way to rehabilitate an idea.
Could be a visual feature showing something like the shortest path down a discussion tree where a criticism needs to be addressed.
Or all such branches.
Such a thing has probably been done in graph theory before, could look for existing algorithms.