In this paper an analysis of Newton’s argument for universal gravitation is provided. In the past, the complexity of the argument has not been fully appreciated. Recent authors like George E. Smith and William L. Harper have done a far better job. Nevertheless, a thorough account of the argument is still lacking. Both authors seem to stress the importance of only one methodological component. Smith stresses the procedure of approximative deductions backed-up by the laws of motion. Harper stresses “systematic dependencies” (...) between theoretical parameters and phenomena. I will argue that Newton used a variety of different inferential strategies: causal parsimony considerations, deductions, demonstrative inductions, abductions and thought-experiments. Each of these strategies is part of Newton’s famous argument. (shrink)

I propose an approach to naturalized philosophy of science that takes the social nature of scientific practice seriously. I criticize several prominent naturalistic approaches for adopting "cognitive individualism", which limits the study of science to an examination of the internal psychological mechanisms of scientists. I argue that this limits the explanatory capacity of these approaches. I then propose a three-level model of the social nature of scientific practice, and use the model to defend the claim that scientific knowledge is socially (...) produced. (shrink)

The role that need plays in dealing with problems of distributive justice is examined in a series of vignette studies. Among other things, it becomes clear that impartial observers make gradual assessments of justice that depend on the extent to which the observed individuals are endowed with a good. If it is known how high their need for that good is, the assessments are made relative to this reference point. In addition, impartial decision-makers make hypothetical distribution decisions that take into (...) account need, productivity, and accountability. The need of individuals is partially compensated even if they have contributed less to the available amount than they themselves require. However, the willingness to do so decreases if they are accountable for needing more than others or for having contributed less than others. Lastly, both impartial observers and impartial decision-makers distinguish between different types of needs, the fulfillment of which is given different levels of importance. (shrink)

Herbert Simon’s work on scientific discovery deserves serious attention by philosophers of science for several reasons. First, Simon was an early advocate of rational scientific discovery, contra Popper and logical empiricist philosophers of science (Simon 1966). This proposal spurred on investigation of scientific discovery in philosophy of science, as philosophers used and developed Simon’s notions of “problem solving” and “heuristics” in attempts to provide rational accounts of scientific discovery (See Nickles 1980a, Wimsatt 1980). Second, Simon promoted and developed many of (...) the crucial techniques and methods used in cognitive science. One is the use of computers to model internal psychological processes, a technique central to his account of scientific discovery. Another is protocol analysis, the use of the verbal reports of experimental subjects in psychology to construct accounts of their psychological processes. Protocol analysis is given a detailed formulation by Simon (Simon and Ericsson 1984), and is modified for use in the study of scientific cognition in the paper on Krebs (Kulkarni and Simon 1988). (shrink)

This essay presents a unified account of safety, sensitivity, and severe testing. S’s belief is safe iff, roughly, S could not easily have falsely believed p, and S’s belief is sensitive iff were p false S would not believe p. These two conditions are typically viewed as rivals but, we argue, they instead play symbiotic roles. Safety and sensitivity are both valuable epistemic conditions, and the relevant alternatives framework provides the scaffolding for their mutually supportive roles. The relevant alternatives condition (...) holds that a belief is warranted only if the evidence rules out relevant error possibilities. The safety condition helps categorise relevant from irrelevant possibilities. The sensitivity condition captures ‘ruling out’. Safety, sensitivity, and the relevant alternatives condition are typically presented as conditions on warranted belief or knowledge. But these properties, once generalised, help characterise other epistemic phenomena, including warranted inference, legal verdicts, scientific claims, reaching conclusions, addressing questions, warranted assertion, and the epistemic force of corroborating evidence. We introduce and explain Mayo’s severe testing account of statistical inference. A hypothesis is severely tested to the extent it passes tests that probably would have found errors, were they present. We argue Mayo’s account is fruitfully understood using the resulting relevant alternatives framework. Recasting Mayo’s condition using the conceptual framework of contemporary epistemology helps forge fruitful connections between two research areas—philosophy of statistics and the analysis of knowledge—not currently in sufficient dialogue. The resulting union benefits both research areas. (shrink)

This paper aims to draw attention to an important but underappreciated aspect of the instrumental value of freedom: its diagnostic value. This is the value freedom has insofar as it makes it possible for us to discover ourselves and improve ourselves in our capacity to make value judgements. Diagnostic value, I argue, has an important role to play in explaining the value we attach to freedom. Accordingly, this paper is aimed at elucidating this concept, examining its relevance to our lives, (...) and defending an account of how to measure the diagnostic value of opportunities and sets of opportunities. (shrink)

