site banner

Culture War Roundup for the week of December 11, 2023

This weekly roundup thread is intended for all culture war posts. 'Culture war' is vaguely defined, but it basically means controversial issues that fall along set tribal lines. Arguments over culture war issues generate a lot of heat and little light, and few deeply entrenched people ever change their minds. This thread is for voicing opinions and analyzing the state of the discussion while trying to optimize for light over heat.

Optimistically, we think that engaging with people you disagree with is worth your time, and so is being nice! Pessimistically, there are many dynamics that can lead discussions on Culture War topics to become unproductive. There's a human tendency to divide along tribal lines, praising your ingroup and vilifying your outgroup - and if you think you find it easy to criticize your ingroup, then it may be that your outgroup is not who you think it is. Extremists with opposing positions can feed off each other, highlighting each other's worst points to justify their own angry rhetoric, which becomes in turn a new example of bad behavior for the other side to highlight.

We would like to avoid these negative dynamics. Accordingly, we ask that you do not use this thread for waging the Culture War. Examples of waging the Culture War:

  • Shaming.

  • Attempting to 'build consensus' or enforce ideological conformity.

  • Making sweeping generalizations to vilify a group you dislike.

  • Recruiting for a cause.

  • Posting links that could be summarized as 'Boo outgroup!' Basically, if your content is 'Can you believe what Those People did this week?' then you should either refrain from posting, or do some very patient work to contextualize and/or steel-man the relevant viewpoint.

In general, you should argue to understand, not to win. This thread is not territory to be claimed by one group or another; indeed, the aim is to have many different viewpoints represented here. Thus, we also ask that you follow some guidelines:

  • Speak plainly. Avoid sarcasm and mockery. When disagreeing with someone, state your objections explicitly.

  • Be as precise and charitable as you can. Don't paraphrase unflatteringly.

  • Don't imply that someone said something they did not say, even if you think it follows from what they said.

  • Write like everyone is reading and you want them to be included in the discussion.

On an ad hoc basis, the mods will try to compile a list of the best posts/comments from the previous week, posted in Quality Contribution threads and archived at /r/TheThread. You may nominate a comment for this list by clicking on 'report' at the bottom of the post and typing 'Actually a quality contribution' as the report reason.

6
Jump in the discussion.

No email address required.

It is not just that they are lower complexity, it's that for a given amount of evidence, Bayesian reasoning privileges simpler answers. If additional complexity helps predict the behavior of system better, then we accept it. F=ma is far simpler than General Relativity or QM, but the latter generalize to situations where Classical Mechanics fails.

PDF warning:

Bayesian Occam’s Razor Is a Razor of the People

Abstract

Occam’s razor—the idea that all else being equal, we should pick the simpler hypothesis— plays a prominent role in ordinary and scientific inference. But why are simpler hypotheses better? One attractive hypothesis known as Bayesian Occam’s razor (BOR) is that more complex hypotheses tend to be more flexible—they can accommodate a wider range of possible data—and that flexibility is automatically penalized by Bayesian inference. In two experiments, we provide evidence that people’s intuitive probabilistic and explanatory judgments follow the prescriptions of BOR. In particular, people’s judgments are consistent with the two most distinctive characteristics of BOR: They penalize hypotheses as a function not only of their numbers of free parameters but also as a function of the size of the parameter space, and they penalize those hypotheses even when their parameters can be “tuned” to fit the data better than comparatively simpler hypotheses.

Abrahamic God, the Standard Model etc all claim to explain the world as we observe it.

The former is absolutely rubbish at predicting future events, and to the extent that you are under the impression that God is responsible for ensuring the operation of the Standard Model (or a complete description of physics), it is necessarily more complex.

Since belief in God does nothing to constrain future expectations be it for novel evidence or even developing practical models for simulating things, it is largely worthless, and unless you start from the assumption, no rational agent will reach it.

In this context, Kolmogorov complexity is one way of representing the notion that certain ideas or hypotheses that seem intuitively "simple" are not actually so in any more rigorous sense.

It is not just that they are lower complexity, it's that for a given amount of evidence, Bayesian reasoning privileges simpler answers.

Yes. But when the "given" amount of evidence is "Zero" for multiple answers, BOR has no method to distinguish between them.

