What is your answer?

"If I do something, then in relevantly similar circumstances it would be all right for you to do what I'm doing"

    { 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 I do something, then in relevantly similar circumstances it would be all right for you to do what I'm doing"

This is a nontheorem, since I could be doing wrong. To make it a theorem, change the if-part to "If what I'm doing is all right."

<= back | menu | forward =>
























 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

























2 is correct!

"If I do something, then in relevantly similar circumstances it would be all right for you to do what I'm doing"

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

This is a nontheorem, since I could be doing wrong. To make it a theorem, change the if-part to "If what I'm doing is all right."

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
























 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

























the end