Reasoning from inconclusive evidence, or ‘induction’, is central to science and any applications we make of it. For that reason alone it demands the attention of philosophers of science. This Element explores the prospects of using probability theory to provide an inductive logic, a framework for representing evidential support. Constraints on the ideal evaluation of hypotheses suggest that overall support for a hypothesis is represented by its probability in light of the total evidence, and incremental support, or confirmation, indicated by (...) an increased probability given the evidence than otherwise. This proposal is shown to have the capacity to reconstruct many canons of the scientific method and inductive inference. Along the way, significant objections are discussed, such as the challenge from inductive scepticism and the objection that the probabilistic approach makes evidential support arbitrary. (shrink)

The major competing statistical paradigms share a common remarkable but unremarked thread: in many of their inferential applications, different probability interpretations are combined. How this plays out in different theories of inference depends on the type of question asked. We distinguish four question types: confirmation, evidence, decision, and prediction. We show that Bayesian confirmation theory mixes what are intuitively “subjective” and “objective” interpretations of probability, whereas the likelihood-based account of evidence melds three conceptions of what constitutes an “objective” probability.

Arguably no concept is more fundamental to science than that of causality, for investigations into cases of existence, persistence, and change in the natural world are largely investigations into the causes of these phenomena. Yet the metaphysics and epistemology of causality remain unclear. For example, the ontological categories of the causal relata have been taken to be objects (Hume 1739), events (Davidson 1967), properties (Armstrong 1978), processes (Salmon 1984), variables (Hitchcock 1993), and facts (Mellor 1995). (For convenience, causes and effects (...) will usually be understood as events in what follows.) Complicating matters, causal relations may be singular (Socrates’s drinking hemlock caused Socrates’s death) or general (Drinking hemlock causes death); hence the relata might be tokens (e.g., instances of properties) or types (e.g., types of events) of the category in question. Other questions up for grabs are: Are singular causes metaphysically and/or epistemologically prior to general causes or vice versa (or neither)? What grounds the intuitive asymmetry of the causal relation? Are macro-causal relations reducible to micro-causal relations? And perhaps most importantly: Are causal facts (e.g., the holding of causal relations) reducible to non-causal facts (e.g., the holding of certain spatiotemporal relations)? (shrink)

My purpose in this chapter is to survey some of the principal approaches to inductive inference in the philosophy of science literature. My first concern will be the general principles that underlie the many accounts of induction in this literature. When these accounts are considered in isolation, as is more commonly the case, it is easy to overlook that virtually all accounts depend on one of very few basic principles and that the proliferation of accounts can be understood as efforts (...) to ameliorate the weaknesses of those few principles. In the earlier sections, I will lay out three inductive principles and the families of accounts of induction they engender. In later sections I will review standard problems in the philosophical literature that have supported some pessimism about induction and suggest that their import has been greatly overrated. In the final sections I will return to the proliferation of accounts of induction that frustrates efforts at a final codification. I will suggest that this proliferation appears troublesome only as long as we expect inductive inference to be subsumed under a single formal theory. If we adopt a material theory of induction in which individual inductions are licensed by particular facts that prevail only in local domains, then the proliferation is expected and not problematic. (shrink)

Scientific theories are used for a variety of purposes. For example, physical theories such as classical mechanics and electrodynamics have important applications in engineering and technology, and we trust that this results in useful machines, stable bridges, and the like. Similarly, theories such as quantum mechanics and relativity theory have many applications as well. Beyond that, these theories provide us with an understanding of the world and address fundamental questions about space, time, and matter. Here we trust that the answers (...) scientific theories give are reliable and that we have good reason to believe that the features of the world are similar to what the theories say about them. But why do we trust scientific theories, and what counts as evidence in favor of them? (shrink)

