There are results which show that measure-theoretic deterministic models and stochastic models are observationally equivalent. Thus there is a choice between a deterministic and an indeterministic model and the question arises: Which model is preferable relative to evidence? If the evidence equally supports both models, there is underdetermination. This paper first distinguishes between different kinds of choice and clarifies the possible resulting types of underdetermination. Then a new answer is presented: the focus is on the choice between a Newtonian deterministic (...) model supported by indirect evidence from other Newtonian models which invoke similar additional assumptions about the physical systems and a stochastic model that is not supported by indirect evidence. It is argued that the deterministic model is preferable. The argument against underdetermination is then generalised to a broader class of cases. Finally, the paper criticises the extant philosophical answers in relation to the preferable model. Winnie’s (1998) argument for the deterministic model is shown to deliver the correct conclusion relative to observations which are possible in principle and where there are no limits, in principle, on observational accuracy (the type of choice Winnie was concerned with). However, in practice the argument fails. A further point made is that Hoefer’s (2008) argument for the deterministic model is untenable. (shrink)

This article argues that a successful answer to Hume's problem of induction can be developed from a sub-genre of philosophy of science known as formal learning theory. One of the central concepts of formal learning theory is logical reliability: roughly, a method is logically reliable when it is assured of eventually settling on the truth for every sequence of data that is possible given what we know. I show that the principle of induction (PI) is necessary and sufficient for logical (...) reliability in what I call simple enumerative induction. This answer to Hume's problem rests on interpreting PI as a normative claim justified by a non-empirical epistemic means-ends argument. In such an argument, a rule of inference is shown by mathematical or logical proof to promote a specified epistemic end. Since the proof concerning PI and logical reliability is not based on inductive reasoning, this argument avoids the circularity that Hume argued was inherent in any attempt to justify PI. (shrink)

This article describes abductions as special patterns of inference to the best explanation whose structure determines a particularly promising abductive conjecture and thus serves as an abductive search strategy. A classification of different patterns of abduction is provided which intends to be as complete as possible. An important distinction is that between selective abductions, which choose an optimal candidate from given multitude of possible explanations, and creative abductions, which introduce new theoretical models or concepts. While selective abduction has dominated the (...) literature, creative abductions are rarely discussed, although they are essential in science. The article introduces several kinds of creative abductions, such as theoretical model abduction, common cause abduction and statistical factor analysis, and illustrates them by various real case examples. It is suggested to demarcate scientifically fruitful abductions from purely speculative abductions by the criterion of causal unification. (shrink)

There is no consensus over the proper definition of ‘scientific misconduct.’ There are differences in opinion not only between countries but also between research institutions in the same country. This is unfortunate. Without a widely accepted definition it is difficult for scientists to adjust to new research milieux. This might hamper scientific innovation and make cooperation difficult. Furthermore, due to the potentially damaging consequences it is important to combat misconduct. But how frequent is it and what measures are efficient? Without (...) an appropriate definition there are no interesting answers to these questions. In order to achieve a high degree of consensus and to foster research integrity, the international dialogue over the proper definition of ‘scientific misconduct’ must be on going. Yet, the scientific community should not end up with the definition suggested by the Swedish Research Council. The definition the council advocates does not satisfy the ordinary language condition. That is, the definition is not consistent with how ‘scientific misconduct’ is used by scientists. I will show that this is due to the fact that it refers to false results. I generalise this and argue that no adequate definition of ‘scientific misconduct’ makes such a reference. (shrink)

An argument, different from the Newman objection, against the view that the cognitive content of a theory is exhausted by its Ramsey sentence is reviewed. The crux of the argument is that Ramsification may ruin inductive systematization between theory and observation. The argument also has some implications concerning the issue of underdetermination.

The term “scientism” is used in a variety of ways with both negative and positive connotations. I suggest that some of these uses are inappropriate, as they aim simply at dismissing without argument an approach that a particular author does not like. However, there are legitimate negative uses of the term, which I explore by way of an analogy with the term “pseudoscience.” I discuss these issues by way of a recent specific example provided by a controversy in the field (...) of bioethics concerning the value, or lack thereof, of homeopathy. I then frame the debate about scientism within the broader context of C.P. Snow’s famous essay on the “two cultures.”. (shrink)

The pessimistic induction holds that successful past scientific theories are completely false, so successful current ones are completely false too. I object that past science did not perform as poorly as the pessimistic induction depicts. A close study of the history of science entitles us to construct an optimistic induction that would neutralize the pessimistic induction. Also, even if past theories were completely false, it does not even inductively follow that the current theories will also turn out to be completely (...) false because the current theories are more successful and have better birth qualities than the past theories. Finally, the extra success and better birth qualities justify an anti-induction in favor of the present theories. (shrink)

