It is better to be precise here. Validity could be a different measure than correct. It might very well be like you reserve the latter for some ethereal mathematical property, free of axioms, to which type you want to cast "validity in the domain of morality", which then has to pass the type checker for mathematical expressions.
In Philosophy and Ethics you strive to improve your understanding, in this case in the domain of human social groups. Some ideas just have better reasoning than others.
To say no idea is good, because your type checker rejects any program you bring up is an exercise in futility.
"might makes right" is a justification for abuse of other people. Abusing other people might be understood as using other people while taking away their freedom. If you think people should rather be owned than free, go pitch that.
I emphasize: it would be your pitch. There is no hiding behind a compiler here.
On topic: "might makes right" prevails in societies where people have limited rights and therefore need to cope with abuse. There is a reinforcing mechanism in such sado-societies, where sufferers are to normalize that, thereby keeping the system in place.
For example the Russian society did never escape to freedom, which is a tragedy. But I think every person has an obligation to do his best in matters of ethics, not just sitting like a slave and complain about how you are the real victim while doing nothing.
A society is a collective expression of the individuals.
