Search Ideas

Ben explored and addressed this criticism in more detail, see #5382.

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 criticised idea becomes adoptable this way.

I reply that “Not all programs prompt users for input at runtime”

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.

Quote missing italics.

This does not identify an error in #5387. It only says ‘there are no serious contenders’ can be criticised, which is exactly what #5387 is doing.”

“There are no serious contenders” is itself merely another conjecture inside the composite idea. It too can be criticised and revised recursively.

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?

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.

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.

‘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.

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.

“Serious contender” smuggles comparison of explanations with known flaws back in.

How do we distinguish between serious and unserious contenders?

This seems to create a rewording loophole.

Almost any criticised idea could be made adoptable this way: “X has criticisms, but keep using X”

it’s an excellent approximation

It's an excellent approximation to what? Reality? How do we know that?

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.

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.

By this criterion, it is irrational to adopt or advocate either GR or QM, as they have pending criticisms.

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.

Bulk idea

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.