Models are a principle instrument of modern science. They are built, applied, tested, compared, revised and interpreted in an expansive scientific literature. Throughout this paper, I will argue that models are also a valuable tool for the philosopher of science. In particular, I will discuss how the methodology of Bayesian Networks can elucidate two central problems in the philosophy of science. The first thesis I will explore is the variety-of-evidence thesis, which argues that the more varied the supporting evidence, the (...) greater the degree of confirmation for a given hypothesis. However, when investigated using Bayesian methodology, this thesis turns out not to be sacrosanct. In fact, under certain conditions, a hypothesis receives more confirmation from evidence that is obtained from one rather than more instruments, and from evidence that confirms one rather than more testable consequences of the hypothesis. The second challenge that I will investigate is scientific theory change. This application highlights a different virtue of modeling methodology. In particular, I will argue that Bayesian modeling illustrates how two seemingly unrelated aspects of theory change, namely the (Kuhnian) stability of (normal) science and the ability of anomalies to over turn that stability and lead to theory change, are in fact united by a single underlying principle, in this case, coherence. In the end, I will argue that these two examples bring out some metatheoretical reflections regarding the following questions: What are the differences between modeling in science and modeling in philosophy? What is the scope of the modeling method in philosophy? And what does this imply for our understanding of Bayesianism? (shrink)

An aspect of Peirce’s thought that may still be underappreciated is his resistance to what Levi calls _pedigree epistemology_, to the idea that a central focus in epistemology should be the justification of current beliefs. Somewhat more widely appreciated is his rejection of the subjective view of probability. We argue that Peirce’s criticisms of subjectivism, to the extent they grant such a conception of probability is viable at all, revert back to pedigree epistemology. A thoroughgoing rejection of pedigree in the (...) context of probabilistic epistemology, however, _does_ challenge prominent subjectivist responses to the problem of the priors. (shrink)

I discuss a contemporary solution to the dynamic problem of old evidence (POE), as proposed by Sprenger. Sprenger’s solution combines the Garber–Jeffrey–Niiniluoto (GJN) approach with Howson’s suggestion of counterfactually removing the old evidence from scientists’ belief systems. I argue that in the dynamic POE, the challenge is to explain how an insight under beliefs in which the old evidence E is known increased the credence of a scientific hypothesis. Therefore, Sprenger’s counterfactual solution, in which E has been artificially removed, does (...) not resolve the problem. I consider several potential responses. (shrink)

Some think that issues to do with scientific method are last century's stale debate; Popper was an advocate of methodology, but Kuhn, Feyerabend, and others are alleged to have brought the debate about its status to an end. The papers in this volume show that issues in methodology are still very much alive. Some of the papers reinvestigate issues in the debate over methodology, while others set out new ways in which the debate has developed in the last decade. The (...) book will be of interest to philosophers and scientists alike in the reassessment it provides of earlier debates about method and current directions of research. (shrink)

Different people reason differently, which means that sometimes they reach different conclusions from the same evidence. We maintain that this is not only natural, but rational. In this essay we explore the epistemology of that state of affairs. First we will canvass arguments for and against the claim that rational methods of reasoning must always reach the same conclusions from the same evidence. Then we will consider whether the acknowledgment that people have divergent rational reasoning methods should undermine one’s confidence (...) in one’s own reasoning. Finally we will explore how agents who employ distinct yet equally rational methods of reasoning should respond to interactions with the products of each others’ reasoning. We find that the epistemology of multiple reasoning methods has been misunderstood by a number of authors writing on epistemic permissiveness and peer disagreement. (shrink)

Once upon a time, some thought that indicative conditionals could be effectively analyzed as material conditionals. Later on, an alternative theoretical construct has prevailed and received wide acceptance, namely, the conditional probability of the consequent given the antecedent. Partly following critical remarks recently ap- peared in the literature, we suggest that evidential support—rather than conditional probability alone—is key to understand indicative conditionals. There have been motivated concerns that a theory of evidential conditionals (unlike their more tra- ditional counterparts) cannot generate (...) a sufficiently interesting logical system. Here, we will describe results dispelling these worries. Happily, and perhaps surprisingly, appropriate technical variations of Ernst Adams’s classical approach allow for the construction of a logic of evidential conditionals with distinctive fea- tures, which is also well-behaved and reasonably strong. (shrink)

