What is your answer?

"If X does A to me, then it would be all right for me to do A to X in relevantly similar circumstances"

    { 1 } - is a theorem following from universalizability.
    { 2 } - is a nontheorem.

<= back | menu | forward =>
Directions: Click on a number from 1 to 2.
























 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

























1 is wrong. Please try again.

"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.

<= back | menu | forward =>
























 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

























2 is correct!

"If X does A to me, then it would be all right for me to do A to X in relevantly similar circumstances"

    { 1 } - is a theorem following from universalizability.
    { 2 } - is a nontheorem.

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.

<= back | menu | forward =>
Before continuing, you might try some wrong answers.
























 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

























the end