Will_Sawin comments on Pluralistic Moral Reductionism - Less Wrong

33 Post author: lukeprog 01 June 2011 12:59AM

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

Comments (316)

You are viewing a single comment's thread.

Comment author: Will_Sawin 01 June 2011 01:41:05AM *  4 points [-]

Consider this dialog:

Student: "Wise master, what ought I do?"

Wise master: "You ought to help the poor by giving 50% of your income to efficient charity and supporting the European-style welfare state."

Student: "Alright."

*student runs off and gives 50% of his or her income to efficient charity and supports the European-style welfare state

This dialog rings true as a fact about ought statements - once we become convinced of them, they do and should constrain our behavior.

But my dialogs and your dialogs contradict each other! Because if "ought" determines our behavior, and we can define what "ought" means, then we can define proper behavior into existence - a construction as absurd as Descartes defining God into existence or Plato defining man as both a hairless featherless biped and a mortal.

We must give up one, and I say give up yours. "ought" is one of those words that we are not free to define - it has a single meaning. Look to its consequences, not its causes.

Comment author: lukeprog 01 June 2011 02:10:38AM *  2 points [-]

I'm not sure I understand. Are you saying that we are not free to stipulate definitions for the word-tools we use (when it comes to morality), because you have a conceptual intuition in favor of motivational internalism for the use of 'ought' terms?

Comment author: Will_Sawin 01 June 2011 02:43:59AM *  2 points [-]

Wikipedia defines motivational internalism as the belief that:

there is an internal, necessary connection between one's conviction that X ought to be done and one's motivation to do X.

I want to view this as a morally necessary connection. One should do what one ought to do, and this serves as the definition of "ought".

You will note that I am using circular definitions. That is because I can't define "should" except in terms of things that have a hidden "should" in there. But I am trying to access the part of you that understands what I am saying.

The useful analogue is this:

modus ponens: "If you know 'A', and you know 'If A, then B", then you know B"

It's a circular definition getting at something which you can't put into words. I would be wrong to define "If-then" as something else, like maybe "If A, then B" means "75% of elephants with A written on them believe B" because it's already defined.

Does that make any sense?

Comment author: lukeprog 01 June 2011 02:46:32PM *  1 point [-]

Unfortunately, I still don't follow you. Or at least, the only interpretations I've come up with look so obviously false that I resist attributing them to you. Maybe I can grok your disagreement from another angle. Let me try to pinpoint where we disagree. I hope you'll have some time to approach mutual understanding on this issue. When Will Sawin disagrees with me, I pay attention.

Do you agree that there are many words X such that X is used by different humans to mean slightly different things?

Do you agree that there are many words X such that different humans have different intuitions about the exact extension of X, especially in bizarre sci-fi hypothetical scenarios?

Do you agree that many humans use imperative terms like 'ought' and 'should' to communicate particular meanings, with these meanings often being stipulated within the context of a certain community?

I'll stop there for now.

Comment author: Will_Sawin 01 June 2011 03:42:32PM *  1 point [-]

Thanks. I'm thinking of doing a post on the discussion section where I can explain where my intuitions come from in more detail.

For your questions:

Yes.

Yes.

I don't really know what the third question means. It seems like the primary use of "ought" and "should" is as part of an attempt to convince people to do what you say they should do. I would say that is the meaning being communicated. There are various ways this could be within the context of a community. Are you saying that you're only trying to convince members of that community?

Comment author: lukeprog 04 June 2011 09:19:07PM 0 points [-]

Note: I'm planning to come back to this discussion in a few days. Recently my time has been swamped running SI's summer minicamp.

Comment author: Will_Sawin 04 June 2011 09:34:43PM 3 points [-]

I may also write something which expresses my ideas in a new, more concise and clear form.

Comment author: lukeprog 05 June 2011 11:20:39PM 0 points [-]

I think that would be the most efficient thing to do. For now, I'll wait on that.

Comment author: Will_Sawin 09 June 2011 06:59:17PM 1 point [-]

If you haven't noticed, I just made that post.

Comment author: lukeprog 13 June 2011 05:58:23AM 0 points [-]

Any response to this?

Comment author: lukeprog 10 June 2011 04:55:31PM 0 points [-]

Excellent. I'm busy the next few days, but I'll respond when I can, on that thread.

Comment author: steven0461 01 June 2011 03:43:52AM *  1 point [-]

That is because I can't define "should" except in terms of things that don't have a hidden "should" in there.

I think you meant to leave out either the "except" or the "don't"?

Comment author: Will_Sawin 01 June 2011 10:57:13AM 0 points [-]

Correct.

Comment author: Will_Sawin 01 June 2011 06:03:45PM 1 point [-]

I don't want to spam but if people haven't noticed then hopefully this comment should inform them that my first-ever lesswrong post, which might or might not make this clearer, is up.

Comment author: wedrifid 01 June 2011 12:25:13PM *  1 point [-]

We must give up one, and I say give up yours.

I would much prefer to keep Luke's. Basically because it is is actually useful when communicating with others who aren't interested in having the other person's values rammed down their throat. Because if you went around saying an ought at me using your definition then obviously you should expect me to reject it regardless of what the content is. Because the way you are using the term is such that it assumes that the recipient is ultimately subject to something that refers to your own mind.

Comment author: Will_Sawin 01 June 2011 04:00:32PM 1 point [-]

So if you tell me I should go do something, and I agree with you, and I never go do that, you would see nothing inconsistent?

I'm totally comfortable with claims of the form "If you believe XYZ normative statements, then you should do W." It should work just as well as conditionals about physical statements.

Comment author: wedrifid 01 June 2011 04:10:46PM *  0 points [-]

So if you tell me I should go do something, and I agree with you, and I never go do that, you would see nothing inconsistent?

No, that is not something that is implied by my statements.

It is an example of someone not acting according to their own professed ideals and is inconsistent in the same way that all such things are.

Comment author: Will_Sawin 01 June 2011 04:20:01PM 1 point [-]

So you're saying that I am only allowed to use "should" to mean "WillSawin_should". I can't use it to mean "wedrifid_should".

This seems like an odd way to run a conversation to me.

Comment author: wedrifid 01 June 2011 04:29:54PM *  0 points [-]

So you're saying that I am only allowed to use "should" to mean "WillSawinshould". I can't use it to mean "wedrifidshould".

No, that is another rather bizarre thing which I definitely did not say. Perhaps it will be best for me to just leave it with my initial affirmation of Luke's post:

We must give up one, and I say give up yours.

I would much prefer to keep Luke's.

In my observation Luke's system for reducing moral claims provides more potential for enabling effective communication between agents and a more comprehensive way to form a useful epistemic model of such conversations.

Comment author: Will_Sawin 01 June 2011 05:10:30PM 1 point [-]

No, that is another rather bizarre thing which I definitely did not say. Perhaps it will be best for me to just leave it with my initial affirmation of Luke's post:

So suppose I say:

"I wedrifid_should do X" and then don't do X. Clearly, I am not being inconsistent.

but if I say:

"I should do X" and then don't do X then I am being inconsistent.

Something must therefore prevent me from using "should" to mean "wedrifid_should".

Comment author: Manfred 01 June 2011 10:34:46PM *  0 points [-]

I'd agree that you can (and probably do) use plain old "should" to mean multiple things. The trouble is that this isn't very useful for communication. So when communicating, us humans use heuristics to figure out what "should" is meant.

In the example of the conversation, if I say "you should X" and you say "I agree," then I generally use a shortcut to think you meant Will-should. The obvious reason for this is that if you meant Manfred-should, you would have just repeated my own statement back to me, which would be not communicating anything, and it's a decent shortcut to assume that when people say something they want to communicate. The only other obvious "should" in the conversation is Will-should, so it's a good guess that you meant Will-should.

Comment author: Will_Sawin 01 June 2011 11:31:10PM 2 points [-]

"I agree" generally means the same thing as repeating someone's statement back at them. We can expand:

"You wedrifd_should do X"

"I agree, I will_should do X"

I seem to be making an error of interpretation here if I say things the way you normally say them! Why, in this instance, is it considered normal and acceptable to interpret professed agreement as expressing a different belief than the one being agreed to?

It all seems fishy to me.

Comment author: Manfred 02 June 2011 12:14:25AM *  0 points [-]

Huh, yeah that is weird. But on thinking about it, I can only think of two situations I've heard or used "I agree." One is if there's a problem with an unsure solution, where it means "My solution-finding algorithm also returned that," and if someone offers a suggestion about what should be done, where I seem to be claiming it usually means "My should-finding algorithm also returned that."

Comment author: Normal_Anomaly 01 June 2011 02:09:34AM 1 point [-]

Your dialogue looks similar to the one about losing weight above. I can define proper behavior given my terminal values. If I want to lose weight, I should eat less. Upon learning this fact, I start eating less. My values and some facts about the world are sufficient to determine my proper behavior. "Defining my behavior into existence" seems no more absurd to me than defining the rational action using a decision theory.

I'm not sure I've explained myself very clearly here. Please advise on what, if anything, that I'm saying is hard to understand.

Comment author: Will_Sawin 01 June 2011 02:47:33AM -1 points [-]

If it is the case that you should do what you want, yes.

If you want to punch babies, then you should not punch babies. (x)

If you should lose weight, then you should eat less.

Proper values and some facts about the world are sufficient to determine proper behavior.

What are proper values? Well, they're the kind of values that determine proper behavior.

