The World As Frankfurt-Type Case...

Well, not quite. But you might want to have a look at an interesting post by our very own Jonathan Kvanvig on, "Certain Doubts" (http://www.missouri.edu/~kvanvigj/certain_doubts/), called "Peeve and Proposal." The comments thread makes connections to general problems throughout philosophy, as noted by such philosohers as Shope. I raised some of these issues in a preliminary way in my book, The Metaphysics of Free Will; there I pointed out that Frankfurt-type cases are a special case of a much wider phenomenon--Schizophrenic Situations. Schizophrenic Situations are a kind of Swerve in Metaphysical Space, where counterfacutal analyses have troubles. It is interesting to note that formally the same, or similar, issues come up whenever one seeks to analyze some notion counterfactually (or in terms of certain sorts of subjunctive conditionals).