Alongside science and law, argumentation is also of central importance in everyday life. But what characterizes a good argument? This question has occupied philosophers and psychologists for centuries. The theory of Bayesian argumentation is particularly suitable for clarifying it, because it allows us to take into account in a natural way the role of uncertainty, which is central to much argumentation. Moreover, it offers the possibility of measuring the strength of an argument in probabilistic terms. One way to do this, (...) implicit in much work, is to identify the strength of an argument with the degree to which the premises of the argument confirm the conclusion. We criticize this prima facie plausible proposal and suggest instead that the strength of an argument has something to do with how much the premises and the conclusion of the argument cohere with each other. This leads to a new probabilistic measure whose properties we examine in more detail. (shrink)

We provide a novel Bayesian justification of inference to the best explanation. More specifically, we present conditions under which explanatory considerations can provide a significant confirmatory boost for hypotheses that provide the best explanation of the relevant evidence. Furthermore, we show that the proposed Bayesian model of IBE is able to deal naturally with the best known criticisms of IBE such as van Fraassen?s?bad lot? argument.

Modern theory of rationality has truly grown into a science of its own. Still, the general topic remained a genuinely philosophical one. This essay is concerned with giving a brief overview. Section 2 explains the fundamental scheme of all rationality assessments. With its help, a schematic order of the main questions concerning the theory of rationality can be given; the questions turn out to be quite unevenly addressed in the literature. Section 3 discusses the fundamental issue that the theory of (...) rationality seems to be both a normative and an empirical theory. Section 4, finally, shows how the unity of the theory of rationality can nevertheless be maintained. (shrink)

In this article, I will provide a critical overview of the form of non-deductive reasoning commonly known as “Inference to the Best Explanation” (IBE). Roughly speaking, according to IBE, we ought to infer the hypothesis that provides the best explanation of our evidence. In section 2, I survey some contemporary formulations of IBE and highlight some of its putative applications. In section 3, I distinguish IBE from C.S. Peirce’s notion of abduction. After underlining some of the essential elements of IBE, (...) the rest of the entry is organized around an examination of various problems that IBE confronts, along with some extant attempts to address these problems. In section 4, I consider the question of when a fact requires an explanation, since presumably IBE applies only in cases where some explanation is called for. In section 5, I consider the difficult question of how we ought to understand IBE in light of the fact that among philosophers, there is significant disagreement about what constitutes an explanation. In section 6, I consider different strategies for justifying the truth-conduciveness of the explanatory virtues, e.g., simplicity, unification, scope, etc., criteria which play an indispensable role in any given application of IBE. In section 7, I survey some of the most recent literature on IBE, much of which consists of investigations of the status of IBE from the standpoint of the Bayesian philosophy of science. (shrink)

‘Bayesian epistemology’ became an epistemological movement in the 20th century, though its two main features can be traced back to the eponymous Reverend Thomas Bayes (c. 1701-61). Those two features are: (1) the introduction of a formal apparatus for inductive logic; (2) the introduction of a pragmatic self-defeat test (as illustrated by Dutch Book Arguments) for epistemic rationality as a way of extending the justification of the laws of deductive logic to include a justification for the laws of inductive logic. (...) The formal apparatus itself has two main elements: the use of the laws of probability as coherence constraints on rational degrees of belief (or degrees of confidence) and the introduction of a rule of probabilistic inference, a rule or principle of conditionalization. (shrink)

Bayes' Theorem is a simple mathematical formula used for calculating conditional probabilities. It figures prominently in subjectivist or Bayesian approaches to epistemology, statistics, and inductive logic. Subjectivists, who maintain that rational belief is governed by the laws of probability, lean heavily on conditional probabilities in their theories of evidence and their models of empirical learning. Bayes' Theorem is central to these enterprises both because it simplifies the calculation of conditional probabilities and because it clarifies significant features of subjectivist position. Indeed, (...) the Theorem's central insight — that a hypothesis is confirmed by any body of data that its truth renders probable — is the cornerstone of all subjectivist methodology. (shrink)

Epistemology is the study of knowledge and justified belief. Belief is thus central to epistemology. It comes in a qualitative form, as when Sophia believes that Vienna is the capital of Austria, and a quantitative form, as when Sophia's degree of belief that Vienna is the capital of Austria is at least twice her degree of belief that tomorrow it will be sunny in Vienna. Formal epistemology, as opposed to mainstream epistemology (Hendricks 2006), is epistemology done in a formal way, (...) that is, by employing tools from logic and mathematics. The goal of this entry is to give the reader an overview of the formal tools available to epistemologists for the representation of belief. A particular focus will be the relation between formal representations of qualitative belief and formal representations of quantitative degrees of belief. (shrink)

