Scientific theories are hard to find, and once scientists have found a theory, H, they often believe that there are not many distinct alternatives to H. But is this belief justified? What should scientists believe about the number of alternatives to H, and how should they change these beliefs in the light of new evidence? These are some of the questions that we will address in this article. We also ask under which conditions failure to find an alternative to H (...) confirms the theory in question. This kind of reasoning is frequently used in science and therefore deserves a careful philosophical analysis. 1 Introduction2 The Conceptual Framework3 The No Alternatives Argument4 Discussion I: A Quantitative Analysis of the No Alternatives Argument5 Discussion II: The Number of Alternatives and the Problem of Underdetermination6 ConclusionsAppendix AAppendix B. (shrink)

Theory change is a central concern in contemporary epistemology and philosophy of science. In this paper, we investigate the relationships between two ongoing research programs providing formal treatments of theory change: the (post-Popperian) approach to verisimilitude and the AGM theory of belief change. We show that appropriately construed accounts emerging from those two lines of epistemological research do yield convergences relative to a specified kind of theories, here labeled “conjunctive”. In this domain, a set of plausible conditions are identified which (...) demonstrably capture the verisimilitudinarian effectiveness of AGM belief change, i.e., its effectiveness in tracking truth approximation. We conclude by indicating some further developments and open issues arising from our results. (shrink)

In this paper, I consider the relationship between Inference to the Best Explanation and Bayesianism, both of which are well-known accounts of the nature of scientific inference. In Sect. 2, I give a brief overview of Bayesianism and IBE. In Sect. 3, I argue that IBE in its most prominently defended forms is difficult to reconcile with Bayesianism because not all of the items that feature on popular lists of “explanatory virtues”—by means of which IBE ranks competing explanations—have confirmational import. (...) Rather, some of the items that feature on these lists are “informational virtues”—properties that do not make a hypothesis \ more probable than some competitor \ given evidence E, but that, roughly-speaking, give that hypothesis greater informative content. In Sect. 4, I consider as a response to my argument a recent version of compatibilism which argues that IBE can provide further normative constraints on the objectively correct probability function. I argue that this response does not succeed, owing to the difficulty of defending with any generality such further normative constraints. Lastly, in Sect. 5, I propose that IBE should be regarded, not as a theory of scientific inference, but rather as a theory of when we ought to “accept” H, where the acceptability of H is fixed by the goals of science and concerns whether H is worthy of commitment as research program. In this way, IBE and Bayesianism, as I will show, can be made compatible, and thus the Bayesian and the proponent of IBE can be friends. (shrink)

We investigate the process of truth-seeking by iterated belief revision with higher-level doxastic information . We elaborate further on the main results in Baltag and Smets (Proceedings of TARK, 2009a , Proceedings of WOLLIC’09 LNAI 5514, 2009b ), applying them to the issue of convergence to truth . We study the conditions under which the belief revision induced by a series of truthful iterated upgrades eventually stabilizes on true beliefs. We give two different conditions ensuring that beliefs converge to “full” (...) (complete) truth , as well as a condition ensuring only that they converge to true (but not necessarily complete) beliefs. (shrink)

When scientists seek further confirmation of their results, they often attempt to duplicate the results using diverse means. To the extent that they are successful in doing so, their results are said to be robust. This paper investigates the logic of such "robustness analysis" [RA]. The most important and challenging question an account of RA can answer is what sense of evidential diversity is involved in RAs. I argue that prevailing formal explications of such diversity are unsatisfactory. I propose a (...) unified, explanatory account of diversity in RAs. The resulting account is, I argue, truer to actual cases of RA in science; moreover, this account affords us a helpful, new foothold on the logic undergirding RAs. (shrink)

Richard Pettigrew offers an extended investigation into a particular way of justifying the rational principles that govern our credences. The main principles that he justifies are the central tenets of Bayesian epistemology, though many other related principles are discussed along the way. Pettigrew looks to decision theory in order to ground his argument. He treats an agent's credences as if they were a choice she makes between different options, gives an account of the purely epistemic utility enjoyed by different sets (...) of credences, and then appeals to the principles of decision theory to show that, when epistemic utility is measured in this way, the credences that violate the principles listed above are ruled out as irrational. The account of epistemic utility set out here is the veritist's: the sole fundamental source of epistemic utility for credences is their accuracy. Thus, Pettigrew conducts an investigation in the version of epistemic utility theory known as accuracy-first epistemology. (shrink)

