"If X does A to me, then it would be all right for me to do A to X in relevantly similar circumstances"
"If X does A to me, then it would be all right for me to do A to X in relevantly similar circumstances"
This is a nontheorem (since the first part lacks "all right") and a form of the lex talionis (law of retaliation). It entails that if X pokes out your eye, then it's all right for you to poke out X's eye in relevantly similar circumstances.
"If X does A to me, then it would be all right for me to do A to X in relevantly similar circumstances"
This is a nontheorem (since the first part lacks "all right") and a form of the lex talionis (law of retaliation). It entails that if X pokes out your eye, then it's all right for you to poke out X's eye in relevantly similar circumstances.