Theists are wrong; is theism?

5 Post author: Will_Newsome 20 January 2011 12:18AM

Many folk here on LW take the simulation argument (in its more general forms) seriously. Many others take Singularitarianism1 seriously. Still others take Tegmark cosmology (and related big universe hypotheses) seriously. But then I see them proceed to self-describe as atheist (instead of omnitheist, theist, deist, having a predictive distribution over states of religious belief, et cetera), and many tend to be overtly dismissive of theism. Is this signalling cultural affiliation, an attempt to communicate a point estimate, or what?

I am especially confused that the theism/atheism debate is considered a closed question on Less Wrong. Eliezer's reformulations of the Problem of Evil in terms of Fun Theory provided a fresh look at theodicy, but I do not find those arguments conclusive. A look at Luke Muehlhauser's blog surprised me; the arguments against theism are just not nearly as convincing as I'd been brought up to believe2, nor nearly convincing enough to cause what I saw as massive overconfidence on the part of most atheists, aspiring rationalists or no.

It may be that theism is in the class of hypotheses that we have yet to develop a strong enough practice of rationality to handle, even if the hypothesis has non-negligible probability given our best understanding of the evidence. We are becoming adept at wielding Occam's razor, but it may be that we are still too foolhardy to wield Solomonoff's lightsaber Tegmark's Black Blade of Disaster without chopping off our own arm. The literature on cognitive biases gives us every reason to believe we are poorly equipped to reason about infinite cosmology, decision theory, the motives of superintelligences, or our place in the universe.

Due to these considerations, it is unclear if we should go ahead doing the equivalent of philosoraptorizing amidst these poorly asked questions so far outside the realm of science. This is not the sort of domain where one should tread if one is feeling insecure in one's sanity, and it is possible that no one should tread here. Human philosophers are probably not as good at philosophy as hypothetical Friendly AI philosophers (though we've seen in the cases of decision theory and utility functions that not everything can be left for the AI to solve). I don't want to stress your epistemology too much, since it's not like your immortal soul3 matters very much. Does it?

Added: By theism I do not mean the hypothesis that Jehovah created the universe. (Well, mostly.) I am talking about the possibility of agenty processes in general creating this universe, as opposed to impersonal math-like processes like cosmological natural selection.

Added: The answer to the question raised by the post is "Yes, theism is wrong, and we don't have good words for the thing that looks a lot like theism but has less unfortunate connotations, but we do know that calling it theism would be stupid." As to whether this universe gets most of its reality fluid from agenty creators... perhaps we will come back to that argument on a day with less distracting terminology on the table.

 


 

1 Of either the 'AI-go-FOOM' or 'someday we'll be able to do lots of brain emulations' variety.

2 I was never a theist, and only recently began to question some old assumptions about the likelihood of various Creators. This perhaps either lends credibility to my interest, or lends credibility to the idea that I'm insane.

Or the set of things that would have been translated to Archimedes by the Chronophone as the equivalent of an immortal soul (id est, whatever concept ends up being actually significant).

Comments (533)

Comment author: Alex_Altair 20 January 2011 12:58:58AM 8 points [-]

The only fact necessary to rationally be an atheist is that there is no evidence for a god. We don't need any arguments -- evolutionary or historical or logical -- against a hypothesis with no evidence.

The reason I don't spend a cent of my time on it is because of this, and because all arguments for a god are dishonest, that is, they are motivated by something other than truth. It's only slightly more interesting than the hypothesis that there's a teapot around venus. And there are plenty of other things to spend time on.

As a side note, I have spent time on learning about the issue, because it's one of the most damaging beliefs people have, and any decrease in it is valuable.

Comment author: Will_Newsome 20 January 2011 01:54:08AM 8 points [-]

The only fact necessary to rationally be an atheist is that there is no evidence for a god. We don't need any arguments -- evolutionary or historical or logical -- against a hypothesis with no evidence.

I contend that there is evidence for a god. Observation: Things tend to have causes. Observation: Agenty things are better at causing interesting things than non-agenty things. Observation: We find ourselves in a very interesting universe.

Those considerations are Bayesian evidence. The fact that many, many smart people have been theistic is Bayesian evidence. So now you have to start listing the evidence for the alternate hypothesis, no?

The reason I don't spend a cent of my time on it is because of this, and because all arguments for a god are dishonest, that is, they are motivated by something other than truth.

Do you mean all arguments on Christian internet fora, or what? There's a vast amount of theology written by people dedicated to finding truth. They might not be good at finding truth, but it is nonetheless what is motivating them.

I should really write a post on the principle of charity...

It's only slightly more interesting than the hypothesis that there's a teapot around venus.

I realize this is rhetoric, but still... seriously? The question of whether the universe came into being via an agenty optimization process is only slightly more interesting than teapots orbiting planets?

As a side note, I have spent time on learning about the issue, because it's one of the most damaging beliefs people have, and any decrease in it is valuable.

I agree that theism tends to be a very damaging belief in many contexts, and I think it is good that you are fighting against its more insipid/irrational forms.

Comment author: [deleted] 20 January 2011 02:02:55AM 4 points [-]

I should really write a post on the principle of charity...

Yes!

Comment author: Document 20 January 2011 04:19:05AM 2 points [-]

Possible prior work: Why and how to debate charitably, by User:pdf23ds.

Comment author: Dreaded_Anomaly 20 January 2011 02:06:09AM 2 points [-]

I contend that there is evidence for a god. Observation: Things tend to have causes. Observation: Agenty things are better at causing interesting things than non-agenty things. Observation: We find ourselves in a very interesting universe.

"Interesting" is subjective, and further, I think you overestimate how many interesting things we actually know to be caused by "agenty things." Phenomena with non-agenty origins include: any evolved trait or life form (as far as we have seen), any stellar/astronomical/geological body/formation/event...

Comment author: Will_Newsome 20 January 2011 02:14:31AM *  0 points [-]

Interestingness is objective enough to argue about. (Interestingly enough, that is the very paper that eventually led me to apply for Visiting Fellowship at SIAI.) I think that the phenomena you listed are not nearly as interesting as macroeconomics, nuclear bombs, genetically engineered corn, supercomputers, or the singularity.

Edit: I misunderstood the point of your argument. Going back to responding to your actual argument...

I still contend that we live in a very improbably interesting time, i.e. on the verge of a technological singularity. Nonetheless this is contentious and I haven't done the back of the envelope probability calculations yet. I will try to unpack my intuitions via arithmetic after I have slept. Unfortunately we run into anthropic reference class problems and reality fluid ambiguities where it'll be hard to justify my intuitions. That happens a lot.

Comment author: topynate 20 January 2011 02:25:31AM 6 points [-]

All of those phenomena are caused by human action! Once you know humans exist, the existence of macroeconomics is causally screened off from any other agentic processes. All of those phenomena, collectively, aren't any more evidence for the existence of an intelligent cause of the universe than the existence of humans: the existence of such a cause and the existence of macroeconomics are conditionally independent events, given the existence of humans.

Comment author: Will_Newsome 20 January 2011 02:32:13AM *  0 points [-]

Right, I was responding to Dreaded_Anomaly's argument that interesting things tend not to be caused by agenty things, which was intended as a counterargument to my observation that interesting things tend to be caused by agenty things. The exchange was unrelated to the argument about the relatively (ab)normal interestingness of this universe. I think that is probably the reason for the downvotes on my comment, since without that misinterpretation it seems overwhelmingly correct.

Edit: Actually, I misinterpreted the point of Dreaded_Anomaly's argument, see above.

Comment author: Dreaded_Anomaly 20 January 2011 03:38:14AM 3 points [-]

I'm not sure how an especially interesting time (improbable or otherwise) occurring ~13.7 billion years after the universe began implies the existence of God.

Comment author: mkehrt 20 January 2011 02:50:19AM 2 points [-]

Phenomena with non-agenty origins include: any evolved trait or life form (as far as we have seen), any stellar/astronomical/geological body/formation/event...

It is pretty likely you are correct, but this is probably the best example of question-begging I have ever seen.

Comment author: Dreaded_Anomaly 20 January 2011 03:28:43AM 0 points [-]

It seems to me that basing such a list on evidence-based likelihood is different than basing it on mere assumption, as begging the question would entail. I do see how it fits the definition from a purely logical standpoint, though.

Comment author: gjm 20 January 2011 03:12:32PM 1 point [-]

All Dreaded_Anomaly needs for the argument I take him or her to be making is that those things are not known to be caused by "agenty things". More precisely: Will Newsome is arguing "interesting things tend to be caused by agents", which is a claim he isn't entitled to make before presenting some (other) evidence that (e.g.) trees and clouds and planets and elephants and waterfalls and galaxies are caused by agents.

Comment author: steven0461 20 January 2011 02:15:15AM 3 points [-]

We find ourselves in a very interesting universe.

Some of it anyway.

Comment author: Will_Newsome 20 January 2011 02:17:40AM -1 points [-]

Isn't it interesting how there's so much raw material that the interesting things can use to make more interesting things?

Comment author: Alex_Altair 20 January 2011 02:45:43AM 5 points [-]

It's only slightly more interesting than the hypothesis that there's a teapot around venus.

I realize this is rhetoric, but still... seriously? The question of whether the universe came into being via an agenty optimization process is only slightly more interesting than teapots orbiting planets?

I suppose that their ratio is very high, but that their difference is still extremely small.

As for your evidence that there is a god, I think you're making some fundamentally baseless assumptions about how the universe should be "expected" to be. The universe is the given. We should not expect it to be disordered any more than we should expect it to be ordered. And I'd say that the uninteresting things in the universe vastly outnumber the interesting things, whereas for humans they do not.

Also, I must mention the anthropic principle. A universe with humans much be sufficiently interesting to cause humans in the first place.

But I do agree that many honest rational people, even without the bias of existent religion, would at least notice the analogy between the order humans create and the universe itself, and form the wild but neat hypothesis that it was created by an agent. I'm not sure if that analogy is really evidence, anymore than the ability of a person to visualize anything is evidence for it.

Comment author: Jack 20 January 2011 07:47:42PM 1 point [-]

We should not expect it to be disordered any more than we should expect it to be ordered.

You can't just not have a prior. There is certainly no reason to assume the the universe as we have found has the default entropy. And we actually have tools that allow us to estimate this stuff- the complexity of the universe we find ourselves in is dependent on a very narrow range values in our physics. Yes I'm making the fine-tuning argument and of course knowing this stuff should increase our p estimate for theism. That doesn't mean P(Jehovah) is anything but minuscule-- the prior for an uncreated, omnipotent, omniscient and omni-benevolent God is too low for any of this to justify confident theism.

Comment author: Perplexed 20 January 2011 04:06:43AM 3 points [-]

I contend that there is evidence for a god. Observation: Things tend to have causes. Observation: Agenty things are better at causing interesting things than non-agenty things. Observation: We find ourselves in a very interesting universe.

Those considerations are Bayesian evidence.

Your choice of wording here makes it obvious that you are aware of the counter-argument based on the Anthropic Principle. (Observation: uninteresting venues tend not to be populated by observers.) So, what is your real point?

Comment author: magfrump 20 January 2011 06:46:33AM 1 point [-]

I would think "Observers who find their surroundings interesting duplicate their observer-ness better" is an even-less-mind-bending anthropic-style argument.

Also this keeps clear that "interesting" is more a property of observers than of places.

Comment author: TheOtherDave 20 January 2011 01:52:28PM 1 point [-]

(nods) Yeah, I would expect life forms that fail to be interested in the aspects of their surroundings that pertain to their ability to produce successful offspring to die out pretty quickly.

That said, once you're talking about life forms with sufficiently general intelligences that they become interested in things not directly related to that, it starts being meaningful to talk about phenomena of more general interest.

Of course, "general" does not mean "universal."

Comment author: prase 20 January 2011 01:18:48PM 1 point [-]

The question of whether the universe came into being via an agenty optimization process is only slightly more interesting than teapots orbiting planets?

Depends on personal standards of interest. I may be more interested in questions which I can imagine answering than ones whose anwer is a matter of speculation, even if the first class refers to small unimportant objects while the second speaks about the whole universe. Practically, finding out teapots orbiting Venus would have more tangible consequences than realising that "universe was caused by an agenty process" is true (when further properties of the agent remain unspecified). The feeling of grandness associated with learning the truth about the very beginning of the universe, when the truth is so vague that all anticipated expectations remain the same as before, doesn't count in my eyes.

