Ceteris Paribus Laws

Laws of nature take center stage in philosophy of science. Laws are usually believed to stand in a tight conceptual relation to many important key concepts such as causation, explanation, confirmation, determinism, counterfactuals etc. Traditionally, philosophers of science have focused on physical laws, which were taken to be at least true, universal statements that support counterfactual claims. But, although this claim about laws might be true with respect to physics, laws in the special sciences (such as biology, psychology, economics etc.) appear to have—maybe not surprisingly—different features than the laws of physics. Special science laws—for instance, the economic law “Under the condition of perfect competition, an increase of demand of a commodity leads to an increase of price, given that the quantity of the supplied commodity remains constant” and, in biology, Mendel's Laws—are usually taken to “have exceptions”, to be “non-universal” or “to be ceteris paribus laws”. How and whether the laws of physics and the laws of the special sciences differ is one of the crucial questions motivating the debate on ceteris paribus laws. Another major, controversial question concerns the determination of the precise meaning of “ceteris paribus”. Philosophers have attempted to explicate the meaning of ceteris paribus clauses in different ways. The question of meaning is connected to the problem of empirical content, i.e., the question whether ceteris paribus laws have non-trivial and empirically testable content. Since many philosophers have argued that ceteris paribus laws lack empirically testable content, this problem constitutes a major challenge to a theory of ceteris paribus laws

Hidden-Markov Program Algebra with iteration

We use Hidden Markov Models to motivate a quantitative compositional semantics for noninterference-based security with iteration, including a refinement- or "implements" relation that compares two programs with respect to their information leakage; and we propose a program algebra for source-level reasoning about such programs, in particular as a means of establishing that an "implementation" program leaks no more than its "specification" program. This joins two themes: we extend our earlier work, having iteration but only qualitative, by making it quantitative; and we extend our earlier quantitative work by including iteration. We advocate stepwise refinement and source-level program algebra, both as conceptual reasoning tools and as targets for automated assistance. A selection of algebraic laws is given to support this view in the case of quantitative noninterference; and it is demonstrated on a simple iterated password-guessing attack

Probabilistic single function dual process theory and logic programming as approaches to non-monotonicity in human vs. artificial reasoning

In this paper, it is argued that single function dual process theory is a more credible psychological account of non-monotonicity in human conditional reasoning than recent attempts to apply logic programming (LP) approaches in artificial intelligence to these data. LP is introduced and among other critiques, it is argued that it is psychologically unrealistic in a similar way to hash coding in the classicism vs. connectionism debate. Second, it is argued that causal Bayes nets provide a framework for modelling probabilistic conditional inference in System 2 that can deal with patterns of inference LP cannot. Third, we offer some speculations on how the cognitive system may avoid problems for System 1 identified by Fodor in 1983. We conclude that while many problems remain, the probabilistic single function dual processing theory is to be preferred over LP as an account of the non-monotonicity of human reasoning

Dynamic Probabilistic Entailment. Improving on Adams' Dynamic Entailment Relation

The inferences of contraposition (A ⇒ C ∴ ¬C ⇒ ¬A), the hypothetical syllogism (A ⇒ B, B ⇒ C ∴ A ⇒ C), and others are widely seen as unacceptable for counterfactual conditionals. Adams convincingly argued, however, that these inferences are unacceptable for indicative conditionals as well. He argued that an indicative conditional of form A ⇒ C has assertability conditions instead of truth conditions, and that their assertability ‘goes with’ the conditional probability p(C|A). To account for inferences, Adams developed the notion of probabilistic entailment as an extension of classical entailment. This combined approach (correctly) predicts that contraposition and the hypothetical syllogism are invalid inferences. Perhaps less well-known, however, is that the approach also predicts that the unconditional counterparts of these inferences, e.g., modus tollens (A ⇒ C, ¬C ∴ ¬A), and iterated modus ponens (A ⇒ B, B ⇒ C, A ∴ C) are predicted to be valid. We will argue both by example and by calling to the results from a behavioral experiment (N = 159) that these latter predictions are incorrect if the unconditional premises in these inferences are seen as new information. Then we will discuss Adams’ (1998) dynamic probabilistic entailment relation, and argue that it is problematic. Finally, it will be shown how his dynamic entailment relation can be improved such that the incongruence predicted by Adams’ original system concerning conditionals and their unconditional counterparts are overcome. Finally, it will be argued that the idea behind this new notion of entailment is of more general relevance