This book is a defense of modal realism; the thesis that our world is but one of a plurality of worlds, and that the individuals that inhabit our world are only a few out of all the inhabitants of all the worlds. Lewis argues that the philosophical utility of modal realism is a good reason for believing that it is true.

Frederick Suppe has come to enjoy a position of undisputed leadership in the post-positivistic philosophy of science.

Metaphysicians speak of laws of nature in terms of necessity and universality; scientists, in terms of symmetry and invariance. In this book van Fraassen argues that no metaphysical account of laws can succeed. He analyzes and rejects the arguments that there are laws of nature, or that we must believe there are, and argues that we should disregard the idea of law as an adequate clue to science. After exploring what this means for general epistemology, the author develops the empiricist (...) view of science as a construction of models to represent the phenomena. (shrink)

This is the second volume of philosophical essays by one of the most innovative and influential philosophers now writing in English. Containing thirteen papers in all, the book includes both new essays and previously published papers, some of them with extensive new postscripts reflecting Lewis's current thinking. The papers in Volume II focus on causation and several other closely related topics, including counterfactual and indicative conditionals, the direction of time, subjective and objective probability, causation, explanation, perception, free will, and rational (...) decision. Throughout, Lewis analyzes global features of the world in such a way as to show that they might turn out to supervene on the spatiotemporal arrangement of local qualities. (shrink)

Ever since David Hume, empiricists have barred powers and capacities from nature. In this book Cartwright argues that capacities are essential in our scientific world, and, contrary to empiricist orthodoxy, that they can meet sufficiently strict demands for testability. Econometrics is one discipline where probabilities are used to measure causal capacities, and the technology of modern physics provides several examples of testing capacities (such as lasers). Cartwright concludes by applying the lessons of the book about capacities and probabilities to the (...) explanation of the role of causality in quantum mechanics. (shrink)

This paper deals with the truth-Conditions and the logic for vague languages. The use of supervaluations and of classical logic is defended; and other approaches are criticized. The truth-Conditions are extended to a language that contains a definitely-Operator and that is subject to higher order vagueness.

The modern history of verisimilitude can be divided into three periods. The first began in 1960, when Karl Popper proposed his qualitative definition of what it is for one theory to be more truthlike than another theory, and lasted until 1974, when David Miller and Pavel Trich published their refutation of Popper's definition. The second period started immediately with the attempt to explicate truthlikeness by means of relations of similarity or resemblance between states of affairs (or their linguistic representations); the (...) work within this similarity approach was summarized in the books of Graham Oddie [1986] and Ilkka Niiniluoto [1987]. During the subsequent third period, studies in verisimilitude have been actively continued, and interesting results and applications have been achieved, but not many dramatic novelties. While it is now obsolete to claim that truthlikeness with reasonable properties cannot be defined at all, there is still a lot of controversy about the best and least arbitrary approach to doing this. (shrink)

It is a traditional empiricist doctrine that natural laws are universal truths. In order to overcome the obvious difficulties with this equation most empiricists qualify it by proposing to equate laws with universal truths that play a certain role, or have a certain function, within the larger scientific enterprise. This view is examined in detail and rejected; it fails to account for a variety of features that laws are acknowledged to have. An alternative view is advanced in which laws are (...) expressed by singular statements of fact describing the relationship between universal properties and magnitudes. (shrink)

Various laws and theories in the natural and social sciences are presented with a view to discerning the syntactic and semantic characteristics of many idealizations in science. Three different kinds of idealizations are discussed: ideal conditions, ideal cases, and idealized theories. An ideal condition is a formula in which state variables occur, whose existential closure is false, and for which there is another formula that can be constructed out of the original formula such that the existential closure of the new (...) formula is true. An ideal case is a statement which is logically equivalent to a universal conditional which has an ideal condition as its antecedent. And an idealized theory is a set of false universal conditional statements. Alternative syntactic and semantic analyses are viewed and criticized. (shrink)

It's uncontroversial that notions of idealization and approximation are central to understanding computer simulations and their rationale. What's not so clear is what exactly these notions come to. Two distinct forms of approximation will be distinguished and their features contrasted with those of idealizations. These distinctions will be refined and closely tied to computer simulations by means of Scott-Strachey denotational programming semantics. The use of this sort of semantics also provides a convenient format for argumentation in favor of several theses (...) I shall propose concerning the role computer implemented approximations and idealizations play in fixing what the acceptance of an underlying scientific theory is or should be. (shrink)