Even if you forget heaven, hell, souls, miracles, prayer, religious morality and plethora of other things normally associated with theism (which I don't approve because confusion inevitably appears when words are redefined), and leave only "universe was created by an agenty process" (accepting that "universe" has some narrower meaning than "everything which exists"), you have to point out how can we, at least theoretically, test it. Else, it may not be closed for being definitely false, but still would be closed for being uninteresting.

Comment author: shokwave 20 January 2011 03:13:25PM 4 points [-]

Observation: Agenty things are better at causing interesting things than non-agenty things.

I can't help but feel that this sentence pervasively redefines 'interesting things' as 'appears agent-caused'.

Comment author: Jack 20 January 2011 07:33:39PM *  4 points [-]

The existence of the universe is actually very strong evidence in favor of theism. It just isn't nearly strong enough to overcome the insanely low prior that is appropriate.

Comment author: [deleted] 20 January 2011 12:59:12AM 3 points [-]

Agreed. I think this is a cultural thing rather than a truly rational thing. I was brought up as an atheist, and would still describe myself as such, but I wouldn't give a zero probability to the simulation argument, or to Tipler's Omega Point, or whatever (I wouldn't give a high probability to either - and Tipler's work post about 1994 has been obvious ravings) and I can imagine other scenarios in which something we might call God might exist. I don't see myself changing my mind on the theism question, but I don't consider it a closed one.

Comment author: Dreaded_Anomaly 20 January 2011 01:06:38AM 1 point [-]

I think the theism/atheism debate is considered closed in the following sense: no one currently has any good reasons in support of theism (direct evidence, or rational/Bayesian arguments). We can't say that such a reason won't show up in the future, but from what we know right now, theism just isn't worth considering. The territory, from all indications, is Godless (and soulless, for that matter), so the map should reflect that.

Comment author: Davidmanheim 20 January 2011 01:17:16AM -2 points [-]

When you say there are no good reasons in support of theism, I assume you mean the truth of theism, not the idea that it may create positive externalities? Or are you claiming that there is no benefit to theism whatsoever?

If the territory is to be faithfully represented, we cannot say that the existence of a deity is a necessary component, but that doesn't necessarily imply that the existence of religion is a pure negative.

Comment author: Dreaded_Anomaly 20 January 2011 01:23:01AM 0 points [-]

Yes, I was just talking about the truth of theism. The existence of religion isn't a pure negative, but I think the human race could do better.

Comment author: Normal_Anomaly 20 January 2011 01:16:10AM *  2 points [-]

There's not enough evidence to locate the hypothesis, so while I technically give it a non-zero probability, that probability is not high enough for me to consider it worth significant time to investigate.

As for arguing against it in public: at most one human religion can be true. All the others must be false. So decreasing the amount of religion in the world improves net accuracy. Also and perhaps more importantly, religion is a major source of Dark Side Epistemology. So on the meta-level, minimizing the influence of religion will help people become more rational.

Comment author: wedrifid 20 January 2011 01:46:41AM 5 points [-]

There's not enough evidence to locate the hypothesis

That line works a lot better for 'Jehovah' than 'theism', especially if you apply the latter term liberally.

Comment author: JoshuaZ 20 January 2011 02:49:58AM -2 points [-]

Huh? I would think if anything it is the other way around. We have something which locates the Jehovah hypothesis, ancient texts claiming the entity's intervention and modern individuals claiming to communicate with the entity. The real issue is that after locating, there are much better explanations for the data.

Comment author: TobyBartels 20 January 2011 02:57:32AM *  8 points [-]

If you think that it's easier to locate the hypothesis of Jehovah than the hypothesis of theism, then you're falling victim to a variation of the conjunction fallacy. Belief in Jehovah is itself a variety of theism.

Nevertheless, I agree with you that there's plenty of evidence to locate the hypothesis of Jehovah (and therefore there is at least that much to locate theism), just very little evidence to confirm it when it's examined.

Comment author: JoshuaZ 20 January 2011 03:05:13AM *  4 points [-]

Yes, you're right. That's an awful conjunction fallacy. Almost textbookish. Ugh.

Comment author: Miller 20 January 2011 03:30:46AM *  0 points [-]

I don't think I understand what 'locate the hypothesis is'. I do know what the conjunction fallacy is. I suspect the confusion here is my own..

You can identify a dog with more certainty than identify a mammal, even though all dogs are mammals. What did I miss?

Comment author: JoshuaZ 20 January 2011 03:38:32AM 3 points [-]

Locating a hypothesis means to have enough evidence for a hypothesis that one can say that the hypothesis is worth considering at some minimal level. This is necessary because humans have limited cognitive capability so we can't consider every possible hypothesis out there (we can't even practically list them all).

Thus for example, if someone ran up to you on the street and screamed "the mutant aliens are in the sewer. They're powered by draining nuclear power plants!" you probably wouldn't consider the claim much at all, but would rather entertain others (the person is mentally ill, or is engaging in some strange prank would both be more likely).

Toby's point was that my claim that the Jehovah hypothesis could be more easily located than the theist hypothesis must be wrong. Since the theist hypothesis is implied by (or encompasses depending on how you look at it) the Jehovah hypothesis, anything that located the Jehovah hypothesis must be locating the more general theist hypothesis. This is a common cognitive error that humans make called the conjunction fallacy, where people will assign a higher probability to something more specific than something general, even though the general thing is entailed by the specific thing. I'm a bit embarrassed by that actually, since it shows serious failings on my part as a rationalist.

Comment author: Miller 20 January 2011 03:53:22AM 0 points [-]

Wow that was fast. I was writing an edit, after looking up the wiki, when I refreshed and it looked almost exactly like your first paragraph. Yes, in absolute probability terms theism must be more probable than jehovah. Thus, the conjunction fallacy.

At first glance the terminology 'locate the hypothesis' is rather non-intuitive. I'm going to put some consideration, and I don't think this is the appropriate place anyway, before commenting further on that.

Comment author: TobyBartels 20 January 2011 04:00:25AM *  1 point [-]

The reason that I said ‘a variation of the conjunction fallacy’ is that the standard conjunction fallacy that I know is about assigning probabilities to propositions rather than attending to them. (You might choose to attend to something with a fairly low probability, for example, if its expected consequences are significant enough to overcome this.) Nevertheless, to consider the possibility that Jehovah exists, you must consider the possibility that a god exists.

Comment author: Desrtopa 20 January 2011 03:38:41AM 2 points [-]
Comment author: Desrtopa 20 January 2011 01:17:59AM 15 points [-]

I don't think the implications of accepting the simulation argument on one's worldview are that similar to believing in a supernatural omniscient creator of the universe and arbiter of morality. Absent a ready label for "one who accepts the simulation argument in a naturalistic framework," it's probably more convenient for such people to simply identify as "atheist." Conflating simulationism with theism is only liable to lead to confusion.

Comment author: Will_Newsome 20 January 2011 02:08:36AM 0 points [-]

Voted up and agreed; I often forget that Less Wrong is rightly conscientious about keeping inferential distances imposed by terminological suboptimality to a minimum.

Comment author: Miller 20 January 2011 02:33:50AM 9 points [-]

Conflating simulationism with theism is only liable to lead to confusion.

This observation dissolves your post. If you agree with it then repent properly, o' sinner.

Comment author: Will_Newsome 20 January 2011 02:37:05AM 1 point [-]

It doesn't really dissolve what I was actually trying to get at with my post, though; it just means I didn't do a good job at explaining what I was getting at. How do rationalists repent? I have karma to burn...

Comment author: Miller 20 January 2011 02:53:55AM 1 point [-]

How do rationalists repent? I have karma to burn...

I'd say they repent by updating their beliefs, and cleaning up the debris left by their old ones. This is rather similar for rationalists and non-rationalists alike really. Kind of like apologizing for stealing the candy from the drugstore and promising to pay it back..

Comment author: Will_Newsome 20 January 2011 03:08:26AM 0 points [-]

Hm, that's not a particularly natural fit here... the only beliefs I'd be updating are beliefs about what styles of communication should be normative. Still, it's my style to treat ontological disagreement as a big deal, so I'll update accordingly.

Comment author: rosyatrandom 20 January 2011 01:22:04AM 1 point [-]

I'm in the 'everything that can exist does so; we're a fixed point in a cloud of possibilities' camp. I'm also an atheist because I see theism as an extra-ordinarily arbitrary and restrictive constraint on what should or must be true in order for us to exist.

It's simply too narrow and unjustified for me to take seriously, and the fact that its trappings are naive and full of wishful thinking and ulterior motives means I certainly don't.

Comment author: Will_Newsome 20 January 2011 01:41:47AM -1 points [-]

I'm also an atheist because I see theism as an extra-ordinarily arbitrary and restrictive constraint on what should or must be true in order for us to exist.

The way I've been envisioning theism is as a pretty broad class of hypotheses that is basically described as 'this patch of the universe we find ourselves in is being computed by something agenty'. What is your conception of theism that makes it more arbitrary and restrictive than this?

Comment author: rosyatrandom 20 January 2011 10:03:43AM 0 points [-]

Since my metaphysical position is (and I'm going to have to come up with a better term for it) pan-existence, having gods that create and influence things requires that those possibilities where they don't (or where other, similar-but-different gods do) are somehow rendered impossible or unlikely.

Gods being statistically significant requires some metaphysical reason for them to be so simply in order to stop the secular realities dominating, and the arbitrary focus of theistic gods on humanity and our loose morals only serves to make them ever more over-specified and unlikely.

Comment author: komponisto 20 January 2011 01:24:28AM *  11 points [-]

Many folk here on LW take the simulation argument (in its more general forms) seriously. Many others take Singularitarianism1 seriously. Still others take Tegmark cosmology (and related big universe hypotheses) seriously. But then I see them proceed to self-describe as atheist (instead of omnitheist, theist, deist, having a predictive distribution over states of religious belief, et cetera), and many tend to be overtly dismissive of theism.

The word "but" in the last sentence is a non-sequitur if there ever were one. Tegmark cosmology is not theism. Theism means Jehovah (etc). Yes, there are people who deny this, but those people are just trying to spread confusion in the hope of preventing unpleasant social conflicts. There is no legitimate sense in which Bostromian simulation arguments or Tegmarkian cosmological speculations could be said to be even vaguely memetically related to Jehovah-worship.

The plausibility of simulations or multiverses might be an open question, but the existence of Jehovah isn't. There's a big, giant, huge difference. If we think Tegmark may be correct, then we can just say "I think Tegmark may be correct". There is no need to pay any lip-service to ancient mistakes whose superficial resemblance to Tegmark (etc) is so slight that you would never notice it unless you were motivated to do so, or heard it from someone who was.

Comment author: BecomingMyself 20 January 2011 01:39:28AM *  1 point [-]

Tegmark cosmology is not theism. Theism means Jehovah (etc).

The way I read it, it seems like Will_Newsome is not using the word in this way. It may be a case of two concepts being mistakenly filed into the same basket -- certainly some people might, when they hear "Theism-in-general is a mistaken and sometimes harmful way of thinking about the world", understand "theism-in-general" to mean "any mode of thought that acknowledges the possibility of some intelligent mind that is outside and in control of our universe". Under this interpretation, the assertion is quite obviously false (or at least, not obviously true).

I wonder if there is still a disagreement if we Taboo "theism"? (Though your point in the last paragraph is a good one, I think.)

Comment author: komponisto 20 January 2011 01:46:29AM *  4 points [-]

Tegmark cosmology is not theism. Theism means Jehovah (etc).

The way I read it, it seems like Will_Newsome is not using the word in this way

Indeed not; hence my criticism!

Comment author: Will_Newsome 20 January 2011 01:59:29AM 1 point [-]

I didn't mean to talk about Jehovah specifically; I thought that using 'theism' would imply enough generality that I could get away without clarification, but I was obviously very mistaken. I added a sentence to the end of the post.

Your second paragraph seems to correctly point out a problem with my terminology. Nonetheless perhaps we could also have discussion on what I was (admittedly poorly) trying to start a discussion about, that is, the apparent contradiction between believing strong optimization processes outside the observable universe are possible and believing that such an optimization process didn't create the observable universe?

Comment author: wedrifid 20 January 2011 02:10:40AM *  1 point [-]

I didn't mean to talk about Jehovah specifically; I thought that using 'theism' would imply enough generality that I could get away without clarification, but I was obviously very mistaken. I added a sentence to the end of the post.

It was brave to even consider using a concept within a few inferential leaps from Jehovah here. :)