Is [unknown number of digits excluded]12084038 bigger or smaller than [unknown number of digits excluded]0? The answer is mu, because we don't have the necessary data to do the math. You have claimed that we can do math with no data whatsoever. In the first place, this claim seems clearly wrong, but in the second place, it seems very interesting that someone as intelligent as you would make it.

There is no available evidence about what caused the Big Bang at all, and there is no rigorous definition of "simpler" by which any speculations we may have might be measured.

We agree that effects have causes within our system. We agree (I think) that there is an effect whose causes are unobservable from within our system, at least given our current understanding. Since effects have causes, and since we cannot observe a cause for this effect from within our system, the cause must come from outside our system. Since we cannot see outside our system, we have zero evidence about the nature of that cause. Since we have zero evidence, tools like BOR and Kolmogorov Complexity cannot be used to select theories in a rigorous fashion.

Abrahamic God, the Standard Model etc all claim to explain the world as we observe it. The former is absolutely rubbish at predicting future events,

Abrahamic God and the Standard Model are not necessarily competing explanations for the world we observe.

...and to the extent that you are under the impression that God is responsible for ensuring the operation of the Standard Model (or a complete description of physics), it is necessarily more complex.

It is indeed necessarily more complex than the Standard Model. In exactly the same way, "True Physics" being responsible for ensuring the operation of the Standard Model is necessarily more complex than the standard model.

Given that we have to add something, and given that we have zero data from the hard sciences on what that something is, we likewise have no concrete evidence of which explanation is more or less complex than another.

In this context, Kolmogorov complexity is one way of representing the notion that certain ideas or hypotheses that seem intuitively "simple" are not actually so in any more rigorous sense.

Certainly. But you are the one claiming that some unobservable hypotheses or ideas are simpler than others, and it seems you cannot actually use Kolmogorov Complexity to prove it in the way you claimed you could.

I reiterate that I am not attempting to convince you to believe in the Christian God. I am trying to demonstrate an observable, verifiable, testable fact: that all beliefs are chosen. It seems to me that you are appealing to Kolmogorov Complexity and Bayesian Occam's Razor because you want to claim that your commitment to materialism is not a choice, but rather a deterministic outcome of accumulated evidence. But it seems obvious to me that neither KC nor BOR can possibly work the way you are trying to use them, and in fact neither is the source of your conviction.

You called for an expert, and it seems to me that the expert flatly contradicted your claims. Does the reversal of expected evidence change your position any? If not, what evidence does your conviction derive from?

BOR does have implications for when we have zero evidence.

And that would be to choose the most minimal potential hypothesis, though I am unsure what that could possibly mean. What hypothesis explains a coin flip that never happened?

It is, however not true that we have "zero" evidence about what caused the Big Bang. After all, I presume you admit that there could be evidence along the lines of say, the cosmic microwave background radiation spelling out "God here. Glad you're reading this, good to see you're advancing up the tech tree" in English, and you (and I) would have no qualms about ascribing that as evidence for God causing the Big Bang? I don't think either of us would claim that it has no relevance, that it cannot be the case that observations made within a universe could inform our understanding of what lies outside it.

In a similar vein, to the extent that you expect a universe designed by the Judeo Christian deity to differ in any way from one that's purely mechanistic, the absence of such evidence is Bayesian evidence of absence.

It is indeed necessarily more complex than the Standard Model. In exactly the same way, "True Physics" being responsible for ensuring the operation of the Standard Model is necessarily more complex than the standard model.

It may be more complex. It is not necessarily so. Much of the charm of the Standard Model is that by establishing symmetries, it simplifies and explains whole bunch of seemingly disparate observations. You can imagine someone who studiously makes a table showing the rates of deceleration for a whole range of different masses under gravity, which is actually useful in real life, but more complex when compared to just applying Newtonian gravity and air resistance when supplied with a given value for m. I am mostly agnostic on whether the GUT will be "simpler" than the Standard Model, even if I'm mildly expecting that to be the case. Physicists certainly consider it desirable, but the only true necessity is that it explains things better, especially for situations not in the data used to derive it.

Certainly. But you are the one claiming that some unobservable hypotheses or ideas are simpler than others, and it seems you cannot actually use Kolmogorov Complexity to prove it in the way you claimed you could.

Kolmogorov complexity is a beast, but if you really cared to, you could easily substitute minimum message length or Shannon entropy and get the same result.