First published in 2002. Routledge is an imprint of Taylor & Francis, an informa company.

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps, and other notations in the work. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may (...) freely copy and distribute this work, as no entity has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

What does it take for one proposition to be closer to the truth than another. In this, the first published monograph on the topic, Oddie develops a comprehensive theory that takes the likeness in truthlikeness seriously.

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)

This paper describes a theory of accuracy or approximate truth and applies it to problems in the realist interpretation of scientific theories. It argues not only that realism requires approximate truth, but that an adequate theory of approximation also presupposes some elements of a realist interpretation of theories. The paper distinguishes approximate truth from vagueness, probability and verisimilitude, and applies it to problems of confirmation and deduction from inaccurate premises. Basic results are cited, but details appear elsewhere. Objections are surveyed, (...) including arguments by Miller, Laymon, and Laudan. Comparison is made with Niiniluoto's theory of verisimilitude, and the utility of his theory for realism assessed. (shrink)

This paper utilizes Scott domains (continuous lattices) to provide a mathematical model for the use of idealized and approximately true data in the testing of scientific theories. Key episodes from the history of science can be understood in terms of this model as attempts to demonstrate that theories are monotonic, that is, yield better predictions when fed better or more realistic data. However, as we show, monotonicity and truth of theories are independent notions. A formal description is given of the (...) pragmatic virtues of theories which are monotonic. We also introduce the stronger concept of continuity and show how it relates to the finite nature of scientific computations. Finally, we show that the space of theories also has the structure of a Scott domain. This result provides an analysis of how one theory can be said to approximate another. (shrink)

This paper discusses alternative ways of defining and measuring institutional, pragmatic, empirical, and cognitive success in science. Four realist measures of epistemic credit are compared: posterior probability, confirmation (corroboration), expected verisimilitude, and probable verisimilitude. Laudan's non-realist concept of the empirical problem-solving effectiveness of a theory is found to be similar to Hempel's notion of systematic power. It is argued that such truth-independent concepts alone are insufficient and inadequate to characterize cognitive success. But if they are used as truth-dependent epistemic utilities, (...) they serve as fallible indicators of the truth or truthlikeness of a theory. (shrink)

The problem of idealization in empirical sciences is very rarely taken up in works concerned with the methodology of those sciences. It seems to be common knowledge that in advanced natural sciences references are made to concepts such as “perfectly rigid body,” “material point,” “perfect gas,” etc., but it remains a fact that the most important methodological concepts, concepts which have determined the present-day form of the philosophy of science, have been advanced without regard to the peculiarities of the procedure (...) mentioned above. And yet a moment's consideration suffices to raise doubts as to Carnap's physicalism and/or Popper's falsificationism if we just realize the trivial and commonly known truth that empirical sciences resort to idealizationism. For how are we to imagine a reduction of idealizational concepts to observation terms? And how are we to imagine that theorems which include idealizational concepts imply observation statements which refute, or at least are at variance with, those theorems? But it is a fact that such doubts have neither been raised by the authors of the conceptions mentioned above, nor have they been raised against them. (shrink)

A brief discussion is offered of what it means to say that a set of statements provides D-N explanation with special emphasis given to approximative D-N explanation. An idealized theory is seen to provide approximative D-N explanation. An ideal case provides explanation only if postulates are offered which connect the ideal antecedent condition with actual conditions. Such postulates will help in accounting for deviations between what the consequent of the ideal case entails and what actually occurs. Three ways are presented (...) for deciding on the acceptability of idealizations: (i) as actual conditions more closely approximate the ideal antecedent conditions specified in an ideal case, the more closely actual cases ought to approximate the consequent of the ideal case; (ii) the additional postulates connecting ideal antecedent conditions with actual conditions ought to account for deviations between what is entailed by an idealized theory and what actually occurs; and (iii) an idealized theory is explained by a more general theory when certain state variables in the more general theory are given extreme values. It is argued that (iii) is not a necessary condition for the acceptability of idealizations. (shrink)