The EBM+ programme is an attempt to improve the way in which present-day evidence-based medicine (EBM) assesses causal claims: according to EBM+, mechanistic studies should be scrutinised alongside association studies. This paper addresses two worries about EBM+: (i) that it is not feasible in practice, and (ii) that it is too malleable, i.e., its results depend on subjective choices that need to be made in order to implement the procedure. Several responses to these two worries are considered and evaluated. The (...) paper also discusses the question of whether we should have confidence in medical interventions, in the light of Stegenga's arguments for medical nihilism. (shrink)

My dissertation explores the ways in which Rudolf Carnap sought to make philosophy scientific by further developing recent interpretive efforts to explain Carnap’s mature philosophical work as a form of engineering. It does this by looking in detail at his philosophical practice in his most sustained mature project, his work on pure and applied inductive logic. I, first, specify the sort of engineering Carnap is engaged in as involving an engineering design problem and then draw out the complications of design (...) problems from current work in history of engineering and technology studies. I then model Carnap’s practice based on those lessons and uncover ways in which Carnap’s technical work in inductive logic takes some of these lessons on board. This shows ways in which Carnap’s philosophical project subtly changes right through his late work on induction, providing an important corrective to interpretations that ignore the work on inductive logic. Specifically, I show that paying attention to the historical details of Carnap’s attempt to apply his work in inductive logic to decision theory and theoretical statistics in the 1950s and 1960s helps us understand how Carnap develops and rearticulates the philosophical point of the practical/theoretical distinction in his late work, offering thus a new interpretation of Carnap’s technical work within the broader context of philosophy of science and analytical philosophy in general. (shrink)

Handbook of the History of Logic, vol. 10, eds. Dov Gabbay, Stephan Hartmann, and John Woods, forthcoming.

A problem with recent work about the relationship between metaphysics and science, especially in the theorizing of those who identify as “naturalized metaphysicians”, is the spotty, metaphorical characterization of what it means for science to “constrain” metaphysics. The most robust account of scientific constraint on metaphysical theorizing is advanced by James Ladyman and Don Ross in their 2007 book Every Thing Must Go. Ladyman & Ross claim that the only legitimate metaphysical hypotheses are those that unify two previously disparate scientific (...) explanations. I will critique Ladyman & Ross’ account of naturalized metaphysics, and offer an alternative view of naturalized metaphysics as a practice of constructing physically possible models of reality. This account yields a different view of science’s constraint on metaphysics, specifically, that models must be physically possible in order to be of methodological and heuristic use to scientists. (shrink)

The aim of this thesis is to improve our understanding of how to assess and communicate uncertainty in areas of research deeply afflicted by it, the assessment and communication of which are made more fraught still by the studies’ immediate policy implications. The IPCC is my case study throughout the thesis, which consists of three parts. In Part 1, I offer a thorough diagnosis of conceptual problems faced by the IPCC uncertainty framework. The main problem I discuss is the persistent (...) ambiguity surrounding the concepts of ‘confidence’ and ‘likelihood’; I argue that the lack of a conceptually valid interpretation of these concepts compatible with the IPCC uncertainty guide’s recommendations has worrying implications for both the IPCC authors’ treatment of uncertainties and the interpretability of the information provided in the AR5. Finally, I show that an understanding of the reasons behind the IPCC’s decision to include two uncertainty scales can offer insights into the nature of this problem. In Part 2, I review what philosophers have said about model-based robustness analysis. I assess several arguments that have been offered for its epistemic import and relate this discussion to the context of climate model ensembles. I also discuss various measures of independence in the climate literature, and assess the extent to which these measures can help evaluate the epistemic import of model robustness. In Part 3, I explore the notion of the ‘weight of evidence’ typically associated with Keynes. I argue that the Bayesian is bound to struggle with this notion, and draw some lessons from this fact. Finally, I critically assess some recent proposals for a new IPCC uncertainty framework that significantly depart from the current one. (shrink)

