This collection brings together several essays which have been written between the years 197 5 and 1983. During that period I have been occupied with the attempt to find a satisfactory explicate for the notion of tnithlike ness or verisimilitude. The technical results of this search have partly appeared elsewhere, and I am also working on a systematic presentation of them in a companion volume to this book: Truthlikeness. The essays collected in this book are less formal and more philos (...) ophical: they all explore various aspects of the idea that progress in science is associated with an increase in the truthlikeness of its results. Even though they do not exhaust the problem area of scientific change, together they constitute a step in the direction which I find most promising in the defence of critical scientific realism. * Chapter 1 appeared originally in Finnish as the opening article of a new journal Tiede 2000 - a Finnish counterpart to journals such as Science and Scientific American. This explains its programmatic character. It tries to give a compact answer to the question 'What is science?', and serves therefore as an introduction to the problem area of the later chapters. Chapter 2 is a revised translation of my inaugural lecture for the chair of Theoretical Philosophy in the University of Helsinki on April 8, 1981. It appeared in Finnish inParnasso 31, pp. (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)

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)

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)

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.

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)

I first give a brief summary of a critique of the traditional theories of approximation and idealization; and after identifying one of the major roles of idealization as detaching component processes or systems from their joints, a detailed analysis is given of idealized laws – which are discoverable and/or applicable – in such processes and systems (i.e., idealized model systems). Then, I argue that dispositional properties should be regarded as admissible properties for laws and that such an inclusion supplies the (...) much needed connection between idealized models and the laws they `produce'' or `accommodate''. And I then argue that idealized law-statements so produced or accommodated in the models may be either true simpliciter or true approximately, but the latter is not because of the idealizations involved. I argue that the kind of limiting-case idealizations that produce approximate truth is best regarded as approximation; and finally I compare my theory with some existing theories of laws of nature.We seem to trace [in KingLear] ... the tendency of imagination toanalyse and abstract, to decomposehuman nature into its constituentfactors, and then to construct beings in whomone or more of these factors isabsent or atrophied or only incipient. (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)

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)

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

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 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)