Our understanding of subjunctive conditionals has been greatly enhanced through the use of possible world semantics and, more precisely, by the idea that they involve variably strict quantification over possible worlds. I propose to extend this treatment to ceteris paribus conditionals – that is, conditionals that incorporate a ceteris paribus or ‘other things being equal’ clause. Although such conditionals are commonly invoked in scientific theorising, they traditionally arouse suspicion and apprehensiveness amongst philosophers. By treating ceteris paribus conditionals as a species (...) of variably strict conditional I hope to shed new light upon their content and their logic. (shrink)

Many have claimed that ceteris paribus (CP) laws are a quite legitimate feature of scientific theories, some even going so far as to claim that laws of all scientific theories currently on offer are merely CP. We argue here that one of the common props of such a thesis, that there are numerous examples of CP laws in physics, is false. Moreover, besides the absence of genuine examples from physics, we suggest that otherwise unproblematic claims are rendered untestable by the (...) mere addition of the CP operator. Thus, “CP all Fs are Gs” when read as a straightforward statement of fact, cannot be the stuff of scientific theory. Rather, we suggest that when ``ceteris paribus'' appears in scientific works it plays a pragmatic role of pointing to more respectable claims. (shrink)

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)

Hempel and Giere contend that the existence of provisos poses grave difficulties for any regularity account of physical law. However, Hempel and Giere rely upon a mistaken conception of the way in which statements acquire their content. By correcting this mistake, I remove the problem Hempel and Giere identify but reveal a different problem that provisos pose for a regularity account — indeed, for any account of physical law according to which the state of affairs described by a law-statement presupposes (...) a Humean regularity. These considerations suggest a normative analysis of law-statements. On this view, law-statements are not distinguished from accidental generalizations by the kind of Humean regularities they describe because a law-statement need not describe any Humean regularity. Rather, a law-statement says that in certain contexts, one ought to regard the assertion of a given type of claim, if made with justification, as a proper way to justify a claim of a certain other kind. (shrink)

I identify the special sort of stability (invariance, resilience, etc.) that distinguishes laws from accidental truths. Although an accident can have a certain invariance under counterfactual suppositions, there is no continuum between laws and accidents here; a law's invariance is different in kind, not in degree, from an accident's. (In particular, a law's range of invariance is not "broader"--at least in the most straightforward sense.) The stability distinctive of the laws is used to explicate what it would mean for there (...) to be multiple grades (or degrees) of physical necessity. Whether there are is for science to discover. (shrink)

Laws are supposed to tell us how physical systems actually behave. The analysis of an important part of physical practice--abstraction--shows, however, that laws describe the behavior of physical systems under very special circumstances, namely when they are isolated. Nevertheless, laws are applied in cases of non-isolation as well. This practice requires an explanation. It is argued that one has to assume that physical systems have dispositions. I take these to be innocuous from an empiricist's standpoint because they can--at least in (...) principle--be measured. Laws can be applied whenever such a disposition is present, they describe how the physical system would behave if the disposition were manifest. (shrink)

This paper examines the nomic covariationist strategy of using idealization to define representation. While the literature has focused upon the possibility of defining ideal conditions for perception, I argue that nomic covariationist appeals to idealization are pseudoscientific and contrary to a foundational and empirically well-supported methodological presupposition in cognitive science. Moreover, one major figure in this camp fails to come to grips with its role and its problems in mainstream science. Thus he forwards a false dichotomy of the sciences and (...) treats idealization as a blank check written by scientists on an unknown bank. Finally, I consider and reject alternative formulations of the nomic covariationist's idealization strategy. (shrink)

It has not been sufficiently considered in philosophical discussions of ceteris paribus (CP) laws that distinct kinds of CP-laws exist in science with rather different meanings. I distinguish between (1.) comparative CP-laws and (2.) exclusive CP-laws. There exist also mixed CP-laws, which contain a comparative and an exclusive CP-clause. Exclusive CP-laws may be either (2.1) definite, (2.2) indefinite or (2.3) normic. While CP-laws of kind (2.1) and (2.2) exhibit deductivistic behaviour, CP-laws of kind (2.3) require a probabilistic or non-monotonic reconstruction. (...) CP-laws of kind (1) may be both deductivistic or probabilistic. All these kinds of CP-laws have empirical content by which they are testable, except CP-laws of kind (2.2) which are almost vacuous. Typically, CP-laws of kind (1) express invariant correlations, CP-laws of kind (2.1) express closed system laws of physical sciences, and CP-laws of kind (2.3) express normic laws of non-physical sciences based on evolution-theoretic stability properties. (shrink)

The view that scientific theories are partially interpreted deductive systems (theoretical deductivism) is defended against recent criticisms by Hempel. Hempel argues that the reliance of theoretical inferences (both from observation to theory and also from theory to theory) uponceteris paribus conditions orprovisos must prevent theories from establishing deductive connections among observations. In reply I argue, first, that theoretical deductivism does not in fact require the establishing of such deductive connections: I offer alternative H-D analyses of these inferences. Second, I argue (...) that when the refined character of scientific observation is taken into account, we find that a theorymay after all establish such deductive connections among scientific observations, without reliance on provisos.These conclusions are based on the multi-level Popperian contextualist account of empirical interpretation sketched in a previous paper. As before, I claim that the supposed objections to theoretical deductivism depend upon questionable empiricist theses unnecessarily conjoined with theoretical deductivism by the Logical Positivists. Theoretical deductivism itself is unaffected by these arguments, and remains (when empirical interpretation is properly analyzed) the best account of scientific theories. (shrink)

In the present work we will search for a refinement of some key epistemological perspectives for the construction of a methodological framework in the social systems simulations area. So, we will proceed to show the origin of some issues in the existent conceptualization and its path through the information sciences as a precedent. There we will identify the consequences of such issues and will work in enlightening the conflictive notions in order to defend an epistemological pluralism which would result beneficial (...) for this area. (shrink)