Translating Plato's Republic (c. 375 BCE) into symbolic logic is a monumental but illuminating task, as the work is itself an early masterpiece of structured philosophical reasoning. We must focus on its core arguments about justice, the soul, and the ideal state. We will use a mix of propositional, predicate, and modal logic to capture its depth.
SİNAN İBAGÜNER (Thu,) studied this question.