This paper aims to explain why the laws of nature are held fixed in counterfactual reasoning. I begin by highlighting three salient features of counterfactual reasoning: it is conservative, nomically guided, and it uses hindsight. I then present a rationale for our engagement in counterfactual reasoning that aims to make sense of these features. In particular, I argue that counterfactual reasoning helps us evaluate the evidential relations between unanticipated pieces of evidence and various hypotheses of interest about the history of (...) the actual world. Given this goal, it makes a great deal of sense that counterfactual reasoning would have the aforementioned features. Additionally, it turns out that this account of counterfactual reasoning is nicely congruent with Humean views of laws. Specifically, it can explain, in a Humean-friendly way, both why the laws are counterfactually resilient, and why we may be inclined to have anti-Humean intuitions in the first place, even if some form of Humeanism is correct. (shrink)

Peter Brössel and Franz Huber in 2015 argued that the Bayesian concept of confirmation had no use. I will argue that it has both the uses they discussed—it can be used for making claims about how worthy of belief various hypotheses are, and it can be used to measure the epistemic value of experiments. Furthermore, it can be useful in explanations. More generally, I will argue that more coarse-grained concepts can be useful, even when we have more fine-grained concepts available.

Experimental philosophers have discovered a large number of asymmetries in our intuitions about philosophically significant notions. Often those intuitions turned out to be sensitive to normative factors. Whereas optimists have insisted on a unified explanation of these findings, pessimists have argued that it is impossible to formulate a single factor explanation. I defend the intermediate position according to which unification is possible to some extent, but should be pursued within limits. The key issue that I address is how it is (...) possible to set such limits in a way that is true to the phenomena. (shrink)

The paper discusses Bayesian convergence when the truth is excluded from the analysis by means of a simple coin-tossing example. In the fair-balance paradox a fair coin is tossed repeatedly. A Bayesian agent, however, holds the a priori view that the coin is either biased towards heads or towards tails. As a result the truth is ignored by the agent. In this scenario the Bayesian approach tends to confirm a false model as the data size goes to infinity. I argue (...) that the fair-balance paradox reveals an unattractive feature of the Bayesian approach to scientific inference and explore a modification of the paradox. (shrink)

The concepts of coherence and confirmation are closely intertwined: according to a prominent proposal coherence is nothing but mutual confirmation. Accordingly, it should come as no surprise that both are confronted with similar problems. As regards Bayesian confirmation measures these are illustrated by the problem of tacking by conjunction. On the other hand, Bayesian coherence measures face the problem of belief individuation. In this paper we want to outline the benefit of an approach to coherence and confirmation based on content (...) elements. It will be shown that the resulting concepts, called genuine coherence and genuine confirmation, can be used in order to solve the two mentioned problems. In a final section we present some results on degrees of genuine coherence and genuine confirmation. (shrink)

Scientific and statistical inferences build heavily on explicit, parametric models, and often with good reasons. However, the limited scope of parametric models and the increasing complexity of the studied systems in modern science raise the risk of model misspecification. Therefore, I examine alternative, data-based inference techniques, such as bootstrap resampling. I argue that their neglect in the philosophical literature is unjustified: they suit some contexts of inquiry much better and use a more direct approach to scientific inference. Moreover, they make (...) more parsimonious assumptions and often replace theoretical understanding and knowledge about mechanisms by careful experimental design. Thus, it is worthwhile to study in detail how nonparametric models serve as inferential engines in science. (shrink)

The waning popularity of logical empiricism and the supposed discovery of insurmountable technical difficulties led most philosophers to abandon the project to formulate a formal criterion of empirical significance. Such a criterion would delineate claims that observation can confirm or disconfirm from those it cannot. Although early criteria were clearly inadequate, criticisms made of later, more sophisticated criteria were often indefensible or easily answered. Most importantly, Carnap’s last criterion was seriously misinterpreted and an amended version of it remains tenable.

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)

