You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

Wei_Dai comments on Beware Selective Nihilism - Less Wrong Discussion

39 Post author: Wei_Dai 20 December 2012 06:53PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (46)

You are viewing a single comment's thread. Show more comments above.

Comment author: Eliezer_Yudkowsky 22 December 2012 01:13:57AM 7 points [-]

I would say that what I did is more like continuing to care about continuity, but trying to put it into causal continuity or pattern continuity after the particular hypothesis of 'particle identity continuity' turned out to be nonsense. Also, I regard this as a problem not strictly of utility functions because it controls what I expect to see happen after being cryonically revived or stepping into a Star Trek transporter - I either see the next moment, or see what happens after dying in a car crash i.e. NULL. Yes, I'm aware that this last part is confused, but just because I'm confused about something epistemic doesn't mean that it gets packed into utility functions. I shall have to write a post about this at some point.

Comment author: Wei_Dai 22 December 2012 02:09:33AM *  5 points [-]

I would say that what I did is more like continuing to care about continuity, but trying to put it into causal continuity or pattern continuity after the particular hypothesis of 'particle identity continuity' turned out to be nonsense.

It seems likely that we value several different kinds of continuity. I mentioned physical continuity (the kind that makes people reluctant to step into a destructive scanner, and which may reduce to something else even if not "particle identity continuity") and psychological continuity. (EDIT: Pattern continuity and causal continuity may be independent values or perhaps reductions for psychological continuity.) Are you assuming that we can only value one kind of continuity?

Also, I regard this as a problem not strictly of utility functions because it controls what I expect to see happen after being cryonically revived or stepping into a Star Trek transporter

What if we talk about other people instead of ourselves to isolate the problem to just utility functions?

Comment author: Eliezer_Yudkowsky 22 December 2012 03:23:00AM 4 points [-]

What if we talk about other people instead of ourselves to isolate the problem to just utility functions?

My utility function is over 'what other people see happen to themselves' so it contains a reference to the same epistemic question.

Comment author: Wei_Dai 22 December 2012 05:41:32AM 3 points [-]

My utility function is over 'what other people see happen to themselves' so it contains a reference to the same epistemic question.

Doesn't this depend on how your utility function defines "people"? If it's defined via pattern continuity, you get one answer to this question, and if it's defined via physical continuity (or perhaps a combination of physical and pattern continuity), you get another. (Much like how the "a tree falls in forest" question depends on how "sound" is defined.)

Note that if "people" were ontologically primitive, then there would be a single objective answer. People are not ontologically primitive in reality, but are in our usual models. So it seems reasonable that we might intuitively think there should be a single objective answer to "what will someone see when they step into a Star Trek transporter" when there really isn't.

Comment author: [deleted] 22 December 2012 04:42:45PM 4 points [-]

If you don't mind a rather primitive question:

If I were to ask you 'which things are ontologically primitive in reality?', what kinds of things would you use to justify your answer? To be clear, I'm not just asking about what your answer is, but what kind of evidence you think is relevant to determining an answer. What, in other words, would things have to look like for you to conclude that human beings were ontologically primitive in reality (and not just in our usual models).

I ask, among other reasons, because although I'm confident that phenomena relevant to human beings, like behaviors, thoughts, biological processes, etc. are reducible to more fundamental physical systems, it's not obvious to me that this straightforwardly means that those more fundamental physical systems are more ontologically primitive than human beings. So far as I understand things, the physical, chemical, and biological theories we use to explain phenomena relevant to human beings don't purport to make claims about ontological primitiveness.

Comment author: Wei_Dai 23 December 2012 01:37:01AM 2 points [-]

This topic probably deserves more thought than I've put into it, but it seems to me that you can tell what things are ontologically primitive in in reality by looking at what objects the fundamental laws of physics keep track of and directly operate upon. For example in Newtonian physics these would be individual particles, and in Quantum Mechanics it would just be the wavefunction. (Of course at this point we don't know what the fundamental laws of physics actually are so we can't say what things are ontologically primitive yet, but it seems pretty clear that it can't be human beings.)

it's not obvious to me that this straightforwardly means that those more fundamental physical systems are more ontologically primitive than human beings

Ontological primitiveness seems like a binary property. Either something is kept track of and operated upon directly by the fundamental laws of physics, or it isn't. I can't see what sense it would make to say one thing is "more primitive" than another.

(It may be that there is more than one concept of "ontological primitiveness" that is useful. I think my definition/explanation makes sense in combination with my recent posts and comments, but you may have another one in mind?)

Comment author: [deleted] 23 December 2012 05:13:28PM 2 points [-]

it seems to me that you can tell what things are ontologically primitive in in reality by looking at what objects the fundamental laws of physics keep track of and directly operate upon.