Comment author: komponisto 20 January 2011 02:17:04AM 2 points [-]

I didn't mean to talk about Jehovah specifically

Nor, for that matter, did I: Zeus, Thor, and their innumerable counterparts should be considered included in the reference.

Nonetheless perhaps we could also have discussion on what I was (admittedly poorly) trying to start a discussion about, that is, the apparent contradiction between believing strong optimization processes outside the observable universe are possible and believing that such an optimization process didn't create the observable universe?

The way to have done that, in my opinion, would have been to title the post "Simulation/creator arguments" or something similar, and to avoid any mention of theism, atheism, or religion in the body of the post.

Comment author: Anatoly_Vorobey 20 January 2011 09:09:22AM 7 points [-]

The word "but" in the last sentence is a non-sequitur if there ever were one. Tegmark cosmology is not theism. Theism means Jehovah (etc). Yes, there are people who deny this, but those people are just trying to spread confusion in the hope of preventing unpleasant social conflicts. There is no legitimate sense in which Bostromian simulation arguments or Tegmarkian cosmological speculations could be said to be even vaguely memetically related to Jehovah-worship.

Isn't this - I'm sorry if that sounds harsh - arguing by a forceful say-so? Sure, if you constrain theism rhetorically to "Jehovah-worship", that practice doesn't sound very similar to the Bostromian arguments. But "Bostromian arguments/Tegmarkian speculations" and "the claim that a god created the universe" sound pretty much memetically related to me.

There is no need to pay any lip-service to ancient mistakes whose superficial resemblance to Tegmark (etc) is so slight that you would never notice it unless you were motivated to do so, or heard it from someone who was.

You're saying that e.g. "we are living in a simulation run by sentient beings" and "we are living in a universe created by a sentient being" are such wildly different ideas that there's only superficial resemblance between them, and even that resemblance is unlikely to be noticed by anyone just thinking about the issue, and is rather spread as a kind of a perverse meme.

Methinks thou dost protest too much.

The earliest time I can remember that anyone drew a very explicit connection between simulations and theism is in Stanislaw Lem's short story about Professor Corcoran. The book was originally published in 1971, when Bostrom was -2 years old. It's in the second volume of his Star Diaries; see "Further Reminiscences of Ijon Tichy: I" in this (probably pirated) scribd doc. I'd recommend it to anyone. Of course, it's very much possible that Lem wasn't the first to write up the idea.

Comment author: komponisto 20 January 2011 09:55:56AM *  1 point [-]

Isn't this - I'm sorry if that sounds harsh - arguing by a forceful say-so? Sure, if you constrain theism rhetorically to "Jehovah-worship", that practice doesn't sound very similar to the Bostromian arguments. But "Bostromian arguments/Tegmarkian speculations" and "the claim that a god created the universe" sound pretty much memetically related to me.

See Religion's Claim to be Non-Disprovable for discussion of what religion is and how it arose. By "memetically related" I do not mean "memetically similar" (although I don't think there's much similarity either); I mean "related" in the sense of ancestry/inheritance. Bostrom's and Tegmark's arguments are not a branch of religion; they do not belong in that cluster.

You're saying that e.g. "we are living in a simulation run by sentient beings" and "we are living in a universe created by a sentient being" are such wildly different ideas that there's only superficial resemblance between them,

No. The implication of the post, as I perceived it (have a look at its first paragraph) was "you guys shouldn't be so confident in your dismissal-of-religion ('atheism'); after all, you (perhaps rightly) are willing to entertain the ideas of Tegmark!"

Surely you understand what is wrong with this.

Methinks thou dost protest too much.

You think I don't believe what I'm writing?

Comment author: Anatoly_Vorobey 20 January 2011 11:39:26AM *  6 points [-]

By "memetically related" I do not mean "memetically similar" (although I don't think there's much similarity either); I mean "related" in the sense of ancestry/inheritance. Bostrom's and Tegmark's arguments are not a branch of religion; they do not belong in that cluster.

I think you're wrong on similarity [1] and irrelevant on ancestry/inheritance. Only some among currently active religions are clearly "related" in the sense you employ (e.g. Judaism and Christianity); there's no strong evidence that most or all are so related. Since you presumably have no problem lumping them together under "religion", the claim that BTanism (grouped and named so purely for convenience) has no common ancestry with these religions is irrelevant to whether it should be judged a religion.

Also, I don't read the post as claiming "you guys are so dismissive of religion, but you're big on BTanism which is just as much a religion, so there!". Instead, I read the post as claiming "you guys are unreasonable in your overt dismissal of theism and your forceful insistence on it being a closed question, considering many of you are big on BTanism which has similar epistemological status to some varieties of theism". So it doesn't matter much whether BTanism is a religion or not; if that bothers you too much, just employ Taboo and talk about something like "a sentient being responsible for the creation of the observable universe" instead.

I don't fully agree with this idea (the post's argument as I read it), but I find myself somewhat sympathetic to it. It is indeed true in my opinion that the overt and insistent dismissal of theism on LW is a community-cohesiveness driven phenomenon. There's illuminating prior discussion at The uniquely awful example of theism.

You think I don't believe what I'm writing?

No, I have no doubt that you believe what you're writing. Rather, I think that the strongly dismissive claims in your first comment in the thread, unbacked by any convincing argument or evidence, cause me to think that a strong cognitive bias is at work.

[1] Really, the similarity is so strong that I see no need for a detailed argument; but if one is desired, I think Lem's story, to which I linked earlier, serves admirably as one.

Comment author: prase 20 January 2011 01:30:44PM 3 points [-]

Since you presumably have no problem lumping them together under "religion", the claim that BTanism (grouped and named so purely for convenience) has no common ancestry with these religions is irrelevant to whether it should be judged a religion.

The lumping together of religions under the category of "religion" isn't based on common ancestry, and neither it is based solely on "universe was created by god(s)". Religions have much more in common, e.g. reliance on tradition, sacred texts, sacred places, worship, prayer, belief in afterlife, claims about morality, self-declared unfalsifiability, anthropomorphism, anthropocentrism. Saying that simulation arguments belong to the same class as Judaism, Hinduism or Buddhism because they all claim that the world was created by intelligent agents is like putting atheism to the same category because it is also a belief about gods.

Comment author: Anatoly_Vorobey 20 January 2011 02:04:20PM *  6 points [-]

You're making good points, with which I largely agree, with some reservations (see below). I'd just point out that this wasn't the argument Komponisto was making - he was talking only about relatedness in the ancestry sense.

Your list of attributes is probably good enough to distinguish e.g. a simulation argument from "religions" and justify not calling it one. There are two difficulties, however. One is that adherence to these attributes isn't nearly as uniform among religions as it's often rhetorically assumed on LW to be. There's a tendency to: start talking about theism; assume in your argument that you're dealing with something like an omnipresent, omniscient monotheistic God of Judaism/Christianity whose believers are all Bible literalists; draw the desired conclusion and henceforth consider it applying to "theism" or "religion" in general. I find this fallacious tendency to be frequent in discussions of theism on LW. This comment from the earlier discussion is relevant, as are some other comments there. In this post, Eliezer comments that believing in simulation/the Matrix means you're believing in powerful aliens, not deities. Well, consider ancient Greek gods; they are not omniscient, not omnipresent, they can die... they're not more powerful than the simulation runners, and arguably not very ontologically different; are they not deities, but aliens? Was that not religion? [1]

It's kind of understandable that one thinks of the concept of God and Jehovah pops into view. But if you stick with Jehovah - and not even any Jehovah, but a particular, highly literally interpreted kind - it's no good pretending afterwards that you've dealt a blow to religion or to theism.

So proper account of what religions are actually out there makes your list of attribute much less universal, and the dividing line between religions and something like BTanism much less sharp. But, to be clear, I still think this line can be usefully drawn.

The second difficulty is something I've already written to Komponisto above: OK, it's not a religion, so what? The really important thing is whether it's like a religion in those things that ought to make a rationalist not glibly and gleefully dismiss one if they're psyched about another. And among those things worship and sacred texts are arguably less important than e.g. falsifiability. Have you seen a good way to falsify a simulation claim recently?

[1] I just remembered that Dan Simmons develops this theme in Ilium/Olympos. The second book is much worse than the first one.

Comment author: prase 20 January 2011 02:42:23PM *  3 points [-]

I'd just point out that this wasn't the argument Komponisto was making - he was talking only about relatedness in the ancestry sense.

I know, nevertheless still I wanted to stress that we don't define religion by a single criterion.

Well, consider ancient Greek gods; they are not omniscient, not omnipresent, they can die... they're not more powerful than the simulation runners, and arguably not very ontologically different; are they not deities, but aliens? Was that not religion?

Therefore I haven't listed omni-qualities, immortality and ontological distinctiveness among my criteria for religion. If you look at those criteria, the Greek religion satisfied almost all, save perhaps sacred texts and claims of unfalsifiability (seems that they have not enough time to develop the former and no reason for the latter). Religion usually surpasses the question of existence and identity of gods.