External world skeptics are typically opposed to admitting as evidence anything that goes beyond the purely phenomenal, and equally typically, they disown the use of rules of inference that might enable one to move from premises about the phenomenal alone to a conclusion about the external world. This seems to bar any a posteriori resolution of the skepticism debate. This paper argues that the situation is not quite so hopeless, and that an a posteriori resolution of the debate becomes possible (...) once it is recognized that the skeptic holds overly defensive and ill-motivated positions vis-à-vis both evidence and inference, and that more reasonable ones are available. In stating these more reasonable positions, as well as in showing how they make possible an a posteriori resolution of the skepticism debate, the paper draws on the machinery of Bayesian epistemology. (shrink)

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)

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)

Explaining the connection, if any, between simplicity and truth is among the deepest problems facing the philosophy of science, statistics, and machine learning. Say that an efficient truth finding method minimizes worst case costs en route to converging to the true answer to a theory choice problem. Let the costs considered include the number of times a false answer is selected, the number of times opinion is reversed, and the times at which the reversals occur. It is demonstrated that (1) (...) always choosing the simplest theory compatible with experience, and (2) hanging onto it while it remains simplest, is both necessary and sufficient for efficiency. †To contact the author, please write to: Department of Philosophy, Carnegie Mellon University, Baker Hall 135, Pittsburgh, PA 15213-3890; e-mail: [email protected]. (shrink)

It is argued that a subject's evidence consists of all and only the propositions that the subject knows.

This survey of major developments in North American philosophy of science begins with the mid-1960s consolidation of the disciplinary synthesis of internalist history and philosophy of science (HPS) as a response to criticisms of logical empiricism. These developments are grouped for discussion under the following headings: historical metamethodologies, scientific realisms, philosophies of the special sciences, revivals of empiricism, cognitivist naturalisms, social epistemologies, feminist theories of science, studies of experiment and the disunity of science, and studies of science as practice and (...) culture. A unifying theme of the survey is the relation between historical metamethodologists and scientific realists, which dominated philosophical work in the late 1970s. I argue that many of the alternative cognitive naturalisms, social epistemologies, and feminist theories that have been proposed can be understood as analogues to the differences between metamethodological theories of scientific rationality and realist accounts of successful reference to real causal processes. Recent work on experiment, scientific practice, and the culture of science may, however, challenge the underlying conception of the field according to which realism and historical rationalism (or their descendants) are the important alternatives available, and thus may take philosophy of science in new directions. (shrink)

On analogy with testimony, I define a notion of a scientific theory’s lacking or having candor, in a testing situation, according to whether the theory under test is probabilistically relevant to the processes in the test procedures, and thereby to the reliability of test outcomes. I argue that this property identifies what is distinctive about those theories that Karl Popper denounced as exhibiting “reinforced dogmatism” through their self-protective behavior (e.g., psychoanalysis, Hegelianism, Marxism). I explore whether lack of candor interferes with (...) the testing of theories, and conclude that (1) our default attitude toward theories that lack candor in a given test should be suspicion, but (2) the circumstance that a theory lacks candor in a testing situation does not preclude obtaining independent evidence for the auxiliary assumptions to which the theory is probabilistically relevant, and thereby eliminating the problem that lack of candor creates. Thus, Popper was right to think that lack of candor is a bad thing, but wrong to conclude that candor is a criterion of the scientificity of a theory. Seeing this requires recognition of some differences between intuitive relevance and probabilistic relevance, and proper appreciation of the notion of screening off and of the fact that probabilistic relevance is not transitive. (shrink)

Van Fraassen argues that explanatory power cannot be a conformational virtue. In this paper I will show that informational features of scientific theories can be positively relevant to their levels of conformation. Thus, in the cases where the explanatory power of a theory is tied to an informational feature of the theory, it can still be the case that the explanatory power of the theory is positively relevant to its level of confirmation.

An a priori thesis about evidence, defended by many, states that the only empirical fact that can affect the truth of an objective evidence claim of the form ‘e is evidence for h’ (or ‘e confirms h to degree r’) is the truth of e; all other considerations are a priori. By examining cases involving evidential flaws, I challange this claim and defend an empirical concept of evidence. In accordance with such a concept, whether, and the extent to which, e, (...) if true, confirms h is an empirical, not a priori, fact. (shrink)

