Cox’s theorem seems to be pretty important to you guys but it’s looking kind of weak right now with Halpern’s counter-example so I was wondering: what implications does Cox’s theorem not being true have for LessWrong? There seem to be very few discussions in LessWrong about alternative formulations for fixing probability theory as extended logic in light of Halpern’s paper. I find this quite surprising given how much you all talk about Jaynes-Cox probability theory. I asked a question about it myself, but to no avail: https://www.lesswrong.com/posts/x7NyhgenYe4zAQ4Kc/has-van-horn-fixed-cox-s-theorem

Thanks!

New Answer
Ask Related Question
New Comment

3 Answers

No.  https://www.lesswrong.com/posts/bAQDzke3TKfQh6mvZ/halpern-s-paper-a-refutation-of-cox-s-theorem  

The general "method of rationality" does not require any specific theorem to be true.  Rationality will work so long as the universe has causality.  All rationality is saying that, given actions an agent can take have some causal effect on the outcome the universe will take, the agent can estimate the optimal outcome for the agent's goals.  And the agent should do that by definition as this is what "winning" is.  

We have many demonstrated such agents today, from simple control systems to cutting edge deep learning game-players.  And we as humans should aspire to act as rationally as we can.

This is where non-mainstream actions come into play, for example cryonics is rational, taking risky drugs that may slow aging is rational, and so on.  This is because the case for them is so strong that any rational approximation of the outcome of your actions says you should be doing these things.  Another bit of non-mainstream thought is we don't have to be certain of an outcome to chase it.  For example, if cryonics has a 1% chance of working, mainstream thought says we should just take the 99% case of it failing as THE expected outcome, declare it "doesn't work", and not do it.  But a 1% chance of not being dead is worth the expense for most people.