In fact, it was an error (or at least suboptimal) for me to even bring up KC, when MML exists:

https://en.wikipedia.org/wiki/Minimum_message_length

Minimum message length (MML) is a Bayesian information-theoretic method for statistical model comparison and selection.[1] It provides a formal information theory restatement of Occam's Razor: even when models are equal in their measure of fit-accuracy to the observed data, the one generating the most concise explanation of data is more likely to be correct (where the explanation consists of the statement of the model, followed by the lossless encoding of the data using the stated model). MML was invented by Chris Wallace, first appearing in the seminal paper "An information measure for classification".[2] MML is intended not just as a theoretical construct, but as a technique that may be deployed in practice. [3] It differs from the related concept of Kolmogorov complexity in that it does not require use of a Turing-complete language to model data.[4]

Besides, it's not just the Big Bang we're considering, it's the Big Bang and everything else. Here, once again, BOR implies that God is a terrible answer.

I apologize for the digression into KC, even if that's an interesting topic.

I reiterate that I am not attempting to convince you to believe in the Christian God. I am trying to demonstrate an observable, verifiable, testable fact: that all beliefs are chosen. It seems to me that you are appealing to Kolmogorov Complexity and Bayesian Occam's Razor because you want to claim that your commitment to materialism is not a choice, but rather a deterministic outcome of accumulated evidence. But it seems obvious to me that neither KC nor BOR can possibly work the way you are trying to use them, and in fact neither is the source of your conviction.

All beliefs are not a choice, assuming you're using "choice" in the standard sense.

A person suffering from Capgras delusion, who believes that his kin have been replaced by body snatchers, is not choosing to think so. You can argue with him, shake him about, shock him with a cattle prod, and he will never relent. The disease has stolen away even the option for him to think otherwise. A schizophrenic does not "choose" to think he's the reincarnation of Jesus or Napoleon.

You called for an expert, and it seems to me that the expert agreed with me that KC can't do what you claimed it did. Does the reversal of expected evidence change your position any? If not, what evidence does your conviction derive from?

I am pretty sure that @faul_sname agrees with my statements regarding the "objective" Kolmogorov complexity of different hypothesis. I know, and he knows I know that it's incomputable, because that came up as the subject of conversation not that long ago. But while Kolmogorov complexity might not be an ideal use case for anything except theoretical discussions, MML is, and I should have substituted it at the start if I remembered that the latter is a practical metric.

In this case, the relevant update for me is to do a better job of representing theories I only understand at a superficial level, not a knock against the generalized claim I'm making.

BOR does have implications for when we have zero evidence. And that would be to choose the most minimal potential hypothesis...

...Which presumes you can rank the hypotheses from minimal to less so. By what measure are you ranking them? What are you measuring? If you were measuring something, the thing you were measuring would be evidence, no? If you don't have that, you have nothing to measure, and the measurement is indeterminate.

Suppose we have two integers, each of them incomplete.

[unknown digits excluded]193692 [unknown digits excluded]923013

From that dataset, I do not think there is a way to say which of those numbers is larger. I don't think you can do it with Kolmogorov Complexity. I don't think you can do it with Bayesian Occam's Razor. I don't think you can do it with minimum message length. I don't think you can do it with Shannon entropy. I don't think you can do it at all, in any rigorous, meaningful way. The only correct answer is mu, because there is insufficient data to calculate or reason from.

If I argued that we should presume that the second number is bigger, because of all the numbers we've run into, the ones with a 9 in the leftmost place tend to be larger than numbers with a 1 in the leftmost place, that would not be a rigorous proof that the second number was actually bigger. On the other hand, if we take those two integers and multiply them by zero, we know that the result is precisely zero.

After all, I presume you admit that there could be evidence along the lines of say, the cosmic microwave background radiation spelling out "God here. Glad you're reading this, good to see you're advancing up the tech tree" in English, and you (and I) would have no qualms about ascribing that as evidence for God causing the Big Bang?

It would be evidence of something, sure. Likewise, I have already agreed that if the Standard model had demonstrated a closed-loop cosmology from within its own logic, that likewise would be evidence that materialistic explanations were simpler. If a physics breakthrough is made that allows the loop to be closed without appealing to unobservables/unfalsifiables, that too would be evidence. None of those have actually happened, though, so none of that evidence is available to influence our decisions here and now.