In an earlier article on this journal I argued that the problem of empirical underdetermination can for the largest part be solved by theoretical virtues, and for the remaining part it can be tolerated. Here I confront two further challenges to scientific realism based on underdetermination. First, there are four classes of theories which may seem to be underdetermined even by theoretical virtues. Concerning them I argue that (i) theories produced by trivial permutations and (ii) “equivalent descriptions” are compatible with (...) the truth of standard theories; instead (iii) “as if” versions of standard theories are much worse from the point of view of theoretical virtues; finally (iv) mathematically intertranslatable theories either may become empirically decidable in the future, or can be discriminated by theoretical virtues, or realists may simply plead ignorance about their claims. Secondly, I consider Stanford’s underdetermination with respect unconceived alternatives, arguing that it essentially relies on the pessimistic meta-induction from the falsity of all past theories. Therefore, it can be resisted by (a) considering the radical advancement of present with respect to past science, and (b) arguing with selective realism that past successful theories, even if false, always included some true components. (shrink)

I discuss several issues related to "classical" spacetime structure. I review Galilean, Newtonian, and Leibnizian spacetimes, and briefly describe more recent developments. The target audience is undergraduates and early graduate students in philosophy; the presentation avoids mathematical formalism as much as possible.

Tacking by conjunction is a deep problem for Bayesian confirmation theory. It is based on the insight that to each hypothesis h that is confirmed by a piece of evidence e one can ‘tack’ an irrelevant hypothesis h′ so that h∧h′ is also confirmed by e. This seems counter-intuitive. Existing Bayesian solution proposals try to soften the negative impact of this result by showing that although h∧h′ is confirmed by e, it is so only to a lower degree. In this (...) article we outline some problems of these proposals and develop an alternative solution based on a new concept of confirmation that we call genuine confirmation. After pointing out that genuine confirmation is a necessary condition for cumulative confirmation we apply this notion to the tacking by conjunction problem. We consider both the question of what happens when irrelevant hypotheses are added to a hypothesis h that is confirmed by e as well as the question of what happens when h is disconfirmed. The upshot of our discussion will be that genuine confirmation provides a robust solution for each of the different perspectives. _1_ Introduction _2_ Tacking by Conjunction: Existing Solution Proposals _3_ Genuine Confirmation _3.1_ Content elements and content parts _3.2_ Qualitative genuine confirmation _3.3_ Quantitative genuine confirmation _4_ Tacking by Conjunction: The Case of Confirmation _5_ Tacking by Conjunction: The Case of Disconfirmation _6_ Tacking by Conjunction: Adding Multiple Hypotheses _7_ Conclusion Appendix. (shrink)

We present a Bayesian analysis of the epistemology of analogue experiments with particular reference to Hawking radiation. Provided such experiments can be externally validated via universality arguments, we prove that they are confirmatory in Bayesian terms. We then provide a formal model for the scaling behaviour of the confirmation measure for multiple distinct realisations of the analogue system and isolate a generic saturation feature. Finally, we demonstrate that different potential analogue realisations could provide different levels of confirmation. Our results thus (...) provide a basis both to formalise the epistemic value of analogue experiments that have been conducted and to advise scientists as to the respective epistemic value of future analogue experiments. (shrink)

The Problem of Old Evidence is a perennial issue for Bayesian confirmation theory. Garber famously argues that the problem can be solved by conditionalizing on the proposition that a hypothesis deductively implies the existence of the old evidence. In recent work, Hartmann and Fitelson :712–717, 2015) and Sprenger :383–401, 2015) aim for similar, but more general, solutions to the Problem of Old Evidence. These solutions are more general because they allow the explanatory relationship between a new hypothesis and old evidence (...) to be inductive, rather than deductive. In this paper, I argue that these solutions are either unsound or under-motivated, depending on the case of inductive explanation that we have in mind. This lends support to the broader claim that Garber–Style Bayesian confirmation cannot capture the sense in which new hypotheses that do not deductively imply old evidence nevertheless seem to be confirmed via old evidence. (shrink)

I argue that a criterion of theoretical equivalence due to Glymour :227–251, 1977) does not capture an important sense in which two theories may be equivalent. I then motivate and state an alternative criterion that does capture the sense of equivalence I have in mind. The principal claim of the paper is that relative to this second criterion, the answer to the question posed in the title is “yes”, at least on one natural understanding of Newtonian gravitation.

