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)

This chapter provides broad coverage of the notion of logical consequence, exploring its modal, semantic, and epistemic aspects. It develops the contrast between proof-theoretic notion of consequence, in terms of deduction, and a model-theoretic approach, in terms of truth-conditions. The main purpose is to relate the formal, technical work in logic to the philosophical concepts that underlie reasoning.

Laudan constructs a fresh approach to a longtime problem for the philosopher of science: how to explain the simultaneous and widespread presence of both agreement and disagreement in science. Laudan critiques the logical empiricists and the post-positivists as he stresses the need for centrality and values and the interdependence of values, methods, and facts as prerequisites to solving the problems of consensus and dissent in science.

This article reviews the recent literature on idealization, specifically idealization in the course of scientific modeling. We argue that idealization is not a unified concept and that there are three different types of idealization: Galilean, minimalist, and multiple models, each with its own justification. We explore the extent to which idealization is a permanent feature of scientific representation and discuss its implications for debates about scientific realism.

Surprisingly enough, modified versions of the confirmation theory of Carnap and Hempel and the truth approximation theory of Popper turn out to be smoothly synthesizable. The glue between confirmation and truth approximation appears to be the instrumentalist methodology, rather than the falsificationist one.By evaluating theories separately and comparatively in terms of their successes and problems (hence even if they are already falsified), the instrumentalist methodology provides – both in theory and in practice – the straight route for short-term empirical progress (...) in science in the spirit of Laudan. However, it is argued that such progress is also functional for all kinds of truth approximation: observational, referential, and theoretical. This sheds new light on the long-term dynamic of science and hence on the relation between the main epistemological positions, viz., instrumentalism (Toulmin, Laudan), constructive empiricism (van Fraassen), referential realism (Hacking and Cartwright), and theory realism of a non-essentialist nature (Popper), here called constructive realism.In From Instrumentalism to Constructive Realism (2000) the above story is presented in great detail. The present synopsis highlights the main ways of theory evaluation presented in that book, viz. evaluation in terms of confirmation (or falsification), empirical progress and truth approximation. (shrink)

One component of a viable account of scientific inquiry is a defensible conception of scientific problems. This paper specifies some logical and conceptual requirements that an acceptable account of scientific problems must meet as well as indicating some features that a study of scientific inquiry indicates scientific problems have. On the basis of these requirements and features, three standard empiricist models of problems are examined and found wanting. Finally a constraint inclusion-model of scientific problems is proposed.

In this paper I address the question of the dynamics of empirical progress, both in theory evaluation and in theory improvement. I meet the challenge laid down by Theo Kuipers in Kuipers (1999), namely to operationalize the task of "instrumentalist abduction," that is, theory revision aiming at empirical progress. I offer a reformulation of Kuipers' account of empirical progress in the framework of (extended) semantic tableaux and show that this is indeed an appealing method by which to account for some (...) specific kind of empirical progress, that of lacunae. (shrink)

This paper primarily deals with the conceptual prospects for generalizing the aim of abduction from the standard one of explaining surprising or anomalous observations to that of empirical progress or even truth approximation. It turns out that the main abduction task then becomes the instrumentalist task of theory revision aiming at an empirically more successful theory, relative to the available data, but not necessarily compatible with them. The rest, that is, genuine empirical progress as well as observational, referential and theoretical (...) truth approximation, is a matter of evaluation and selection, and possibly new generation tasks for further improvement. The paper concludes with a survey of possible points of departure, in AI and logic, for computational treatment of the instrumentalist task guided by the ‘comparative evaluation matrix’. (shrink)