While the use of so-called idealizations in science has been widely recognized for many years, the philosophical problems that arise from this use have received relatively little attention. Even a cursory reading of the philosophical literature devoted to these problems reveals that the following questions remain unanswered: In general, what, if any, are the distinguishing characteristics of idealizations? More specifically, do idealizations have any distinguishing syntactic or semantic characteristics? In addition to these questions there exist the following pragmatic questions, questions (...) relating to the ways in which idealizations are used in science: How are idealizations used in explanations?. Do these explanations have any peculiar characteristics—characteristics not shared by deductive-nomological explanations? If we assume that idealizations are false or “do not obtain,” how is it that they can have any explanatory power?. Further, there are questions of more general philosophic concern. How do the problems of idealizations relate to those of simplicity, for an idealization seems to be, in some sense, a type of simplification? How do the problems of ideal laws and theories relate to the general problems of scientific laws and theories? (shrink)

The technical results presented here on continuity and approximate implication are obviously incomplete. In particular, a syntactic characterization of approximate implication is highly desirable. Nevertheless, I believe the results above do show that the theory has considerable promise for application to the areas mentioned at the top of the paper.Formulation and defense of realist interpretations of science, for example, require approximate truth because we hardly ever have evidence that a particular scientific theory corresponds perfectly with a portion of the real (...) world. Realists need to assert, then, that evidence for a theory is evidence for its approximate truth, not its truth (see [3] and [18]). Approximate truth is, however, a vague notion, and specification of quantity terms and of a sense of approximation are needed to make precise applications of it. Suitability of both vocabulary and sense of approximation depend on the subject matter, and their selection is a partly empirical matter that raises complex issues. In light of the number of common inferences which are not continuous, realists also need to be concerned about indiscriminate use of deductive logic to derive consequences from approximately true theories. These issues will be considered further in a future paper.Approximate truth also has potential application in areas of artificial intelligence that require inference from inaccurate data. In the ‘qualitative’ physical theories of de Kleer and Brown [6], for example, ‘qualitative’ values are derived by partitioning the real numbers into regions. Inferences leading from inside to outside a region must be identified and avoided, and approximate implication and continuity may prove useful in doing this. More generally, growing use of predicate logic as a programming language invites application of the theory of approximate truth as a symbolic substitute for numerical evaluation of computation errors. This too will be the subject of a future paper. (shrink)

I argue that numerical and causal accuracy arguments can be successful only if: (1) the theories in use are known to be true, (2) computational difficulties do not exist, and (3) the experimental data are stable and resolved. When any one or more of these assumptions are not satisfied, additional justificational considerations must be invoked. I illustrate the need for range of validity and intelligibility claims with examples drawn from chemical kinetics. My arguments suggest that the realist and anti-realist accounts (...) of justification are incomplete. Finally, I sketch some reasons why additional justificatory criteria are needed. (shrink)

The use of idealizations and approximations in scientific explanations poses a problem for traditional philosophical theories of confirmation since, strictly speaking, these sorts of statements are false. Furthermore, in several central cases in the history of science, theoretical predictions seen as confirmatory are not, in any usual sense, even approximately true. As a means of eliminating the puzzling nature of these cases, two theses are proposed. First, explanations consist of idealized deductive-nomological sketches plus what are called modal auxiliaries, i.e., arguments (...) showing that if the idealizations used in the initial conditions are improved, then there will be an improvement in the prediction. Second, a theory is confirmed if it can be shown that its idealized sketches can be improved; similarly, a theory is disconfirmed if its idealized sketches cannot be improved. Several examples are given to illustrate both confirmation and disconfirmation achieved by means of the modal auxiliary. These cases are compared with Scriven's bridge example. (shrink)

By stressing the act rather than the relation of approximation, I argue that the magnitude of the error introduced should not be used as the sole criterion for judging the worth of the approximation. Magnitude is a necessary but not sufficient condition for such a judgement. Controllability, the absence of cancelling errors, and the approximation's justification are also important criteria to consider when praising or blaming an approximation. Boltzmann's discussion of the types of approximations used in the kinetic theory of (...) gases at the turn of the century illustrates the use of these criteria. (shrink)