It is argued that the relation of instance confirmation has a role to play in scientific methodology that complements, rather than competing with, a modern account of inductive support such as Bayesian confirmation theory. When an instance confirms a hypothesis, it provides inductive support, but it also provides two things that other inductive supporters normally do not: first, a connection to “empirical data” that makes science epistemically special, and second, inductive support not only for the hypothesis as a whole, but (...) for its parts. Further, when it is conceived in the right way, instance confirmation can duck the arguments most often thought to refute it. A causal account of instantiation, thus of instance confirmation, is offered that looks to deliver on all of the foregoing promises. (shrink)

The use of the material theory of induction to vindicate a scientist's claims of evidential warrant is illustrated with the cases of Einstein's thermodynamic argument for light quanta of 1905 and his recovery of the anomalous motion of Mercury from general relativity in 1915. In a survey of other accounts of inductive inference applied to these examples, I show that, if it is to succeed, each account must presume the same material facts as the material theory and, in addition, some (...) general principle of inductive inference not invoked by the material theory. Hence these principles are superfluous and the material theory superior in being more parsimonious. (shrink)

The thesis consists of an introduction and five papers. The introduction gives a brief historical survey of empirical investigations into the effectiveness of medicinal interventions, as well as surveys of the concept of evidence and of the history and philosophy of experiments. The main ideas of the EBM movement are also presented. Paper I: Concerns have been raised that clinical trials do not offer reliable evidence for some types of treatment, in particular for highly individualised treatments, for example traditional homeopathy. (...) With respect to individualised treatments, it is argued that such concerns are unfounded. There are two minimal conditions related to the nature of the treatments that must be fulfilled for evaluability in a clinical trial, namely the proper distinction of treatment groups and the elimination of confounding variables or variations. These conditions do not preclude the testing of individualised medicine. Paper II: Traditionally, mechanistic reasoning has been assigned a negligible role in the EBM literature. When discussed, mechanistic reasoning has almost exclusively been positive – both in an epistemic sense of claiming that there is a mechanistic chain and in a health-related sense of there being claimed benefits for the patient. Negative mechanistic reasoning has been neglected. I distinguish three main types of negative mechanistic reasoning and subsume them under a new definition. One of the three distinguished types, which is negative only in the health-related sense, has a corresponding positive counterpart, whereas the other two, which are epistemically negative, do not have such counterparts, at least not that are particularly interesting as evidence. Accounting for negative mechanistic reasoning in EBM is therefore partly different from accounting for positive mechanistic reasoning. Paper III: Evidence hierarchies are lists of investigative strategies ordered with regard to the claimed strength of evidence. They have been used for a couple of decades within EBM, particularly for the assessment of evidence for treatment recommendations, but they remain controversial. An under-investigated question is what the order in the hierarchy means. Four interpretations of the order are distinguished and discussed. The two most credible ones are, in rough terms, “typically stronger” and “ideally stronger”. The GRADE framework seems to be based on the “typically stronger” reading. Even if the interpretation of an evidence hierarchy were established, hierarchies appear to be rather unhelpful for the task of evidence aggregation. However, specifying the intended order relation may help sort out disagreements. Paper IV: There are three main arguments for randomisation that connect inseparably to theoretical concepts: Randomisation is useful for performing null hypothesis testing. Randomisation is needed for plausible causal inferences from treatment to effect. Randomisation is acceptable and computationally convenient in a Bayesian setting. A critical scrutiny of these arguments shows that is acceptable in the context of clinical trials. As for, it is argued that randomisation only provides weak reasons for drawing causal inferences in the context of real clinical trials. Argument is weak because it is controversial among Bayesians, and because formally Bayesian analyses of trial results are rarely asked for. Paper V: Practical arguments for randomisation are arguments with no necessary connections to theoretical frameworks like null hypothesis testing or causal inferences. Four common practical arguments in the context of clinical trials are distinguished and assessed: Randomisation contributes to allocation concealment. Randomisation contributes to the baseline balance of treatment groups. Randomisation decreases self-selection bias. Randomisation removes allocation bias. Argument is rejected. Arguments and are approved. Argument is rejected if it is formulated so as to be independent from and, but it is true that randomisation contributes to balance through the mechanisms mentioned in and. It is judged that may be the strongest single argument. (shrink)