No theorems are required, only that the laws of physics allow for us to rationally compute what to do.  [note that religious beliefs state the opposite of this.  For example, were an invisible being pulling the strings of reality, then merely "thinking" in a way that being doesn't like might cause that being to give you bad outcomes.  mainstream religions contain various "hostile to rationality" memes, some religions state you should stop thinking, others that you should "take it on faith" that everything your local church leader states is factual, and so on.]

The general “method of rationality” does not require any specific theorem to be true. Rationality will work so long as the universe has causality. All rationality is saying that, given actions an agent can take have some causal effect on the outcome the universe will take, the agent can estimate the optimal outcome for the agent’s goals. And the agent should do that by definition as this is what “winning” is

And the agent can learn to do that better. In a universe where intuition and practical experience beat explicit reasoning, there is no point in teac... (read more)

1Gerald Monroe21dOr normal people are just wrong. This is one of the tenants of rationality. If the best information available and the best method for assessing probability clear says something different than "mainstream" opinions, then probably the mainstream is simply wrong. During the pandemic there were many examples of this, since modeling an exponential process is something that is easy to do with math but mainstream decision makers often failed to follow the predictions, using usually linear models or incorrect "Intuition and practical experience". As a side note there's many famous examples where this fails, usually intuition or practical experience fails when contrasted with well collected large scale data. I should say it technically always fails. Another element of rationality is it's not enough to be right you have to have made the right conclusion. As an example it is incorrect to hit on 20 on black jack even if you win the hand you are still wrong to do it, unless you have a way of seeing the next card. (Or in more explicit terms the policy you use needs to be evidence based and the best available, and it's effectiveness measured over large data sets not local and immediate term outcomes. This means that sometimes having the best chance of winning means you lose) As for a "hell world", known human history has had very few humans living in "hell" conditions for long. And someone can make new friends and family. So these objections are not rational.
1TAG18dWrong about their values, or wrong about the actions they should take to maximize their values? Is it inconceivable that someone with strong preferences for maintaining their social connections, etc., could correctly reject cryonics? But you can still have a preference for experiencing zero torture.
1Gerald Monroe18dWrong about the actions they should take to maximize their values. It's inconceivable because it's a failure of imagination. Someone who has many social connections now will potentially able to make many new ones then were they to survive cryo. Moreover reflecting on past successes requires one to still exist to remember Could a human exist that should rationally say no to cryo? In theory yes but probably none have ever existed. As long as someone extracts any positive utility at all from a future day of existing then continuing to exist is better than death. And while yes certain humans live in chronic pain any technology able to rebuild a cryo patient can almost certainly fix the problem causing it.
-1TAG18dWaking from cryo is equivalent to exile. Exile is a punishment.
1Gerald Monroe18dYes. Doesn't matter though. Could a human exist that should rationally say no to cryo? In theory yes but probably none have ever existed. As long as someone extracts any positive utility at all from a future day of existing then continuing to exist is better than death. And while yes certain humans live in chronic pain any technology able to rebuild a cryo patient can almost certainly fix the problem causing it. You need to say our of 100 billion humans someone lived who has a problem that can't be fixed that suffers more existing than not. This is a paradox and I say none exist as all problems are brain or body faults that can be fixed.
1TAG18dYou are assuming selfishness. A person has to trade off the cost of cryo against the benefits of leaving money to their family, or charity. Now assuming benevolent motivations.

No, Less Wrong is probably not dead without Cox's theorem, for several reasons.

It might turn out that the way Cox's theorem is wrong is that the requirements it imposes for a minimally-reasonable belief system need strengthening, but in ways that we would regard as reasonable. In that case there would still be a theorem along the lines of "any reasonable way of structuring your beliefs is equivalent to probability theory with Bayesian updates".

Or it might turn out that there are non-probabilistic belief structures that are good, but that they can be approximated arbitrarily closely with probabilistic ones. In that case, again, the LW approach would be fine.

Or it might turn out probabilistic belief structures are best so long as the actual world isn't too crazy. (Maybe there are possible worlds where some malign entity is manipulating the evidence you get to see for particular goals, and in some such worlds probabilistic belief structures are bad somehow.) In that case, we might know that either the LW approach is fine or the world is weird in a way we don't have any good way of dealing with.

Alternatively, it might happen that Cox's theorem is wronger than that; that there are human-compatible belief structures that are, in plausible actual worlds, genuinely substantially different from probabilities-and-Bayesian-updates. Would LW be dead then? Not necessarily.

It might turn out that all we have is an existence theorem and we have no idea what those other belief structures might be. Until such time as we figure them out, probability-and-Bayes would still be the best we know how to do. (In this case I would expect at least some LessWrongers to be working excitedly on trying to figure out what other belief structures might work well.)

It might turn out that for some reason the non-probabilistic belief structures aren't interesting to us. (E.g., maybe there are exceptions that in some sense amount to giving up and saying "I dunno" to everything.) In that case, again, we might need to adjust our ideas a bit but I would expect most of them to survive.

Suppose none of those things is the case: Cox's theorem is badly, badly wrong; there are other quite different ways in which beliefs can be organized and updated, that are feasible for humans to practice and don't look at all like probabilities+Bayes, and that so far as we can see work just as well or better. That would be super-exciting news. It might require a lot of revision of ideas that have been taken for granted here. I would expect LessWrongers to be working excitedly on figuring out what things need how much revision (or discarding completely). The final result might be that LessWrong is dead, at least in the sense that the ways of thinking that have been common here all turn out to be very badly suboptimal and the right thing is to all convert to Mormonism or something. But I think a much more likely outcome in this scenario is that we find an actually-correct analogue of Cox's theorem, which tells us different things about what sorts of thinking might be reasonable, and it still involves (for instance) quantifying our degrees of belief somehow, and updating them in the light of new evidence, and applying logical reasoning, and being aware of our own fallibility. We might need to change a lot of things, but it seems pretty likely to me that the community would survive and still be recognizably Less Wrong.

Let me put it all less precisely but more pithily: Imagine some fundamental upheaval in our understanding of mathematics and/or physics. ZF set theory is inconsistent! The ultimate structure of the physical world is quite unlike the GR-and-QM muddle we're currently working with! This would be exciting but it wouldn't make bridges fall down or computers stop computing, and people interested in applying mathematics to reality would go on doing so in something like the same ways as at present. Errors in Cox's theorem are definitely no more radical than that.

Some comments are truncated due to high volume. (⌘F to expand all)Change truncation settings

Or succinctly: to be the "least wrong" you need to be using the measured best available assessment of projected outcomes.  All tools available are approximations anyway and the best tools right now are 'black box' deep learning methods which we do not know exactly how they arrive at their answers.

This isn't a religion and this is what a brain or any other known form of intelligence, artificial or natural, does.  

I would expect LessWrongers to be working excitedly on figuring out what things need how much revision (or discarding completely)

I'd expect them to shoot the messenger!

2gjm23dWhy?
-2TAG22dBecause it's already happening, and that's what they are doing. I just got two downvotes for pointing it out.
5gjm22dI didn't downvote you and don't claim any unique insight into the motives of whoever did, but I know I did think "that seems a low-effort low-quality comment", not because I think what you say is untrue (I don't know whether it is or not) but because you made a broad accusation and didn't provide any evidence for it. So far as I can tell, the only evidence you're offering now is that your comment got downvoted, which (see above) has other plausible explanations other than "because LW readers will shoot the messenger". The obvious candidate for "the messenger" here would be Haziq Muhammad, but I just checked and every one of his posts and comments has a positive karma score. This doesn't look like messenger-shooting to me. What am I (in your opinion) missing here?
1TAG22dIt's being going on much longer than that. The classic is : "Comment author: Eliezer_Yudkowsky 05 September 2013 07:30:56PM 1 point [-] Warning: Richard Loosemore is a known permanent idiot, ponder carefully before deciding to spend much time arguing with him." Richard Loosemore is, in fact, a professional AI researcher. http://www.richardloosemore.com/ [http://www.richardloosemore.com/]
2gjm21dSo your evidence that "LW readers will shoot the messenger" is that one time Eliezer Yudkowsky called a professional AI researcher a "known permanent idiot"? This seems very unconvincing. (1) There is no reason why someone couldn't be both an idiot and a professional AI researcher. (I suspect that Loosemore thinks Yudkowsky is an idiot, and Yudkowsky is also a professional AI researcher, albeit of a somewhat different sort. If either of them is right, then a professional AI researcher is an idiot.) (2) "One leading LW person once called one other person an idiot" isn't much evidence of a general messenger-shooting tendency, even if the evaluation of that other person as an idiot was 100% wrong.
-1TAG21dAnd your evidence is? In probablistic terms, the person who has all three of qualifications, practical experience and published work, is less likely to be an idiot.
2gjm21dMy evidence for what? Yes, I agree that AI researchers are less often idiots than randomly chosen people. It's still possible to be both. For the avoidance of doubt, I'm not claiming that Loosemore is an idiot (even in the rather loose sense that I think EY meant); maybe he is, maybe he isn't. The possibility that he isn't is just one of the several degrees of separation between your offered evidence (EY called someone an idiot once) and the claim it seems to be intended to support (LW readers in general will shoot the messenger if someone turns up saying something that challenges their opinions).
-1TAG18dYour evidence for the contrary claim. That's an objection that could be made to anything. There is still no evidence for the contrary claim that lesswrong will abandon long held beliefs quickly and willingly.
2gjm18dOh, you mean my claim that if someone comes along with an outright refutation of the idea that belief-structures ought to be probability-like then LWers would be excitedly trying to figure out what they could look like instead? I'm not, for the avoidance of doubt, making any claims that LWers have particularly great intellectual integrity (maybe they do, maybe not) -- it's just that this seems like the sort of question that a lot of LWers are very interested in. I don't understand what you mean by "That's an objection that could be made to anything". You made a claim and offered what purported to be support for it; it seems to me that the purported support is a long way from actually supporting the claim. That's an objection that can be made to any case where someone claims something and offers only very weak evidence in support of it. I don't see what's wrong with that. I'm not making any general claim that "lesswrong will abandon long held beliefs quickly and willingly". I don't think I said anything even slightly resembling that. What I think is that some particular sorts of challenge to LW traditions would likely be very interesting to a bunch of LWers and they'd likely want to investigate.
1TAG18dWho gets to decide what's outright?Reality isn't a system where objective knowledge just pops up in people's brains , it's a system where people exchange arguments , facts and opinions , and may or may not change their minds. There are still holdouts against evolution,relativity, quantum, climate change, etc. As you know. And it seems to them ..it seems to them that they are being objective and reasonable. From the outside, they are biased towards tribal beliefs. How do you show that someone is not? Not having epistemic double standards would be a good start ..
4gjm17dI entirely agree that it's possible that someone might come along with something that is in fact a refutation of the idea that a reasonable set of requirements for rational thinking implies doing something close to probability-plus-Bayesian-updating, but that some people who are attached to that idea don't see it as a refutation. I'm not sure whether you think that I'm denying that (and that I'm arguing that if someone comes along with something that is in fact a refutation, everyone on LW will necessarily recognize it as such), or whether you think it's an issue that hasn't occurred to me; neither is the case. But my guess -- which is only a guess, and I'm not sure what concrete evidence one could possibly have for it -- is that in most such scenarios at least some LWers would be (1) interested and (2) not dismissive. I guess we could get some evidence by looking at how similar things have been treated here. The difficulty is that so far as I can tell there hasn't been anything that quite matches. So e.g. there's this business about Halpern's counterexample to Cox; this seems to me like it's a technical issue, to be addressed by tweaking the details of the hypotheses, and the counterexample is rather far removed from the realities we care about. The reaction here has been much more "meh" than "kill the heretic", so far as I can tell. There's the fact that some bits of the heuristics-and-biases stuff that e.g. the Sequences talk a lot about now seem doubtful because it turns out that psychology is hard and lots of studies are wrong (or, in some cases, outright fraudulent); but I don't think much of importance hangs on exactly what cognitive biases humans have, and in any case this is a thing that some LW types have written about, in what doesn't look to me at all a shoot-the-messenger sort of way. Maybe you have a few concrete examples of messenger-shooting that are better explained as hostile reaction to evidence of being wrong rather than as hostile reaction to
1TAG13dBetter explained in whose opinion? Comfirmation bias will make you see neutral criticism as stack, because that gives you areason to reject it.
2gjm13dBetter explained in your opinion, since I'm asking you to give some examples. Obviously it's possible that you'll think something is a neutral presentation of evidence that something's wrong, and I'll think it's an attack. Or that you'll think it's a watertight refutation of something, and I won't. Etc. Those things could happen if I'm too favourably disposed to the LW community or its ideas, or if you're too unfavourably disposed, or both. In that case, maybe we can look at the details of the specific case and come to some sort of agreement. If you've already decided in advance that if something's neutral then I'll see it as an attack ... well, then which of us is having trouble with confirmation bias in that scenario?
1TAG13dAnyone can suffer from confirmation bias. How can you tell you're not? Here's a question: where are the errata? Why has lesswrong never officially changed its mind about anything?
2gjm13dI don't understand your first question. I can't tell that I'm not, because (as you say) it's possible that I am. Did I say something that looked like "I know that I am not in any way suffering from confirmation bias"? Because I'm pretty sure I didn't mean to. Also, not suffering from confirmation bias (in general, or on any particular point) is a difficult sort of thing to get concrete evidence of. In a world where I have no confirmation bias at all regarding some belief of mine, I don't think I would expect to have any evidence of that that I could point to. What official LW positions would you expect there to be errata for? (Individual posts on LW sometimes get retracted or corrected or whatever: see e.g. "Industry Matters 2: Partial Retraction [https://www.lesswrong.com/posts/YBrczJ3XFq4dDxata/industry-matters-2-partial-retraction] " where Sarah Constantin says that a previous post of hers was wrong about a bunch of things, or "Using the universal prior for logical uncertainty (retracted) [https://www.lesswrong.com/posts/D25HE2znAKFp5WKk9/using-the-universal-prior-for-logical-uncertainty-retracted] " where cousin_it proposed something and retracted it when someone found an error. I don't know whether Scott Alexander is LW-adjacent enough to be relevant in your mind, but he has a page of notable mistakes he's made [https://astralcodexten.substack.com/p/mistakes]. But it sounds as if you're looking more specifically for cases where the LW community has strongly committed itself to a particular position and then officially decided that that was a mistake. I don't know of any such cases, but it's not obvious to me why there should be any. Where are your errata in that sense? Where are (say) Richard Feynman's? If you have in mind some concrete examples where LW should have errata, they might be interesting.)
1TAG13dGood grief... academics revise and retract things all the times. The very word "errata" comes from.the world of academic publishing! I've already told you.
2gjm13dYup, academics revise and retract things. So, where are Richard Feynman's errata? Show me. The answer, I think, is that there isn't a single answer to that question. Presumably there are some individual mistakes which he corrected (though I don't know of, e.g., any papers that he retracted) -- the analogues of the individual posts I listed a few of above. But I don't know of any case where he said "whoops, I was completely wrong about something fundamental", and if you open any of his books I don't think you'll find any prominent list of mistakes or anything like that. As you say, science is noted for having very good practices around admitting and fixing mistakes. Feynman is noted for having been a very good scientist. So show me how he meets your challenge better than Less Wrong does. No, you haven't "already told me" concrete examples. You've gestured towards a bunch of things you claim have been refuted, but given no details, no links, nothing. You haven't said what was wrong, or what would have been right instead, or who found the alleged mistakes, or how the LW community reacted, or anything. Unless I missed it, of course. That's always possible. Got a link?
1TAG13dEinstein admitted to a "greatest mistake".
2gjm13dSo did Eliezer Yudkowsky [https://www.lesswrong.com/posts/BA7dRRrzMLyvfJr9J/my-best-and-worst-mistake]. What's your point?
1TAG12dI am using lesswrong exclusively of the codexes.
1TAG13dI'm specifically referencing RAZ/ the Sequences. Maybe theyre objectively perfect, and nothing of significance has happened in ten years.. As I'm forever pointing out, there are good objections to many of the postings in the sequences from well informed people , to be found in the comment s...but no one has admitted that a single one is actually right, no one has attempted to go back and answer them, and they simply disappear from RAZ.
2gjm13dOK, we have a bit of a move in the direction of actually providing some concrete information here, which is nice, but it's still super-vague. Also, your complaint now seems to be entirely different from your original complaint. Before, you were saying that LW should be expected to "shoot the messenger". Now, you're saying that LW ignores the messenger. Also bad if true, of course, but it's an entirely different failure mode. So, anyway, I thought I'd try a bit of an experiment. I'm picking random articles from the "Original Sequences" (as listed in the LW wiki), then starting reading the comments at a random place and finding the first substantial objection after there (wrapping round to the start if necessary). Let's see what we find. * "Timeless Identity": user poke says EY is attacking a strawman when he points out that fundamental particles aren't distinguishable, because no one ever thinks that our identity is constituted by the identity of our atoms, because everyone knows that we eat and excrete and so forth. * In the post itself, EY quotes no less a thinker than Derek Parfit arguing that maybe the difference between "numerical identity" and "qualitative identity" might be significant, so it can't be that strawy; and the point of the post is not simply to argue against the idea that our identity is constituted by the identity of our atoms. So I rate this objection not terribly strong. It doesn't seem to have provoked any sort of correction, nor do I see why it should have; but it also doesn't seem to have provoked any sort of messenger-shooting; it's sitting at +12. * "Words as Hidden Inferences": not much substantive disagreement. Nearest I can find is a couple of complaints from user Caledonian2, both of which I think are merely nitpicks. * "The Sacred Mundane": user Capla disagrees with EY's statement that when you start with religion and take away the concrete errors of fact
1TAG13dAt least I've got you thinking. I previously gave you a short list of key ideas. Auman, Bayes, Solomonoff, and so on. No, it's not very different. Shooting the messenger, ignoring the messenger, and and quietly updating without admitting it, are all ways that confirmation bias manifests. Aren't you supposed to know about this stuff?
6gjm13dYes, you gave me a "short list of key ideas". So all I have to do to find out what you're actually talking about is to go through everything anyone has ever written about those ideas, and find the bits that refute positions widely accepted on Less Wrong. This is not actually helpful. Especially as nothing you've said so far gives me very much confidence that the examples you're talking about actually exist; one simple explanation for your refusal to provide concrete examples is that you don't actually have any. I've put substantial time and effort into this discussion. It doesn't seem to me as if you have the slightest interest in doing likewise; you're just making accusation after accusation, consistently refusing to provide any details or evidence, completely ignoring anything I say unless it provides an opportunity for another cheap shot, moving the goalposts at every turn. I don't know whether you're actually trolling, or what. But I am not interested in continuing this unless you provide some actual concrete examples to engage with. Do so, and I'll take a look. But if all you want to do is sneer and whine, I've had enough of playing along.
-1TAG16d"At least some" is a climbdown. If I were allowed to rewrite my original comment to "at least some lesswrongians would shoot the messenger" , then we would not be in disagreement. Except criticism of the lesswrongian version of Bayes, and the lesswrongian version of Aumann, and the lesswrongian version of Solomonoff, and of the ubiquitous utility function, and the MWI stuff.... Everyone who thinks I have to support my guess about how lesswrongians would behave with evidence, but isn't asking for your evidence for your guess.
4gjm16dIf your original comment had said "at least some", I would have found it more reasonable. So, anyway, it seems that you think that "the lesswrongian version of Bayes", and likewise of Aumann, and Solomonoff, and "the ubiquitous utility function", and "the MWI stuff", have all been outright refuted, and the denizens of Less Wrong have responded by shooting the messenger. (At least, I don't know how else to interpret your second paragraph.) Could you maybe give a couple of links, so that I can see these refutations and this messenger-shooting? (I hold no particular brief for "the lesswrong version of" any of those things, not least because I'm not sure exactly what it is in each case. Something more concrete might help to clarify that, too.) I think ChristianKl is correct to say that lazy praise is better (because less likely to provoke defensiveness, acrimony, etc.) than lazy insult. I also think "LW people will respond to an interesting mathematical question about the foundations of decision theory by investigating it" is a more reasonable guess a priori than "LW people will respond to ... by attacking the person who raises it because it threatens their beliefs". Of course the latter could in fact be a better prediction than the former, if e.g. there were convincing prior examples; but that's why "what's your evidence?" is a reasonable question.
1TAG3dThe Solomonoff issue is interesting. In 2012, private_messaging made this argument against the claim that SI would prove MWI. https://www.lesswrong.com/posts/6Lg8RWL9pEvoAeEvr/raising-safety-consciousness-among-agi-researchers?commentId=mJ53MeyRzZK6iqDPi [https://www.lesswrong.com/posts/6Lg8RWL9pEvoAeEvr/raising-safety-consciousness-among-agi-researchers?commentId=mJ53MeyRzZK6iqDPi] So,the program running the SWE, the MWI ontology, outputs information about all worlds on a single output tape, they are going to have to be concatenated or interleaved somehow. Which means that to make use of the information, you gave to identify the subset of bits relating to your world. That's extra complexity which isn't accounted for because it's being done by hand, as it were.. The standard objection, first made by Will_Sawin is that a computational model of MWI is only more complex in space, which , for the purposes of SI, doesn't count. But that misses the point:an SI isn't just an ontological model, it has to match empirical data as well. In fact, if you discount the complexity of the process by which one observer picks out their observations from a morass of data, MWI isn't the preferred ontology. The easisest way of generating data that contains any substring is a PRNG, not MWI. You basically ending up proving that "everything random" is the simplest explanation Here's the messenger-shooting that Private_messaging received ( from the usual shooter) "Private_messaging earned a “Do Not Feed!” tag itself through consistent trolling" While it's true that PM was rude and abrupt tonally, that doesn't invalidate their argument. I think the argument remains valid , since I have never seen a relevant refutation.
2gjm17hI'm not sure which of two arguments private_messaging is making, but I think both are wrong. Argument 1. "Yudkowsky et al think many-worlds interpretations are simpler than collapse interpretations, but actually collapse interpretations are simpler because unlike many-worlds interpretations they don't have the extra cost of identifying which branch you're on." I think this one is wrong because that cost is present with collapse interpretations too; if you're trying to explain your observations via a model of MWI, your explanation needs to account for what branch you're in, and if you're trying to explain them via a model of a "collapse" interpretation of QM, it instead needs to account for the random choices of measurement results. The information you need to account for is exactly the same in the two cases. So maybe instead the argument is more like this: Argument 2. "Yudkowsky et al think many-worlds interpretations are simpler than collapse interpretations, because they are 'charging' collapse interpretations for the cost of identifying random measurement results. But that's wrong because the same costs are present in MW interpretations." I think this one is wrong because that isn't why Yudkowsky et al think MW interpretations are simpler. They think MW interpretations are simpler because a "collapse" interpretation needs to do the same computation as an MW interpretation and also actually make things collapse. I am not 100% sure that this is actually right: it could conceivably turn out that as far as explaining human observations of quantum phenomena goes, you actually need some notion more or less equivalent to that of "Everett branch", and you need to keep track of them in your explanation, and the extra bookkeeping with an MW model of the underlying physics is just as bad as the extra model-code with a collapse model of the underlying physics. But if it's wrong I don't think it's wrong for private_messaging's reasons. But, still, private_messaging's ar
1TAG19hHere's an example of a posting with a string of objections. https://www.lesswrong.com/posts/DFxoaWGEh9ndwtZhk/decoherence-is-falsifiable-and-testable#nDcsmNe2bk4uuWPAw [https://www.lesswrong.com/posts/DFxoaWGEh9ndwtZhk/decoherence-is-falsifiable-and-testable#nDcsmNe2bk4uuWPAw]
2gjm17hI don't think it's a string of objections; it's one (reasonable) objection made at length. The objection is that you're not really doing Solomonoff induction or anything like it unless you're considering actual programs and people saying things like "many worlds is simpler than collapse" never actually do that. As I say, I think this is a reasonable criticism, but (in the specific context here of comparing MW to collapse) I think there's a reasonable response to it: "Collapse interpretations have to do literally all the same things that many-worlds interpretations do -- i.e., compute how the wavefunction evolves -- as well as something extra, namely identifying events as measurements, picking measurement results at random, and replacing the wavefunction with one of the eigenfunctions. No matter how you fill in the formal details, that is going to require a longer program." (For the avoidance of doubt, the "picking measurement results at random" bit isn't reckoning the random numbers as part of the complexity cost -- as discussed elsewhere in this discussion, it seems like that cost is the same whatever interpretation you pick; it's the actual process of picking results at random. The bit of your code that calls random(), not the random bits you get by calling it.) This is still a bit hand-wavy, and it's not impossible that it might turn out to be wrong for some subtle reason. But it does go beyond "X sure seems simpler to me than Y", and it's based on some amount of actual thinking about (admittedly hypothetical) actual programs. (I guess there are a few other kinda-objections in there -- that Solomonoff induction is underspecified because you have to say what language your programs are written in, that someone said "Copenhagen" when they meant "collapse", and that some interpretations of QM with actual wavefunction collapse in aren't merely interpretations of the same mathematics as every other interpretation but have actual potentially observable consequences
-1TAG14dAs stated , it was exactly as reasonable as yours. There is not and never was any objective epistemic or rational reason to treat the two comments differently. You havent' shown that in any objective way, because it's only an implication of :- ..which is just an opinion. You have two consistent claims ..that my claim is apriori less likely, and that it needs to be supported by evidence. But they aren't founded on anything.
2gjm14dI think ChristianKl gave one excellent rational reason to treat the two comments differently: all else being equal, being nice improves the quality of subsequent discussion and being nasty makes it worse, so we should apply higher standards to nastiness than to niceness. Another rational reason to treat them differently would be if one of them is more plausible, given the available evidence, than the other. I've already explained at some length why I think that's the case here. Perhaps others feel the same way. Of course you may disagree, but there is a difference between "no rational reason" and "no reason TAG agrees with". I have given some reasons why I think my claim more plausible than yours. I'm sorry if you find that opinion none the less "not founded on anything". It seems to me that if we want a foundation firmer than your or my handwaving about what sorts of things the LW community is generally likely to do, we should seek out concrete examples. You implied above that you have several highly-relevant concrete examples ("criticism of the lesswrongian version of Bayes, and the lesswrongian version of Aumann, and the lesswrongian version of Solomonoff, and of the ubiquitous utility function, and the MWI stuff...") where someone has provided a refutation of things widely believed on LW; I don't know what specific criticisms you have in mind, but presumably you do; so let's have some links, so we can see (1) how closely analogous the cases you're thinking of actually were and (2) how the LW community did in fact react. I'm finding this discussion frustrating because it feels as if every time you refer to something I said you distort it just a little, and then I have to choose between going along with the wrong version and looking nitpicky for pointing out the distortion. On this occasion I'll point out a distortion. I didn't say that your claim "needs" to be supported by evidence. In fact, I literally wrote "You don't have to provide evidence". I did ask the
1TAG13dHere's an argument against it: having strong conventions against nastiness means you never get any kind of critique or negative feedback at all, and essentially just sit in an echo chamber. Treating rationality as something that is already perfect is against rationality. Saying "we accept criticism , if it is good criticism" amounts to the same thing, because you can keep raising the bar. Saying "we accept criticism , if it comes from the right person" amounts to the same thing, because you nobody has to be the right person. Saying "we accept criticism , if it is nice" amounts to the same thing, because because being criticized never feels entirely nice. But you understand all that , so long as it applies to an outgroup. EY gives the examples of creationists, who are never convinced by any amount of fossils. That example, you can understand.

Yes, too-strong conventions against nastiness are bad. It doesn't look to me as if we have those here, any more than it looks to me as if there's much of a shooting-the-messenger culture.

I've been asking you for examples to support your claims. I'll give a few to support mine. I'm not (at least, not deliberately) cherry-picking; I'm trying to think of cases where something has come along that someone could with a straight face argue is something like a refutation of something important to LW:

  • Someone wrote an article called "The death of behavioral economics". Behavioural economics is right up LW's street, and has a lot of overlap with the cognitive-bias material in the "Sequences". And the article specifically attacks Kahneman and Tversky (founders of the whole heuristics-and-biases thing), claiming that their work on prospect theory was both incompetent and dishonest. So ... one of the admins of LW posted a link to it saying it was useful, and that linkpost is sitting on a score of +143 right now.
  • Holden Karnofsky of GiveWell took a look at the Singularity Institute (the thing that's now called MIRI) as a possible recipient of donations and wrote a really damning piece about it. Lu
... (read more)
1TAG12dI'm well aware that the big people get treated right. That's compatible with the little people being shot. Look how Haziq has been treated for asking a question.
4gjm12dHe's asked a lot of questions. His various LW posts are sitting, right now, at scores of +4, +4, +2, +11, +9, +10, +4, +1, +7, -2. This one's slightly negative; none of the others are. It's not the case that this one got treated more harshly because it suggested that something fundamental to LW might be wrong; the same is true of others, including the one that's on +11. This question (as well as some upvotes and slightly more downvotes) received two reasonably detailed answers, and a couple of comments (one of them giving good reason to doubt the premise of the question), all of them polite and respectful. Unless your position is that nothing should ever be downvoted, I'm not sure what here qualifies as being "shot". (I haven't downvoted this question nor any of Haziq's others; but my guess is that this one was downvoted because it's only a question worth asking if Halpern's counterexample to Cox's theorem is a serious problem, which johnswentworth already gave very good reasons for thinking it isn't in response to one of Haziq's other questions; so readers may reasonably wonder whether he's actually paying any attention to the answers his questions get. Haziq did engage with johnswentworth in that other question -- but from this question you'd never guess that any of that had happened.)
-1TAG13dAnd I supplied some, which you then proceeded to nitpick, implying that it wasn't good enough, implying that very strong evidence is needed.
4gjm13dI do indeed consider that your evidence ("Eliezer Yudkowsky called Richard Loosemore an idiot!") is not good enough to establish the claim you were making ("we should expect LW people to shoot the messenger if someone reports a refutation of an idea that's been important here"). However, the point isn't that "very strong evidence is needed", the point is that the evidence you offered is very weak. (Maybe you disagree and think the evidence you offered is not very weak. If so, maybe you'd like to explain why. I've explained in more detail why I think it such weak evidence, elsewhere in this thread. Your defence of it has mostly amounted to "it is so an ad hominem", as if the criticism had been "TAG says it was an ad hominem but it wasn't"; again, I've explained elsewhere in the thread why I think that entirely misses the point.)
-1TAG13dIf Loosemore had called Yudkowsky an idiot, you would not be saying "maybe he is".
4gjm13dFor what it's worth, I think it's possible that he is, in the relevant sense. As I said elsewhere, the most likely scenario in which EY is wrong about RL being an "idiot" (by which, to repeat, I take it he meant "person obstinately failing to grasp an essential point") is one in which on the relevant point RL is right and EY wrong, in which case EY would indeed be an "idiot". But let's suppose you're right. What of it? I thought the question here was whether LW people shoot the messenger, not whether my opinions of Eliezer Yudkowsky and Richard Loosemore are perfectly symmetrical.
3TAG13dIn common sense terms, telling an audience that the messenger is an idiot who shouldn't be listened to because he's an idiot, is shooting the messenger. It's about as central an classic an example you can get. What else would it be?
2gjm13dUnfortunately some messengers are idiots (we have already established that most likely either Yudkowsky or Loosemore is an idiot, in this particular scenario). Saying that someone is an idiot isn't shooting the messenger in any culpable sense if in fact they are an idiot, nor if the person making the accusation has reasonable grounds for thinking they are. So I guess maybe we actually have to look at the substance of Loosemore's argument with Yudkowsky. So far as I can make out, it goes like this. * Yudkowsky says: superintelligent AI could well be dangerous, because despite our efforts to arrange for it to do things that suit us (e.g., trying to program it to do things that make us happy) a superintelligent AI might decide to do things that in fact are very bad for us, and if it's superintelligent then it might well also be super-powerful (on account of being super-persuasive, or super-good at acquiring money via the stock market, or super-good at understanding physics better, or etc.). * Loosemore says: this is ridiculous, because if an AI were really superintelligent in any useful sense then it would be smart enough to see that (e.g.) wireheading all the humans isn't really what we wanted; if it isn't smart enough to understand that then it isn't smart enough to (e.g.) pass the Turing test, to convince us that it's smart, or to be an actual threat; for that matter, the researchers working on it would have turned it off long before, because its behaviour would necessarily have been bizarrely erratic in other domains besides human values. The usual response to this by LW-ish people is along the lines of "you're assuming that a hypothetical AI, on finding an inconsistency between its actual values and the high-level description of 'doing things that suit its human creators', would realise that its actual values are crazy and adjust them to match that high-level description better; but that is no more inevitable than that h
1TAG11dMy reconstruction of Loosemore's point is that an AI wouldnt have two sets of semantics , one for interpreting verbal commands, and another for negotiating the world and doing things. My reconstruction of Yudkowkys argument is that it depends on what I've been calling the Ubiquitous Utility Function. If you think of any given AI as having a separate module where its goals or values are hard coded then the idea that they were hard coded wrong, but the AI is helpless to change them, is plausible. Actual AI researchers don't believe in ubiquitous UF's because only a few architectures gave them. EY believes in them for reasons unconnected with empirical evidence about AI architectures.
2gjm11dIf Loosemore's point is only that an AI wouldn't have separate semantics for those things, then I don't see how it can possibly lead to the conclusion that concerns about disastrously misaligned superintelligent AIs are absurd. I do not think Yudkowsky's arguments assume that an AI would have a separate module in which its goals are hard-coded. Some of his specific intuition-pumping thought experiments are commonly phrased in ways that suggest that, but I don't think it's anything like an essential assumption in any case. E.g., consider the "paperclip maximizer" scenario. You could tell that story in terms of a programmer who puts something like "double objective_function() { return count_paperclips(DESK_REGION); }" in their AI's code. But you could equally tell it in terms of someone who makes an AI that does what it's told, and whose creator says "Please arrange for there to be as many paperclips as possible on my desk three hours from now.". (I am not claiming that any version of the "paperclip maximizer" scenario is very realistic. It's a nice simple example to suggest the kind of thing that could go wrong, that's all.) Loosemore would say: this is a stupid scenario, because understanding human language in particular implies understanding that that isn't really a request to maximize paperclips at literally any cost, and an AI that lacks that degree of awareness won't be any good at navigating the world. I would say: that's a reasonable hope but I don't think we have anywhere near enough understanding of how AIs could possibly work to be confident of that; e.g., some humans are unusually bad at that sort of contextual subtlety, and some of those humans are none the less awfully good at making various kinds of things happen. Loosemore claims that Yudkowsky-type nightmare scenarios are "logically incoherent at a fundamental level". If all that's actually true is that an AI triggering such a scenario would have to be somewhat oddly designed, or would have to ha
1TAG9dIf there's one principle argument that it is highly likely for an ASI to be an existential threat, then refuting it refutes claims about ASI and existential threat. Maybe you think there are other arguments. If it obeys verbal commands ,you could to it to stop at any time. That's not a strong likelihood of existential threat. How could.it [http://could.it] kill us all in three hours? I'll say! Its logically possible to design a car without brakes or a steering wheel, but it's not likely. Now you don't have an argument in favour of there being a strong likelihood of existential threat from ASI.
2gjm8dIf Loosemore's point is only that an AI wouldn't have separate semantics for "interpreting commands" and for "navigating the world and doing things", then he hasn't refuted "one principal argument" for ASI danger; he hasn't refuted any argument for it that doesn't actually assume that an AI must have separate semantics for those things. I don't think any of the arguments actually made for ASI danger make that assumption. I think the first version of the paperclip-maximizer scenario I encountered had the hapless AI programmer give the AI its instructions ("as many paperclips as possible by tomorrow morning") and then go to bed, or something along those lines. You seem to be conflating "somewhat oddly designed" with "so stupidly designed that no one could possibly think it was a good idea". I don't think Loosemore has made anything resembling a strong case for the latter; it doesn't look to me as if he's even really tried. For Yudkowskian concerns about AGI to be worth paying attention to, it isn't necessary that there be a "strong likelihood" of disaster if that means something like "at least a 25% chance". Suppose it turns out that, say, there are lots of ways to make something that could credibly be called an AGI, and if you pick a random one that seems like it might work then 99% of the time you get something that's perfectly safe (maybe for Loosemore-type reasons) but 1% of the time you get disaster. It seems to me that in this situation it would be very reasonable to have Yudkowsky-type concerns. Do you think Loosemore has given good reason to think that things are much better than that? Here's what seems to me the best argument that he has (but, of course, this is just my attempt at a steelman, and maybe your views are quite different): "Loosemore argues that if you really want to make an AGI then you would have to be very foolish to do it in a way that's vulnerable to Yudkowsky-type problems, even if you weren't thinking about safety at all. So potential
1[anonymous]8d“(I haven't downvoted this question nor any of Haziq's others; but my guess is that this one was downvoted because it's only a question worth asking if Halpern's counterexample to Cox's theorem is a serious problem, which johnswentworth already gave very good reasons for thinking it isn't in response to one of Haziq's other questions; so readers may reasonably wonder whether he's actually paying any attention to the answers his questions get. Haziq did engage with johnswentworth in that other question -- but from this question you'd never guess that any of that had happened.)” Sorry, haven’t checked LW in a while. I actually came across this comment when I was trying to delete my LW account due to the “shoot the messenger” phenomenon that TAG was describing. I do not think that Johnwentworth’s answer is satisfactory. In his response to my previous question, he claims that Cox’s theorem holds under very specific conditions which doesn’t happen in most cases. He also claims that probability as extended logic is justified by empirical evidence. I don’t think this is a good justification unless he happens to have an ACME plausibility-o-meter. David Chapman, another messenger you (meaning LW) were too quick to shoot, explains the issues with subjective Bayesianism here: https://metarationality.com/probabilism-applicability [https://metarationality.com/probabilism-applicability] https://metarationality.com/probability-limitations I do agree that this framework is useful but only in the same sense that frequentism is useful. I consider myself a ”pragmatic statistician “ who doesn’t hesitate to use frequentist or Bayesian methods, as long as they are useful, because the justifications for either seem to be equally worse. ‘It might turn out that the way Cox's theorem is wrong is that the requirements it imposes for a minimally-reasonable belief system need strengthening, but in ways that we would regard as reasonable. In that case there would still be a theorem along t
4gjm8dI guess there's not that much point responding to this, since Haziq has apparently now deleted his account, but it seems worth saying a few words. * Haziq says he's deleting his account because of LW's alleged messenger-shooting, but I don't see any sign that he was ever "shot" in any sense beyond this: one of his several questions received a couple of downvotes. * What johnswentworth's answer about Cox's theorem says isn't at all that it "holds under very specific conditions which doesn't happen in most cases". * You'll get no objection from me to the idea of being a "pragmatic statistician". * No, I am not at all "assuming Jaynes-Cox theory to be true first and then trying to find a proof for it". I am saying: the specific scenario you describe (there's a hole in the proof of Cox's theorem) might play out in various ways and here are some of them. Some of them would mean something a bit like "Less Wrong is dead" (though, I claim, not exactly that); some of them wouldn't. I mentioned some of both. * I can't speak for anyone else here, but for me Cox's theorem isn't foundational in the sort of way it sounds as if you think it is (or should be?). If Cox's theorem turns out to be disastrously wrong, that would be very interesting, but rather little of my thinking depends on Cox's theorem. It's a bit as if you went up to a Christian and said "Is Christianity dead if the ontological argument is invalid?"; most Christians aren't Christians because they were persuaded by the ontological argument, and I think most Bayesians (in the sense in which LW folks are mostly Bayesians) aren't Bayesians because they were persuaded by Cox's theorem. * I do not know what it would mean to adhere to, say, Cox's theorem "in a cult-like fashion". The second-last bullet point there is maybe the most important, and warrants a bit more explanation. Whether anything "similar enough" to Cox's theorem is true or not, the followin
-1TAG18dSeems to whom? It seems to me that a lot of less wrongers would messenger-shoot. Why do I have to provide evidence for the way things seem to me, but you don't need to provide evidence of the way things seem to you? BTW, in further evidence, Haziqs question has been downvoted to -2. Anything is not necessarily true.
4gjm18dYou don't have to provide evidence. I'm asking you to because it would help me figure out how much truth there is in your accusation. You might be able to give reasons that don't exactly take the form of evidence (in the usual sense of "evidence"), which might also be informative. If you can't or won't provide evidence, I'm threatening no adverse consequence other than that I won't find your claim convincing. If the fact that my original guess at what LW folks would do in a particular situation isn't backed by anything more than my feeling that a lot of them would find the resulting mathematical and/or philosophical questions fun to think about means that you don't find my claim convincing, fair enough. For sure. But my objection wasn't "this is not necessarily true", so I'm not sure why that's relevant. ... Maybe I need to say explicitly that when I say that it's "possible" to be both an AI researcher and what I take Eliezer to have meant by an idiot, I don't merely mean that it's not a logical impossibility, or that it's not precluded by the laws of physics; I mean that, alas, foolishness is to be found pretty much everywhere, and it's not tremendously unlikely that a given AI researcher is (in the relevant sense) an idiot. (Again, I agree that AI researchers are less likely to be idiots than, say, randomly chosen people.)
1TAG15dNot in absolute terms, no. But in relative terms, people are demanding that I supply evidence to support my guess, but not demanding the same from you. Which , again, is just to say that the apparent ad hom was possibly true, which, again , is an excuse you could make for anything. Maybe Smith whom Brown has accused of being a wife beater, actually is a wife beater.
4gjm15d(Note: you posted two duplicate comments; I've voted this one up and the other one down so that there's a clear answer to the question "which one is canonical?". Neither the upvote nor the downvote indicates any particular view of the merits of the comment.)
2gjm15dWell, maybe he is. If you're going to use "Brown accused Smith of beating his wife" as evidence that Brown is terrible and so is everyone associated with him, it seems like some evidence that Brown's wrong would be called for. (And saying "Smith is a bishop" would not generally be considered sufficient evidence, even though presumably most bishops don't beat their wives.)
-1TAG14dThat's not how it works. An apparent ad hom is usually taken as evidence that an ad hom took place. You are engaging in special pleading. This is like the way that people who are suffering from confirmation bias will demand very high levels of evidence before they change their minds. Not that you are suffering from confirmation bias. Another wild exageration of what I said.

The larger point here is that the link between "Eliezer Yudkowsky called Richard Loosemore an idiot" and "People on Less Wrong should be expected to shoot the messenger if someone turns up saying that something many of them believe is false" is incredibly tenuous.

I mean, to make that an actual argument you'd need something like the following steps.

  • EY called RL an idiot.
  • EY did not have sufficient grounds for calling RL an idiot.
  • EY was doing it because RL disagreed with him.
  • EY has/had a general practice of attacking people who disagree with him.
  • Other people on LW should be expected to behave the same way as EY.
  • So if someone comes along expressing disagreement, we should expect people on LW to attack them.

I've been pointing out that the step from the first of those to the second is one that requires some justification, but the same is true of all the others.

So, anyway: you're talking as if you'd said "EY's comment was an ad hominem attack" and I'd said "No it wasn't", but actually neither of those is right. You just quoted EY's comment and implied that it justified your opinion about the LW population generally; and what I said about it wasn't that it wasn't ad hominem. It was a perso... (read more)

-1TAG15dNot in absolute terms, no. But in relative terms, people are demanding that I supply evidence to support my guess, but not demanding the same from you. Which , again, is just to say that the apparent ad hom was possibly true, which, again , is an excuse you could make for anything. Maybe Smith whom Brown has accused of being a wife beater, actually is a wife beater.
3Vladimir_Nesov22dIt might also be proper to get downvotes for pointing out without an explanation something that clearly wouldn't be happening. In any case, the analogy between this downvoting and the hypothetical coverup is unconvincing. Not sure if I personally agree with the downvoting, some anti-echo-chamber injunctions might be good to uphold even in the face of a bounded amount of very strange claims. But maybe only those that come with some sort of explanation.
1TAG22dWhy ?
-1TAG18d"Clearly" and "it seems" are both the same, bad, argument. They both pass off a subjective assement as a fact
1JBlack21dMy main criterion for up-voting comments and posts is whether I think others would be likely to benefit from reading them. This topic has come up a few times already with much better analysis, so I did not up-vote. My main criterion for down-voting is whether I think it is actively detrimental to thought or discussion about a topic. Your post doesn't meet that criterion either (despite the inflammatory title), so I did not down-vote it. Your comment in this thread does meet that criterion, and I've down-voted it. It is irrelevant to the topic of the post, does not introduce any interesting argument, applies a single judgement without evidence to a diverse group of people, and is adversarial, casting disagreement with or mere lack of interest in your original point in terms of deliberate suppression of a point of view. So no, you have not been down-voted for "pointing it out". You have (at least in my case) been down-voted for poisoning the well.
1TAG21dSo does this:
-1JBlack20dYes, it does. In a charitable way.
-2TAG20dExactly. There isn't a generally followed rule that you can't make sweeping assertions, or that everyone must be supported by evidence. What people actually dislike is comments that portray rationalism negatively, and those are held to a much higher standard than positive comments. But of course, no one wants to state an explicit rule that "we operate a double standard".
2ChristianKl20dI'm fine with someone commenting under a post: "I really liked that you wrote this". I'm not fine with someone writing a comment that just contains "I really dislike you wrote this". That's a double standard and I'm happily arguing in favor of it as it makes the interaction in a forum more friendly.
1TAG18dAre you fine with downvoting? And what about the epistemic double standard ?
2ChristianKl18dYes, I'm fine with someone downvoting lazy criticism. Having different standards for different things is good. It seems to me very strange to expect that standards should be the same for all actions. If you look at medicine you see they have huge epistemic double standards for benefits and side effects of drugs. If I imagine having the same epistemic standards for allowing people to claim "Bob is a rapist" and allowing them to claim "Bob has good humor" that would seem to me really strange. We even have laws that enforce that double standard because largely society believes that it's good to have epistemic double standards in that regard.
2Vladimir_Nesov18dAllowing only evidence of certain form [https://www.lesswrong.com/posts/fhojYBGGiYAFcryHZ/scientific-evidence-legal-evidence-rational-evidence] in some roles is a way of making it easier to judge when exploitability/bias/illegibility are expected to be an issue. This is a tradeoff. It's wasteful when it's not actually needed, and often enough it's impossible to observe the form without losing sight of the target [https://www.lesswrong.com/posts/vqbieD9PHG8RRJddu/you-re-entitled-to-arguments-but-not-that-particular-proof] .
1TAG15dI can at least agree that:
2Vladimir_Nesov14dThat is only very vaguely related to what I was saying. I was essentially pointing out that even benign examples of double standards serve particular purposes that don't always apply, and when they don't, it's best to get rid of the double standards.
1TAG18dAre you in favour of downvoting lazy praise?
1JBlack20dDid you even read the last line of my comment? I down-voted you for poisoning the well [https://en.wikipedia.org/wiki/Poisoning_the_well].
1TAG16dWhen I quoted evidence of EY ad-homming someone?
1[comment deleted]20d

Most of what's in CFAR's handbook doesn't depend on Cox's theorem. Very little that happened on LessWrong in the last years is affected in any way. Most of what we talk about is but button up derived from probability theory. Even for parts like credence calibration that are very much derived from it Cox theorem being valid or not has little effect on the value of a practice like forecasting Telock style.

2 comments, sorted by Highlighting new comments since Today at 3:34 PM

I thought johnswentworth's comment on one of your earlier posts, along with an ocean of evidence from experience, was adequate to make me feel like that our current basic conception of probability is totally fine and not worth my time to keep thinking about.

FWIW, Van Horn says:

"There has been much unnecessary controversy over Cox’s Theorem due to differing implicit assumptions as to the nature of its plausibility function. Halpern [11, 12] claims to demonstrate a counterexample to Cox’s Theorem by examining a finite problem domain, but his argument presumes that there is a different plausibility function for every problem domain."