Abstract. Richard Feldman’s Uniqueness Thesis holds that “a body of evidence justifies at most one proposition out of a competing set of proposi- tions”. The opposing position, permissivism, allows distinct rational agents to adopt differing attitudes towards a proposition given the same body of evidence. We assess various motivations that have been offered for Uniqueness, including: concerns about achieving consensus, a strong form of evidentialism, worries about epistemically arbitrary influences on belief, a focus on truth-conduciveness, and consequences for peer disagreement. (...) We argue that each of these motivations either misunderstands the commitments of permissivism or is question-begging. Better understanding permissivism makes it a much more plausible position. (shrink)

For many natural scientists, design, conceived as the action of an intelligent agent, is not a fundamental creative force in nature. Rather, material mechanisms, characterized by chance and necessity and ruled by unbroken laws, are thought sufficient to do all nature’s creating. Darwin’s theory epitomizes this rejection of design.

According to the traditional Bayesian view of credence, its structure is that of precise probability, its objects are descriptive propositions about the empirical world, and its dynamics are given by conditionalization. Each of the three essays that make up this thesis deals with a different variation on this traditional picture. The first variation replaces precise probability with sets of probabilities. The resulting imprecise Bayesianism is sometimes motivated on the grounds that our beliefs should not be more precise than the evidence (...) calls for. One known problem for this evidentially motivated imprecise view is that in certain cases, our imprecise credence in a particular proposition will remain the same no matter how much evidence we receive. In the first essay I argue that the problem is much more general than has been appreciated so far, and that it’s difficult to avoid without compromising the initial evidentialist motivation. The second variation replaces descriptive claims with moral claims as the objects of credence. I consider three standard arguments for probabilism with respect to descriptive uncertainty—representation theorem arguments, Dutch book arguments, and accuracy arguments—in order to examine whether such arguments can also be used to establish probabilism with respect to moral uncertainty. In the second essay, I argue that by and large they can, with some caveats. First, I don’t examine whether these arguments can be given sound non-cognitivist readings, and any conclusions therefore only hold conditional on cognitivism. Second, decision-theoretic representation theorems are found to be less convincing in the moral case, because there they implausibly commit us to thinking that intertheoretic comparisons of value are always possible. Third and finally, certain considerations may lead one to think that imprecise probabilism provides a more plausible model of moral epistemology. The third variation considers whether, in addition to conditionalization, agents may also change their minds by becoming aware of propositions they had not previously entertained, and therefore not previously assigned any probability. More specifically, I argue that if we wish to make room for reflective equilibrium in a probabilistic moral epistemology, we must allow for awareness growth. In the third essay, I sketch the outline of such a Bayesian account of reflective equilibrium. Given that this account gives a central place to awareness growth, and that the rationality constraints on belief change by awareness growth are much weaker than those on belief change by conditionalization, it follows that the rationality constraints on the credences of agents who are seeking reflective equilibrium are correspondingly weaker. (shrink)

Es werden vier verbreitete Verwendungsweisen des Wortes ‘Argument’ beschrieben, an Beispielen erläutert und dann schrittweise expliziert. Die wichtigsten Explikata sind: ‘eine Satzfolge x ist ein deskriptives Argument in Standardform’, ‘ein deskriptives Argument x in Standardform ist bei der subjektiven Wahrscheinlichkeitsverteilung p stark (bzw. schwach)’, ‘ein Aussagesatz x ist bei der subjektiven Wahrscheinlichkeitsverteilung p ein Argument für (bzw. gegen) einen Aussagesatz y’, ‘ein geordneter Tripel x von deskriptiven Argumenten in Standardform, von Argumentebenen und von Argumentsträngen ist eine deskriptive Argumenthierarchie in Standardform’, (...) ‘eine deskriptive Argumenthierarchie x in Standardform ist gültig (bzw. ungültig; stichhaltig; konsistent; inkonsistent; sichtlich zirkelhaft; stark (bzw. schwach) bei der subjektiven Wahrscheinlichkeitsverteilung p)’. (shrink)