The purpose of this study is to gain a better understanding of the role of abstraction and idealization in Galileo’s scientific inquiries into the law of free falling motion, and their importance in the history of science. Because there is no consensus on the use of the terms “abstraction” and “idealization” in the literature, it is necessary to distinguish between them at the outset. This paper will argue for the importance of abstraction and idealization in physics and the theories and (...) laws of physics constructed with abduction from observations and that these theoretical laws of physics should be tested with deduction and induction thorough quasi-idealized entities rather than empirical results in the everyday world. Galileo’s work is linked to thought experiments in natural science. Galileo, using thought experiments based on idealization, persuaded others that what had been proven true for a ball on an inclined plane would be equally true for a ball falling through a vacuum. (shrink)

Scientific realists use the “no miracle argument” to show that the empirical and pragmatic success of science is an indicator of the ability of scientific theories to give true or truthlike representations of unobservable reality. While antirealists define scientific progress in terms of empirical success or practical problem-solving, realists characterize progress by using some truth-related criteria. This paper defends the definition of scientific progress as increasing truthlikeness or verisimilitude. Antirealists have tried to rebut realism with the “pessimistic metainduction”, but critical (...) realists turn this argument into an optimistic view about progressive science. (shrink)

A notion of experimental series is developed, in which experiments or experimental sets are connected through experimental suggestions arising from previous experimental outcomes. To that end, the justification of Howard Temin’s DNA provirus hypothesis is examined. The hypothesis originated with evidence from two exploratory experimental sets on an oncogenic virus and was substantiated by including evidence from three additional experimental sets. Collectively these sets comprise an experimental series and the accumulative evidence from the series was adequate to justify the hypothesis (...) by persuading the virology community of its veracity. The notion of crucial experiment is also discussed in terms of experimental series. (shrink)

A notion of experimental series is developed, in which experiments or experimental sets are connected through experimental suggestions arising from previous experimental outcomes. To that end, the justification of Howard Temin's DNA provirus hypothesis is examined. The hypothesis originated with evidence from two exploratory experimental sets on an oncogenic virus and was substantiated by including evidence from three additional experimental sets. Collectively these sets comprise an experimental series and the accumulative evidence from the series was adequate to justify the hypothesis (...) by persuading the virology community of its veracity. The notion of crucial experiment is also discussed in terms of experimental series. (shrink)

The aim of this paper is to revisit the phlogiston theory to see what can be learned from it about the relationship between scientific realism, approximate truth and successful reference. It is argued that phlogiston theory did to some extent correctly describe the causal or nomological structure of the world, and that some of its central terms can be regarded as referring. However, it is concluded that the issue of whether or not theoretical terms successfully refer is not the key (...) to formulating the appropriate form of scientific realism in response to arguments from theory change, and that the case of phlogiston theory is shown to be readily accommodated by ontic structural realism. (shrink)

While there are many examples of metaphysical theorising being heuristically and intellectually important in the progress of scientific knowledge, many people wonder how metaphysics not closely informed and inspired by empirical science could lead to rival or even supplementary knowledge about the world. This paper assesses the merits of a popular defence of the a priori methodology of metaphysics that goes as follows. The first task of the metaphysician, like the scientist, is to construct a hypothesis that accounts for the (...) phenomena in question. It is then argued that among the possible metaphysical theories, the empirical evidence underdetermines the right one, just as the empirical evidence underdetermines the right scientific theory. In the latter case it is widely agreed that we must break the underdetermination by appeal to theoretical virtues, and this is just what should be and largely is done in metaphysics. This is part of a more general line of argument that defends metaphysics on the basis of its alleged continuity with highly theoretical science. In what follows metaphysics and theoretical science are compared in order to see whether the above style of defence of a priori metaphysics is successful. (shrink)

This paper provides arguments to philosophers, scientists, administrators and students for why science students should be instructed in a mandatory, custom-designed, interdisciplinary course in the philosophy of science. The argument begins by diagnosing that most science students are taught only conventional methodology: a fixed set of methods whose justification is rarely addressed. It proceeds by identifying seven benefits that scientists incur from going beyond these conventions and from acquiring abilities to analyse and evaluate justifications of scientific methods. It concludes that (...) teaching science students these skills makes them better scientists. Based on this argument, the paper then analyses the standard philosophy of science curriculum, and in particular its adequacy for teaching science students. It is argued that the standard curriculum on the one hand lacks important analytic tools relevant for going beyond conventional methodology—especially with respect to non-epistemic normative aspects of scientific practice—while on the other hand contains many topics and tools that are not relevant for the instruction of science students. Consequently, the optimal way of training science students in the analysis and evaluation of scientific methods requires a revision of the standard curriculum. Finally, the paper addresses five common characteristics of students taking such a course, which often clash with typical teaching approaches in philosophy. Strategies how best to deal with these constraints are offered for each of these characteristics. (shrink)

