Abstract

One of the basic assumptions of David Lewis's formal semantics of counterfactuals is that the crucial relation of comparative similarity between possible worlds is a linear ordering.Yet there are arguments that when we take into account relativistic features of space-time, this relationshould be only a partial ordering. The first part of the paper deals with the question of how to formulate appropriatetruth conditions for counterfactuals under the supposition of a partial ordering of possible worlds. Such truthconditions will be put forward, and it will be argued that they are more general than those proposed in recentliterature, because they turn out to be applicable also when the so-called Limit Assumption is not met. The secondpart analyzes two relativistically invariant ways of interpreting spatiotemporal counterfactuals with antecedentsreferring to free-chance point events. After briefly examining key differences between these two approaches,the issue of their extension for a broader class of antecedents will be addressed. Following the approach of Finkelstein, who has proposed a specifically designed similarity relation between possible worlds, servingas a generalization tool in the case of one of the above intuitions, the possibility of a similar extension forthe second interpretation will be considered. The main result of the paper is the theorem to the effect that thegeneralization of the second intuition is impossible to obtain. More specifically, the theorem proved in the paperstates that there is no similarity relation which together with the Lewis-style truth conditions for counterfactualswould imply the second of the above interpretations as a special case. Some consequences of thistheorem for the applicability of the Lewis logic of counterfactuals to quantum phenomena will be briefly mentionedat the end of the paper.