Logical Probability (LP) is strictly distinguished from Statistical Probability (SP). To measure semantic information or confirm hypotheses, we need to use sampling distribution (conditional SP function) to test or confirm fuzzy truth function (conditional LP function). The Semantic Information Measure (SIM) proposed is compatible with Shannon’s information theory and Fisher’s likelihood method. It can ensure that the less the LP of a predicate is and the larger the true value of the proposition is, the more information there is. So the (...) SIM can be used as Popper's information criterion for falsification or test. The SIM also allows us to optimize the true-value of counterexamples or degrees of disbelief in a hypothesis to get the optimized degree of belief, i. e. Degree of Confirmation (DOC). To explain confirmation, this paper 1) provides the calculation method of the DOC of universal hypotheses; 2) discusses how to resolve Raven Paradox with new DOC and its increment; 3) derives the DOC of rapid HIV tests: DOC of “+” =1-(1-specificity)/sensitivity, which is similar to Likelihood Ratio (=sensitivity/(1-specificity)) but has the upper limit 1; 4) discusses negative DOC for excessive affirmations, wrong hypotheses, or lies; and 5) discusses the DOC of general hypotheses with GPS as example. (shrink)

One of the most important questions in epistemology and the philosophy of science is: what is a good theory and when is a theory better than another theory, given some observational data? The coherentist‟s answer would be the following twofold conjecture: A theory is a good theory given some observational data iff that theory coheres with the observational data and a theory is better than another theory given some observational data iff the first theory coheres more with the observational data (...) than the second theory. In this paper we show that this answer is a good answer. More precisely, we argue that the coherence measures of Olsson and Shogenji are good measures for the purpose of comparing and evaluating theories, i.e. assessing theories. We do so by clarifying the sufficient and necessary conditions every assessment function must satisfy for being a good measure of the goodness of theories. Afterwards we will show that the coherence measures of Olsson and Shogenji are indeed good assessment functions for assessing theories. (shrink)

This essay defends the view that inductive reasoning involves following inductive rules against objections that inductive rules are undesirable because they ignore background knowledge and unnecessary because Bayesianism is not an inductive rule. I propose that inductive rules be understood as sets of functions from data to hypotheses that are intended as solutions to inductive problems. According to this proposal, background knowledge is important in the application of inductive rules and Bayesianism qualifies as an inductive rule. Finally, I consider a (...) Bayesian formulation of inductive skepticism suggested by Lange. I argue that while there is no good Bayesian reason for judging this inductive skeptic irrational, the approach I advocate indicates a straightforward reason not to be an inductive skeptic. (shrink)

How should our beliefs change over time? The standard answer to this question is the Bayesian one. But while the Bayesian account works well with respect to beliefs about the world, it breaks down when applied to self-locating or de se beliefs. In this work I explore ways to extend Bayesianism in order to accommodate de se beliefs. I begin by assessing, and ultimately rejecting, attempts to resolve these issues by appealing to Dutch books and chance-credence principles. I then propose (...) and examine several accounts of the dynamics of de se beliefs. These examinations suggest that an extension of Bayesianism to de se beliefs will require some uncomfortable choices. I conclude by laying out the options available, and assessing the prospects of each. (shrink)

Resumen: La capacidad unificadora de una teoría científica es un rasgo usualmente contemplado a la hora de evaluar su adecuación. Kitcher ha elucidado satisfactoriamente tal noción mediante su enfoque de los patrones explicativos. Sin embargo, su perspectiva adolece de ciertas carencias. Concretamente, sostendremos que el requisito de rigurosidad de los patrones para evaluar la capacidad unificadora debe ser repensado, pues atenta contra la heterogeneidad característica de las diferentes aplicaciones de teorías unificadoras. A su vez, mostraremos cómo estas dificultades bien pueden (...) ser subsanadas desde el marco del estructuralismo metateórico sin por ello resignar ninguna de las acertadas intuiciones de Kitcher. -/- Palabras clave: Explicación, Kitcher, estructuralismo metateórico, unificación, unificación espuria. -/- Abstract: Kitcher has satisfactorily explicated unification using his particular approach to scientific explanation. However, we believe that his perspective has certain problems, which have been inherited by more recent approaches to the topic. Specifically, the requirement of stringency of patterns that Kitcher proposes to determine the unifying power of an explanatory pattern undermines the typical and peculiar heterogeneity we can find in different applications of unifying theories. We will show how this topic can be better addressed by the perspective built by metatheoretical structuralism without sacrificing any of Kitcher’s correct intuitions. -/- Keywords: Explanation, Kitcher, metatheoretical structuralism, spurious unification, unification. (shrink)

