>> естественно, ведь мы формализовали понятие "всеобщего счастья"

Вы его, получается, как-то "для галочки" формализовали :) Проблема-то в том, что тот, кто ставит цель достичь всеобщего счастья может считать сохранение свободы воли неотъемлимой частью цели. Поэтому идея подсадить всех на наркотики не отметается по Этическим соображениям, она просто цели не удовлетворяет.

Т.е. конечно, можно часть цели объявить Целью, а часть - Рамками, но это части одного целого. И формализовать в таком случае нужно не только Цель, но и Рамки.