_Conjectures and Refutations_ is one of Karl Popper's most wide-ranging and popular works, notable not only for its acute insight into the way scientific knowledge grows, but also for applying those insights to politics and to history. It provides one of the clearest and most accessible statements of the fundamental idea that guided his work: not only our knowledge, but our aims and our standards, grow through an unending process of trial and error.

_Conjectures and Refutations_ is one of Karl Popper's most wide-ranging and popular works, notable not only for its acute insight into the way scientific knowledge grows, but also for applying those insights to politics and to history. It provides one of the clearest and most accessible statements of the fundamental idea that guided his work: not only our knowledge, but our aims and our standards, grow through an unending process of trial and error.

Bayesian methods have become among the most popular methods in phylogenetics, but theoretical opposition to this methodology remains. After providing an introduction to Bayesian theory in this context, I attempt to tackle the problem mentioned most often in the literature: the “problem of the priors”—how to assign prior probabilities to tree hypotheses. I first argue that a recent objection—that an appropriate assignment of priors is impossible—is based on a misunderstanding of what ignorance and bias are. I then consider different methods (...) of assigning prior probabilities to trees. I argue that priors need to be derived from an understanding of how distinct taxa have evolved and that the appropriate evolutionary model is captured by the Yule birth–death process. This process leads to a well-known statistical distribution over trees. Though further modifications may be necessary to model more complex aspects of the branching process, they must be modifications to parameters in an underlying Yule model. Ignoring these Yule priors commits a fallacy leading to mistaken inferences both about the trees themselves and about macroevolutionary processes more generally. (shrink)

Phylogenetic trees are meant to represent the genealogical history of life and apparently derive their justification from the existence of the tree of life and the fact that evolutionary processes are treelike. However, there are a number of problems for these assumptions. Here it is argued that once we understand the important role that phylogenetic trees play as models that contain idealizations, we can accept these criticisms and deny the reality of the tree while justifying the continued use of trees (...) in phylogenetic theory and preserving nearly all of what defenders of trees have called the “importance of tree thinking.”. (shrink)

The expansion or revision of false theories by true evidence does not always increase their verisimilitude. After a comparison of different notions of verisimilitude the relation between verisimilitude and belief expansion or revision is investigated within the framework of the relevant element account. We are able to find certain interesting conditions under which both the expansion and the revision of theories by true evidence is guaranteed to increase their verisimilitude.

ABSTRACT When scientists seek further confirmation of their results, they often attempt to duplicate the results using diverse means. To the extent that they are successful in doing so, their results are said to be ‘robust’. This article investigates the logic of such ‘robustness analysis’. The most important and challenging question an account of RA can answer is what sense of evidential diversity is involved in RAs. I argue that prevailing formal explications of such diversity are unsatisfactory. I propose a (...) unified, explanatory account of diversity in RAs. The resulting account is, I argue, truer to actual cases of RA in science; moreover, this account affords us a helpful new foothold on the logic undergirding RAs. 1Robustness Analysis in Science 2RA Diversity and Independence 2.1Unconditional probabilistic independence 2.2Reliability independence 2.3Confirmational and conditional independence 2.4Partial independence? 3Robustness Analysis as Explanatory Reasoning 3.1Explanatorily discriminating means of detection 3.2The logic of robustness analysis 3.2.1Mutually exclusive competitors 3.2.2Consistent epistemic competitors 4Conclusion Appendix. (shrink)

In this rather technical paper we establish a useful combination of belief revision and verisimilitude according to which better theories provide better predictions, and revising with more verisimilar data results in theories that are closer to the truth. Moreover, this paper presents two alternative definitions of refined verisimilitude, which are more perspicuous than the algebraic version used in previous publications.