The Paradox of the Ravens (a.k.a,, The Paradox of Confirmation) is indeed an old chestnut. A great many things have been written and said about this paradox and its implications for the logic of evidential support. The first part of this paper will provide a brief survey of the early history of the paradox. This will include the original formulation of the paradox and the early responses of Hempel, Goodman, and Quine. The second part of the paper will describe attempts (...) to resolve the paradox within a Bayesian framework, and show how to improve upon them. This part begins with a discussion of how probabilistic methods can help to clarify the statement of the paradox itself. And it describes some of the early responses to probabilistic explications. We then inspect the assumptions employed by traditional (canonical) Bayesian approaches to the paradox. These assumptions may appear to be overly strong. So, drawing on weaker assumptions, we formulate a new-and-improved Bayesian confirmation-theoretic resolution of the Paradox of the Ravens. (shrink)

Una cuestión controvertida en la teoría bayesiana de la confirmación es el estatus de las probabilidades iniciales. Aunque la tendencia dominante entre los bayesianos es considerar que la única constricción legítima sobre los valores de dichas probabilidades es la consistencia formal con los teoremas de la teoría matemática de la probabilidad, otros autores -partidarios de lo que se ha dado en llamar "bayesianismo objetivo"- defienden la conveniencia de restricciones adicionales. Mi propuesta, en el marco del bayesianismo objetivo, recoge una sugerencia (...) de Wesley Salmon. No obstante, mientras que para Salmon las probabilidades iniciales se justifican en tanto incorporan la frecuencia de éxito de las hipótesis del pasado, el factor decisivo en mi opinión es el éxito probabilístico de las hipótesis del pasado. Así, la asignación de una probabilidad inicial a una hipótesis h será correcta si refleja el éxito probabilístico de hipótesis del pasado semejantes a h. En esta línea, propongo una regla para fijar las probabilidades iniciales de las hipótesis, y acabo discutiendo algunas objeciones generales en contra de mi planteamiento. One of the most controversial issues for Bayesian theory of confirmation concerns the status of prior probabilities. Orthodox Bayesianism claims that logical consistency with the theorems of mathematical theory of probability is the only constraint on prior probabilities, while some authors claim for further requirements. I agree with the latter standpoint. My proposal is inspired by Wesley Salmon's frequentist justification of prior probabilities. According to him, prior probabilities are the best assessments of past scientific hypotheses' success. I think that historical information is relevant here, but I propose to focus on a particular sort of success -i.e., "probabilistic success". I claim that a particular prior for h is correct insofar as it reflects the probabilistic success of past scientific hypotheses similar to h. I also suggest a rule to set the priors for contemporary hypotheses. The closing paragraphs are devoted to some general objections against this proposal. (shrink)

The problem adressed in this paper is “the main epistemic problem concerning science”, viz. “the explication of how we compare and evaluate theories [...] in the light of the available evidence” (van Fraassen 1983, 27).

The purpose of this dissertation is to contribute to our understanding of scientific theory pursuit by providing a detailed case study on the development of early quantum theory, from roughly 1900 to 1916. I first elaborate on why this case should be considered an instance of piecemeal pursuit by presenting the historical quantum conjectures that were being used in different contexts. These conjectures gave varied interpretations of quantization. By comparing these conjectures, I identify a general quantum postulate that captures the (...) underlying assumption common to all the cases. I argue that it is possible to consider a general postulate about quantization even when its proper application is ambiguous in a given context, and that the postulate can be separated from different elements of the framework being used to investigate it. I show that the quantum postulate can be deemed promising by analysing the support it gains using a Bayesian framework. I first defend the use of such a framework by considering the purported inconsistencies in Planck's introduction of his quantum conjecture and how we should handle these. I then explicate two cases of support for the postulate. First, I show how we can use a particular solution to the Bayesian problem of old evidence to interpret the support the quantum postulate received by accounting for phenomena that had no previous explanation. Finally, I show that the quantum postulate is also supported by a unification argument, where unification is interpreted as informational relevance between the different domains of inquiry. (shrink)

