This paper provides an update semantics for counterfactual conditionals. It does so by giving a dynamic twist to the ‘Premise Semantics’ for counterfactuals developed in Veltman (1976) and Kratzer (1981). It also offers an alternative solution to the problems with naive Premise Semantics discussed by Angelika Kratzer in ‘Lumps of Thought’ (Kratzer, 1989). Such an alternative is called for given the triviality results presented in Kanazawa et al. (2005, this issue).

Idealized explanations are the one subtype of incomplete explanations which is most frequently used in the empirical sciences and at the same time least analyzed in philosphy of science. It is argued that idealized explanations, while having the same logical structure as adequate explanations, differ from these in the mode of validity of the argument. Whereas an adequate explanation shows why the occurrence of some event had to be expected, an idealized explanation argues that a certain event would occur if (...) certain conditions were fulfilled. Idealized explanations are heuristic devices which, in the long run, ought to be transformed into adequate explanations. (shrink)

Ranking theory is one of the salient formal representations of doxastic states. It differs from others in being able to represent belief in a proposition (= taking it to be true), to also represent degrees of belief (i.e. beliefs as more or less firm), and thus to generally account for the dynamics of these beliefs. It does so on the basis of fundamental and compelling rationality postulates and is hence one way of explicating the rational structure of doxastic states. Thereby (...) it provides foundations for accounts of defeasible or nonmonotonic reasoning. It has widespread applications in philosophy, it proves to be most useful in Artificial Intelligence, and it has started to find applications as a model of reasoning in psychology. (shrink)

Traditionally, social scientists perceived causality as regularity. As a consequence, qualitative comparative case study research was regarded as unsuitable for drawing causal inferences since a few cases cannot establish regularity. The dominant perception of causality has changed, however. Nowadays, social scientists define and identify causality through the counterfactual effect of a treatment. This brings causal inference in qualitative comparative research back on the agenda since comparative case studies can identify counterfactual treatment effects. We argue that the validity of causal inferences (...) from the comparative study of cases depends on the employed case-selection algorithm. We employ Monte Carlo techniques to demonstrate that different case-selection rules strongly differ in their ex ante reliability for making valid causal inferences and identify the most and the least reliable case selection rules. (shrink)

The probabilistic corroboration of two or more hypotheses or series of observations may be performed additively or multiplicatively . For additive corroboration (e.g. by Laplace's rule of succession), stochastic independence is needed. Inferences, based on overwhelming numbers of observations without unexplained counterinstances permit hyperinduction , whereby extremely high probabilities, bordering on certainty for all practical purposes may be achieved. For multiplicative corroboration, the error probabilities (1 - Pr) of two (or more) hypotheses are multiplied. The probabilities, obtained by reconverting the (...) product, are valid for both of the hypotheses and indicate the gain by corroboration.. This method is mathematically correct, no probabilities > 1 can result (as in some conventional methods) and high probabilities with fewer observations may be obtained, however, semantical independence is a prerequisite. The combined method consists of (1) the additive computation of the error probabilities (1 - Pr) of two or more single hypotheses, whereby arbitrariness is avoided or at least reduced and (2) the multiplicative procedure . The high reliability of Empirical Counterfactual Statements is explained by the possibility of multiplicative corroboration of "all-no" statements due to their strict semantical independence. (shrink)