In this article I give a naturalistic-cum-formal analysis of therelation between beauty, empirical success, and truth. The analysis is based on the onehand on a hypothetical variant of the so-called `mere-exposure effect'' which has been more orless established in experimental psychology regarding exposure-affect relationshipsin general and aesthetic appreciation in particular (Zajonc 1968; Temme 1983; Bornstein 1989;Ye 2000). On the other hand it is based on the formal theory of truthlikeness andtruth approximation as presented in my From Instrumentalism to Constructive Realism (...) (2000).The analysis supports the findings of James McAllister in his beautifulBeauty and Revolution in Science (1996), by explaining and justifying them.First, scientists are essentially right in regarding aesthetic criteria useful for empiricalprogress and even for truth approximation, provided they conceive of them as less hard thanempirical criteria. Second, the aesthetic criteria of the time, the `aesthetic canon'', maywell be based on `aesthetic induction'' regarding nonempirical features of paradigms of successfultheories which scientists have come to appreciate as beautiful. Third, aestheticcriteria can play a crucial, schismatic role in scientific revolutions. Since they may well be wrong, they may, in the hands of aesthetic conservatives, retard empirical progress and hence truth approximation, but this does not happen in the hands of aesthetically flexible, `revolutionary'' scientists. We may find totallyopposite things beautiful: a simplemathematical principle as well as a series of unrepeatable complex contingencies. It is a matter of psychology.(Stephen Jay Gould, translated passage from (Kayzer 2000, 30)). (shrink)
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)
This paper primarily deals with theconceptual prospects for generalizing the aim ofabduction from the standard one of explainingsurprising or anomalous observations to that ofempirical progress or even truth approximation. Itturns out that the main abduction task then becomesthe instrumentalist task of theory revision aiming atan empirically more successful theory, relative to theavailable data, but not necessarily compatible withthem. The rest, that is, genuine empirical progress aswell as observational, referential and theoreticaltruth approximation, is a matter of evaluation andselection, and possibly new (...) generation tasks forfurther improvement. The paper concludes with a surveyof possible points of departure, in AI and logic, forcomputational treatment of the instrumentalist taskguided by the `comparative evaluation matrix''. (shrink)
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. (shrink)
INTRODUCTION When Karl Popper published in' his definition of closer-to-the- truth this was an important intellectual event, but not a shocking one. ...
It is argued that the conjunction effect has a disjunctive analog of strong interest for the realism–antirealism debate. It is possible that a proper theory is more confirmed than its (more probable) observational sub-theory and hence than the latter’s disjunctive equivalent, i.e., the disjunction of all proper theories that are empirically equivalent to the given one. This is illustrated by a toy model.
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)
Table of ContentsAndrzej KLAWITER, Krzystof #ASTOWSKI: Introduction: Originality, Courage and Responsibility List of Books by Leszek NowakSelected Bibliography of Leszek Nowak's WritingsScience and Idealization Theo A.F. KUIPERS: On Two ...
In section I the notions of logical and inductive probability will be discussed as well as two explicanda, viz. degree of confirmation, the base for inductive probability, and degree of evidential support, Popper's favourite explicandum. In section II it will be argued that Popper's paradox of ideal evidence is no paradox at all; however, it will also be shown that Popper's way out has its own merits.
In section I the notions of logical and inductive probability will be discussed as well as two explicanda, viz. degree of confirmation, the base for inductive probability, and degree of evidential support, Popper's favourite explicandum. In section II it will be argued that Popper's paradox of ideal evidence is no paradox at all; however, it will also be shown that Popper's way out has its own merits.
Three related intuitions are explicated in this paper. The first is the idea that there must be some kind of probabilistic version of the HD-method, a ‘Hypothetico-Probabilistic (HP-) method’, in terms of something like probabilistic consequences, instead of deductive consequences. According to the second intuition, the comparative application of this method should also be functional for some probabilistic kind of empirical progress, and according to the third intuition this should be functional for something like probabilistic truth approximation. In all three (...) cases, the guiding idea is to explicate these intuitions by explicating the crucial notions as appropriate ‘concretizations’ of their deductive analogs, being ‘idealizations’. It turns out that the comparative version of the proposed HP-method amounts to the likelihood comparison (LC-) method applied to the cumulated evidence. This method turns out to be not only functional for probabilistic empirical progress but also for probabilistic truth approximation. The latter is based on a probabilistic threshold theorem constituting for this reason the analog of the deductive success theorem. (shrink)
In this article I give a naturalistic-cum-formal analysis of the relation between beauty, empirical success, and truth. The analysis is based on the one hand on a hypothetical variant of the so-called 'mere-exposure effect' which has been more or less established in experimental psychology regarding exposure-affect relationships in general and aesthetic appreciation in particular (Zajonc 1968; Temme 1983; Bornstein 1989; (Ye 2000). On the other hand it is based on the formal theory of truthlikeness and truth approximation as presented in (...) my From Instrumentalism to Constructive Realism (2000). The analysis supports the findings of James McAllister in his beautiful Beauty and Revolutiorl in Science (1996), by explaining and justifying them. First, scientists are essentially right in regarding aesthetic criteria useful for empirical progress and even for truth approximation, provided they conceive of them as less hard than empirical criteria. Second, the aesthetic criteria of the time, the 'aesthetic canon', may well be based on 'aesthetic induction' regarding nonempirical features of paradigms of successful theories which scientists have come to appreciate as beautiful. Third, aesthetic criteria can play a crucial, schismatic role in scientific revolutions. Since they may well be wrong, they may, in the hands of aesthetic conservatives, retard empirical progress and hence truth approximation, but this does not happen in the hands of aesthetically flexible, 'revolutionary' scientists. (shrink)
In earlier publicationss of the first author it was shown that intentional explanation of actions, functional explanation of biological traits and causal explanation of abnormal events share a common structure. They are called explanation by specification (of a goal, a biological function, an abnormal causal factor, respectively) as opposed to explanation by specification under a law. Explanation by specification is guided by a schematic train of thought, of which the argumentative steps not concerning questions were already shown to be logically (...) valid (elementary) arguments. Independently, the second author developed a new, inferential approach to erotetic logic, the logic of questions. In this approach arguments resulting in questions, with declarative sentences and/or other questions as premises, are analyzed, and validity of such arguments is defined. In the prcsent paper it is shown that all four kinds of erotetic argumentative steps occurring in the train of thought of explanation by specification are valid arguments in the sense of inferential erotetic logic. Hence, in view of the fact thal tl~eo ther argumentative steps were already shown to be valid, it may be concluded that the logical structure of explanation by specification can be as well-established as that of explanation by nomological subsumption. Moreover, explanation by specification provides some illustrations of the applicability of erotetic logic in everyday life and some empirical sciences. (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)
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)
While the special volumes of the series of Handbooks of the Philosophy of Science address topics relative to a specific discipline, this general volume deals ...
The structuralist theory of truth approximation essen-tially deals with truth approximation by theory revision for a fixed domain. However, variable domains can also be taken into account, where the main changes concern domain extensions and restrictions. In this paper I will present a coherent set of definitions of “more truth-likeness”, “empirical progress” and “truth approximation” due to a revision of the domain of intended applications. This set of definitions seems to be the natural counterpart of the basic definitions of similar (...) notions as far as theory revision is concerned. The formal aspects of theory revision strongly suggest an analogy between truth approximation and design research, for example, drug research. Whereas a new drug may be better for a certain disease than an old one, a certain drug may be better for another disease than for the original target disease, a phenomenon which was nicely captured by the title of a study by Rein Vos [1991]: Drugs Looking for Diseases. Similarly, truth approximation may not only take the shape of theory revision but also of domain revision, naturally suggesting the phenomenon of “Theories looking for domains”. However, whereas Vos documented his title with a number of examples, so far, apart from plausible cases of “truth accumulation by domain extension”, I did not find clear-cut empirical instantiations of the analogy, only, as such, very interesting, non-empirical examples. (shrink)
In earlier publications of the first author it was shown that intentional explanation of actions, functional explanation of biological traits and causal explanation of abnormal events share a common structure. They are called explanation by specification (of a goal, a biological function, an abnormal causal factor, respectively) as opposed to explanation by subsumption under a law. Explanation by specification is guided by a schematic train of thought, of which the argumentative steps not concerning questions were already shown to be logically (...) valid (elementary) arguments.Independently, the second author developed a new, inferential approach to erotetic logic, the logic of questions. In this approach arguments resulting in questions, with declarative sentences and/or other questions as premises, are analyzed, and validity of such arguments is defined. (shrink)
The naive structuralist definition of truthlikeness is an idealization in the sense that it assumes that all mistaken models of a theory are equally bad. The natural concretization is a refined definition based on an underlying notion of structurelikeness.In Section 1 the naive definition of truthlikeness of theories is presented, using a new conceptual justification, in terms of instantial and explanatory mistakes.
The main formal notion involved in qualitative truth approximation by the HD-method, viz. ‘more truthlike’, is shown to not only have, by its definition, an intuitively appealing ‘model foundation’, but also, at least partially, a conceptually plausible ‘consequence foundation’. Moreover, combining the relevant parts of both leads to a very appealing ‘dual foundation’, the more so since the relevant methodological notions, viz. ‘more successful’ and its ingredients provided by the HD-method, can be given a similar dual foundation. According to the (...) resulting dual foundation of ‘naive truth approximation’, the HD-method provides successes (established true consequences) and counterexamples (established wrongly missing models) of theories. Such HD-results may support the tentative conclusion that one theory seems to remain more successful than another in the naive sense of having more successes and fewer counterexamples. If so, this provides good reasons for believing that the more successful theory is also more truthlike in the naive sense of having more correct models and more true consequences. (shrink)
In this paper, we address the problem of truth approximation through theory change, asking whether revising our theories by newly acquired data leads us closer to the truth about a given domain. More particularly, we focus on “nomic conjunctive theories”, i.e., theories expressed as conjunctions of logically independent statements concerning the physical or, more generally, nomic possibilities and impossibilities of the domain under inquiry. We define both a comparative and a quantitative notion of the verisimilitude of such theories, and identify (...) suitable conditions concerning the (partial) correctness of acquired data, under which revising our theories by data leads us closer to “the nomic truth”, construed as the target of scientific inquiry. We conclude by indicating some further developments, generalizations, and open issues arising from our results. (shrink)
Standard accounts of the micro-reduction of phenomenological to kinetic thermostatics, based on the postulate relating empirical absolute temperature to mean kinetic energy ū=(3/2)kT, face two problems. The standard postulate also allows 'reduction' in the other direction and it can be criticized from the point of view that reduction postulates need to be ontological identities. This paper presents a detailed account of the reduction, based on the postulate that thermal equilibrium is ontologically identical to having equal mean kinetic energy. In particular, (...) it is shown that this postulate enables reduction only in the appropriate direction, but leaves room for 'evidence transport' in the other. Moreover, it makes possible the derivation (explanation) of the standard postulate, using the existential kinetic hypothesis and phenomenological laws with which it turns out to be laden. (shrink)
This paper supplies a structuralist reconstruction of the Modigliani-Miller theory and shows that the economic literature following their results reports on research with an implicit strategy to come "closer-to-the-truth" in the modern technical sense in philosophy of science.
Design research programs attempt to bring together the properties of available materials and the demands derived from intended applications. The logic of problem states and state transitions in such programs, including assessment criteria and heuristic principles, is described in settheoretic terms, starting with a naive model comprising an intended profile and the operational profile of a prototype. In a first concretization the useful distinction between structural and functional properties is built into the model. In two further concretizations the inclusion of (...) potential applications is motivated and described for the case of drug research as well as the inclusion of potential realizations for the case of complex products. Next, another line of concretization of the naive model, the incorporation of potentially relevant properties, is sketched. Then the partial analogy between product- and truth-approximation is indicated. We conclude with some remarks about the usefulness of our models for products reaching the market in comparison to the the so-called social construction of technology approach. (shrink)
I sketch the most important epistemological positions in the instrumentalism-realism debate, viz., instrumentalism, constructive empiricism, referential realism, and theory realism. I order them according to their answers to a number of successive leading questions, where every next question presupposes an affirmative answer to the foregoing one. I include the answer to questions concerning truth, as well as the most plausible answer to questions concerning truth approximation. Restricting my survey to the natural sciences and hence to the natural world, I indicate (...) the implications of the results of the study of empirical progress and truth approximation for the way these epistemological positions are related. I conclude that there are good reasons for the instrumentalist to become a constructive empiricist; in order to give deeper explanations of success differences, the constructive empiricist is forced to become a referential realist; and, there are good reasons for the referential realist to become a theory realist of a non-essentialist nature, here called a constructive realist. (shrink)
In this paper it is shown that there is a natural way of dealing with analogy by similarity in inductive systems by extending intuitive ways of introduction of systems without analogy. This procedure leads to Carnap-like systems, with zero probability for contingent generalizations, satisfying a general principle of so-called virtual analogy. This new principle is different from, but compatible with, Carnap's principle. It will be shown that the latter principle is satisfied, and should only be satisfied, if the underlying distance (...) function is such that all predicates have the same "predicate-environment". Finally, the claim that the new systems have the property of order indifference only with respect to the past will be defended. (shrink)
In section I the notions of logical and inductive probability will be discussed as well as two explicanda, viz. degree of confirmation, the base for inductive probability, and degree of evidential support, Popper's favourite explicandum. In section II it will be argued that Popper's paradox of ideal evidence is no paradox at all; however, it will also be shown that Popper's way out has its own merits.
In section I the notions of logical and inductive probability will be discussed as well as two explicanda, viz. degree of confirmation, the base for inductive probability, and degree of evidential support, Popper's favourite explicandum. In section II it will be argued that Popper's paradox of ideal evidence is no paradox at all; however, it will also be shown that Popper's way out has its own merits.
In section I the notions of logical and inductive probability will be discussed as well as two explicanda, viz. degree of confirmation, the base for inductive probability, and degree of evidential support, Popper's favourite explicandum. In section II it will be argued that Popper's paradox of ideal evidence is no paradox at all; however, it will also be shown that Popper's way out has its own merits.
Can some evidence confirm a conjunction of two hypotheses more than it confirms either of the hypotheses separately? We show that it can, moreover under conditions that are the same for ten different measures of confirmation. Further we demonstrate that it is even possible for the conjunction of two disconfirmed hypotheses to be confirmed by the same evidence.
Can some evidence confirm a conjunction of two hypotheses more than it confirms either of the hypotheses separately? We show that it can, moreover under conditions that are the same for nine different measures of confirmation. Further we demonstrate that it is even possible for the conjunction of two disconfirmed hypotheses to be confirmed by the same evidence.
Straightforward theory revision, taking into account as effectively as possible the established nomic possibilities and, on their basis induced empirical laws, is conducive for (unstratified) nomic truth approximation. The question this paper asks is: is it possible to reconstruct the relevant theory revision steps, on the basis of incoming evidence, in AGM-terms? A positive answer will be given in two rounds, first for the case in which the initial theory is compatible with the established empirical laws, then for the case (...) in which it is incompatible with at least one such a law. (shrink)
Theo Kuipers describes four kinds of research programs and the question is raised here as to whether string theory could be accommodated by one of them, or whether it should be classified in a new, fifth kind of research program.
In this paper we provide a compact presentation of the verisimilitudinarian approach to scientific progress (VS, for short) and defend it against the sustained attack recently mounted by Alexander Bird (2007). Advocated by such authors as Ilkka Niiniluoto and Theo Kuipers, VS is the view that progress can be explained in terms of the increasing verisimilitude (or, equivalently, truthlikeness, or approximation to the truth) of scientific theories. According to Bird, VS overlooks the central issue of the appropriate grounding of (...) scientific beliefs in the evidence, and it is therefore unable (a) to reconstruct in a satisfactory way some hypothetical cases of scientific progress, and (b) to provide an explanation of the aversion to falsity that characterizes scientific practice. We rebut both of these criticisms and argue that they reveal a misunderstanding of some key concepts underlying VS. (shrink)
Calling into service the theory of truth approximation of his (1997) and (2000), Kuipers defends the view that "beauty can be a road to the truth" and endorses the general conclusions of McAllister (1996) that aesthetic criteria reasonably play a role in theory selection in science. My comments pertain first to the general adequacy of Kuipers's theory of truth approximation; secondly to its methodological aspects; thirdly to the aetiolated role that aesthetic factors turn out to play in his (...) account; and fourthly to the question before us, with a remark on McAllister's doctrine that scientific revolutions are characterized above all by novelty of aesthetic judgement. (shrink)
A model-theoretic realist account of science places linguistic systems and their corresponding non-linguistic structures at different stages or different levels of abstraction of the scientific process. Apart from the obvious problem of underdetermination of theories by data, philosophers of science are also faced with the inverse (and very real) problem of overdetermination of theories by their empirical models, which is what this article will focus on. I acknowledge the contingency of the factors determining the nature – and choice – of (...) a certain model at a certain time, but in my terms, this is a matter about which we can talk and whose structure we can formalise. In this article a mechanism for tracing "empirical choices" and their particularized observational-theoretical entanglements will be offered in the form of Yoav Shoham's version of non-monotonic logic. Such an analysis of the structure of scientific theories may clarify the motivations underlying choices in favor of certain empirical models (and not others) in a way that shows that "disentangling" theoretical and observation terms is more deeply model-specific than theory-specific. This kind of analysis offers a method for getting an articulable grip on the overdetermination of theories by their models – implied by empirical equivalence – which Kuipers' structuralist analysis of the structure of theories does not offer. (shrink)
This paper discusses Theo Kuipers' account of beauty and truth. It challenges Kuipers' psychological account of how scientists come to appreciate beautiful theories, as well as his attempt to justify the use of aesthetic criteria on the basis of a "meta-induction." I propose an alternative psychological/philosophical account based on emotional coherence.
In this paper I present my reflections on the ethics of science as described by Merton and as actually practiced by scientists and technologists. This ethics was the subject of Kuipers' paper "'Default norms' in Research Ethics" (Kuipers 2001). There is an implicit assumption in this ethics, notably in Merton's norm of communism, that knowledge is always, or unconditionally good, and hence that scientific research, and the dissemination of its results, is unconditionally good. I will give here reasons (...) why scientists are not permitted to proceed, as they actually do, on the basis of this assumption. There is no factual or other binding justification for this assumption, and the activities it gives rise to frequently conflict with the broadly accepted ethical principle of restricted liberty. A recent discussion on the risks and hazards of science and on the issue of relinquishment is presented. What is shown in this paper is that the scientists and technologists participating in this discussion frequently violate core values of science relating to logical and empirical scrutiny and systematic criticism, as mentioned in Merton's norms of universalism, organized skepticism, and disinterestedness. It is concluded that, in order to live up to these values and in order to operate in agreement with broader ethical principles, science should stimulate open and critical discussion on the hazards and negative effects of science and technology, and on the present failure on the part of law and politics to control those hazards and negative effects. Science should also take the possibility of relinquishing certain themes of research seriously as long as such flaws in the systems of law and political decision-making persist. (shrink)
Theo Kuipers describes four kinds of research program and the question is raised here as to whether string theory could be accommodated by one of them, or whether it should be classified in a new, fifth kind of research program.
In Beauty and Revolution in Science, James McAllister advances a rationalistic picture of science in which scientific progress is explained in terms of aesthetic evaluations of scientific theories. Here I present a new model of aesthetic evaluations by revising McAllister’s core idea of the aesthetic induction. I point out that the aesthetic induction suffers from anomalies and theoretical inconsistencies and propose a model free from such problems. The new model is based, on the one hand, on McAllister’s original model and (...) on further developments by Theo Kuipers in his “Beauty, a Road to the Truth?”. On the other hand, it is based on empirical findings about affection and emotion, and a naturalistic aesthetic theory. The new model is thus a naturalistic model with a wider explanatory range and much more internal consistency that McAllister’s. (shrink)
Theo AF Kuipers THE THREEFOLD EVALUATION OF THEORIES A SYNOPSIS OF FROM INSTRUMENTALISM TO CONSTRUCTIVE REALISM. ON SOME RELATIONS BETWEEN CONFIRMATION, EMPIRICAL PROGRESS, AND TRUTH APPROXIMATION (2000) ABSTRACT.
John R. Welch (2005). Gruesome Predicates. In Roberto Festa, Atocha Aliseda & Jeanne Peijnenburg (eds.), Confirmation, Empirical Progress and Truth Approximation: Essays in Debate with Theo Kuipers. Rodopi.score: 15.0
This chapter examines gruesome predicates, the most notorious of which is 'grue'. It proceeds by extending the analysis of Theo A. F. Kuipers' From Instrumentalism to Constructive Realism in three directions. It proposes an amplified typology of grue problems, first of all, and argues that one such problem is the root of the rest. Second, it suggests a solution to this root problem influenced by Kuipers' Bayesian solution to a related problem. Finally, it expands the class of gruesome (...) predicates by incorporating Quine's 'undetached rabbit part', 'rabbit stage', and the like, and shows how they can be managed along the same Bayesian lines. (shrink)
This article discusses a number of metaphors about the nature of science, in connection with three types of metaphysical realism: minimal, moderate and essentialistic realism. From the beginning, Kuipers accepts the first and rejects the third type of realism, but it is only later on that he endorses the second type. It is argued that this makes his remarks on essentialistic realism somewhat misleading; and his moderate realism is compared with some realist positions taken by other philosophers. It is (...) further argued that the metaphors of the mirror, the net and the map correspond to essentialistic, minimal and moderate realism, respectively. This explains why the map metaphor is by far the most suitable one in the context of Kuipers' theory of science. This does not imply, however, that it is the (only) true one and that the others are false. (shrink)
Thagard's theory of explanatory coherence (TEC) is a conceptual and computational framework that is used to show how new scientific theories can be judged to be superior to previous ones. In Structures in Science (SiS), Kuipers criticizes TEC as a model that does not faithfully reflect scientific practice. This article tries to explain the machinery behind TEC, and tries to indicate where TEC falls short (conceptually speaking) and where it can be improved. The main idea proposed in this article (...) is not to derive a coherence network from the input (à la TEC), but to construct a coherence network right from the input itself. (shrink)
I define serendipity as the art of making an unsought finding. And I propose an overview of my collection of serendipities, the largest yet assembled, chiefly in science and technology, but also in art, by giving a list of ‘serendipity patterns’. Although my list of ‘patterns’ is just a list and not a classification, it serves to introduce a new and possibly stimulating perspective on the old subject of serendipity. Knowledge of these ‘serendipity patterns’ might help in expecting also the (...) unexpected and in finding also the unsought. * I acknowledge A. D. de Groot, R. C. M. Noordam, B. P. van Heusden, T. Pinkster, C. J. van den Berg, T. A. F. Kuipers, A. Wegener Sleeswijk and my referee for their suggestions and I dedicate this article to T. A. van Kooten. Cases and studies of serendipidy are welcome. À propos: a travelling serendipity exhibition is available, also for ‘new democracies’: ‘Freedom of opportunity as developed by democracy is the best human reaction to divergent phenomena. We may, in fact, define ‘freedom’ as ‘the opportunity to profit from the unexpected.’ (Langmuir [1956]). (shrink)
This paper evaluates Kuipers' account of functional explanation in biology in view of an example of such an explanation taken from real biology. The example is the explanation of why electric fishes swim backwards (Lannoo and Lannoo 1993). Kuipers' account depicts the answer to a request for functional explanation as consisting only of statements that articulate a certain kind of consequence. It is argued that such an account fails to do justice to the main insight provided by the (...) example explanation, namely the insight into why backwards swimming is needed by fishes that locate their food by means of an electric radar. The paper sketches an improved account that does justice to this kind of insight. It is argued that this account is consistent with and complementary to Kuipers' insight that function attributions are established by means of a process of hypothetico-deductive reasoning guided by a heuristic principle. (shrink)
This paper studies the interplay between two notions which are important for the project of defending scientific realism: abduction and truthlikeness. The main focus is the generalization of abduction to cases where the conclusion states that the best theory is truthlike or approximately true. After reconstructing the recent proposals of Theo Kuipers within the framework of monadic predicate logic, I apply my own notion of truthlikeness. It turns out that a theory with higher truthlikeness does not always have greater (...) empirical success than its less truthlike rivals. It is further shown that the notion of expected truthlikeness provides a fallible link from the approximate explanatory success of a theory to its truthlikeness. This treatment can be applied also in cases where even the best potential theory is an idealization that is known to be false. (shrink)
In From Instrumentalism to Constructive Realism Theo Kuipers presents a theory of qualitative confirmation that is supposed to not assume the existence of quantitative probabilities. He claims that this theory is able to resolve some paradoxes in confirmation theory, including the ravens paradox. This paper shows that there are flaws in Kuipers' qualitative confirmation theory and in his application of it to the ravens paradox.
A critique is given of the attempt by Hettema and Kuipers to formalize the periodic table. In particular I dispute their notions of identifying a naïve periodic table with tables having a constant periodicity of eight elements and their views on the different conceptions of the atom by chemists and physicists. The views of Hettema and Kuipers on the reduction of the periodic system to atomic physics are also considered critically.
The article explores the handling of singular analogy in quantitative inductive logics. It concentrates on two analogical patterns coextensive with the traditional argument from analogy: perfect and imperfect analogy. Each is examined within Carnap’s λ-continuum, Carnap’s and Stegmüller’s λ-η continuum, Carnap’s Basic System, Hintikka’s α-λ continuum, and Hintikka’s and Niiniluoto’s K-dimensional system. Itis argued that these logics handle perfect analogies with ease, and that imperfect analogies, while unmanageable in some logics, are quite manageable in others. The paper concludes with a (...) modification of the K-dimensional system that synthesizes independent proposals by Kuipers and Niiniluoto. (shrink)
This paper exploits the language of structuralism, as it has recently been developed with stunning effectiveness in defining the relations between confirmation, empirical progress and truth approximation, to concisely clarify the fundamental problem of the classical Lakatos concept of scientific progress, and to compare its way of evaluation to the real problems of scientists facing the far from perfect theories they wish to improve and defend against competitors.I opt basically for the structuralist terminology adopted in Kuipers (2000), because that (...) is balanced with care to deal with a range of issues far wider than the one dealt with in this contribution. It should be added that this does not commit me to any position on any subject, because structuralism is not a (meta-) theory, it is a language, able to express anything that can be said in other concept systems created to describe knowledge and its dynamics. (shrink)