Bayesians since Savage (1972) have appealed to asymptotic results to counter charges of excessive subjectivity. Their claim is that objectionable differences in prior probability judgments will vanish as agents learn from evidence, and individual agents will converge to the truth. Glymour (1980), Earman (1992) and others have voiced the complaint that the theorems used to support these claims tell us, not how probabilities updated on evidence will actually}behave in the limit, but merely how Bayesian agents believe they will behave, suggesting (...) that the theorems are too weak to underwrite notions of scientific objectivity and intersubjective agreement. I investigate, in a very general framework, the conditions under which updated probabilities actually converge to a settled opinion and the conditions under which the updated probabilities of two agents actually converge to the same settled opinion. I call this mode of convergence deterministic, and derive results that extend those found in Huttegger (2015b). The results here lead to a simple characterization of deterministic convergence for Bayesian learners and give rise to an interesting argument for what I call strong regularity, the view that probabilities of non-empty events should be bounded away from zero. (shrink)

Anti-exceptionalism about logic takes logical theories to be continuous with scientific theories. Scientific theories are subject to criteria of theoretical equivalence. This article compares two types of theoretical equivalence – one syntactic and one semantic – in the context of logical anti-exceptionalism, and argues that the syntactic approach leads to undesirable consequences. The anti-exceptionalist should therefore take a semantic approach when evaluating whether logical theories, understood as scientific theories, are equivalent. This article argues for a particular semantic approach, in terms (...) of categorical equivalence, to determine whether logical theories are equivalent. (shrink)

This paper surveys and critically assesses existing theories of evidence with respect to four desiderata. A good theory of evidence should be both a theory of evidential support (i.e., be informative about what kinds of facts speak in favour of a hypothesis), and of warrant (i.e., be informative about how strongly a given set of facts speaks in favour of the hypothesis), it should apply to the non-ideal cases in which scientists typically find themselves, and it should be ‘descriptively adequate’, (...) i.e., able to adequately represent typical episodes of evidentiary reasoning. The theories surveyed here—Bayesianism, hypotheticodeductivism,satisfaction theories, error statistics as well as Achinstein’s and Cartwright’s theories—are all found wanting in important respects. I finally argue that a deficiency all these theories have in common is a neglect or underplaying of the epistemic context in which the episode of evidentiary reasoning takes place.Este artículo describe y valora críticamente diversas teorías de la evidencia en relación a cuatro desiderata. Una buena teoría de la evidencia debería ser tanto una teoría sobre el apoyo evidencial [evidential support] (ser informativa sobre qué tipos de hechos hablan a favor de la hipótesis) como sobre la justificación [warrant]; debería aplicarse en las situaciones no ideales en las que normalmente se encuentran los científicos; y debería ser ‘descriptivamente adecuada’, esto es, capaz de representar correctamente episodios típicos de razonamiento evidencial. Las teorías aquí revisadas—bayesianismo, hipotético-deductivismo, teorías de la satisfacibilidad, la estadística del error, así como las propuestas de Achinstein y Cartwright—se consideran deficientes en aspectos básicos. Argumentaré que un defecto común en todas ellas es que olvidan, o minusvaloran, el contexto epistémico en el que el episodio de razonamiento evidencial tiene lugar. (shrink)

This paper takes part in the methodological debate concerning the nature and the justification of hypotheses about computational systems in software engineering by providing an epistemological analysis of Software Testing, the practice of observing the programs’ executions to examine whether they fulfil software requirements. Property specifications articulating such requirements are shown to involve falsifiable hypotheses about software systems that are evaluated by means of tests which are likely to falsify those hypotheses. Software Reliability metrics, used to measure the growth of (...) probability that given failures will occur at specified times as new executions are observed, is shown to involve a Bayesian confirmation of falsifiable hypotheses on programs. Coverage criteria, used to select those input values with which the system under test is to be launched, are understood as theory-laden principles guiding software tests, here compared to scientific experiments. Redundant computations, fault seeding models and formal methods used in software engineering to evaluate test results are taken to be instantiations of some epistemological strategies used in scientific experiments to distinguish between valid and non-valid experimental outcomes. The final part of the paper explores the problem, advanced in the context of the philosophy of technology, of defining the epistemological status of software engineering by conceiving it as a scientifically attested technology. (shrink)

Many conditionals seem to convey the existence of a link between their antecedent and consequent. We draw on a recently proposed typology of conditionals to argue for an old philosophical idea according to which the link is inferential in nature. We show that the proposal has explanatory force by presenting empirical results on the evidential meaning of certain English and Dutch modal expressions.

