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.

lukeprog comments on A Defense of Naive Metaethics - Less Wrong Discussion

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)

Sort By: Controversial

You are viewing a single comment's thread.

Comment author: lukeprog 10 June 2011 08:06:16PM 2 points [-]

How can you make a statement that doesn't refer to anything that exists? I've done it, and my reasoning process is still intact, and nothing has blown up. Everything seems to be fine. No one has explained to me what isn't fine about this. Since it's intuitive, why would you not want to do it that way?

Clearly, you can make statements about things that don't exist. People do it all the time, and I don't object to it. I enjoy works of fiction, too. But if the aim of our dialogue is true claims about reality, then you've got to talk about things that exist - whether the subject matter is 'oughts' or not.

What one is forced to do by this argument, if one wants to speak only in physical statements, is to say that "should" has a really, really long definition that incorporates all components of human value. When a simple word has a really, really long definition, we should worry that something is up.

I don't see why this needs to be the case. I can stipulate short meanings of 'should' as I use the term. People do this all the time (implicitly, at least) when using hypothetical imperatives.

Also, in general I find myself confused by your way of talking about these things. It's not a language I'm familiar with, so I suspect I'm still not fully understanding you. I'm not sure which of our anticipations differ because of the disagreement you're trying to express.

Comment author: Peterdjones 23 June 2011 01:49:33PM *  0 points [-]

But if the aim of our dialogue is true claims about reality, then you've got to talk about things that exist - whether the subject matter is 'oughts' or not.

Which would mean either that mathematical knowledge is false, or that there is a Platonic word of mathematical objects for it to correspond to.

OTOH, one could just adopt the Dogma of Empiricism that there is analytical truth which is neither 'about' physical realitty nor 'about' about any metaphysical one ( and that mathematical truth is anayltical). (and that mathematical truth is anayltical).

And if it is an analytical truth that, for instance, that you should do as you would be done by, then that is still applicable to real world situations by fulling "as you would be done by" for your own case.

Comment author: Will_Sawin 13 June 2011 11:19:35AM 1 point [-]

But if the aim of our dialogue is true claims about reality, then you've got to talk about things that exist - whether the subject matter is 'oughts' or not.

But the aim of our dialogue isn't really true claims. It's useful claims - claims that one can incorporate into one's decision-making process. Claims about Darth Vader, you can't, but claims about ought, you can.

I can stipulate short meanings of 'should' as I use the term.

What about that other word (that is also spelled "should") that you don't have to stipulate the meaning of because people already know what it means?

What about the regular kind of imperatives?

If I define "fa" to mean "any object which more than 75% of the claims in this long book of no previous importance accurately describes", I have done something very strange, even if I letter say "If 'fa' means 'red', that's fa."

Comment author: lukeprog 13 June 2011 04:34:37PM 0 points [-]

But the aim of our dialogue isn't really true claims. It's useful claims - claims that one can incorporate into one's decision-making process.

I don't understand what you mean, here. I'm not sure what you mean by 'true' or 'useful', I guess. I'm talking about true claims in this sense.

What about that other word (that is also spelled "should") that you don't have to stipulate the meaning of because people already know what it means?

Which one is that, and what does everybody already know it to mean?

Comment author: Will_Sawin 13 June 2011 05:08:08PM 1 point [-]

I don't understand what you mean, here. I'm not sure what you mean by 'true' or 'useful', I guess. I'm talking about true claims in this sense.

I mean what you mean by "true", or maybe something very similar.

By "useful" I mean "those claims that could help someone come to a decision about their actions"

Which one is that, and what does everybody already know it to mean?

It's what people say when they say "should" but don't precede it with "if". Some people on lesswrong think it means:

[you should do X] = [X maximizes this complicated function that can be computed from my brain state]

Some think it means:

[you should do X] = [X maximizes whatever complicated function is computed from my brain state]

and I think:

[you should do X] = [the statement that, if believed, would cause one to do X]

Comment author: Peterdjones 23 June 2011 01:37:48PM 1 point [-]

or rather [you should do X] = [the statement that, if believed, would cause one to do X if one were an ideal and completely non akrasic agent]

Comment author: Will_Sawin 23 June 2011 02:10:52PM 1 point [-]

