What is your answer?

Which of these ends-means formulas is a theorem?

    { 1 } - If you want to do E and believe that your doing M is causally necessary for you to do E, then you ought to do M.
    { 2 } - You ought not to combine wanting to do E, believing that your doing M now is causally necessary for you to do E, and not acting to do M.
    { 3 } - Both mean the same thing and are theorems.

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
























 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

























1 is wrong. Please try again.

Which of these ends-means formulas is a theorem?

This popular "hypothetical imperative" form can have bizarre implications. Suppose that a madman wants to destroy Chicago and believes that blowing up this H-bomb is causally necessary to do this; then he ought to blow up the H-bomb!

The book also mentions the case of Ima Student, where this formula gives self-contradictory directives.

<= back | menu | forward =>
























 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

























2 is correct!

Which of these ends-means formulas is a theorem?

    { 1 } - If you want to do E and believe that your doing M is causally necessary for you to do E, then you ought to do M.
    { 2 } - You ought not to combine wanting to do E, believing that your doing M now is causally necessary for you to do E, and not acting to do M.
    { 3 } - Both mean the same thing and are theorems.

This don't-combine formula forbids an inconsistent combination (of desiring, believing, and acting) -- but doesn't tell you what to do if you do accept such an inconsistent combination.

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
























 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

























3 is wrong. Please try again.

Which of these ends-means formulas is a theorem?

    { 1 } - If you want to do E and believe that your doing M is causally necessary for you to do E, then you ought to do M.
    { 2 } - You ought not to combine wanting to do E, believing that your doing M now is causally necessary for you to do E, and not acting to do M.
    { 3 } - Both mean the same thing and are theorems.

Wrong, wrong, wrong!

<= back | menu | forward =>
























 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

























the end