Now all you need is a system that you believe cannot prove anything which is false. It isn't permitted to be that way by definition, and it needs to be able to prove a significant number of things.
The first step to finding that system is being able to tell if many moral statements are false, without referencing our morality. Unless we create a morality oracle, I don't see a way to do that.
Start by considering the class of statements "In situation S, it is immoral to take an action in set A" and their complementary sets "In situation S, it is immoral to refrain from all actions in set A". If immorality is always avoidable, then one of those two statements is false, and any system which can prove both of them is therefore excluded.
What are the odds that what is 'right-right' will be a system compatible with a system which developed with competing pressures, and has as a major characteristic that 'people who have this system successfully convince other people to adopt it'?
What are the odds that what is 'right-right' will be a system compatible with a system which developed with competing pressures, and has as a major characteristic that 'people who have this system successfully convince other people to adopt it'?
Well, this is the case for mathematics and science.
Today's post, No License To Be Human was originally published on 20 August 2008. A summary (taken from the LW wiki):
Discuss the post here (rather than in the comments to the original post).
This post is part of the Rerunning the Sequences series, where we'll be going through Eliezer Yudkowsky's old posts in order so that people who are interested can (re-)read and discuss them. The previous post was You Provably Can't Trust Yourself, and you can use the sequence_reruns tag or rss feed to follow the rest of the series.
Sequence reruns are a community-driven effort. You can participate by re-reading the sequence post, discussing it here, posting the next day's sequence reruns post, or summarizing forthcoming articles on the wiki. Go here for more details, or to have meta discussions about the Rerunning the Sequences series.