I think it???s obvious why Socrates does not contradict himself between the two dialogues, as there is no logical inconsistency in saying that one is bound by the laws, and yet that justice is a good in its own right (though it does raise the question of what one is to do when confronted with unjust laws).Still, social contract theory in philosophy doesn???t really get off the ground until the big