This chapter discusses the application of formal methods from social choice theory to the metasemantic question of whether radical interpretation is possible. Radical interpretation involves deducing semantic truths from non-semantic truths by appeal to certain a priori principles or criteria, such as the principle of charity. A familiar view is that the intended interpretation is the one that best meets a combination of constraints. It is suggested that this situation can be modelled as follows: each constraint determines a binary relation on the set X of interpretations (‘x is at least as good as y with respect to the ith constraint’) that is transitive and complete. The radical interpreter’s task is to determine an overall ordering as a ...