В теориях морали по-разному определяются и ключевые черты разумного человека, и обстоятельства, при которых каждый разумный человек примет кодекс поведения в качестве морального кодекса (см. «Как мы различаем, что правильно, а что нет?»). Один из главных вопросов философии морали заключается в противоречии между моральным реализмом и антиреализмом.
По мнению приверженцев морального реализма, в мире существуют объективные моральные факты, или, другими словами, такие вещи, которые являются всегда хорошими или всегда плохими, независимо от точки зрения индивида. Контраргумент, с позиции антиреализма, заключается в том, что абсолютных моральных фактов не существует – есть только суждения, и то, что мы считаем моральным фактом, является не открытым нами правилом, а правилом, которое мы для себя придумали. Другая проблема, связанная с этим противоречием, касается того, что обозначено терминами «когнитивизм» и «нонкогнитивизм» и связано с валидностью моральных утверждений. В когнитивизме утверждение по вопросам морали есть суждение и, будучи таковым, может определяться разумом как истинное или ложное. Взять, например, утверждение «убивать плохо». Сделав такое заявление об убийстве, я сообщил нечто об этом мире. Кроме того, к концепту убийства я прибавил значение неправильности. Чтобы определить, на самом ли деле убийство несёт значение неправильности, я должен сделать вывод об объективной валидности своего сообщения – справедливо оно или ошибочно?
Высокоморальному человеку это свойство никогда не должно мешать совершать добрые дела.
Нонкогнитивизм занимает обратную позицию. Для нонкогнитивистов моё утверждение «убивать плохо» – это не сообщение в объективных терминах чего-либо о мире, а лишь выражение моих собственных чувств и мнений. Поэтому моральные утверждения, не будучи дескриптивными, не могут быть в нонкогнитивизме ни истинными, ни ложными, По логике нечто должно быть описано так, как оно есть на самом деле, чтобы являться истинным, и наоборот, должно быть описано не так, как оно есть на самом деле, чтобы являться ложным. Недескриптивные утверждения не могут быть истинными или ложными.
Нонкогнитивизм привёл к развитию в метаэтике такой формы, как экспрессивизм. В экспрессивизме смысл языка морали заключается не в том, чтобы описать вещь или дать ясно сформулированный факт о мире, а скорее в том, чтобы выразить оценочное суждение в виде отношения или наблюдения. То есть такое утверждение, как «мучить котят плохо», не содержит в себе утверждения факта и следовательно не имеет истинности. Это приводит к важной семантической загадке, когда простое утвердительное предложение, содержащее моральное суждение, включается в более сложное предложение. Рассмотрим следующий аргумент: