Infinitive Perfect and Backward Causation

The present paper represents an attempt to explain the semantically deviant nature of causative constructions with present perfect effect sentences. As far as I known, such constructions have not been commented upon in the literature on causativity. I show that any counterfactual analysis of the traditional sort will bring them out as synthetic sentences, provided they are syntactically well-formed. On the other hand, if the notion os counterfactural dependence is re-interpreted along the lines of branching possible worlds, they can be shown to be systematically contradictory. I discuss the various revisions of the truth conditions for tensed formulae and of the general semantic framework which are necessary to accomplish this.