It is well known that the process of scientific inquiry, according to Peirce, is drivenby three types of inference, namely abduction, deduction, and induction. What isbehind these labels is, however, not so clear. In particular, the common identificationof abduction with Inference to the Best Explanation (IBE) begs the question,since IBE appears to be covered by Peirce's concept of induction, not that of abduction.Consequently, abduction ought to be distinguished from IBE, at least on Peirce's account. The main aim of the paper, (...) however, is to show that this distinction is most relevant with respect to current problems in philosophy of science and epistemology (like attempts to supply suitable notions of realism and truth as well as related concepts like coherence and unification). In particular, I also try to show that (and in what way) Peirce's inferential triad can function as a method that ensures both coherence and correspondence. It is in this respect that his careful distinction between abduction and induction (or IBE) ought to be heeded. (shrink)

Criteria of empirical significance are supposed to state conditions under which reference to an unobservable object or property is “empirically meaningful.” The intended kind of empirical meaningfulness should be necessary for admissibility into the selective contexts of scientific inquiry. I defend Justus’s recent argument that the reasons generally given for rejecting the project of defining a significance criterion are unpersuasive. However, as I show, this project remains wedded to an overly narrow conception of its subject matter. Even the most cutting (...) edge significance criteria identify empirical significance with predictive power, and thereby rule out vocabulary with legitimate scientific functions. In a nutshell, the problem is that there are terms that reduce the computational burden of extracting predictions from theory, and that may therefore be scientifically useful, but that do not add to the theory’s observational consequences, and so are ruled scientifically inadmissibility by existing significance criteria. I spell out this objection by specifying shortcut terms that are ruled inadmissible by Creath’s and Schurz’s criteria. Having objected in this way to extant criteria, and to the equation of empirical significance with predictive power in general, I discuss an approach to defining empirical significance that is capable of avoiding my objection and, more ambitiously, that may break the cycle of “punctures and patches” that has plagued the project from the beginning. I gloss Goldfarb and Ricketts’s idea of “case-by-case” delineations of empirically significant terms as the provision of special rather than general explications of the informal concept of empirical significance. (shrink)

This is a brief, personal retrospective on developments in the treatment of scientific discovery by philosophers, since about 1970.

For any normative domain, we can theorize about what is good in that domain. Such theories include utilitarianism, a view about what is good morally. But there are many domains other than the moral; these include the prudential, the aesthetic, and the intellectual or epistemic. In this last domain, it is good to be knowledgeable and bad to ignore evidence, quite apart from the morality, prudence, and aesthetics of these things. This dissertation builds a theory that stands to the epistemic (...) domain as utilitarianism stands to the moral domain. It builds an epistemic value theory. (shrink)

We use recently developed approaches in argumentation theory in order to revamp the hypothetico-deductive model of confirmation, thus alleviating the well-known paradoxes the H-D account faces. More specifically, we introduce the concept of dialectic confirmation on the background of the so-called theory of dialectical structures (Betz 2010, 2012b). Dialectic confirmation generalises hypothetico-deductive confirmation and mitigates the raven paradox, the grue paradox, the tacking paradox, the paradox from conceptual difference, and the problem of surprising evidence.

I defend a realist commitment to the truth of our most empirically successful current scientific theories—on the ground that it provides the best explanation of their success and the success of their falsified predecessors. I argue that this Best Current Theory Realism (BCTR) is superior to preservative realism (PR) and the structural realism (SR). I show that PR and SR rest on the implausible assumption that the success of outdated theories requires the realist to hold that these theories possessed truthful (...) components. PR is undone by the fact that past theories succeeded even though their ontological claims about unobservables are false. SR backpeddles to argue that the realist is only committed to the truth about the structure of relations implied by the outdated theory, in order to explain its success. I argue that the structural component of theories is too bare-bones thin to explain the predictive/explanatory success of outdated theories. I conclude that BCTR can meet these objections to PR and SR, and also overcome the pessimistic meta-induction. (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)

I review the philosophical literature on the question of when two physical theories are equivalent. This includes a discussion of empirical equivalence, which is often taken to be necessary, and sometimes taken to be sufficient, for theoretical equivalence; and "interpretational" equivalence, which is the idea that two theories are equivalent just in case they have the same interpretation. It also includes a discussion of several formal notions of equivalence that have been considered in the recent philosophical literature, including definitional equivalence (...) and categorical equivalence. The article concludes with a brief discussion of the relationship between equivalence and duality. (shrink)