>Т.е. 'метрика' множества может быть построена - вопрос состоит в практической пригодности этих методов к описанию каких-то реальных ситуаций.

Т.е. если метрика и может быть определена, то вопрос ее применимости на практике для вас все равно открыт. Т.е. любые социальные теории, построенные на гипотетическом существовании такой метрики, на практике неприменимы (или, точнее, как минимум открыт вопрос о применимости таких теорий). ОК, фиксируем.

Это не совсем так. У нас же для описания социума не стоит задача моделировать ВСЁ пространство выборов конкретных индивидуумов.
Чисто технически можно ожидать, что 'сбросив детализацию' можно будет получить вполне приемлемую по качеству модель.
Надеюсь, Вы не будете спорить, что либерализм, как социальная теория тоже не может претендовать на учёт всех деталей человеческого поведения?

>От 'всемогущести' ведь можно и отказаться, ограничив себя таким отказом.

Т.е. отказаться от того, что вы считаете свободой. Да, можно. Вопрос, опять же, зачем - ну да ладно.

Вы, извините, когда в шахматы играете - соглашаетесь ли добровольно отказаться от свободы бить морду противнику?
Очевидным образом, отказ от полной свободы - это цена за создание приемлемого игрового поля.