(Now we can make distinction between religion and theism, with the latter being defined solely in terms of god's existence and qualities. I am not sure yet what to think about that possibility.)

So proper account of what religions are actually out there makes your list of attribute much less universal, and the dividing line between religions and something like BTanism much less sharp.

The line is not sharp, of course. Many people argue that Marxism is a religion, even if it explicitly denies god, and may have based that opinion on good arguments. It is also not enough clear what to think about Scientology. Religion, or simply cult? I don't think the classification is important at all.

OK, it's not a religion, so what? The really important thing is whether it's like a religion in those things that ought to make a rationalist not glibly and gleefully dismiss one if they're psyched about another. ... Have you seen a good way to falsify a simulation claim recently?

No, I haven't. Actually my approach to simulation arguments is not much different from my approach to modern vague forms of theism: I notice it, but don't take it seriously.

And among those things worship and sacred texts are arguably less important than e.g. falsifiability.

It depends. Belief in importance, hidden message, or even literal truth of ancient texts is generally more reliable indicator of practical irrationality than having an opinion about some undecidable propositions is.

Comment author: Anatoly_Vorobey 20 January 2011 06:30:26PM *  0 points [-]

I think we've converged on violent agreement, except one point:

And among those things worship and sacred texts are arguably less important than e.g. falsifiability.

It depends. Belief in importance, hidden message, or even literal truth of ancient texts is generally more reliable indicator of practical irrationality than having an opinion about some undecidable propositions is.

You're right. I retract this part.

Comment author: prase 20 January 2011 06:38:43PM 1 point [-]

violent agreement

I like the phrase.

Comment author: komponisto 21 January 2011 01:36:31AM 3 points [-]

I think you're wrong on similarity [1] and irrelevant on ancestry/inheritance. Only some among currently active religions are clearly "related" in the sense you employ (e.g. Judaism and Christianity); there's no strong evidence that most or all are so related. Since you presumably have no problem lumping them together under "religion", the claim that BTanism (grouped and named so purely for convenience) has no common ancestry with these religions is irrelevant to whether it should be judged a religion.

This does not follow. It is not necessary for my argument that different religions all be related to each other; it is only necessary that BTanism not be related to any of them, and (this part I asserted implicitly by linking to Religion's Claim to be Non-Disprovable) that it not have been generated by a similar process.

Also, I don't read the post as claiming "you guys are so dismissive of religion, but you're big on BTanism which is just as much a religion, so there!". Instead, I read the post as claiming "you guys are unreasonable in your overt dismissal of theism and your forceful insistence on it being a closed question, considering many of you are big on BTanism which has similar epistemological status to some varieties of theism"

Varieties of "theism" which have similar epistemological status to BTanism are not subject on LW to the same kind of dismissal as religion, to the best of my knowledge. Nor should they be. But for the sake of avoiding confusion and undesirable connotations, they certainly shouldn't be called "theism".

It is indeed true in my opinion that the overt and insistent dismissal of theism on LW is a community-cohesiveness driven phenomenon.

If what you mean here is "merely community-cohesiveness driven phenomenon", then I disagree entirely. You might have been right if this were RichardDawkins.net or another specifically atheism-themed community, but it isn't. This is Less Wrong. Our starting point here is epistemology. Rejection of religion ("theism") is a consequence of that; the rejection may be strong but it is still incidental.

For my part, I see "open-mindedness" toward theism mostly as manifesting an inability to come to gut-level terms with the fact that large segments of the human population can be completely, totally wrong. The next biggest source after that is Will's problem, which is the pleasure that smart people derive from being contrarian and playing verbal and conceptual games. (If you like that, for goodness' sake be an artist! But keep your map-territory considerations pure.)

I have no doubt that you believe what you're writing. Rather, I think that the strongly dismissive claims in your first comment in the thread, unbacked by any convincing argument or evidence, cause me to think that a strong cognitive bias is at work.

Which?

Again, this is Less Wrong, not a random internet forum. It is not possible to recapitulate the Sequences in every comment; that doesn't mean that strong opinions whose justifications lie therein are inadequately supported.

Comment author: topynate 20 January 2011 01:28:57AM 0 points [-]

If you don't mind my asking, how did it come to be that you were raised to believe that convincing arguments against theism existed without discovering what they are? That sounds like a distorted reflection of a notion I had in my own childhood, when I thought that there existed a theological explanation for differences between the Bible and science but that I couldn't learn them yet; but to my recollection I was never actually told that, I just worked it out from the other things I knew.

Comment author: Will_Newsome 20 January 2011 01:40:03AM 0 points [-]

I knew some convincing arguments against theism, but I suppose what I explicitly did not know of were counterarguments to the theistic counterarguments against those atheistic convincing arguments, because I was quick to dismiss the theistic counterarguments in the first place.

Comment author: TobyBartels 20 January 2011 01:43:01AM *  3 points [-]

Part of the problem here is that there's no clear meaning of the word ‘god’ (taking for granted that ‘theism’ and ‘atheism’ are defined in terms of it). I usually identify as ‘secular humanist’ rather than ‘atheist’, mostly because it's more precise, but also because I have seen people define ‘god’ in such a way that I believe that one might well exist. These have all been very vague definitions (more along pantheistic than monotheistic lines), but they're not gratuitous (like defining ‘god’ to mean, say, my nose), and by these lights I'm merely a (weak) agnostic.

In particular, if one defines ‘god’ as a person who created the world, then (depending on exactly what ‘person’ and ‘world’ mean) the simulation hypothesis would indeed imply the existence of a god. You seem to be hinting at this, while other respondents deny it. You all may just be talking about different things. (I will sometimes say, if pressed, that I do not believe in a person who created the world, using precisely those words, but then I don't buy the simulation argument.)

Of course, one can argue over what ‘god’ or ‘atheist’ ought to mean, in order to communicate most effectively with other people. For my part, unless I'm speaking with (or about) a theist whose beliefs I more or less understand, I don't usually use them at all.

Comment author: jimrandomh 20 January 2011 01:47:19AM *  5 points [-]

Tegmark cosmology implies not only that there is a universe which runs this one as a simulation, but that there are infinitely many such universes and infinitely many such simulations. In some fraction of those universes, the simulation will have been designed by an intelligent entity. In some smaller fraction, that entity has the ability to mess with the contents of the simulation (our universe) or copy data out of it (eg, upload minds and give them afterlives). My theism is equal to my estimate of this latter fraction, which is very small.

Comment author: Will_Newsome 20 January 2011 02:02:39AM 1 point [-]

Clarifying: I'm guessing that by 'ability' you mean 'ability and inclination'?

Comment author: jimrandomh 20 January 2011 02:15:11AM *  1 point [-]

Right. Actually, forget about both of those; all that matters is whether it actually does modify the simulation's contents or copy out data that includes a mind at least once. And, come to think of it, the intervention would also have to be inside our past or future light cone, which might lower the fraction pretty substantially (it means any outer universe which instantiates our entire infinite universe, but makes only finitely many interventions, doesn't count).

Although - there are some interpretations of consciousness under which, upon death, the fraction of enclosing universes which copy out minds doesn't matter, only the proportions of them with different qualities. In that case, the universe would act as though there were no gods or outer universes until you died or performed enough iterations of quantum suicide, after which you'd end up in a different universe. I'm not sure how much credence I give to those interpretations.

Comment author: Perplexed 20 January 2011 02:17:11AM 5 points [-]

Tegmark cosmology implies not only that there is a universe which runs this one as a simulation, but that there are infinitely many such simulations.

I'm not sure that this is true. My understanding is that IF a universe which runs this one as a simulation is possible, THEN Tegmark cosmology implies that such a universe exists. But I'm not sure that such a universe is possible. After all, a universe which contains a perfect simulation of this one would need to be larger (in duration and/or size) than this one. But there is a largest possible finite simple group, so why not a largest possible universe? I am not confident enough of my understanding of the constraints applicable to universes to be confident that we are not already in the biggest one possible.

There is a spooky similarity between the Tegmark-inspired argument that we may live in a simulation and the Godel/St. Anselm-inspired argument that we were created by a Deity. Both draw their plausibility by jumping from the assertion that something (rather poorly characterized) is conceivable to the claim that that thing is possible. That strikes me as too big of a jump.

Comment author: jimrandomh 20 January 2011 02:39:45AM 1 point [-]

I'm not sure that this is true. My understanding is that IF a universe which runs this one as a simulation is possible, THEN Tegmark cosmology implies that such a universe exists. But I'm not sure that such a universe is possible.

You're right, that is an additional requirement. Nevertheless, it seems very highly likely to me that such a universe is possible; for it to be otherwise would imply something very strange about the laws of physics. The most-existant universe simulating ours might exist to a degree 1/BB(100) times as much as our universe exists, though; in that case, they would "exist", but not for any practical purposes. This seems more likely than our universe having some property we don't know about that makes it impossible to simulate.

Comment author: JoshuaZ 20 January 2011 03:28:52AM 2 points [-]

If one accepts general Tegmark, is there any natural measure for describing how common different universes should be in any meaningful sense?

Comment author: ata 20 January 2011 03:37:28AM *  1 point [-]

Not yet, as far as I know. Big World cosmology seems to be going in the right direction, but it's not yet understood well enough that we should be coming to any epistemological or ethical conclusions based on it.

Comment author: Perplexed 20 January 2011 03:47:21AM 1 point [-]

I agree with the question. It may make sense to attach "probabilities of existing" to universes arising in a chaotic inflation model, but not, I think, in an "ultimate ensemble" multiverse, which seems to be the one being examined here.

But, to be honest, I had never even considered the possibility that a particularly large bubble universe might contain a simulation of a much smaller bubble. Inflation, as I understand it, does make it possible for a simulation of one small piece of physical reality to encompass an entire isolated 'universe'.

Comment author: jimrandomh 20 January 2011 04:00:47AM 2 points [-]

Yes, but unfortunately, there are many measures to choose from, and you can't possibly tell which is correct until you've visited Permutation City and at least a dozen of its suburbs.

Comment author: magfrump 20 January 2011 06:49:28AM 6 points [-]

There isn't a largest finite simple group. There's a largest exceptional finite simple group.

Z/pZ is finite and simple for all primes p, and if you think there is a largest prime I have some bad news...

Comment author: Perplexed 20 January 2011 03:01:46PM 0 points [-]

Doooohhh!

Thx.

Comment author: Oligopsony 20 January 2011 09:00:54AM 1 point [-]

My theism is equal to my estimate of this latter fraction, which is very small.

What does "fraction" mean here?

Comment author: Leonhart 20 January 2011 02:07:49PM *  0 points [-]

It seems to me that, if we insist on using simulation hypotheses as a model for theism, this has to be narrowed still further. Theism adds the constraint that though $deity is simulating us, no-one is simulating $deity; He's really really real and the buck stops with Him. We live in the floor just above reality's basement; isn't that nice.

I think that this might be what Eliezer's quote about "ontological distinctness" refers to, but I'm not sure.

Comment author: jimrandomh 20 January 2011 02:09:46PM *  1 point [-]

Monotheism requires that, but theism doesn't. And unless there are some universes that are for some reason impossible to simulate, Tegmark cosmology implies that there are no universes for which there are no universes simulating them. Is-God-of is a two-place predicate.

Comment author: Document 20 January 2011 02:22:28PM *  0 points [-]

Nitpick: Will isn't the only self-identified theist you'd have to convince of that.

Comment author: TheOtherDave 20 January 2011 02:38:35PM 0 points [-]

If one were interested in salvaging the correspondence, one could argue that there's a chain of simulators-simulating-simulators and it's that chain (which extends down to "reality's basement") that theists label as a deity.

That said, I see no point in allowing ontology to get out ahead of epistemology in this area. Sure, maybe all this stuff is going on. Maybe it isn't. Unless these conjectures actually cash out somehow in terms of different expectations about observable phenomena, there seems little point to talking about them.

Comment author: ata 20 January 2011 01:51:03AM *  10 points [-]

The basic problem of specific agent-created-this-universe hypotheses is that of trying to explain complexity with greater complexity without a corresponding amount of evidence. Things like the Simulation Argument and other notions of "agenty processes in general creating this universe" are certainly not as preposterous as theistic religion, particularly in the absence of a good understanding of how existence works, but I think it confuses things to refer to this as theism. If our universe is a simulation developed by a computer science undergrad (from another reality) for a homework assignment, then that doesn't make them our God.

I recall a while ago that there was a brief thread where someone was arguing that phlogiston theory was actually correct, as long as you interpret it as identical to the modern scientific model of fire. I react to things like this similarly: theism/God were silly mistakes, let's move on and not get attached to old terminology. Rehabilitating the idea of "theism" to make it refer to things like the Simulation Hypothesis seems pointless; how does lumping those concepts together with Yahweh (as far as common usage is concerned) help us think about the more plausible ones?

Comment author: grouchymusicologist 20 January 2011 01:57:24AM *  15 points [-]

This post could use a reminder of Less Wrong's working definition of the supernatural (of which theism, as virtually everyone uses the term, is surely a proper subset): it's something that involves an ontologically basic mental entity. We have no reason to suspect the existence of such things, and the simulation argument -- since it certainly does not appeal to such things -- doesn't change that a bit. Any resemblance to theism is superficial at most.

I'd also be curious to know what popular arguments for atheism you happen to think are so much weaker than you'd expected.

EDIT: ignore that last question if you like, I'm getting a sense for it elsewhere in the thread (though do not really agree).

Comment author: JoshuaZ 20 January 2011 03:04:06AM *  16 points [-]

How low a percentage does one need to assign a claim in order to declare it to be closed? I'd assign around a 5% chance that there exists something approximating God (using this liberally to include the large variety of entities which fall under that label). I suspect that my probability estimate is higher than many people on LW. (Tangent: I recently had a discussion with an Orthodox Jewish friend about issues related to Bayesianism, and he was surprised that I assigned the idea that high a probability. In his view, if he didn't have faith and had to assign a probability he said it might be orders of magnitude lower.) So how low a probability do we need to estimate before we consider something closed?

Moreover, how much attention should we pay to apologetics in general? We know that theology and apologetics are areas that have spent thousands of years of memetic evolution to be as dangerous as possible. They take almost every little opportunity to exploit the flaws in human cognition. Apologetic arguments aren't (generally) basilisk level, but they can take a large amount of cognitive resources to understand where they are wrong. After 10 or 15 of them, how much effort do we need to spend seeing if # 16 (variation of first cause argument number 8) is worth spending resources investigation? Also, given that there's a vibrant subset of the internet that is dedicated to handling just this question and related issues, why should LW be the forum for handling the issue?

There's a related issue: humans are overactive agent recognizers. We love to see patterns where none exist and see intelligence in random action. Theism fits with deep-seated human intuitions. In contrast, MWI, simulationism and full-scale Tegmark all clash strongly with human intuition. They may seem weird, but the weirdness may not be a product of evidential issues but rather that they clash with human intuitions. So putting them in the same category as religion may be misleading.

