Facing the Future

The authors attempt to construct a logical analysis of human actions by focusing on actions based on choice. By looking at the so-called "stit" sentence (i.e. so-and-so is "seeing to it that"), which they take as a fundamental idiom in the way we discuss action, they provide formal semantics for "stit" in terms of a time continuum whereby a given action is true if an agent had made a certain choice at an earlier point within the process.