x: Saying this requirems me to know a moral fact. This moral fact is a consequence of an assumption I made about the true nature of reality. But to assume is to stoop lower than to define.

Comment author: Normal_Anomaly 01 June 2011 11:06:17AM *  2 points [-]

If you want to punch babies, then you should not punch babies. (x)

This is WillSawinShould. NormalAnomalyShould says the same thing, because we're both humans. #$%^$_Should, where #$%^$ is the name of an alien from planet Mog, may say something completely different. You and I both use the letter sequence s-h-o-u-l-d to refer to the output of our own unique should-functions.

Lukeprog, the above is how I understand your post. Is it correct?

Comment author: Will_Sawin 01 June 2011 11:21:58AM *  2 points [-]

No. We both use the letter sequence "should" to direct our actions.

We believe that we should follow the results of our should-functions. We believe that the alien from Mog is wrong to follow the results of his should-function. These are beliefs, not definitions.

Imagine if you said "The sun will rise tomorrow" and I responded:

"This is NormalAnomaly_Will. WillSawin_Will says the same thing, because we're both humans. #$%^$_Will, where #$%^$ is the name of an alien from planet Mog, may say something completely different. You and I both use the letter sequence w-i-l-l to refer to the output of our own unique will-functions."

Comment author: wedrifid 01 June 2011 12:16:57PM 2 points [-]

Normal_Anomaly's ontology is coherent. What you describe regarding beliefs is also coherent but refers to a different part of reality space than what Normal is trying to describe.

Comment author: Will_Sawin 01 June 2011 03:52:18PM 2 points [-]

I don't understand what "ontology" and "reality space" mean in this context.

Here's a guess:

You're saying that the word "WillSawin_Should" is a reasonable word to use. It is well-defined, and useful in some contexts. But Plain-Old-Should is also a word with a meaning that is useful in some contexts.

in which case I would agree with you.

Comment author: wedrifid 01 June 2011 04:07:48PM 2 points [-]

I was trying to convey that when you speak of beliefs and determination of actions you are describing an entirely different concept than what Normal_Anomaly was describing. To the extent that presenting your statements as a contradiction of Normal's is both a conversational and epistemic error.

Comment author: wedrifid 01 June 2011 11:13:43AM *  1 point [-]

You can write_underscored_names by escaping the _ by preceding it with a \.

Comment author: Will_Sawin 01 June 2011 10:15:10PM 1 point [-]

I'm not really sure why this was downvoted, compared to everything else I've written on the topic.

Did it have to do with the excessive bolding somehow? Do my claims sound especially stupid stated like this?

Comment author: wedrifid 01 June 2011 10:41:30PM 0 points [-]

I'm not really sure why this was downvoted, compared to everything else I've written on the topic.

It seems to completely miss Normal_Anomaly's point, speaking right past him. As to the 'compared to everything else you have written' I refrained from downvoting your replies to myself even though I would have downvoted them if they were replies to a third party. It is a general policy of mine that I find practical, all else being equal.

Comment author: Antisuji 01 June 2011 06:27:04AM *  1 point [-]

So you're defining "should" to describe actions that best further one's terminal values? Or is there an additional "shouldness" about terminal values too?

Also, regarding

Because if "ought" determines our [proper] behavior, and we can define what "ought" means, then we can define proper behavior into existence

in the grandparent, it sounds like you're equivocating between defining what the word "ought" means and changing the true nature of the concept that "ought" usually refers to. (Unless I was wrong to add the "proper" in the quote, in which case I actually don't know what point you were making.) To wit: "ought" is just a word that we can define as we like, but the concept that "ought" usually refers to is an adaptation and declaring that "ought" actually means something different will not change our actual behavior, except insofar as you succeed in changing others' terminal values.


Incidentally this is a very slippery topic for me to talk about for reasons that I don't fully understand, but I suspect it has to do with my moral intuitions constantly intervening and loudly claiming "no, it should be this way!" and the like. I also strongly suspect that this difficulty is nearly universal among humans.

Comment author: Will_Sawin 01 June 2011 11:04:16AM 1 point [-]

Or is there an additional "shouldness" about terminal values too?

There is.

