A Stranger Priority? Topics at the Outer Reaches of Effective Altruism (my dissertation)

post by Joe Carlsmith (joekc) · 2023-02-21T17:26:12.981Z · LW · GW · 15 comments

(Cross-posted from my website.)

After many years of focusing on other stuff, I recently completed my doctorate in philosophy from the University of Oxford. My dissertation ("A Stranger Priority? Topics at the Outer Reaches of Effective Altruism") was three of my essays -- on anthropic reasoning, simulation arguments, and infinite ethics -- revised, stapled together, and unified under the theme of the "crazy train" as a possible objection to longtermism.

The full text is here. I've also broken the main chapters up into individual PDFs:

Chapter 1 and Chapter 3 are pretty similar to the original essays (here and here). Chapter 2, however, has been re-thought and almost entirely re-written -- and I think it's now substantially clearer about the issues at stake.

Since submitting the thesis in fall of 2022, I've thought more about various "crazy train" issues, and my current view is that there's quite a bit more to say in defense of longtermism than the thesis has explored. In particular, I want to highlight a distinction I discuss in the conclusion of the thesis, between what I call "welfare longtermism," which focuses on our impact on the welfare of future people, and what I call "wisdom longtermism," which focuses on reaching a wise and empowered future more broadly. The case for the latter seems to me more robust to various "crazy train" considerations than the case for the former.

15 comments

Comments sorted by top scores.

comment by M. Y. Zuo · 2023-02-23T22:04:02.406Z · LW(p) · GW(p)

In regards to simulation arguments, they all have the problem of infinite regress, i.e. every layer of reality could be contained within another as simulation. 

Which seems to lead to an unsatisfactory conclusion. Have you considered a way around it?

Replies from: sharmake-farah, TAG
comment by Noosphere89 (sharmake-farah) · 2023-02-24T02:40:17.230Z · LW(p) · GW(p)

The real issue I think I have with simulation arguments isn't that they're wrong, but rather that intuitions are being ported over from the finite case where infinite regress is a problem, and in the infinite case infinite regress isn't a problem.

Putting it another way, for our purposes it all adds up to normality for the most part.

Replies from: M. Y. Zuo
comment by M. Y. Zuo · 2023-02-24T05:15:56.122Z · LW(p) · GW(p)

and in the infinite case infinite regress isn't a problem.

Can you elaborate on this?

Replies from: sharmake-farah
comment by Noosphere89 (sharmake-farah) · 2023-02-24T14:58:58.565Z · LW(p) · GW(p)

Let's say we create an idealized real computer, a computer that has uncountably infinite computing power and uncountably infinite memory via reducing the Planck constant to 0.

This is a hypercomputer, a computer that is more powerful than a Turing machine.

Then we ask it to simulate exactly a civilization that can make this computer, and it simulates another ad infinitum.

The important thing is that while there's an infinite regress here, there's no contradiction logically/mathematically speaking, unlike the finite case, since multiplying or adding infinities together, even infinitely many times, gets you an infinity from the same cardinality, but in the finite case, we have a computer with finite memory being multiplied by an infinite amount of simulations, meaning the computer is infinite, which contradicts our description of the finite computer we had earlier.

This is another way in which infinity doesn't add up to normality or common sense, and messes with our intuitions.

Replies from: M. Y. Zuo
comment by M. Y. Zuo · 2023-02-24T15:06:31.239Z · LW(p) · GW(p)

Let's say we create an idealized real computer, a computer that has uncountably infinite computing power and uncountably infinite memory via reducing the Planck constant to 0.

This is impossible, in this universe at least. There's a maximum limit to information density per Planck volume. The Bekenstein bound.

Replies from: sharmake-farah
comment by Noosphere89 (sharmake-farah) · 2023-02-24T15:10:08.424Z · LW(p) · GW(p)

Yep, I know that, and indeed the only reason that we can't make hypercomputers is because of the fact that the Planck constant is not 0.

Replies from: M. Y. Zuo
comment by M. Y. Zuo · 2023-02-24T17:00:07.415Z · LW(p) · GW(p)

So your proposed scenario is logically impossible. Why then does it matter for any case?

Replies from: sharmake-farah
comment by Noosphere89 (sharmake-farah) · 2023-02-24T17:12:38.173Z · LW(p) · GW(p)

It isn't logically impossible, which is my point here. It's likely physically impossible to do, but physically impossible is not equivalent to mathematically/logically impossible.

A better example of a logically/mathematically impossible thing to do is doubling the cube using only a straight-edge.

Replies from: M. Y. Zuo
comment by M. Y. Zuo · 2023-02-24T17:30:30.473Z · LW(p) · GW(p)

The definition of the Planck constant entails it must be non-zero.  A zero constant isn't anything at all. Hence a logical impossibility for any constant to be zero.

Replies from: sharmake-farah
comment by Noosphere89 (sharmake-farah) · 2023-02-24T17:38:46.569Z · LW(p) · GW(p)

Hm, can you show me where the definition of the physical constants entails it being non-zero?

Replies from: M. Y. Zuo
comment by M. Y. Zuo · 2023-02-24T18:52:44.450Z · LW(p) · GW(p)

https://en.wikipedia.org/wiki/Physical_constant#:~:text=A%20physical%20constant%2C%20sometimes%20fundamental,have%20constant%20value%20in%20time.

 

This a pretty common formulation. There are many more reference sources that are publicly accessible.

Replies from: sharmake-farah
comment by Noosphere89 (sharmake-farah) · 2023-02-24T19:38:16.321Z · LW(p) · GW(p)

Alright, I'll concede somewhat. Yes, the constants aren't manipulatable, but nowhere does it show that a constant that just happens to be 0 isn't logically possible, and thus I can reformulate the argument to not need manipulation of the constants.

And this is for a reason: Physics uses real numbers, and since 0 is a real number, it's logically possible for a constant to be at 0.

Also, see vacuum decay for how a constant may change to a new number.

Replies from: M. Y. Zuo
comment by M. Y. Zuo · 2023-02-24T19:54:46.421Z · LW(p) · GW(p)

And this is for a reason: Physics uses real numbers, and since 0 is a real number, it's logically possible for a constant to be at 0.

What? This doesn't make any sense. 

Physicists definitely use more than just Real numbers.  And all well known physics journals have papers that contains them. You can verify it for yourself.

And even if for some reason that was not the case, what can be considered a constant has more than one requirement.

Logical possibility can also entail multiple prerequisites. 

comment by TAG · 2023-02-24T01:51:22.212Z · LW(p) · GW(p)

In regards to simulation arguments, they all have the problem of infinite regress, i.e. every layer of reality could be contained within another as simulation

Well, no...you keep having to lose size or resolution or something.

Replies from: M. Y. Zuo
comment by M. Y. Zuo · 2023-02-24T02:28:59.785Z · LW(p) · GW(p)

Well, no...you keep having to lose size or resolution or something.

Can you elaborate?