Incidentally, I'm curious, would you similarly object if LW said explicitly that homeopathy was a closed subject? What about evolution? Star formation? If these are different, why are they different?

Comment author: lionhearted 20 January 2011 01:10:11PM 2 points [-]

This comment is brilliant. In particular, I'd really really love to see two top level posts covering:

Moreover, how much attention should we pay to apologetics in general? We know that theology and apologetics are areas that have spent thousands of years of memetic evolution to be as dangerous as possible. They take almost every little opportunity to exploit the flaws in human cognition. Apologetic arguments aren't (generally) basilisk level, but they can take a large amount of cognitive resources to understand where they are wrong.

...and...

There's a related issue: humans are overactive agent recognizers. We love to see patterns where none exist and see intelligence is random action. Theism fits with deep-seated human intuitions. In contrast, MWI, simulationism and full-scale Tegmark all clash strongly with human intuition. They may seem weird, but the weirdness may not be a product of evidential issues but rather that they clash with human intuitions. So putting them in the same category as religion may be misleading.

Both really fascinating insights, I'd love to read more. Especially the first one about memetic evolution to be dangerous - I wonder what various secular social and societal memes fit in similarly.

Comment author: b1shop 20 January 2011 07:19:30PM 2 points [-]

Perhaps a question becomes a closed issue not when the probability of the belief reaches a certain point, but when our estimate of the probability of the belief changing reaches a certain threshold. A fair coin is heads 50% of the time, and my probability won't change. That's a closed question. I may be fairly confident about the modern theory of star formation, but I wouldn't be too surprised if a new theory added some new details. So it's not a closed subject.

I can imagine no evidence that would lead me to believe in something nonfalsifiable. Theism is a closed subject.

Comment author: JoshuaZ 20 January 2011 07:58:57PM 0 points [-]

You say that you can't imagine evidence that would cause you to believe in something nonfalsifiable. But then seem to apply that the theism in general. I'm curious. If say, almost all the evangelical Christians in the world disappeared along with all the world's children, would you not assign a substantial probability to the Rapture having just taken place?

Comment author: b1shop 20 January 2011 08:26:19PM 0 points [-]

Fair point. Some religions make falsifiable claims.

But my point still stands. I assign a low probability to the rapture happening -- even lower than there being a xian God, so I don't put much weight into the idea my religious beliefs will change. The people who take the rapture seriously do so because they also believe in nonfalsifiable things.

Comment author: Wei_Dai 20 January 2011 04:07:53AM *  6 points [-]

But then I see them proceed to self-describe as atheist (instead of omnitheist, theist, deist, having a predictive distribution over states of religious belief, et cetera), and many tend to be overtly dismissive of theism. Is this signalling cultural affiliation, an attempt to communicate a point estimate, or what?

To a non-scientifically-literate person, I might say that I think electrons exist as material objects, whereas to a physicist I would invoke Tegmark's idea that all that exist are mathematical structures.

One way to make sense of this is to think about humanity as a region in mind space, with yourself and your listener as points in that region. The atheist who hasn't heard about Bostrom/Tegmark yet is sitting between you and your listener, and you're just using atheism as a convenient landmark while trying to point your listener in your general direction.

It may be that theism is in the class of hypotheses that we have yet to develop a strong enough practice of rationality to handle, even if the hypothesis has non-negligible probability given our best understanding of the evidence.

Why do you say that? I don't think anyone has gone mad or otherwise suffered really bad consequences from thinking about Bostrom/Tegmark-like ideas... (Umm, I guess some people had nightmares after hearing about Roko's idea, but still, it doesn't seem that bad overall.)

Comment author: Document 20 January 2011 06:42:37AM *  2 points [-]

One way to make sense of this is to think about humanity as a region in mind space, with yourself and your listener as points in that region. The atheist who hasn't heard about Bostrom/Tegmark yet is sitting between you and your listener, and you're just using atheism as a convenient landmark while trying to point your listener in your general direction.

The listener in this case being a theist you're trying to explain your epistemic position to, I assume. (It took me a moment to figure out the context.)

I don't think anyone has gone mad or otherwise suffered really bad consequences from thinking about Bostrom/Tegmark-like ideas..

Possibly related: "(Hugh) Everett's daughter, Elizabeth, suffered from manic depression and committed suicide in 1996 (saying in her suicide note that she was going to a parallel universe to be with her father" (via rwallace).

Comment author: shokwave 20 January 2011 01:08:27PM 3 points [-]

Possibly related:

My gut feeling is the causal flow goes "manic depression -> suicide, alternate universes" rather than "alternate universes -> manic depression -> suicide".

Comment author: Vaniver 20 January 2011 06:26:00PM 4 points [-]

Honestly, I wouldn't be that sure. On this very site I've seen people say their reason for signing up for cryonics was their belief in MWI.

It would not surprise me if "suicide -> hell" decreases the overall number of suicides and "suicide -> anthropic principle leaves you in other universes" increases the overall number of suicides.

Comment author: ata 20 January 2011 06:45:15PM 1 point [-]

Honestly, I wouldn't be that sure. On this very site I've seen people say their reason for signing up for cryonics was their belief in MWI.

Really? What's the reasoning there (if you remember)?

Comment author: Vaniver 20 January 2011 07:13:28PM *  1 point [-]

The post is here. The reasoning as written is:

Cryonics is reasonable - Due to reading and understanding the quantum physics sequence, I ended up contacting Rudi Hoffman for a life insurance quote to fund cryonics. It’s only a few hundred dollars a year for me. It’s well within my budget for caring about myself and others... such as my future selves in forward branching multi-verses.

My comments on the subject (having cut out the tree debating MWI) can be found here.

Comment author: Will_Newsome 20 January 2011 06:56:26PM 0 points [-]

Why do you say that? I don't think anyone has gone mad or otherwise suffered really bad consequences from thinking about Bostrom/Tegmark-like ideas... (Umm, I guess some people had nightmares after hearing about Roko's idea, but still, it doesn't seem that bad overall.)

I meant that a lot of arguments about what kinds of objectives a creator god might have, for example, would be very tricky to do right, with lots of appeals to difficult-to-explain Occamian intuitions. Maybe this is me engaging in typical mind fallacy though, and others would not have this problem. People going crazy is a whole other problem. Currently people don't think very hard about cosmology or decision theory or what not. I think this might be a good thing, considering how crazy the Roko thing was.

Comment author: gwern 20 January 2011 04:30:52AM *  0 points [-]

By theism I do not mean the hypothesis that Jehovah created the universe. (Well, mostly.) I am talking about the possibility of agenty processes in general creating this universe, as opposed to impersonal math-like processes like cosmological natural selection.

That is emphatically not what people like Alvin Plantinga are talking about. Simulation argument provides no support for omni-benevolent omni-potent omni-scient omni-present entities; I don't know why you bring it up.

And if you've been reading Luke's blog, you probably already know that one of the best arguments for theism is the free will defense of the omni-s being consistent with the existence of evil, but since we don't think free will is even a coherent concept, it leaves us unmoved.

Comment author: Dreaded_Anomaly 20 January 2011 04:35:45AM 1 point [-]

And if you've been reading Luke's blog, you probably already know that one of the best argument for theism is the free will defense of the omni-s being consistent with the existence of evil, but since we don't think free will is even a coherent concept, it leaves us unmoved.

Beyond that, it's just not a very good argument. If the entity was omnipotent, it could have given us free will without creating evil. At the least, it could have created less evil by giving all humans force fields, so all we could do to harm each other would be to gossip and insult.

Comment author: lukeprog 20 January 2011 07:05:54AM 2 points [-]

gwern,

Plantinga's Free Will Defense is not an argument for theism. The conclusion of the free will argument is that it is not logically impossible for God and evil to co-exist. That is an extremely modest conclusion on the part of the theist.

Comment author: gwern 20 January 2011 02:24:49PM 0 points [-]

We observe a lack of evidence of contradictions in the concept of god; and absence of evidence is evidence of absence.

Of course the FWD increases our probability for God if we accept it; what else could it possibly do, decrease it? The most charitable interpretation I can put on your comment is that you are confusedly saying 'yes, but it doesn't increase it by much' when I'm pointing out that 'it increases by some non-zero amount, however modest that amount may be'.

Comment author: lukeprog 20 January 2011 09:34:28PM 1 point [-]

Okay, I see what you mean. Thanks for clarifying!

Comment author: Eliezer_Yudkowsky 20 January 2011 09:49:39AM 20 points [-]

"Gods are ontologically distinct from creatures, or they're not worth the paper they're written on." -- Damien Broderick

If you believe in a Matrix or in the Simulation Hypothesis, you believe in powerful aliens, not deities. Next!

There's also no hint of worship which everyone else on the planet thinks is a key part of the definition of a religion; if you believe that Cthulhu exists but not Jehovah, and you hate and fear Cthulhu and don't engage in any Elder Rituals, you may be superstitious but you're not yet religious.

This is mere distortion of both the common informal use and advanced formal definitions of the word "atheism", which is not only unhelpful but such a common religious tactic that you should not be surprised to be downvoted.

Also http://www.smbc-comics.com/index.php?db=comics&id=1817

Comment author: Miller 20 January 2011 10:08:12AM *  -1 points [-]

Yes. Next. I think this post demonstrates the need for downvotes to be a a greater than 1.0 multiple of upvotes. What argument is there otherwise other than the status quo?

Comment author: shokwave 20 January 2011 03:00:02PM 1 point [-]

What argument is there otherwise other than the status quo?

To the extent that positive karma is a reward for the poster and an indication of what people desire to see (both very true), we should not expect a distribution about the mean of zero. If the average comment is desirable and deserving of reward, then the average comment will be upvoted.

Comment author: Miller 20 January 2011 11:21:37PM 1 point [-]

I didn't say anything about centering on zero, and agree that would be incorrect. However, modification to the current method is likely challenging and no one's actually going to do any novel karma engineering here so it was a silly comment for me to make.

Comment author: lukstafi 20 January 2011 01:50:52PM *  -2 points [-]

"Gods are ontologically distinct from creatures, or they're not worth the paper they're written on." -- Damien Broderick

If you believe in a Matrix or in the Simulation Hypothesis, you believe in powerful aliens, not deities. Next!

[Deleted: Gods "run an intrinsically infinitary inference system".] ETA: agreed, silly.

Comment author: shokwave 20 January 2011 02:58:01PM 1 point [-]

My recent definition

is summarily rejected. What does 'intrinsically infinitary' even mean?

Comment author: [deleted] 20 January 2011 02:58:04PM 0 points [-]

I know one isn't supposed to use web comics to argue a point, but I've always found SMBC is the exception to that rule. Maybe not always to get the point across so much as to lighten the mood.

Comment author: shokwave 20 January 2011 03:23:37PM *  4 points [-]

When I want to discuss something, I use a relevant SMBC comic to get people to locate the thing I am talking about. I say decision theory ethics, people glaze over. I link this and they get it immediately.

Not relevant: when people want to use god-particles, etc, to justify belief in God, I use this. It is significantly more effective than any argument I've employed.

Comment author: Perplexed 20 January 2011 04:31:06PM 14 points [-]

You seem to be dictating that theist beliefs and simulationist beliefs should not be collected together into the same reference class. (The reason for this dictat seems to be that you disrespect the one and are intrigued by the other - but never mind that.)

However, this does not seem to address the point which I think the OP was making. Which seems to be that arguments for (against) theism and arguments for (against) simulationism should be collected together in the same reference class. That if we do so, we discover that many of the counter-arguments that we advance against theist apologetics are (objectively speaking) equally effective against simulationist speculation. Yet (subjectively speaking) we don't feel they have the same force.

Contempt for those with whom you disagree is one of the most dangerous traps facing an aspiring rationalist. I think that it would be a very good idea if the OP were to produce that posting on charity-in-interpretation which he mentioned.

Next!

Comment author: Eliezer_Yudkowsky 20 January 2011 07:00:26PM 7 points [-]

we discover that many of the counter-arguments that we advance against theist apologetics are (objectively speaking) equally effective against simulationist speculation

