DESIDERATIVE SYLLOGISM
minor premise: x desires^β y^κ
major premise: y^κ → z
conclusion: x desires^π z
Where x desires y, such that the desire is of type β for object-y and object-y is κ, and z is a necessary condition for y^κ, then x desires z, such that the desire is of type π for object-z
minor premise: x desires^β y^κ
major premise: y^κ → z
conclusion: x desires^π z
Where x desires y, such that the desire is of type β for object-y and object-y is κ, and z is a necessary condition for y^κ, then x desires z, such that the desire is of type π for object-z
Comments