Theo Kuipers

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’

The philosophy of science has lost its self-confidence. Structures in Science (2001) is an advanced textbook that explicates, updates and integrates the best insights of logical empiricism and its main critics. This "neo-classical approach" aims at providing heuristic patterns for research.The book introduces four ideal types of research programs (descriptive, explanatory, design and explicative) and reanimates the distinction between observational laws and proper theories without assuming a theory-free language. It explicates various patterns of explanation by subsumption and specification as well as structures in reductive and other types of interlevel research. Its threefold analysis of theory evaluation leads to new characterizations of confirmation, empirical progress, and truth approximation. What emerges are partial analogies between progress in nomological research, presented in detail in From Instrumentalism to Constructive Realism (2000) and progress in explicative and design research. Finally, special chapters are devoted to design research programs, computational philosophy of science, the structuralist approach to theories, and research ethics.The present synopsis of Structures in Science highlights the main topics, the final emphasis being on design research and research ethics.

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’

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’

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.