Correct.

Comment author: Vladimir_Nesov 13 June 2011 07:12:40PM *  0 points [-]

and I think:

[you should do X] = [the statement that, if believed, would cause one to do X]

You can find that there is a bug in your brain that causes you to react to a certain belief, but you'd fix it if you notice it's there, since you don't think that belief should cause that action.

Comment author: Will_Sawin 13 June 2011 07:41:10PM 0 points [-]

I could say

[the statement that, if believed by a rational agent, would cause it to do X]

but that's circular.

But one of the points I've been trying to make is that it's okay for the definition of something to be, in some sense, circular. As long as you can describe the code for a rational agent that manipulates that kind of statement.

Comment author: Peterdjones 23 June 2011 02:06:08PM 0 points [-]

All definitions should be circular. "The president is the Head of State" is a correct definition. "The president is Obama" is true, but not a definition.

Comment author: Will_Sawin 23 June 2011 02:10:05PM 0 points [-]

Non-circular definitions can certainly be perfectly fine:

"A bachelor is an unmarried man.'

This style is used in math to define new concepts to simplify communication and thought.

Comment author: Peterdjones 23 June 2011 02:34:20PM 0 points [-]

"A bachelor is an unmarried man.'

If that is non circular, so is [the statement that, if believed by a rational agent, would cause it to do X]

I'm quite confused. By circular do you mean anaylitcal, or recursive? (example of the latter: a setis something that can contain elemetns or other sets)

Comment author: Will_Sawin 23 June 2011 06:27:32PM 0 points [-]

I'm not sure what I mean.

The definition I am using is in the following category:

It may appear problematically self-referential, but it is in fact self-referential in a non-problematic manner.

Agreed?

Comment author: Vladimir_Nesov 13 June 2011 08:53:13PM 2 points [-]

Some things you can't define exactly, only refer to them with some measure of accuracy. Physical facts are like this. Morality is like this. Rational agents don't define morality, they respond to it, they are imperfect detectors of moral facts who would use their moral expertise to improve own ability to detect moral facts or build other tools capable of that. There is nothing circular here, just constant aspiration for referencing the unreachable ideal through changeable means.

Comment author: Will_Sawin 13 June 2011 10:22:58PM 0 points [-]

But there aren't causal arrows pointing from morality to rational agents, are there? Just acausal/timeless arrows.

You do have to define "morality" as meaning "that thing that we're trying to refer to with some measure of accuracy", whereas "red" is not defined to refer to the same thing.

If you agree, I think we're on the same page.

Comment author: Vladimir_Nesov 19 June 2011 11:18:44PM *  1 point [-]

But there aren't causal arrows pointing from morality to rational agents, are there? Just acausal/timeless arrows.

I think the idea of acausal/logical control captures what causality was meant to capture in more detail, and is a proper generalization of it. So I'd say that there are indeed "causal" arrows from morality to decisions of agents, to the extent the idea of "causal" dependence is used correctly and not restricted to the way we define physical laws on a certain level of detail.

You do have to define "morality" as meaning "that thing that we're trying to refer to with some measure of accuracy"

Why would I define it so? It's indeed what we are trying to refer to, but what it is exactly we cannot know.

whereas "red" is not defined to refer to the same thing.

Lost me here. We know enough about morality to say that it's not the same thing as "red", yes.

Comment author: Will_Sawin 20 June 2011 05:25:17AM 1 point [-]

I think the idea of acausal/logical control captures what causality was meant to capture in more detail, and is a proper generation of it. So I'd say that there are indeed "causal" arrows from morality to decisions of agents, to the extent the idea of "causal" dependence is used correctly and not restricted to the way we define physical laws on a certain level of detail.

Sure.

Why would I define it so? It's indeed what we are trying to refer to, but what it is exactly we cannot know.

Let me rephrase a bit.

"That thing, over there (which we're trying to refer to with some measure of accuracy), point point".

I'm defining it extensionally, except for the fact that it doesn't physically exist.

There has to be some kind of definition or else we wouldn't know what we were talking about, even if it's extensional and hard to put into words.

Lost me here. We know enough about morality to say that it's not the same thing as "red", yes.

"red" and "right" have different extensional definitions.