lukeprog comments on A Defense of Naive Metaethics - Less Wrong

8 Post author: Will_Sawin 09 June 2011 05:46PM

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

Comments (294)

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

Comment author: lukeprog 13 June 2011 04:30:40PM 0 points [-]

That's making a pre-existing assumption that everyone speaks in physics language

No, of course lots of people use 'ought' terms and other terms without any reduction to physics in mind. All I'm saying is that if I'm right about reductionism, those uses of ought language will fail to refer.

What is moral language? Moral language consists of statements that you can cash out, along with a preference order on the set of physical worlds, to get "true" or "false".

Sure, that's one way to use moral language. And your preference order is computed by physics.

Comment author: Will_Sawin 13 June 2011 05:01:55PM 4 points [-]

Sure, that's one way to use moral language.

That's the way I'm talking about, so you should be able to ignore the other ways in your discussion with me.

And your preference order is computed by physics.

You are proposing a function MyOrder from {states of the world} to {preference orders}

This gives you a natural function from {statements in moral language} to {statements in physical language}

but this is not a reduction, it's not what those statements mean, because it's not what they're defined to mean.

Comment author: lukeprog 14 June 2011 05:32:37PM *  1 point [-]

I think I must be using the term 'reduction' in a broader sense than you are. By reduction I just mean the translation of (in this case) normative language to natural language - cashing things out in terms of lower-level natural statements.

Comment author: Will_Sawin 14 June 2011 05:59:52PM 1 point [-]

But you can't reduce an arbitrary statement. You can only do so when you have a definition that allows you to reduce it. There are several potential functions from {statements in moral language} to {statements in physical language}. You are proposing that for each meaningful use of moral language, one such function must be correct by definition.

I am saying, no, you can just make statements in moral language which do not correspond to any statements in physical language.

Comment author: lukeprog 14 June 2011 06:19:51PM *  0 points [-]

You are proposing that for each meaningful use of moral language, one such function must be correct by definition

Not what I meant to propose. I don't agree with that.

you can just make statements in moral language which do not correspond to any statements in physical language.

Of course you can. People do it all the time. But if you're a physicalist (by which I mean to include Tegmarkian radical platonists), then those statements fail to successfully refer. That's all I'm saying.

Comment author: Will_Sawin 14 June 2011 06:23:10PM 2 points [-]

I am standing up for the usefulness and well-definedness of statements that fail to successfully refer.

Comment author: lukeprog 14 June 2011 06:49:35PM *  0 points [-]

I am standing up for the usefulness and well-definedness of statements that fail to successfully refer.

Okay, we're getting nearer to understanding each other, thanks. :)

Perhaps you could give an example of a non-normative statement that is well-defined and useful even though it fails to refer? Perhaps then I can grok better where you're coming from.

Elsewhere, you said:

The problem is that the word "ought" has multiple definitions. You are observing that all the other definitions of ought are physically reducible. That puts them on the "is" side. But now there is a gap between hypothetical-ought-statements and categorical-ought-statements, and it's just the same size as before. You can reduce the word "ought" in the following sentence: "If 'ought' means 'popcorn', then I am eating ought right now." It doesn't help.

Goodness, no. I'm not arguing that all translations of 'ought' are equally useful as long as they successfully refer!

But now you're talking about something different than the is-ought gap. You're talking about a gap between "hypothetical-ought-statements and categorical-ought-statements." Could you describe the gap, please? 'Categorical ought' in particular leaves me with uncertainty about what you mean, because that term is used in a wide variety of ways by philosophers, many of them incoherent.

I genuinely appreciate you sticking this out with me. I know it's taking time for us to understand each other, but I expect serious fruit to come of mutual understanding.

Comment author: Will_Sawin 14 June 2011 06:56:59PM 0 points [-]

Perhaps you could give an example of a non-normative statement that is well-defined and useful even though it fails to refer? Perhaps then I can grok better where you're coming from.

I don't think any exist, so I could not do so.

Goodness, no. I'm not arguing that all translations of 'ought' are equally useful as long as they successfully refer!

I'm saying that the fact that you can use a word to have a meaning in class X does not provide much evidence that the other uses of that word have a meaning in class X.

Could you describe the gap, please? 'Categorical ought' in particular leaves me with uncertainty about what you mean, because that term is used in a wide variety of ways by philosophers, many of them incoherent.

Hypothetical-ought statements are a certain kind of statement about the physical world. They're the kind that contain the word "ought", but they're just an arbitrary subset of the "is"-statements.

Categorical-ought statements are statements of support for a preference order. (not statements about support.)

Since no fact can imply a preference order, no is-statement can imply a categorical-ought-statement.

Comment author: Vladimir_Nesov 15 June 2011 12:03:36AM 1 point [-]

Since no fact can imply a preference order, no is-statement can imply a categorical-ought-statement.

(Physical facts can inform you about what the right preference order is, if you expect that they are related to the moral facts.)

Comment author: Will_Sawin 15 June 2011 12:18:32AM 0 points [-]

perhaps the right thing to say is "No fact can alone imply a preference order."

Comment author: lukeprog 14 June 2011 07:09:22PM 0 points [-]

I don't think any exist, so I could not do so.

Okay, so you think that the only class of statements that are well-defined and useful but fail to refer is the class of normative statements? Why are they special in this regard?

I'm saying that the fact that you can use a word to have a meaning in class X does not provide much evidence that the other uses of that word have a meaning in class X.

Agreed.

Categorical-ought statements are statements of support for a preference order. (not statements about support.)

What do you mean by this? Do you mean that a categorical-ought statement is a statement of support as in "I support preference-ordering X", as opposed to a statement about support as in "preference-ordering X is 'good' if 'good' is defined as 'maximizes Y'"?

Since no fact can imply a preference order, no is-statement can imply a categorical-ought-statement.

What do you mean by 'preference order' such that no fact can imply a preference order? I'm thinking of a preference order as a brain state, including parts of the preference ordering that are extrapolated from that brain state. Surely physical facts about that brain state and extrapolations from it imply (or entail, or whatever) the preference order...

Comment author: Will_Sawin 14 June 2011 08:02:25PM 1 point [-]

Okay, so you think that the only class of statements that are well-defined and useful but fail to refer is the class of normative statements? Why are they special in this regard?

Because a positive ('is") statement + a normative ("ought) statement is enough information to determine an action, and once actions are determined you don't need further information.

"information" may not be the right word.

What do you mean by this? Do you mean that a categorical-ought statement is a statement of support as in "I support preference-ordering X", as opposed to a statement about support as in "preference-ordering X is 'good' if 'good' is defined as 'maximizes Y'"?

I believe "I ought to do X" if and only if I support preference-ordering X.

What do you mean by 'preference order' such that no fact can imply a preference order? I'm thinking of a preference order as a brain state, including parts of the preference ordering that are extrapolated from that brain state. Surely physical facts about that brain state and extrapolations from it imply (or entail, or whatever) the preference order...

I'm thinking of a preference order as just that: a map from the set of {states of the world} x {states of the world} to the set {>, =, <}. The brain state encodes a preference order but it does not constitute a preference order.

I believe "this preference order is correct" if and only if there is an encoding in my brain of this preference order.

Much like how:

I believe "this fact is true" if and only if there is an encoding in my brain of this fact.