Higher order desire-oriented logic

following conditions are excerpted from the
link below.
thought it was a good reading to seek help in making rational decisions, in a formal logical manner.

this framework will help in
process of elimination as well, as the logical conditions do not provide room for factors such as emotionality and indecision.

check for yourselves.
i find this very absorbing & useful.

Following are examples of relationships between first- and second-
order desires (where x is not a desire):

To desire x, and to desire to desire x.
To desire x, but to desire to desire ~x.
To desire x, but to desire to have no desire concerning x.
To desire x, and to be indifferent about desiring x (to have no second-
order desire).
To be indifferent about x, and to desire indifference about x (to have
no first-order desire).
To be indifferent about x, but to desire to desire x (to have no first-
order desire).
To be indifferent about x, and to be indifferent about desiring x (to
have no first- or second-order desire).

comments?

Re: Higher order desire-oriented logic

How do the logical conditions not provide room for emotionality when you are talkign about desire?

The list you provided seems to be a mere ammasement of logic statements, hardly useful for decision making. The only takeaway I can draw from the list is the fact that one should be aware of his or her own feelings, and clearly recognize goals before setting out to achieve them.

Re: Higher order desire-oriented logic

very good point & a diff perspective.

i am beginning to see a philosopher here. :)

carry on,

good luck.

Re: Higher order desire-oriented logic

I think you missed a few statements regarding ~x

you only mention it in relation to presence of a first-order desire, but ~x is also applicable when being indifferent to x

Re: Higher order desire-oriented logic

here, for the argument's string, the precondition is x as you can see in the rest of the statements.
however, i agree, if you were to have ~x as a first order desire, then your suggested statement will be valid.