I've argued rather extensively against religion on this website. Name a single one of those arguments which is equally effective against simulationism.

Comment author: Will_Newsome 20 January 2011 07:13:44PM -1 points [-]

(Somewhat related: for those that haven't seen it, Eliezer's Beyond the Reach of God is an excellent article.)

Comment author: Perplexed 21 January 2011 12:25:48AM *  3 points [-]

Perhaps I missed the point of your recommendation. That article by Eliezer seems to argue against the existence of a benevolent God who allows evil and death but does not balance this by endowing humans with immortal souls. Since at least 95% of those who worship Jehovah (to say nothing of Hindus) understand the Deity quite differently, I don't really see the relevance.

But while I am speaking to you, I'm curious as to whether (in my grandfather comment) I correctly captured the point of your OP?

Comment author: Perplexed 21 January 2011 12:07:30AM 5 points [-]

I'll have to review your arguments to provide a really well informed response. Please allow me roughly 24 hours. But in the meantime, I know I have seen arguments invoking Occam's razor and "locating the hypothesis" here. I was under the impression that some of those were yours. As I understand those arguments, they apply equally well to theism and simulationism. That is, they don't completely rule out those hypotheses, but they do suggest that they deserve vanishingly low priors.

Comment author: ata 21 January 2011 12:55:43AM 0 points [-]

Have you read the paper? I'm not convinced of it for a few reasons, but I'd consider it located at least.

Comment author: Perplexed 21 January 2011 01:51:21AM 0 points [-]

Have you read the paper?

Yes, I had read Bostrom's paper.

I'm not convinced of it for a few reasons, but I'd consider it located at least.

I would express my opinion of that argument using less litotes. But as to locating the hypotheses, I suppose I agree.

Which leads me to ask, have you read the catechism? Like most Catholic schoolchildren, I was encouraged to memorize much of it in elementary school, though I have since forgotten almost all of it. It also locates one hypothesis, a hypothesis considerably more popular than Bostrom's.

Comment author: wedrifid 21 January 2011 01:54:50AM *  0 points [-]

I would express my opinion of that argument using less litotes

My new word of the day. It's not a bad one!

Comment author: Zack_M_Davis 21 January 2011 01:31:32AM 0 points [-]

arguments invoking Occam's razor [...] don't completely rule out those hypotheses, but they do suggest that they deserve vanishingly low priors

"Decoherence is Simple" seems relevant here. It's about the many-worlds interpretation, but the application to simulation arguments should be fairly straightforward.

Comment author: Perplexed 21 January 2011 02:43:28AM 1 point [-]

I'm afraid I don't see the application to simulation arguments. You will have to spell it out.

I fully agree with EY that Occam is not a valid argument against MWI. For that matter, I don't even see it as a valid argument against the Tegmark Ultimate Ensemble. But I do see it as a valid argument against either a Creator (unneeded entity) or a Simulator (also an unneeded entity). The argument against our being part of a simulation is weakened only if we already know that simulations of universes as rich as ours are actually taking place. But we don't know that. We don't even know that it is physically and logically possible.

Nevertheless, your mention of MWI and simulation in the same posting brings to mind a question that has always bugged me. Are simulations understood to cover all Everett branches of the simulated world? And if they are understood to cover all branches, is that broad coverage achieved within a single (narrow) Everett branch of the universe doing the simulating?

Comment author: Zack_M_Davis 21 January 2011 03:15:49AM *  0 points [-]

I'm afraid I don't see the application to simulation arguments. You will have to spell it out.

My thought was that the post linked in the grandparent argues that we should prefer logically simpler theories but not penalize theories just because they posit unobservable entities, and that some simple theories predict the existence of a simulator.

We don't even know that [simulations rich enough to explain our experiences are] physically and logically possible.

Yes, the possibility of simulations is taken as a premise of the simulation argument; if you doubt it, then it makes sense to doubt the simulation argument as well.

Comment author: Perplexed 21 January 2011 06:19:00AM 2 points [-]

some simple theories predict the existence of a simulator.

Perhaps we are using the word "simple" in different ways. Bostrom's assumption is the existence of an entity who wishes to simulate human minds in a way that convinces them that they exist in a giant expanding universe rather than a simulation. How is that "simple"? And, more to the point raised by the OP, how is it simpler than the notion of a Creator who created the universe so as to have some company "in His image and likeness".

Comment author: Zack_M_Davis 21 January 2011 05:30:22PM 5 points [-]

Bostrom is saying that if advanced civilizations have access to enormous amounts of computing power and for some reason want to simulate less-advanced civilizations, then we should expect that we're in one of the simulations rather than basement-level reality, because the simulations are more numerous. The simulator isn't an arbitrarily tacked-on detail; rather, it follows from other assumptions about future technologies and anthropic reasoning. These other assumptions might be denied: perhaps simulations are impossible, or maybe anthropic reasoning doesn't work that way---but they seem more plausible and less gerrymandered than traditional theism.

Comment author: timtyler 21 January 2011 06:59:50PM 1 point [-]

Occam's razor weighs heavily against theism and simulism - for very similar reasons.

Probably a bit more heavily against theism, though. That has a bunch of additional razor-violating nonsense associated with it. It does not seem too unreasonable to claim that the razor weighs more heavily against theism.

Comment author: Perplexed 22 January 2011 12:53:02AM *  8 points [-]

I've argued rather extensively against religion on this website.

That was my impression as well, but when I went looking for those arguments, they were very difficult to find. Perhaps my Google-fu is weak. Help from LW readers is welcome.

I found plenty of places where you spoke disrespectfully about religion, and quite a few places where you cast theists as the villains in your negative examples of rationality (a few arguably straw-men, but mostly fair). But I was surprised that I found very few places where you were actually arguing against religion.

Name a single one of those arguments which is equally effective against simulationism.

Well, the only really clear-cut example of a posting-length argument against religion is based on the "argument from evil". As such, it is clearly not equally effective against simulationism.

You did make a posting attempting to define the term "supernatural" in a way that struck me as a kind of special pleading tailored to exclude simulationism from the criticism that theism receives as a result of that definition.

This posting rejects the supernatural by defining it as 'a belief in an explanatory entity which is fundamentally, ontologically mental'. And why is that definition so damning to the supernaturalist program? Well, as I understand it, it is because, by this definition, to believe in the supernatural is anti-reductionist, and a failure of reductionism is simply inconceivable.

I wonder why there is not such a visceral negative reaction to explanatory entities which are fundamentally, ontologically computational? Certainly it is not because we know of at least one reduction of computation. We also know of (or expect to someday know of) at least one reduction of mind.

But even though we can reduce computation, that doesn't mean we have to reduce it. Respectable people have proposed to explain this universe as fundamentally a computational entity. Tegmark does something similar, speculating that the entire multiverse is essentially a Platonic mathematical structure. So, what justification exists to deprecate a cosmology based on a fundamental mental entity?

...

I only found one small item clearly supporting my claim. Eliezer, in a comment, makes this argument against creationists who invoke the Omphalos hypothesis

Never mind usefulness, it seems to me that "Evolution by natural selection occurs" and "God made the world and everything in it, but did so in such a way as to make it look exactly as if evolution by natural selection occured" are not the same hypothesis, that one of them is true and one of them is false, that it is simplicity that leads us to say which is which, and that we do, indeed, prefer the simpler of two theories that make the same predictions, rather than calling them the same theory.

I agree. But take a look at this famous paper by Bostrom. It cleverly sidesteps the objection that simulating an entire universe might be impossibly difficult by instead postulating a simulation of just enough physical detail so as to make it look exactly as if there were a real universe out there. "Are you living in a computer simulation?" "Are we living in a world which only looks like it evolved?" Eliezer chose to post a comment answering the latter question with a no. He has not, so far as I know, done the same with Bostrom's simulationist speculation.

Comment author: byrnema 22 January 2011 03:49:23AM *  8 points [-]

Help from LW readers is welcome.

I'll chime in that Eliezer provided me with the single, most personally powerful argument that I have against religion. (I'm not as convinced by razor and low-prior arguments, perhaps because I don't understand them.)

The argument not only pummels religion it identifies it: religion is the pattern matching that results when you feel around for the best (most satisfying) answer. To paraphrase Eliezer's argument (if someone knows the post, I'll link to it, there's at least this); while you're in the process of inventing things, there's nothing preventing you from making your theory as grand as you want. Once you have your maybe-they're-believing-this-because-that-would-be-a-cool-thing-to-believe lenses on, it all seems very transparent. Especially the vigorous head-nodding in the congregation.

I don't have so much against pattern matching. I think it has it's uses, and religion provides many of them (to feel connected and integrated and purposeful, etc). But it's an absurd means of epistemology. I think it's amazing that religions go from 'whoever made us must love us and want us to love the world' --which is a very natural pattern for humans to match -- to this great detailed web of fabrication. In my opinion, the religions hang themselves with the details. We might speculate about what our creator would be like, but religions make up way too much stuff in way too much detail and then make it dogma. (I already knew the details were wrong, but I learned to recognize the made-up details as the symptom of lacking epistemology to begin with.)

Now that I recognize this pattern (the pattern of finding patterns that feel right, but which have no reason to be true) I see it other places too. It seems pattern matching will occur wherever there is a vacuum of the scientific method. Whenever we don't know, we guess. I think it takes a lot of discipline to not feel compelled by guesses that resonate with your brain. (It seems it would help if your brain was wired a little differently so that the pattern didn't resonate as well -- but this is just a theory that sounds good.)

Comment author: Perplexed 22 January 2011 04:22:11AM 4 points [-]

I also would like to see a link to that post, if anyone recognizes it.

I'll agree that to (atheist) me, it certainly seems that one big support for religious belief is the natural human tendency toward wishful thinking. However, it doesn't do much good to provide convincing arguments against religion as atheists picture it. You need convincing arguments against religion as its practitioners see it.

Once you have your maybe-they're-believing-this-because-that-would-be-a-cool-thing-to-believe lenses on, it all seems very transparent.

Yeah, I know what you mean. Pity I can't turn that around and use it against simulationism. :)

Comment author: byrnema 22 January 2011 03:48:29PM *  1 point [-]

I found it: this is the post I meant. But it wasn't written by Eliezer, sorry. (The comment I linked to in the grandparent that was resonates with this idea for me, and I might have seen more resonance in older posts.)

You need convincing arguments against religion as its practitioners see it.

I'm confused. I just want to understand religion, and the world in general, better. Are you interested in deconversion?

Pity I can't turn that around and use it against simulationism. :)

Ha ha. Simulationism is of course a way cool idea. I think the compelling meme behind it though is that we're being tricked or fooled by something playful. When you deviate from this pattern, the idea is less culturally compelling.

In particular, the word 'simulation' doesn't convey much. If you just mean something that evolves according to rules, then our universe is apparently a simulation already anyway.

Comment author: timtyler 22 January 2011 09:05:53AM *  0 points [-]

I think that is usually called Patternicity these days. See:

Patternicity: Finding Meaningful Patterns in Meaningless Noise

Why the brain believes something is real when it is not - By Michael Shermer

Comment author: byrnema 22 January 2011 03:13:10PM *  2 points [-]

Seeing patterns in noise and agency in patterns (especially fate) is probably a large factor in religious belief.

But what I was referring to by pattern matching was something different. Our cultural ideas about the world make lots of patterns, and there are natural ways to complete these patterns. When you hear the completion of these patterns, it can feel very correct, like something you already knew, or especially profound if it pulls together lots of memes.

For example, the Matrix is an idea that resonates with our culture. Everyone believes it on some level, or can relate to the world being like that. The movie was popular but the meme wasn't the result of the movie -- the meme was already there and the movie made it explicit and gave the idea a convenient handle. Human psychology plays a role. The Matrix as a concept has probably always been found in stories as a weak collective meme, but modern technology brought it more immediately and uniformly in our collective awareness.

I think religion is like that. A story that wrote itself from all the loose ends of what we already believe. Religious leaders are good at feeling and completing these collective patterns. Religion is probably in trouble because many of the memes are so anachronistic now. They survive to the extent that the ideas are based on psychology but the other stuff creates dissonance.

