Questions concerning the epistemological status of computer science are, in this paper, answered from the point of view of the formal verification framework. State space reduction techniques adopted to simplify computational models in model checking are analysed in terms of Aristotelian abstractions and Galilean idealizations characterizing the inquiry of empirical systems. Methodological considerations drawn here are employed to argue in favour of the scientific understanding of computer science as a discipline. Specifically, reduced models gained by Dataion are acknowledged as Aristotelian (...) abstractions that include only data which are sufficient to examine the interested executions. The present study highlights how the need to maximize incompatible properties is at the basis of both Abstraction Refinement, the process of generating a cascade of computational models to achieve a balance between simplicity and informativeness, and the Multiple Model Idealization approach in biology. Finally, fairness constraints, imposed to computational models to allow fair behaviours only, are defined as ceteris paribus conditions under which temporal formulas, formalizing software requirements, acquire the status of law-like statements about the software systems executions. (shrink)

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. (shrink)

This paper presents a new modal logic for ceteris paribus preferences understood in the sense of "all other things being equal". This reading goes back to the seminal work of Von Wright in the early 1960's and has returned in computer science in the 1990' s and in more abstract "dependency logics" today. We show how it differs from ceteris paribus as "all other things being normal", which is used in contexts with preference defeaters. We provide a semantic analysis and (...) several completeness theorems. We show how our system links up with Von Wright's work, and how it applies to game-theoretic solution concepts, to agenda setting in investigation, and to preference change. We finally consider its relation with infinitary modal logics. (shrink)

INTRODUCTION I. CETERIS PARIBUS LAWS An alleged law of nature—like Newton's law of gravitation—is said to be a ceteris paribus law if it does not hold under ...

Much of the literature on "ceteris paribus" laws is based on a misguided egalitarianism about the sciences. For example, it is commonly held that the special sciences are riddled with ceteris paribus laws; from this many commentators conclude that if the special sciences are not to be accorded a second class status, it must be ceteris paribus all the way down to fundamental physics. We argue that the (purported) laws of fundamental physics are not hedged by ceteris paribus clauses and (...) provisos. Furthermore, we show that not only is there no persuasive analysis of the truth conditions for ceteris paribus laws, there is not even an acceptable account of how they are to be saved from triviality or how they are to be melded with standard scientific methodology. Our way out of this unsatisfactory situation to reject the widespread notion that the achievements and the scientific status of the special sciences must be understood in terms of ceteris paribus laws. (shrink)

The problem of ceteris paribus clauses and Hempel’s problem of provisos are closely-related difficulties. Both challenge advocates of accounts of scientific theories involving laws understood as universal generalizations, and they have been treated as identical problems. Earman and Roberts argue that the problems are distinct. Towards arguing against them, I characterize the relationship between Hempel’s provisos and one way of expressing ceteris paribus clauses. I then describe the relationship between the problems attributed to the clauses, suggesting that they form a (...) single problem-cluster. However, Hempel’s way of formulating provisos and discussing what they involve entangles provisos with the problem of skepticism. This creates a departure in Hempel’s discussion of provisos from the distinctive problem of vacuity which characterizes the problem of ceteris paribus clauses, though for different reasons than Earman and Roberts suggest. (shrink)

This article maintains that an important class of scientific generalizations should be reinterpreted: they have typically been understood as ceteris paribus laws, but are, in fact, generics. Four arguments are presented to support this thesis. One argument is that the interpretation in terms of ceteris paribus laws is a historical accident. The other three arguments draw on similarities between these generalizations and archetypal generics: they come with similar inferential commitments, they share a syntactic form, and the existing theories to make (...) sense of them are alike. Once these generalizations are properly understood as generics, the recent cognitive approach to generics can be extended to the study of the relevant sciences. The last section indicates ways in which this extension is fruitful for the two strands of research that we combine: the philosophy of science literature on generalizations and the semantics literature on generics. (shrink)

This paper presents a new modal logic for ceteris paribus preferences understood in the sense of “all other things being equal”. This reading goes back to the seminal work of Von Wright in the early 1960’s and has returned in computer science in the 1990’s and in more abstract “dependency logics” today. We show how it differs from ceteris paribus as “all other things being normal”, which is used in contexts with preference defeaters. We provide a semantic analysis and several (...) completeness theorems. We show how our system links up with Von Wright’s work, and how it applies to game-theoretic solution concepts, to agenda setting in investigation, and to preference change. We finally consider its relation with infinitary modal logics. (shrink)

The Scientific Revolution spawned not just one methodology, but two. We have emphasized Bacon's inductivism at the expense of Galileo's more abstract, sophisticated method of successive approximation, and so have failed to appreciate Galileo's contribution to the ceteris paribus problem in philosophy of science. My purpose here is to help redress this imbalance. I first briefly review the old unsolved problems, and then point out the Baconian basis of ceteris paribus, as this clause is conventionally understood, and its history from (...) Aristotle to twentieth century Positivism. Then I explore Galileo's method of dealing with unwanted impediments, and the more general problem of 'accidents.' I trace his methodology back to Archimedes and forward through the economic theories of Adam Smith (18th century), J. S. Mill (19th) and Milton Friedman (20th). Finally, I point out ways in which I think Galileo's scientific method sheds light on, and provides a partial solution to, the ceteris paribus problem. (shrink)