The ‘Tree of Life’ is intended to represent the pattern of evolutionary processes that result in bifurcating species lineages. Often justified in reference to Darwin’s discussions of trees, the Tree of Life has run up against numerous challenges especially in regard to prokaryote evolution. This special issue examines scientific, historical and philosophical aspects of debates about the Tree of Life, with the aim of turning these criticisms towards a reconstruction of prokaryote phylogeny and even some aspects of the standard evolutionary (...) understanding of eukaryotes. These discussions have arisen out of a multidisciplinary collaboration of people with an interest in the Tree of Life, and we suggest that this sort of focused engagement enables a practical understanding of the relationships between biology, philosophy and history. (shrink)

Two different programmes are in the business of explicating accuracy—the truthlikeness programme and the epistemic utility programme. Both assume that truth is the goal of inquiry, and that among inquiries that fall short of realizing the goal some get closer to it than others. Truthlikeness theorists have been searching for an account of the accuracy of propositions. Epistemic utility theorists have been searching for an account of the accuracy of credal states. Both assume we can make cognitive progress in an (...) inquiry even while falling short of the target. I show that the prospects for combining these two programmes are bleak. A core accuracy principle, proximity, that is universally embraced within the truthlikeness programme turns out to be incompatible with a central principle within the epistemic utility programme, namely propriety. 1Truthlikeness and Epistemic Utility 2Inquiries 3Accuracy for Propositions 4Proximity 5Accuracy for Credal States 6Propriety 7Proximity for Credal States 8Extensionality 9Admissible Weightings 10Propriety Violates Proximity 11Possible Responses 11.1Retreat to convexity 11.2Reject boundedness 11.3Reject additivity 12The Upshot. (shrink)

I present a new definition of verisimilitude, framed in terms of causes. Roughly speaking, according to it a scientific model is approximately true if it captures accurately the strengths of the causes present in any given situation. Against much of the literature, I argue that any satisfactory account of verisimilitude must inevitably restrict its judgments to context-specific models rather than general theories. We may still endorse—and only need—a relativized notion of scientific progress, understood now not as global advance but rather (...) as the mastering of particular problems. This also sheds new light on longstanding difficulties surrounding language-dependence and models committed to false ontologies. (shrink)

The modern history of verisimilitude can be divided into three periods. The first began in 1960, when Karl Popper proposed his qualitative definition of what it is for one theory to be more truthlike than another theory, and lasted until 1974, when David Miller and Pavel Trich published their refutation of Popper's definition. The second period started immediately with the attempt to explicate truthlikeness by means of relations of similarity or resemblance between states of affairs (or their linguistic representations); the (...) work within this similarity approach was summarized in the books of Graham Oddie [1986] and Ilkka Niiniluoto [1987]. During the subsequent third period, studies in verisimilitude have been actively continued, and interesting results and applications have been achieved, but not many dramatic novelties. While it is now obsolete to claim that truthlikeness with reasonable properties cannot be defined at all, there is still a lot of controversy about the best and least arbitrary approach to doing this. (shrink)

The modern history of verisimilitude can be divided into three periods. The first began in 1960, when Karl Popper proposed his qualitative definition of what it is for one theory to be more truthlike than another theory, and lasted until 1974, when David Miller and Pavel Trichý published their refutation of Popper's definition. The second period started immediately with the attempt to explicate truthlikeness by means of relations of similarity or resemblance between states of affairs (or their linguistic representations); the (...) work within this similarity approach was summarized in the books of Graham Oddie [1986] and Ilkka Niiniluoto [1987]. During the subsequent third period, studies in verisimilitude have been actively continued, and interesting results and applications have been achieved, but not many dramatic novelties. While it is now obsolete to claim that truthlikeness with reasonable properties cannot be defined at all, there is still a lot of controversy about the best and least arbitrary approach to doing this. (shrink)

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)