In a similar vein, to the extent that you expect a universe designed by the Judeo Christian deity to differ in any way from one that's purely mechanistic, the absence of such evidence is Bayesian evidence of absence.

I don't currently have such expectations, and am not sure why I should. If datapoints contradict my understanding of God, why should I not modify my understanding of God to account for them? In any case, my belief that a God exists to be reasoned about is axiomatic, not conclusive.

It may be more complex. It is not necessarily so.

Then it seems to me that God may be more complex, but is not necessarily so. If you think it plausible that complexity might be removed by mechanisms you can neither define or demonstrate in any concrete fashion, why should I not do the same? If we could rigorously define and demonstrate such mechanisms, the matter would of course be different. But you can't in the case of "better physics". Likewise, I could submit various ontological arguments, but cannot define or demonstrate their validity either, and so do not count them.

Besides, it's not just the Big Bang we're considering, it's the Big Bang and everything else.

What data does "everything else" provide about what's behind the Big Bang? How does this data allow you to rank the complexity of "physics loop" versus "simulation"?

Minimum message length (MML) is a Bayesian information-theoretic method for statistical model comparison and selection.

It seems to me that this fails for the same reason that KC and BOR fail. We don't have a statistical model to compare, so tools for comparing statistical models don't help. Likewise for Bayes: you have no meaningful prior for "thing that exists outside anything we have observed or experienced.", whether that is a basement simulation or a true physics loop. All the evidence tells us such a thing exists. None of the evidence illuminates its nature.

It provides a formal information theory restatement of Occam's Razor: even when models are equal in their measure of fit-accuracy to the observed data, the one generating the most concise explanation of data is more likely to be correct.

"it's a sim lol" is shorter that "unknown physics maintain a infinite looping universe". Clearly Simulationism is more likely to be correct.

I kid, I kid. Obviously, neither of those arbitrary sentences are a "model" in the sense your excerpt described. ...Only, it seems exceedingly obvious to me that no "models" exist for either simulationism or true-physics, in the sense MML requires to function. This is the same argument I made against KC and BOR, because it seems generally applicable. Am I wrong? Have you confident about the answer here because you've actually crunched the numbers yourself, or have seen someone else who has?

All beliefs are not a choice, assuming you're using "choice" in the standard sense. A person suffering from Capgras delusion, who believes that his kin have been replaced by body snatchers, is not choosing to think so. You can argue with him, shake him about, shock him with a cattle prod, and he will never relent. The disease has stolen away even the option for him to think otherwise. A schizophrenic does not "choose" to think he's the reincarnation of Jesus or Napoleon.

A fair point. Allow me be more specific: All reasoned beliefs are chosen. I have no experience of capgras delusion, nor schizophrenia, so I take no position on the nature of their beliefs.

I suspect that "belief", rather than "choice", is the word that you two are using differently. You can't choose your "beliefs(1)" in the sense of "what you anticipate what your future experiences will be contingent on taking some specific course of action", but you can choose your "beliefs(2)" in the sense of "which operating hypothesis you use to determine your actions".

I might be wrong though. It is conceivable to me that some people can change their beliefs(1) by sheer force of will.

English, a language stunningly unsuitable for such discussions, not that I know of one that's better.

I might be wrong though. It is conceivable to me that some people can change their beliefs(1) by sheer force of will.

@FCfromSSC claims to be able to do this, including intentionally convincing himself that a chair he's sitting on is a fake. I'm capable of no analogous feat, but it's hardly the weirdest thing that human cognition has done, and I'll accept his word for it.

I have not ever convinced myself of the nonexistence of a chair I was sitting on.

I could have sworn you used that specific example with me in the past, but regardless, I do remember you claiming you can change your priors/beliefs at will.

I think you or one of the other participants asked if I could disbelieve in a chair I was sitting on, but I said no. I do believe that I can change my axioms at will, because I've done it several times. It requires introspection about why one has chosen the axiom, and what other beliefs it's connected to, but the process is relatively simple once you get the right perspective.

I am pretty sure people can work themselves to the point of denying basic elements of observable reality; people have been known to handle snakes, drink poison, and self-immolate in apparent calm. The problem is that while all reason is motivated, there is no pressing motive for things like disbelieving in a chair. If there were, people probably could do it.