Peterdjones comments on The Amazing Virgin Pregnancy - Less Wrong

22 Post author: Eliezer_Yudkowsky 24 December 2007 02:00PM

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

Comments (271)

Sort By: Old

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

Comment author: Peterdjones 30 April 2011 10:48:47AM *  2 points [-]

I could sit here and explain to you how the chess analogy fails, how the rationality analogy fails, et cetera and so on.

I would find it easier to believe you could if you had.

I avoid doing unto others what I would not wish done unto me because that policy, when shared by social animals like humans, leads to results I prefer. I have evolved that preference. I voluntarily cooperate because it is in my direct interest, i.e. fulfills my values and preferences.

Reasoning about preferences is still reasoning.

Comment author: NMJablonski 30 April 2011 02:54:04PM *  0 points [-]

Reasoning about preferences is still reasoning.

I don't deny that you can reason about preferences. All I'm saying is that to make a decision about whether to keep, discard, or modify your own preferences, the only metrics you have to check against are your own existing values and preferences. There are no moral facts out there in the universe to check against.

Do you disagree?

I would find it easier to believe you could if you had.

It turns out that I couldn't walk away so easily, and so I, and several others, have.

Comment author: Peterdjones 30 April 2011 06:14:16PM *  1 point [-]

Next I'll be saying that mathematicians can come up with objectively true theorems without checking them against Paul Erdos's Book..

Values and preferences can be re-evaluated according to norms of rationality, such as consistency. We generally deem the outputs of reasoning processes to be objective, even absent the existence of a domain of things to be checked against.

Comment author: JoshuaZ 30 April 2011 11:42:34PM 2 points [-]

Next I'll be saying that mathematicians can come up with objectively true theorems without checking them against Paul Erdos's Book..

First, that book only has the elegant proofs. Second this totally misses the point: whether a statement is a theorem of a given formal system is objectively true or false is a distinct claim from the claim that some set of axioms is objectively a set of axioms that is somehow worth paying attention to. Even if two mathematicians disagree about whether or not one should include the Axiom of Choice in set theory, they'll both agree that doing so is equivalent to including Zorn's Lemma.

You aren't just claiming that there are "theorems" from some set of moral axioms, but seem to be claiming that some sets of axioms are intrinsically better than others. You keep making this sort of leap and keep giving it no substantial justification other than the apparent reasoning that you want to be able to say things like "Gandhi was good" or "genocide is bad" and feel that there's objective weight behind it. And we all empathize with that desire, but that doesn't make those statements more valid in any objective sense.

Comment author: Peterdjones 01 May 2011 01:24:38PM 1 point [-]

I haven't said anything is intriniscally better: I have argued that the choice of basic principles in maths, morlaity, etc is constrained by what we expect to be able to do with those things.

If you vary the way games work too much, you end with useless non-games (winning is undefinable, one player always wins...) If you vary the way rationality works too much, you end up with paradox, quodlibet etc. If you vary the rules of meta ethics too much, you end up with anyone being allowed to do anything, or nobody being allowed to do anything.

Yes. I do want to be able to say murder is wrong. I should want to be able to say that. It's a feature. not a bug.. What use is a new improved rationalised system of mathematics which can't support 2+2=4?

Comment author: JoshuaZ 01 May 2011 02:13:36PM 0 points [-]

Peter, how do you reconcile this statement with your statement such as the one's here where you say that

I think most moral nihilists are not evil. But the point is that if he really does think murder is not wrong, he has a bad glitch in his thinking; and if he does think murder is wrong, but feels unable to say so, he has another glitch.

Comment author: Peterdjones 01 May 2011 02:16:06PM 0 points [-]

I don't see the problem. What needs reconciling with what?

Comment author: JoshuaZ 01 May 2011 02:24:56PM 0 points [-]

How can you say someone has a glitch if they simply aren't adopting your system which you acknowledge is arbitrary?

Comment author: Peterdjones 01 May 2011 02:32:28PM 1 point [-]

Yet again: I never said morality was arbitrary.

I said he has a glitch if he can't see that murder is wrong. I didn't say he had to arrive at it the way I arrived at it.. I am selling a meta ethical theory. I am not selling 1-st order system of morality like Roman Catholicism or something. I use core intuitions, common to all 1st order systems, as test cased. If you can't get them out of your metaethical principles, you are doing something wrong.

What use is a new improved rationalised system of mathematics which can't support 2+2=4?

Comment author: JoshuaZ 01 May 2011 03:57:28PM 2 points [-]

Yet again: I never said morality was arbitrary.

So morality is like chess, but there's some sort of grounding for why we should play it? I am confused as to what your position is.

What use is a new improved rationalised system of mathematics which can't support 2+2=4?

I'm not sure what you mean by that. If I'm following your analogy correctly then this is somewhat wrong. Any reasonable general philosophy of metamathematics would tell you that 2+2=4 is only true in certain axiomatic systems. For example, if I used as an axiomatic system all the axioms of ZFC but left out the axiom of infinity and the axiom of replacement, I cannot then show that + is a well-defined operation. But this is an interesting system which has been studied. Moreover, nothing in my metamathematics tells me that that I should be more interested in ZFC or Peano Arithmetic. I am more interested in those systems, but that's due to cultural and environmental norms. And one could probably have a whole career studying weak systems where one cannot derive 2+2=4 for the most natural interpretations of "2", "+","=" and "4" in that system.

To return to the original notion, just because a metaethical theory has to support that someone within their more and ethical framework has "murder is wrong" doesn't mean that the metaethical system must consider that to be a non-arbitrary claim. This is similar to just because our metamathetical theory can handle 2+2=4 doesn't mean it needs to assert that 2+2=4 in some abstract sense.

Comment author: wedrifid 01 May 2011 03:10:10PM 1 point [-]

How can you say someone has a glitch if they simply aren't adopting your system which you acknowledge is arbitrary?

By arbitrarily declaring what qualifies as a glitch. (Which is only partially arbitrary if you have information about typical or 'intended' behaviour for an agent.)