The pragmatic character of the Dutch book argument makes it unsuitable as an "epistemic" justification for the fundamental probabilist dogma that rational partial beliefs must conform to the axioms of probability. To secure an appropriately epistemic justification for this conclusion, one must explain what it means for a system of partial beliefs to accurately represent the state of the world, and then show that partial beliefs that violate the laws of probability are invariably less accurate than they could be otherwise. (...) The first task can be accomplished once we realize that the accuracy of systems of partial beliefs can be measured on a gradational scale that satisfies a small set of formal constraints, each of which has a sound epistemic motivation. When accuracy is measured in this way it can be shown that any system of degrees of belief that violates the axioms of probability can be replaced by an alternative system that obeys the axioms and yet is more accurate in every possible world. Since epistemically rational agents must strive to hold accurate beliefs, this establishes conformity with the axioms of probability as a norm of epistemic rationality whatever its prudential merits or defects might be. (shrink)

I present a new proof of the likelihood principle that avoids two responses to a well-known proof due to Birnbaum ([1962]). I also respond to arguments that Birnbaum’s proof is fallacious, which if correct could be adapted to this new proof. On the other hand, I urge caution in interpreting proofs of the likelihood principle as arguments against the use of frequentist statistical methods. 1 Introduction2 The New Proof3 How the New Proof Addresses Proposals to Restrict Birnbaum’s Premises4 A Response (...) to Arguments that the Proofs Are Fallacious5 Conclusion. (shrink)

What has science actually achieved? A theory of achievement should define what has been achieved, describe the means or methods used in science, and explain how such methods lead to such achievements. Predictive accuracy is one truth‐related achievement of science, and there is an explanation of why common scientific practices tend to increase predictive accuracy. Akaike’s explanation for the success of AIC is limited to interpolative predictive accuracy. But therein lies the strength of the general framework, for it also provides (...) a clear formulation of many open problems of research. (shrink)

What has science actually achieved? A theory of achievement should define what has been achieved, describe the means or methods used in science, and explain how such methods lead to such achievements. Predictive accuracy is one truth-related achievement of science, and there is an explanation of why common scientific practices tend to increase predictive accuracy. Akaike's explanation for the success of AIC is limited to interpolative predictive accuracy. But therein lies the strength of the general framework, for it also provides (...) a clear formulation of many open problems of research. (shrink)

Traditional analyses of the curve fitting problem maintain that the data do not indicate what form the fitted curve should take. Rather, this issue is said to be settled by prior probabilities, by simplicity, or by a background theory. In this paper, we describe a result due to Akaike [1973], which shows how the data can underwrite an inference concerning the curve's form based on an estimate of how predictively accurate it will be. We argue that this approach throws light (...) on the theoretical virtues of parsimoniousness, unification, and non ad hocness, on the dispute about Bayesianism, and on empiricism and scientific realism. * Both of us gratefully acknowledge support from the Graduate School at the University of Wisconsin-Madison, and NSF grant DIR-8822278 (M.F.) and NSF grant SBE-9212294 (E.S.). Special thanks go to A. W. F. Edwards.William Harper. Martin Leckey. Brian Skyrms, and especially Peter Turney for helpful comments on an earlier draft. (shrink)

We explore the grammar of Bayesian confirmation by focusing on some likelihood principles, including the Weak Law of Likelihood. We show that none of the likelihood principles proposed so far is satisfied by all incremental measures of confirmation, and we argue that some of these measures indeed obey new, prima facie strange, antilikelihood principles. To prove this, we introduce a new measure that violates the Weak Law of Likelihood while satisfying a strong antilikelihood condition. We conclude by hinting at some (...) relevant links between the likelihood principles considered here and other properties of Bayesian confirmation recently explored in the literature. (shrink)

Ockham's razor, the principle of parsimony, states that simpler theories are better than theories that are more complex. It has a history dating back to Aristotle and it plays an important role in current physics, biology, and psychology. The razor also gets used outside of science - in everyday life and in philosophy. This book evaluates the principle and discusses its many applications. Fascinating examples from different domains provide a rich basis for contemplating the principle's promises and perils. It is (...) obvious that simpler theories are beautiful and easy to understand; the hard problem is to figure out why the simplicity of a theory should be relevant to saying what the world is like. In this book, the ABCs of probability theory are succinctly developed and put to work to describe two 'parsimony paradigms' within which this problem can be solved. (shrink)

