Talk:Imperative logic

Jorgensen's Dilemma and the Problems of Imperative Logic

Why isn't there an explanation of one of the interesting elements of imperative logic such as Jorgensen's dilemma, Ross's paradox, its connection to imperative programming, etc? Why is the discussion so tied to Gensler's formulation of logical relations. I am going to rewrite this article.

Why is there so little agreement?

The article says that there's little agreement on how these should work, but doesn't say much about what opposing schools of thought exist. This is my attempt to work out such a school of thought on my own.

Suppose we treat each imperative "Do X!" as equivalent to "My orders include X". But that turns out to break down over Ross's paradox.

Okay, suppose we instead treat each imperative "Do X!" as equivalent to "My orders will definitely be at least partially fulfilled by doing X". Or, more formally, "For all possible values of X, the intersection of X and my orders is non-empty". This appears to hold up over Ross's paradox.

Are there other examples where this second attempt does break down? Are there alternate interpretations that are equally valid, but there's disagreement as to which one should be favored?