The idea that a serious threat to scientific realism comes from unconceived alternatives has been proposed by van Fraassen, Sklar, Stanford and Wray among others. Peter Lipton's critique of this threat from underconsideration is examined briefly in terms of its logic and its applicability to the case of space-time and particle physics. The example of space-time and particle physics indicates a generic heuristic for quantitative sciences for constructing potentially serious cases of underdetermination, involving one-parameter family of rivals T_m that work (...) as a team rather than as a single rival against default theory T_0. In important examples this new parameter has a physical meaning and makes a crucial _conceptual_ difference, shrinking the symmetry group and in some case putting gauge freedom, formal indeterminism vs. determinism, the presence of the hole argument, etc., at risk. Methodologies akin to eliminative induction or tempered subjective Bayesianism are more demonstrably reliable than the custom of attending only to "our best theory": they can lead either to a serious rivalry or to improved arguments for the favorite theory. The example of General Relativity vs. massive spin 2 gravity, a recent topic in the physics literature, is discussed. Arguably the General Relativity and philosophy literatures have ignored the most serious rival to General Relativity. (shrink)

A finite data set is consistent with infinitely many alternative theories. Scientific realists recommend that we prefer the simplest one. Anti-realists ask how a fixed simplicity bias could track the truth when the truth might be complex. It is no solution to impose a prior probability distribution biased toward simplicity, for such a distribution merely embodies the bias at issue without explaining its efficacy. In this note, I argue, on the basis of computational learning theory, that a fixed simplicity bias (...) is necessary if inquiry is to converge to the right answer efficiently, whatever the right answer might be. Efficiency is understood in the sense of minimizing the least fixed bound on retractions or errors prior to convergence. (shrink)

Logic and philosophy of science share a long history, though contacts have gone through ups and downs. This paper is a brief survey of some major themes in logical studies of empirical theories, including links to computer science and current studies of rational agency. The survey has no new results: we just try to make some things into common knowledge.

This paper argues for two theses: that degrees of belief are context sensitive; that outright belief is belief to degree 1. The latter thesis is rejected quickly in most discussions of the relationship between credence and belief, but the former thesis undermines the usual reasons for doing so. Furthermore, identifying belief with credence 1 allows nice solutions to a number of problems for the most widely-held view of the relationship between credence and belief, the threshold view. I provide a sketch (...) of a formal framework on which both theses are true. This is a modified Bayesian framework; I argue that despite making credences context-sensitive, the framework lets Bayesians hold on to their signature explanatory successes. The sort of context-sensitivity claimed for credences here mirrors the sort of context-sensitivity I have elsewhere claimed for outright belief: one's credences depend, in part, on the space of alternative possibilities one takes seriously in a context. (shrink)

I will show that, in the Problem of Old Evidence, unless a rational agent has a property I will call theoretical omniscience (a stronger version of logical omniscience), a problem with non-commutativity of the learning theories follows. Therefore, scientists, when trying to behave as close to rationality as possible, should behave in a way close to the counterfactual strategy. The concept of theoretical omniscience will be applied to the problem of Jeffrey conditionalization, as an example, and we will see that (...) a more complete theoretical model can provide a classical conditionalization where you can learn that data was wrong and all you will not unlearn is your memory. (shrink)

Evidence is an objective matter. This is the prevailing view within science, and confirmation theory should aim to capture the objective nature of scientific evidence. Modeling an objective evidence relation in a probabilistic framework faces two challenges: the probabilities must have the right epistemic foundation, and they must be specifiable given the hypotheses and data under consideration. Here I will explore how Sober's approach to confirmation handles these challenges of foundation and specification. In particular, I will argue that the specification (...) problem proves especially difficult, and undermines the law of likelihood as an adequate representation of the objective nature of scientific evidence. (shrink)