Suppose some people constructed an AI which is programmed to experience the world in terms of ontologically primitive things from the get go, and construct the rest of its (non-primitive) ontology from there. Do you think an AI, experiencing only ontologically primitive things and their behaviors according to fundamental physical laws could discover the existence of, say, living things?

Comment author: Wei_Dai 24 December 2012 01:09:04AM 2 points [-]

Do you think an AI, experiencing only ontologically primitive things and their behaviors according to fundamental physical laws could discover the existence of, say, living things?

What do you mean by "discover the existence of living things"? It seems plausible that such an AI may create some auxiliary (or "higher-level") objects in its world model to help it make predictions because it doesn't have enough computing power to just apply the fundamental laws of physics, and in the course of doing this may also label some such objects with a label that's roughly equivalent to "living". If this counts, I think the answer is yes, possibly, depending on the design of the AI.

Comment author: [deleted] 24 December 2012 02:40:08AM *  1 point [-]

It seems plausible that such an AI may create some auxiliary (or "higher-level") objects in its world model to help it make predictions because it doesn't have enough computing power to just apply the fundamental laws of physics

Assume it has infinite computing power. The AI thing is just a way of asking this question: if something knew all the facts about the things physical laws keep track of and directly operate on, and it were logically omniscient, would it know, for example, that this thing here is a tulip, that it's alive, etc.?

If not (I gather from your post that the answer is 'no') then it seems we should conclude one of two things:

1) Tulips are not in the territory, or,

2) Tulips are in the territory, but (for some reason) some facts about tulips are not derivable from facts about ontologically primitive things.

Which do you think is right? Or have I left out one or more possibilities?

(EDIT: I changed the example from 'me' to 'tulips' to avoid the impression that this question has anything to do with consciousness)

Comment author: Wei_Dai 25 December 2012 01:30:15AM 2 points [-]

I'm also not sure what you mean by "Are tulips are in the territory?" or why you are asking me that. There seem to be collections or structures of ontologically primitive objects in the territory that correspond to the objects in our internal models that we label as "tulips". From this, can you derive for yourself whether "tulips are in the territory"?

Comment author: Vladimir_Nesov 27 December 2012 12:07:44PM *  0 points [-]

It's possible to detect tulips, but there are many alternative things that it's possible to detect, so there needs to be some motivation for the detecting of tulips in particular to actually take place. For natural concepts, it's efficient world modeling (which your AI by assumption doesn't need to care about), and for morality-related concepts, it's value judgments (these will require different concepts for different AIs, but may agree on the utility of keeping track of the "fundamental" physical facts).

(On a different note, "Are tulips in the territory?" sounds like a question about definitions. Some more specific relevant query may be similar, but I'm not sure how to find one.)

Comment author: Eugine_Nier 24 December 2012 04:51:19AM 1 point [-]

This topic probably deserves more thought than I've put into it, but it seems to me that you can tell what things are ontologically primitive in in reality by looking at what objects the fundamental laws of physics keep track of and directly operate upon. For example in Newtonian physics these would be individual particles, and in Quantum Mechanics it would just be the wavefunction.

The problem is that different equivalent formulations will make different things ontologically primitive.

(Of course at this point we don't know what the fundamental laws of physics actually are so we can't say what things are ontologically primitive yet, but it seems pretty clear that it can't be human beings.)

How do you know there is a fundamental level, as opposed something like a void cathedral?

Comment author: Wei_Dai 24 December 2012 06:48:24AM 0 points [-]

The problem is that different equivalent formulations will make different things ontologically primitive.

Perhaps in this case we could say "the ontology of the universe is one or the other but I can't tell which, so I'll just have to be uncertain". Do you see any problems with this, or have any better ideas?

How do you know there is a fundamental level, as opposed something like a void cathedral?

Can you give an example of a mathematical formulation of a void cathedral, just to show that such a thing is possible?

Comment author: Eugine_Nier 25 December 2012 04:09:41AM 1 point [-]

Can you give an example of a mathematical formulation of a void cathedral, just to show that such a thing is possible?

One description is something like the following: take the space of computable universes that agree with our observations so far. Rather than putting an Occam prior over it, put an ultrafilter on it. One can pick the ultrafilter so that the set of universes where any particular level is fundamental has measure zero.

Comment author: Wei_Dai 27 December 2012 11:18:47AM 1 point [-]

I'm afraid I lack the background knowledge and/or math skills to figure out your idea from this short description. I can't find any papers after doing a search either, so I guess this is your original idea? If so, why not write it up somewhere?

Comment author: Will_Newsome 22 December 2012 08:20:08PM -1 points [-]

Sorta related. (Someone write "Metametametaphysics" plz.)