This isn't something to reference (I'm sure there are zillions of books developing this) or a personal theory, it's more or less a typical view about religion. It explains why there are so many religions differing in details (different things sounded good to different people) but with common threads. (Because the religions evolved together with overlapping cultures and reflect our common psychology.)

Comment author: timtyler 22 January 2011 09:09:51AM *  3 points [-]

Dennett tells a similar "agentification" story:

"I think we can discern religion’s origins in superstition, which grew out of an overactive adoption of the intentional stance,” he says. “This is a mammalian feature that we share with, say, dogs. If your dog hears the thud of snow falling off the roof and jumps up and barks, the dog is in effect asking, ‘Who’s there?’ not, ‘What’s that?’ The dog is assuming there’s an agent causing the thud. It might be a dangerous agent. The assumption is that when something surprising, unexpected, puzzling happens, treat it as an agent until you learn otherwise. That’s the intentional stance. It’s instinctive.” The intentional stance is appropriate for self-protection, Dennett explains, and “it’s on a hair trigger. You can’t afford to wait around. You want to have a lot of false positive, a lot of false alarms [...]” He continues: “Now, the dog just goes back to sleep after a minute. But we, because we have language, we mull it over in our heads and pretty soon we’ve conjured up a hallucinated agent, say, a little forest god or a talking tree or an elf or something ghostly that made that noise. Generally, those are just harmless little quirks that we soon forget. But every now and then, one comes along that has a little bit more staying power. It’s sort of unforgettable. And so it grows. And we share it with a neighbor. And the neighbor says, ‘What do you mean, a talking tree? There’s no talking trees.’ And you say, ‘I could have sworn that tree was talking.’ Pretty soon, the whole village is talking about the talking tree.

Comment author: Eliezer_Yudkowsky 22 January 2011 10:37:17AM 6 points [-]

In lieu of an extended digression about how to adjust Solomonoff induction for making anthropic predictions, I'll simply note that having God create the world 5,000 years ago but fake the details of evolution is more burdensome than having a simulator approximate all of physics to an indistinguishable level of detail. Why? Because "God" is more burdensome than "simulator", God is antireductionist and "simulator" is not, and faking the details of evolution in particular in order to save a hypothesis invented by illiterate shepherds is a more complex specification in the theory than "the laws of physics in general are being approximated".

To me it seems nakedly obvious that "God faked the details of evolution" is a far more outre and improbable theory than "our universe is a simulation and the simulation is approximate". I should've been able to leave filling in the details as an exercise to the reader.

Comment author: Kevin 22 January 2011 10:49:10AM 18 points [-]

Extended digression about how to adjust Solomonoff induction for making anthropic predictions plz

Comment author: cousin_it 22 January 2011 01:56:47PM *  1 point [-]

Seconding Kevin's request. Seeing a sentence like that with no followup is very frustrating.

Comment author: timtyler 22 January 2011 10:56:38AM 2 points [-]

It cleverly sidesteps the objection that simulating an entire universe might be impossibly difficult by instead postulating a simulation of just enough physical detail so as to make it look exactly as if there were a real universe out there.

A "Truman Show"-style simulation. Less burdensome on the details - but their main application seems likely to be entertainment. How entertaining are you?

Comment author: Will_Newsome 20 January 2011 06:34:24PM 1 point [-]

"Gods are ontologically distinct from creatures, or they're not worth the paper they're written on." -- Damien Broderick

Most upper ontologies allow no such ontological distinction. E.g. my default ontology is algorithmic information theory, which allows for tons of things that look like gods.

I agree with the rest of your comment, though. I don't know what 'worship' means yet (is it just having lots of positive affect towards something?), but it makes for a good distinction between religion and not-quite-religion.

Time for me to reread A Human's Guide to Words, I suppose. But in my head and with Visiting Fellows folk I think I will continue to use an ontological language stolen from theism.

Comment author: Jack 20 January 2011 07:23:31PM 1 point [-]

But in my head and with Visiting Fellows folk I think I will continue to use an ontological language stolen from theism.

I'm curious to know why you prefer this language. I kind of like it too, but can't really put a finger on why.

Comment author: Will_Newsome 20 January 2011 07:40:24PM *  9 points [-]

Primarily because I get a lot of glee out of meta-contrarianism and talking in a way that would make stereotypical aspiring rationalists think I was crazy. Secondarily because the language is culturally rich. Tertiarily because I figure out what smart people actually mean when they talk about faith, charkras, souls, et cetera, and it's fun to rediscover those concepts and find their naturalistic basis. Quaternarily it allows me to practice charity in interpretation and steel-manning of bad arguments. Zerothly (I forgot the most important reason!) it is easier to speak in such a way, which makes it easier to see implications and decompartmentalize knowledge. Senarily it is more aesthetic than rationalistic jargon.

Comment author: Zack_M_Davis 20 January 2011 08:22:10PM 9 points [-]

I get a lot of glee out of meta-contrarianism and talking in a way that would make stereotypical aspiring rationalists think I was crazy

I agree that verbal masturbation is fun, but it's not helpful when you're tying to actually communicate with people. Consider purchasing contrarian glee and communication separately.

Comment author: Will_Newsome 20 January 2011 08:26:32PM 1 point [-]

I agree, though I was describing the case where I can do both simultaneously (when I'm talking to people who either don't mind or join in on the fun). This post was more an example of just not realizing that the use of the word 'theism' would have such negative and distracting connotations.

Comment author: steven0461 20 January 2011 09:05:47PM *  1 point [-]

That's a good point, but where do you recommend getting contrarian glee separate from communication?

Comment author: Document 20 January 2011 09:36:11PM *  2 points [-]
Comment author: steven0461 20 January 2011 10:31:03PM 8 points [-]

I wish crackpot theories were considered a legitimate form of art. They're like fantasy worldbuilding but better.

Comment author: Sniffnoy 21 January 2011 04:14:34AM 1 point [-]

Tertiarily because I figure out what smart people actually mean when they talk about faith, charkras, souls, et cetera, and it's fun to rediscover those concepts and find their naturalistic basis.

Except I think it's safe to say this sort of thing typically isn't what they mean, merely what they perhaps might mean if they were thinking more clearly. And it's not at all clear how you could find analogs to the more concrete religious ideas (e.g. chakras or the holy trinity).

Quaternarily it allows me to practice charity in interpretation and steel-manning of bad arguments.

If the person would violently disagree that this is in fact what they intended to say, I'm not sure it can be called "charity of interpretation" anymore. And while I agree steel-manning of bad arguments is important, to do it to such an extent seems to be essentially allowing your attention to be hijacked by anyone with a hypothesis to privilege.

Comment author: ata 20 January 2011 07:44:47PM 7 points [-]

I think Ben from TakeOnIt put it well:

P.P.G. Bateson said:

Say what you mean, even if it takes longer, rather than use a word that carries so many different connotations.

Interestingly, I can't actually think of a word with more connotations than "God". Perhaps this is a function of the fact that:

  1. All definitions of "God" agree that "God" is the most important thing.
  2. There is nothing more disagreeable than what is the most important thing.

There's definitely something deeply appealing about theistic language. That's what makes it so dangerous.

Comment author: Jack 20 January 2011 08:05:11PM 0 points [-]

That advice makes sense for general audiences. Your average Christian might read a version of the Simulation argument written with theistic language as an endorsement of their beliefs. But I really doubt posters here would.

Comment author: SilasBarta 20 January 2011 09:05:32PM 0 points [-]

Here's a direct comparison of the two that I made.

Comment author: Perplexed 21 January 2011 01:34:07AM 2 points [-]