(Unless I was wrong to add the "proper" in the quote, in which case I actually don't know what point you were making.)

You weren't.

in the grandparent, it sounds like you're equivocating between defining what the word "ought" means and changing the true nature of the concept that "ought" usually refers to.

I do not think I am equivocating. Rather, I disagree with lukeprog about what people are changing when they disagree about morality.

lukeprog thinks that people disagree about what ought means / the definition of ought.

I believe that (almost) everybody things "ought" means the same thing, and that people disagree about the concept that "ought" usually refers to.

This concept is special because it has a reverse definition. Normally a word is defined by the situations in which you can infer that a statement about that word is true. However, "ought" is defined the other way - by what you can do when you infer that a statement about "ought" is true.

Is it the case that Katy ought to buy a car? Well, I don't know. But I know that if Katy is rational, and she becomes convinced that she ought to buy a car, then she will buy a car.

Comment author: prase 01 June 2011 03:50:09PM *  0 points [-]

I believe that (almost) everybody things "ought" means the same thing, and that people disagree about the concept that "ought" usually refers to.

What is the difference between what "ought" means and what it refers to?

Edit:

This concept is special because it has a reverse definition. Normally a word is defined by the situations in which you can infer that a statement about that word is true. However, "ought" is defined the other way - by what you can do when you infer that a statement about "ought" is true.

In the above, do you say that "You ought to do X." is exactly equivalent to the command"Do X!", and "I ought to do X." means "I will do X on the first opportunity and not by accident." ?

Is it the case that Katy ought to buy a car? Well, I don't know. But I know that if Katy is rational, and she becomes convinced that she ought to buy a car, then she will buy a car.

Ought we base the definition of "ought" on a pretty complicated notion of rationality?

Comment author: Will_Sawin 01 June 2011 04:07:52PM 1 point [-]

In the above, do you say that "You ought to do X." is exactly equivalent to the command"Do X!", and "I ought to do X." means "I will do X on the first opportunity and not by accident." ?

To the first one, yes, but they have different connotations.

To the second one, sort of. "I" can get fuzzy here. I have akrasia problems. I should do my work, but I will not do it for a while. If you cut out a sufficiently small portion of my mind then this portion doesn't have the opportunity to do my work until it actually does my work, because the rest of my mind is preventing it.

Furthermore I am thinking about them more internally. "should" isn't part of predicting actions, its part of choosing them.

Ought we base the definition of "ought" on a pretty complicated notion of rationality?

It doesn't seem complicated to me. Certainly simpler than lukeprog's definitions.

These issues are ones that should be cleared up by the discussion post I'm going to write in a second.

Comment author: Peterdjones 01 June 2011 07:04:42PM 0 points [-]

"You ought to do X." is exactly equivalent to the command"Do X!"

It isn't equivalent to a moral "ought", since one person can command another to do something they both think is immoral.

Comment author: Will_Sawin 01 June 2011 07:53:09PM 0 points [-]

This would require one of two situations:

a. A person consisting of multiple competing subagents, where the "ought" used by one is not the same as the "ought" used by another.

b. .A person with two different systems of morality, one dictating what is moral and the other how much they will accept deviating from it.

In either case you would need two words because there are two different kinds of should in the mind.

Comment author: Peterdjones 01 June 2011 08:51:49PM 0 points [-]

I gave the situation of one person commanding another. You replied with a scenario about one person with different internal systems. I don't know why you did that.

Comment author: prase 01 June 2011 04:13:40PM 0 points [-]

These issues are ones that should be cleared up by the discussion post I'm going to write in a second.

It seems that my further questions rather ought to wait a second, then.

Comment author: Will_Sawin 01 June 2011 03:55:06PM 1 point [-]

(yay, I finally caused a confusion that should be really easy to clear up!)

Alice and Bob agree that "Earth" means "that giant thing under us". Alice and Bob disagree about the Earth, though. They disagree about that giant thing under them. Alice thinks it's round, and Bob thinks it's flat.

Comment author: Antisuji 01 June 2011 06:12:42PM 1 point [-]

Yes, this is the distinction I had in mind.

Comment author: Will_Sawin 01 June 2011 07:57:36PM 0 points [-]

So do you now think that I do not equivocate?

Comment author: Antisuji 02 June 2011 04:39:00AM 3 points [-]

No, I think there is still equivocation in the claim that your dialog and Luke's contradict one another. Luke is talking about the meaning of the word "Earth" and you are talking about the giant thing under us.

I also do not completely buy the assertion that "ought" is special because it has a reverse definition. This assertion itself sounds to me like a top-down definition of the ordinary type, if an unusually complex one.

Comment author: prase 01 June 2011 04:02:19PM 0 points [-]

I have difficulty to apply the analogy to ought.

Comment author: Peterdjones 01 June 2011 06:49:57PM 0 points [-]

What are proper values? Well, they're the kind of values that determine proper behaviour.

Not for objective metaethicists, who seem to be able to escape your circle.

Comment author: Will_Sawin 01 June 2011 07:55:58PM *  0 points [-]

This doesn't seem to actually be a term, after a few seconds of googling. Could you provide a link to a description of this philosophy?

Comment author: Peterdjones 01 June 2011 06:48:06PM 0 points [-]

But my dialogs and your dialogs contradict each other! Because if "ought" determines our behavior, and we can define what "ought" means, then we can define proper behavior into existence

Moral ideas don't determinne behaviour with any great reliability, so there is no analytical or necessary relationship there. If that's what you were getting at.