How should the concept of evidence be understood? And how does the concept of evidence apply to the controversy about creationism as well as to work in evolutionary biology about natural selection and common ancestry? In this rich and wide-ranging book, Elliott Sober investigates general questions about probability and evidence and shows how the answers he develops to those questions apply to the specifics of evolutionary biology. Drawing on a set of fascinating examples, he analyzes whether claims about intelligent design (...) are untestable; whether they are discredited by the fact that many adaptations are imperfect; how evidence bears on whether present species trace back to common ancestors; how hypotheses about natural selection can be tested, and many other issues. His book will interest all readers who want to understand philosophical questions about evidence and evolution, as they arise both in Darwin's work and in contemporary biological research. (shrink)

Reconstructing the Past seeks to clarify and help resolve the vexing methodological issues that arise when biologists try to answer such questions as whether human beings are more closely related to chimps than they are to gorillas. It explores the case for considering the philosophical idea of simplicity/parsimony as a useful principle for evaluating taxonomic theories of evolutionary relationships. For the past two decades, evolutionists have been vigorously debating the appropriate methods that should be used in systematics, the field that (...) aims at reconstructing phylogenetic relationships among species. This debate over phylogenetic inference, Elliott Sober observes, raises broader questions of hypothesis testing and theory evaluation that run head on into long standing issues concerning simplicity/parsimony in the philosophy of science. Sober treats the problem of phylogenetic inference as a detailed case study in which the philosophical idea of simplicity/parsimony can be tested as a principle of theory evaluation. Bringing together philosophy and biology, as well as statistics, Sober builds a general framework for understanding the circumstances in which parsimony makes sense as a tool of phylogenetic inference. Along the way he provides a detailed critique of parsimony in the biological literature, exploring the strengths and limitations of both statistical and nonstatistical cladistic arguments. (shrink)

According to the Bayesian view, scientific hypotheses must be appraised in terms of their posterior probabilities relative to the available experimental data. Such posterior probabilities are derived from the prior probabilities of the hypotheses by applying Bayes'theorem. One of the most important problems arising within the Bayesian approach to scientific methodology is the choice of prior probabilities. Here this problem is considered in detail w.r.t. two applications of the Bayesian approach: (1) the theory of inductive probabilities (TIP) developed by Rudolf (...) Carnap and other epistomologists and (2) the analysis of the multinational inferences provided by Bayesian statstics (BS). ... Zie: Summary. (shrink)

Presents Newton's unifying idea of gravitation and explains how he converted physics from a science of explanation into a general mathematical system.

Dr Edwards' stimulating and provocative book advances the thesis that the appropriate axiomatic basis for inductive inference is not that of probability, with its addition axiom, but rather likelihood - the concept introduced by Fisher as a measure of relative support amongst different hypotheses. Starting from the simplest considerations and assuming no more than a modest acquaintance with probability theory, the author sets out to reconstruct nothing less than a consistent theory of statistical inference in science.

We provide a 'verisimilitudinarian' analysis of the well-known Linda paradox or conjunction fallacy, i.e., the fact that most people judge the probability of the conjunctive statement "Linda is a bank teller and is active in the feminist movement" (B & F) as more probable than the isolated statement "Linda is a bank teller" (B), contrary to an uncontroversial principle of probability theory. The basic idea is that experimental participants may judge B & F a better hypothesis about Linda as compared (...) to B because they evaluate B & F as more verisimilar than B. In fact, the hypothesis "feminist bank teller", while less likely to be true than "bank teller", may well be a better approximation to the truth about Linda. (shrink)

The objectivity of Bayesian induction relies on the ability of evidence to produce a convergence to agreement among agents who initially disagree about the plausibilities of hypotheses. I will describe three sorts of Bayesian convergence. The first reduces the objectivity of inductions about simple "occurrent events" to the objectivity of posterior probabilities for theoretical hypotheses. The second reveals that evidence will generally induce converge to agreement among agents on the posterior probabilities of theories only if the convergence is 0 or (...) 1. The third establishes conditions under which evidence will very probably compel posterior probabilities of theories to converge to 0 or 1. (shrink)