Translating the core principles of Thomas More's Utopia (1516) into symbolic logic is a fascinating exercise in distilling its complex, often paradoxical, ideas into formal propositions. We must focus on the described structure of Utopian society, not the book's literary irony.
SİNAN İBAGÜNER (Mon,) studied this question.