This paper outlines a defense of scientific realism against the pessimistic meta- induction which appeals to the phenomenon of the exponential growth of science. Here, scientific realism is defined as the view that our current successful scientific theories are mostly approximately true, and pessimistic meta- induction is the argument that projects the occurrence of past refutations of successful theories to the present concluding that many or most current successful scientific theories are false. The defense starts with the observation that at (...) least 80% of all scientific work ever done has been done since 1950, proceeds with the claim that practically all of our most successful theories were entirely stable during that period of time, and concludes that the projection of refutations of successful theories to the present is unsound. In addition to this defense, the paper offers a framework through which scientific realism can be compared with two types of anti-realism. The framework is also of help to examine the relationships between these three positions and the three main arguments offered respectively in their support. (shrink)

This work adopts H. Kelsen’s concept of legal system, proposes a formal definition for such notion, and introduces an operational semantical framework for legal systems that are situated in agent societies. Agent societies are defined. Relevant formal properties of situated legal systems are discussed; the way they are exposed in the operational semantical framework is explained, and their truth formally proved. Also, for the sake of a better understanding of the legal-theoretic assumptions of the paper, recurring issues regarding Kelsen’s theory (...) of law are briefly reviewed. They are put in confrontation with the points of view of R. Dworkin, H. Hart, and J. Raz, and an attempt is made to clarify them from the perspective of the provided formalization. A brief case study in agent-based modeling and simulation of public policy processes is presented, as an illustration of the way of using situated legal systems, and the proposed operational semantical framework, in a practical application. (shrink)

The condition of explicit theoretically discursive cognitive performance, as it culminates in scientific activity, is, I claim, the life world. I contrast life world and scientific world and argue that the latter arises from the first and that contrary to the prevailing views the scientific world (actually, worlds, since the classical world is substantially different from the quantum world) finds its completion in the life world and not the other way around. In other words: the closure we used to search (...) in a complete and comprehensive scientific description of all aspects of experience by referring it back to underlying atoms, genes and other scientific objects and the covering laws ruling them, should be sought in a reintegrating and occasionally dissolving of the abstract scientific model in the self-organizational fluidity and superposition-like indeterminateness and non-locality of the life world: “We have to acknowledge the indeterminate as a positive phenomenon” (Merleau-Ponty in his The Phenomenology of Perception). (shrink)

Predictivists use the no miracle argument to argue that “novel” predictions are decisive evidence for theories, while mere accommodation of “old” data cannot confirm to a significant degree. But deductivists claim that since confirmation is a logical theory-data relationship, predicted data cannot confirm more than merely deduced data, and cite historical cases in which known data confirmed theories quite strongly. On the other hand, the advantage of prediction over accommodation is needed by scientific realists to resist Laudan’s criticisms of the (...) no miracle argument. So, if the deductivists are right, the most powerful argument for realism collapses. There seems to be an inescapable contradiction between these prima facie plausible arguments of predictivists and deductivists; but this puzzle can be solved by understanding what exactly counts as novelty, if novel predictions must support the no miracle argument, i.e., if they must be explainable only by the truth of theories. Taking my cues from the use-novelty tradition, I argue that (1) the predicted data must not be used essentially in building the theory or choosing the auxiliary assumptions. This is possible if the theory and its auxiliary assumptions are plausible independently of the predicted data, and I analyze the consequences of this requirement in terms of best explanation of diverse bodies of data. Moreover, the predicted data must be (2) a priori improbable, and (3) heterogeneous to the essentially used data. My proposed notion of novelty, therefore, is not historical, but functional. Hence, deductivists are right that confirmation is independent of time and of historical contingencies such as if the theorist knew a datum, used it, or intended to accommodate it. Predictivists, however, are right that not all consequences confirm equally, and confirmation is not purely a logical theory-data relation, as it crucially involves background epistemic conditions and the notion of best explanation. Conditions (1)–(3) make the difference between prediction and accommodation, and account for the confirming power of theoretical virtues such as non ad-hocness, non-fudging, non-overfitting, independence and consilience. I thus show that functional novelty (a) avoids the deductivist objections to predictivism, (b) is a gradual notion, in accordance with the common intuition that confirmation comes in degrees, and (c) supports the no miracle argument, so vindicating scientific realism. (shrink)

On the basis of Levin’s claim that truth is not a scientific explanatory factor, Michel Ghins argues that the “no miracle” argument (NMA) is not scientific, therefore scientific realism is not a scientific hypothesis, and naturalism is wrong. I argue that there are genuine senses of ‘scientific’ and ‘explanation’ in which truth can yield scientific explanations. Hence, the NMA can be considered scientific in the sense that it hinges on a scientific explanation, it follows a typically scientific inferential pattern (IBE), (...) and it is based on an empirical fact (the success of science). Scientific realism, in turn, is scientific in the sense that it is supported both by a meta-level scientific argument (the NMA), and by first level scientific arguments through semantic ascent and generalization. However, both the NMA and scientific realism are not purely scientific, since they go beyond properly scientific concerns, and require additional philosophical reasoning. In turn, naturalism is correct in the sense that philosophy is continuous with science, partly based on it, and potentially equally well warranted. Beside denying the scientific nature of the NMA, Ghins raises some objections to its cogency , to which I reply in the final section. (shrink)