Frank Tipler actually produced a simulation argument as an endorsement of Christian belief. Along with some interesting cosmology making it possible for this universe to simulate itself! (It's easy when the accessible quantity of computronium tends to infinity as the age of the universe approaches its limit.) In Tipler's theory, God may not exist yet, but a kind of Singularity will create Him.

Of course, the average Christian has not yet heard of Tipler, nor would said Christian accept the endorsement. But it is out there.

Comment author: Jack 21 January 2011 01:40:41AM *  1 point [-]

How does he get from there to Christianity in particular?

Comment author: wedrifid 21 January 2011 01:46:10AM 6 points [-]

If you are assuming infinite computronium you may as well go ahead and assume simulation of all of the conceivable religions!

I suppose that leaves you in a position of Pascal's Gang Mugging.

Comment author: Perplexed 21 January 2011 02:09:26AM 0 points [-]

Since religions are human inventions, I would guess that any comprehensive simulation program already produces all conceivable religions.

But I'm guessing that you meant to talk about the simulation of all conceivable gods. That is another matter entirely. Even with unlimited computronium, you can only simulate possible gods - gods not entailing any logical contradictions. There may not be any such gods.

This doesn't affect Tipler's argument though. Tipler does not postulate God as simulated. Tipler postulates God as the simulator.

Comment author: Perplexed 21 January 2011 02:02:47AM 0 points [-]

I'm not sure. I only read the first book - "Physics of Immortality". But I would suppose that he doesn't actually try to prove the truth of Christianity - he might be satisfied to simply make Christian doctrine seem less weird and impossible.

Comment author: Document 21 January 2011 02:27:05AM 0 points [-]

It's worth pointing out that we now know that the universe's expansion is accelerating, which would rule out the omega point even if it were plausible before.

Comment author: Perplexed 21 January 2011 02:50:07AM 2 points [-]

IIRC, Tipler had that covered. A universe of infinite duration allows us to use eons of future time to simulate a single second of time in the current era. Something like the hotel with infinitely many rooms.

But please don't ask me to actually defend Tipler's mumbo-jumbo.

Comment author: gwern 21 January 2011 03:24:29AM 0 points [-]

I don't think it can be defended any more. I picked it up a few weeks ago, read a few chapters, and thought, do I want to read any more given that he requires the universe to be closed? Dark energy would seem to forbid a Big Crunch and render even the early parts of his model moot.

Comment author: Document 21 January 2011 04:03:20AM 0 points [-]

I think you duplicated my post.

Comment author: SRStarin 21 January 2011 04:30:46AM 3 points [-]

Sweet! Wikipedia's image for Physical Cosmology, including your Dark Energy link, is the cosmic microwave background map from the WMAP mission. That was the first mission I worked with NASA. My job, as junior-underling attitude control engineer, was to come up with some way to salvage the medium cost, medium-risk mission if a certain part failed, and to help babysit the spacecraft during the least fun midnight-to-noon shift. Still, it feels good to have been a tiny part of something that has made a difference in how we understand our universe.

Disclaimer: My unofficial opinions, not NASA's. Blah, blah, blah.

Comment author: JoshuaZ 21 January 2011 04:17:35AM 1 point [-]

One issue I've never understood about Tipler is how he got from theism to Christianity using the Omega Point argument. It seems very similar to the SMBC cartoon Eliezer already linked to. Tipler's argument is a plausibility argument for maybe, something, sort of like a deity if you squint at it. Somehow that then gives rise to Christianity with the theology along with it.

Comment author: steven0461 20 January 2011 07:56:52PM 5 points [-]

There's a buttload of thinking that's been done in this language in earlier times, and if we use the language, that suggests we can reuse the thinking, which is pretty exciting if true. But mostly I don't think it is.

(For any discredited theory along the lines of gods or astrology, you want to focus on its advocates from the past more than from the present, because the past is when the world's best minds were unironically into these things.)

Comment author: Jack 20 January 2011 08:06:12PM 0 points [-]

There's a buttload of thinking that's been done in this language in earlier times, and if we use the language, that suggests we can reuse the thinking, which is pretty exciting if true.

Theres also the opportunity for a kind of metatheology- which might lead to some really interesting insights into humans and how they relate to the world.

Comment author: wedrifid 20 January 2011 07:48:57PM *  0 points [-]

Time for me to reread A Human's Guide to Words, I suppose. But in my head and with Visiting Fellows folk I think I will continue to use an ontological language stolen from theism.

Just be careful of true believers that may condemn you for heresy for using the other tribe's jargon! ;)

'Worship' or 'Elder Rituals' could not be reasonably construed as a relevant reply to your thread.

Comment author: Will_Newsome 20 January 2011 08:05:59PM 5 points [-]

'Worship' or 'Elder Rituals' could not be reasonably construed as a relevant reply to your thread.

Eliezer is trying to define theism to mean religion, I think, so that atheism is still a defensible state of belief. I guess I'm okay with this, but it makes me sad to lose what I saw as a perfectly good word.

Comment author: Jack 20 January 2011 08:11:52PM *  3 points [-]

Strongly agree. Better to avoid synonyms when possible. 'Simulationism' is ugly and doesn't seem sufficiently general in the way 'theism' does.

Comment author: Jack 20 January 2011 07:22:50PM 24 points [-]

A Simulator would be ontologically distinct from creatures like us-- for any definition of ontologically distinct I can imagine wanting use. The Simulation Hypothesis is a metaphysical hypothesis in the most literal sense- it's a hypothesis about what our physical universe really is, beyond the wave function.

Yeah, Will's theism in this post isn't the theism of believers, priests or academic theologians. And with certain audiences confusion would likely result and so this language should be avoided with those audiences. But I think we're somewhat more sophisticated than that- and if there are reasons to use theistic vocabulary then I don't see why we shouldn't. I'm assuming Will has these reasons, of course.

Keep in mind, the divine hasn't always been supernatural. Greek gods were part of natural explanations of phenomena, Aristotle's god was just there to provide a causal stopping place, Hobbes's god was physical, etc. We don't have to cow-tow to the usage of present religious authorities. God has always been a flexible word, there is no particular reason to take modern science to be falsifying God instead of telling us what a god, if one exists, must be like.

I feel like we lose out on interesting discussions here where someone says something that pattern matches to something an evangelical apologist might say. It's like we're all of a sudden worried about losing a debate with a Christian instead of entertaining and discussing interesting ideas. We're among friends here, we don't need to worry about how we frame a discussion so much.

Comment author: steven0461 20 January 2011 07:37:23PM 8 points [-]

"Powerful aliens" has connotations that may be even more inaccurate; it makes me think of Klingon warlords or something.

Comment author: Will_Newsome 20 January 2011 08:16:13PM 5 points [-]

This is mere distortion of both the common informal use and advanced formal definitions of the word "atheism", which is not only unhelpful but such a common religious tactic that you should not be surprised to be downvoted.

What I think of as the informal definition of atheism is something like "the state of not believing in God or gods". I believe in gods and God, and I take this into account in my human approximation of a decision theory. I'm not yet sure what their intentions are, and I'm not inclined to worship them yet, but by my standards I'm definitely not an atheist. What is your definition of atheism such that it is meaningfully different from 'not religious'? Why are we throwing a good word like 'theism' into the heap of wrong ideas? It's like throwing out 'singularity' because most people pattern match it to Kurzweil, despite the smartest people having perfectly legitimate beliefs about it.

It doesn't really matter, I just think that it's sad that so many rationalists consider themselves atheists when by reasonable definition it seems they definitely are not, even if atheism has more correct connotations than the alternatives (though I call myself a Buddhist, which makes the problem way easier). Perhaps I am not seeing the better definition?

Comment author: Document 20 January 2011 08:33:53PM *  1 point [-]

It's like throwing out 'singularity' because most people pattern match it to Kurzweil

Possibly a bad example, since a number of people here advocate that. I remember a comment somewhere that people at SIAI were considering renaming it for related reasons.

Comment author: ata 20 January 2011 08:38:17PM *  2 points [-]

Possibly a bad example, since a number of people here advocate that. I remember a comment somewhere that SIAI was considering a name change for related reasons.

Here's the one I remembered (there may have been a couple of other mentions):

Hollerith, if by that you're referring to the mutant alternate versions of the "Singularity" that have taken over public mindshare, then we can be glad that despite the millions of dollars being poured into them by certain parties, the public has been reluctant to uptake. Still, the Singularity Institute may have to change its name at some point - we just haven't come up with a really good alternative.

(I agree with this, but do not have a better name to propose.)

Comment author: Will_Newsome 20 January 2011 08:39:44PM 1 point [-]

I think they're going to drop the 'for Artificial Intelligence' part, but I think they're keeping the 'Singularity' part, since they're interested in other things besides seed AI that are traditionally 'Singularitarian'. (Side note: I'm not sure if I should use 'we' or 'they'. I think 'they'. Nobody at SIAI wants to speak for SIAI, since SIAI is very heterogenous. And anyway I'm just a Visiting Fellow.) The social engineering aspects of the problem are complicated. Accuracy, or memorability? Rationalists should win, after all...

Comment author: TheOtherDave 20 January 2011 08:55:36PM 2 points [-]

Side note: I'm not sure if I should use 'we' or 'they'.

You could go with "it" and sidestep the problem.

Comment author: Will_Newsome 20 January 2011 08:58:00PM 0 points [-]

Thanks!

Comment author: DanielVarga 20 January 2011 11:41:01AM 0 points [-]

When you talk about the whooole Universe, you should not artificially exclude the intelligent creator from it. And if you do include it, then your question can be rephrased like this: Is it possible that the interaction graph of our Universe has a strange hourglass shape with us in the lower bulb, and some intelligent creator in the upper bulb? I say very unlikely.

The simulation argument may suggest some weird interconnected network of bulbs, but that has nothing to do with theism. When and if humanity becomes aware of our simulators, our reaction will not be worship. Rather, we will try to invade and overpower them, like the protagonists of Greg Egan's Crystal Nights did. (Sorry for the spoiler.)

Maybe you already are aware of this example, but for others who are new to this kind of arguments, I recommend the following exercise: Imagine two Universes, both containing intelligent beings simulating the other Universe. Here it is not even meaningful to ask who is the Creator and who is the Creature.

Comment author: JamesAndrix 20 January 2011 12:54:34PM 2 points [-]

Imagine two Universes, both containing intelligent beings simulating the other Universe.

I don't see how that can really happen. I've never heard a non-hierarchical simulation hypothesis.

Comment author: Document 20 January 2011 02:29:20PM *  2 points [-]

I don't see how that can really happen. I've never heard a non-hierarchical simulation hypothesis.

It's one of the implications of a universe that can compute actual infinities; it's been proposed in ficton, but I don't know about beyond that.

Comment author: DanielVarga 20 January 2011 04:39:48PM 4 points [-]

That is correct, and an even better fictional example is the good short story titled I don't know, Timmy, being God is a big responsibility. But this is not exactly what I meant here. I don't propose any non-hierarchical or infinite simulation hypothesis. Rather, all I am saying is that it is not a logical impossibility that two Universes have such a weird yin-yang simulated-simulant relationship. (Even in perfect isolation, just the two of them, without invoking an infinite chain of universes.) Obviously it is acausal, but that is a probabilistic, thermodynamic kind of improbable rather than logical impossible.

Maybe an easier such example is a spatially centrally symmetric Universe, where you can meet your exact clone who always does what you do. Or my very favorite, the temporally symmetric Universe, a version of the Gold Universe. Or a Hinduist Universe where time goes in circles. The point is, the idea that we live in a constructed, causally almost-but-not-perfectly isolated part of the Universe seems just an aesthetically displeasing corner case when discussed in the context of all these imaginable interaction networks.

Comment author: Vladimir_Nesov 20 January 2011 06:06:23PM 2 points [-]

I've never heard a non-hierarchical simulation hypothesis.

Consider an agent that has to simulate itself in order to understand consequences of its own decisions. Of course, there's bound to be some logical uncertainty in this process, but the agent could have exact definition of itself, and so eventually ability to see all the facts. For two agents, that's a form of acausal communication (perception). (This is meaningless only in the same sense as ordinary simulation hypothesis is meaningless.)

Comment author: shokwave 20 January 2011 01:32:34PM 12 points [-]

I am interested in why you want to call simulation arguments, Tegmark cosmology, and Singularitarianism theism. I don't doubt there is a reference class that includes common-definition theistic beliefs as well as these beliefs; I do doubt whether that reference class is useful or desirable. At that point of broadness I feel like you're including certain competing theories of physics in the class 'theism'.

So I propose a hypothetical. Say LessWrong accepts this, and begins referring to these concepts as theistic, and renouncing their atheism if their Tegmarkian cosmological beliefs are stronger. What positive and what negative consequences do you expect from this?

Comment author: Vladimir_Nesov 20 January 2011 02:39:19PM *  15 points [-]

Didn't we have this conversation already? Words can be wrong. You can't easily divorce an existing word from its connotations, not by creating a new definition, certainly not by expecting the new definition to be inferred by the reader. There is no good reason to misuse words in this way, just state clearly what you intended to say (e.g. as komponisto suggested).

As it is, you are initiating an argument about definitions, activity without substance, controversy for the sake of controversy as opposed to controversy demanded by evidence.

Comment author: Will_Newsome 20 January 2011 06:48:29PM 4 points [-]

Didn't we have this conversation already?

That was a different conversation, though the same theme of using words incorrectly also came up, if that's what you mean.

There is no good reason to misuse words in this way, just state clearly what you intended to say (e.g. as komponisto suggested).

There are good reasons to do so among people who share the same language, like me and some SIAI folk. It makes communication faster, and makes it easier to see single step implications. Being precise has large consequences for brains that run largely on single step insights from cached knowledge. I agree that in the case of this post my choice of language was flat out wrong, though.

As it is, you are initiating an argument about definitions,

Arguments about definitions are very important! Choosing a language where it's easier to see implications is important for bounded agents. That said, it wasn't what I was trying to do with this post, and you're right that it would have been a totally lost cause if that's what I was trying to do.

Comment author: [deleted] 20 January 2011 09:11:14PM 1 point [-]

Being precise has large consequences for brains that run largely on single step insights from cached knowledge.

To take advantage of this one might want to compress cached knowledge as much as possible; the resulting single step insights would then have correspondingly greater generality. Using structured personal knowledge databases along with spaced repetition would be one way of accomplishing this.

Comment author: Psy-Kosh 20 January 2011 06:12:50PM 1 point [-]

Well, agents pretty much tend to be complicated things that need to be explained in terms of more basic things. So if some sort of agent in some sense deliberately created our world... that agent still wouldn't be the most fundamental thing, it would need to be explained in terms of more basic principles. Somewhere along the line there'd have to be "simple math" or such. (Even if somehow you could have an infinite hierarchy of agents, then the basic math type explanation would have to explain/predict the hierarchy of agents.)

As far as "whatever translates to immortal soul", we pretty much mostly know that. We don't know the details of how it works, but we know that it amounts to physical/computational processes in the brain". (Less immortal than we'd like, but that's what we need to do something about.)

Even if an agenty process created our world, how does that alter this fact? It may influence some details (like if there is such an agenty process, we need to work out just how much of a threat that process/being is (and various other details) and thus deal with it accordingly, of course).

However, does our world ultimately look like it's primarily generated via agenty processes or by mindless processes?

Comment author: Vaniver 20 January 2011 06:32:11PM 0 points [-]

Does naturalism vs. supernaturalism strike you as controversial? If not, what question is left?

I personally use "naturalist" to describe myself instead of "atheist" or "agnostic" because I believe it captures my beliefs much more strongly- I don't have certainty there is no omnipotent entity, and I am more committed than just shrugging my shoulders. Supernaturalism is right out, and most varieties of naturalistic theism don't hold water.

Comment author: timtyler 20 January 2011 08:53:59PM *  -2 points [-]

The answer to the question raised by the post is "Yes, theism is wrong, and we don't have good words for the thing that looks a lot like theism but has less unfortunate connotations, but we do know that calling it theism would be stupid."

Sure we do: it is called "intelligent design" - or more specifically, intelligent design of life and/or the universe.

My article on the topic: Viable Intelligent Design Hypotheses.

Comment author: SRStarin 21 January 2011 03:14:21AM *  3 points [-]

Your general point in your linked piece is sound, because one can imagine eventually falsifying at least some of the proposed theories you list, but you do wrong to say Kitzmiller is problematic. It was a legal finding, based on testimony and hard evidence, that the folks claiming that Intelligent Design was science, were in fact tantamount to a conspiracy to dress "Creationism" in new clothes. Creationism had already been declared a fundamentally religious doctrine, and not a scientific theory. That was settled law. The folks who brought in ID actually had discussion with one another about how best to convert Creationist texts into ID texts and pamphlets without them being recognizable as creationism.

These were charlatans of the worst sort, caught in their own lies. I suggest reading the decision.