Theory of compossibility
This explanation describes what Michael went through before blowing up the freighter better then any I have read. It also raises the question, “Is Michael alive/dead?”
NOTE: This is directly from Wikipedia.org! Not original content.
Theory of compossibility
David Lewis’ analysis of compossibility and the implications of changing the past is meant to account for the possibilities of time travel in a one-dimensional conception of time without creating logical paradoxes. Consider Lewis’ example of Tim. Tim hates his grandfather and would like nothing more than to kill him. The only problem for Tim is that his grandfather died years ago. Tim wants so badly to kill his grandfather himself that he constructs a time machine to travel back to 1955 when his grandfather was young and kill him then. Assuming that Tim can travel to a time when his grandfather is still alive, the question must then be raised; Can Tim kill his grandfather?
For Lewis, the answer lies within the context of the usage of the word “can”. Lewis explains that the word “can” must be viewed against the context of pertinent facts relating to the situation. Suppose that Tim has a rifle, years of rifle training, a straight shot on a clear day and no outside force to restrain Tim’s trigger finger. Can Tim shoot his grandfather? Considering these facts, it would appear that Tim can in fact kill his grandfather. In other words, all of the contextual facts are compossible with Tim killing his grandfather. However, when reflecting on the compossibility of a given situation, we must gather the most inclusive set of facts that we are able to.
Consider now the fact that Tim’s grandfather died in 1993 and not in 1955. This new fact about Tim’s situation reveals that him killing his grandfather is not compossible with the current set of facts. Tim cannot kill his grandfather because his grandfather died in 1993 and not when he was young. Thus, Lewis concludes, the statements “Tim doesn’t but can, because he has what it takes,” and, “Tim doesn’t, and can’t, because it is logically impossible to change the past,” are not contradictions, they are both true given the relevant set of facts. The usage of the word “can” is equivocal: he “can” and “can not” under different relevant facts. So what must happen to Tim as he takes aim? Lewis believes that his gun will jam, a bird will fly in the way, or Tim simply slips on a banana peel. Either way, there will be some logical force of the universe that will prevent Tim every time from killing his grandfather.