This paper defends reductionism about testimonial justification of beliefs against two influential arguments. One is the empirical argument to the effect that the reductionist justification of our trust in testimony is either circular since it relies on testimonial evidence or else there is scarce evidence in support of our trust in testimony. The other is the transcendental argument to the effect that trust in testimony is a prerequisite for the very existence of testimonial evidence since without the presumption of people’s (...) truthfulness we cannot interpret their utterances as testimony with propositional contents. This paper contends that the epistemic subject can interpret utterances as testimony with propositional contents without presupposing the credibility of testimony, and that evidence available to the normal epistemic subject can justify her trust in testimony. (shrink)

Reichenbach's Philosophy of Space and Time (1928) avoids most of the logical positivist pitfalls it is generally held to exemplify, notably both conventionalism and verificationism. To see why, we must appreciate that Reichenbach's interest lies in how mathematical structures can be used to describe reality, not in how words like 'distance' acquire meaning. Examination of his proposed "coordinative definition" of congruence shows that Reichenbach advocates a reductionist analysis of the relations figuring in physical geometry (contrary to common readings that attribute (...) to him a holistic conventionalism), while embracing a thoroughly holistic understanding of empirical confirmation (contrary to rival operationalist readings). (shrink)

Amalgamating evidence of different kinds for the same hypothesis into an overall confirmation is analogous, I argue, to amalgamating individuals’ preferences into a group preference. The latter faces well-known impossibility theorems, most famously “Arrow’s Theorem”. Once the analogy between amalgamating evidence and amalgamating preferences is tight, it is obvious that amalgamating evidence might face a theorem similar to Arrow’s. I prove that this is so, and end by discussing the plausibility of the axioms required for the theorem.

I am grateful to Peter Achinstein, Don Howard, and the other participants at the conference, 'The Role of Experiments in Scientific Changer', Virginia Polytechnic Institute and State University, 30 March to 1 April, 1990, for helpful discussion, and especially to Ron Laymon for his discussion comments presented at the conference on an earlier version of this paper.

Investigating random homicides involves constructing models of an odd sort. While the differences between these models and scientific models are radical, calling them models is justified both by functional and structural similarities. Serial homicide investigations illustrate the marked difference between theoretical models in science and the models applied in these criminal investigations. This is further illustrated by considering Glymourian bootstrapping in attempts to solve such homicides. The solutions that result differ radically from explanations in science that are confirmed or disconfirmed (...) by occurrences. Unlike the scientist, the flatfoot gumshoe is also barefoot: he is bereft of a general, determinative theoretical frame. This result shows that criminal investigations do not apply science in the Galilean sense. (shrink)

A formal theory of quantity T Q is presented which is realist, Platonist, and syntactically second-order (while logically elementary), in contrast with the existing formal theories of quantity developed within the theory of measurement, which are empiricist, nominalist, and syntactically first-order (while logically non-elementary). T Q is shown to be formally and empirically adequate as a theory of quantity, and is argued to be scientifically superior to the existing first-order theories of quantity in that it does not depend upon empirically (...) unsupported assumptions concerning existence of physical objects (e.g. that any two actual objects have an actual sum). The theory T Q supports and illustrates a form of naturalistic Platonism, for which claims concerning the existence and properties of universals form part of natural science, and the distinction between accidental generalizations and laws of nature has a basis in the second-order structure of the world. (shrink)

This paper is an attempt to extend the meaning of the concept of indeterminacy for the human sciences. The authors do this by coining the term methodological indeterminacy and arguing that indeterminacy is better understood when linked to specific methodological techniques. Paradoxically, while specific research techniques demonstrate that the issue of indeterminacy is complex, yielding the possibility of types and degrees, it does not eliminate the problem of translation first raised by Quine. However, the authors go on to argue that, (...) from a research perspective, indeterminacy can and must be approached in such a way that it is possible to reduce cases of it, even though never completely eliminating it in the human sciences. (shrink)

Despite the widespread use of key concepts of the Neyman–Pearson (N–P) statistical paradigm—type I and II errors, significance levels, power, confidence levels—they have been the subject of philosophical controversy and debate for over 60 years. Both current and long-standing problems of N–P tests stem from unclarity and confusion, even among N–P adherents, as to how a test's (pre-data) error probabilities are to be used for (post-data) inductive inference as opposed to inductive behavior. We argue that the relevance of error probabilities (...) is to ensure that only statistical hypotheses that have passed severe or probative tests are inferred from the data. The severity criterion supplies a meta-statistical principle for evaluating proposed statistical inferences, avoiding classic fallacies from tests that are overly sensitive, as well as those not sensitive enough to particular errors and discrepancies. Introduction and overview 1.1 Behavioristic and inferential rationales for Neyman–Pearson (N–P) tests 1.2 Severity rationale: induction as severe testing 1.3 Severity as a meta-statistical concept: three required restrictions on the N–P paradigm Error statistical tests from the severity perspective 2.1 N–P test T(): type I, II error probabilities and power 2.2 Specifying test T() using p-values Neyman's post-data use of power 3.1 Neyman: does failure to reject H warrant confirming H? Severe testing as a basic concept for an adequate post-data inference 4.1 The severity interpretation of acceptance (SIA) for test T() 4.2 The fallacy of acceptance (i.e., an insignificant difference): Ms Rosy 4.3 Severity and power Fallacy of rejection: statistical vs. substantive significance 5.1 Taking a rejection of H0 as evidence for a substantive claim or theory 5.2 A statistically significant difference from H0 may fail to indicate a substantively important magnitude 5.3 Principle for the severity interpretation of a rejection (SIR) 5.4 Comparing significant results with different sample sizes in T(): large n problem 5.5 General testing rules for T(), using the severe testing concept The severe testing concept and confidence intervals 6.1 Dualities between one and two-sided intervals and tests 6.2 Avoiding shortcomings of confidence intervals Beyond the N–P paradigm: pure significance, and misspecification tests Concluding comments: have we shown severity to be a basic concept in a N–P philosophy of induction? (shrink)

Karl Popper is famous for having proposed that science advances by a process of conjecture and refutation. He is also famous for defending the open society against what he saw as its arch enemies – Plato and Marx. Popper’s contributions to thought are of profound importance, but they are not the last word on the subject. They need to be improved. My concern in this book is to spell out what is of greatest importance in Popper’s work, what its failings (...) are, how it needs to be improved to overcome these failings, and what implications emerge as a result. The book consists of a collection of essays which dramatically develop Karl Popper’s views about natural and social science, and how we should go about trying to solve social problems. Criticism of Popper’s falsificationist philosophy of natural science leads to a conception of science that I call aim-oriented empiricism. This makes explicit metaphysical theses concerning the comprehensibility and knowability of the universe that are an implicit part of scientific knowledge – implicit in the way science excludes all theories that are not explanatory, even those that are more successful empirically than accepted theories. Aim-oriented empiricism has major implications, not just for the academic discipline of philosophy of science, but for science itself. Popper generalized his philosophy of science of falsificationism to arrive at a new conception of rationality – critical rationalism – the key methodological idea of Popper’s profound critical exploration of political and social issues in his The Open Society and Its Enemies, and The Poverty of Historicism. This path of Popper, from scientific method to rationality and social and political issues is followed here, but the starting point is aim-oriented empiricism rather than falsificationism. Aim-oriented empiricism is generalized to form a conception of rationality I call aim-oriented rationalism. This has far-reaching implications for political and social issues, for the nature of social inquiry and the humanities, and indeed for academic inquiry as a whole. The strategies for tackling social problems that arise from aim-oriented rationalism improve on Popper’s recommended strategies of piecemeal social engineering and critical rationalism, associated with Popper’s conception of the open society. This book thus sets out to develop Popper’s philosophy in new and fruitful directions. The theme of the book, in short, is to discover what can be learned from scientific progress about how to achieve social progress towards a better world. (shrink)

Maxwell claimed that the electrostatic inverse square law could be deduced from Cavendish's spherical condenser experiment. This is true only if the accuracy claims made by Cavendish and Maxwell are ignored, for both used the inverse square law as a premise in their analyses of experimental accuracy. By so doing, they assumed the very law the accuracy of which the Cavendish experiment was supposed to test. This paper attempts to make rational sense of this apparently circular procedure and to relate (...) it to some variants of traditional problems concerning old and new evidence. (shrink)

The problem for the scientist created by using idealizations is to determine whether failures to achieve experimental fit are attributable to experimental error, falsity of theory, or of idealization. Even in the rare case when experimental fit within experimental error is achieved, the scientist must determine whether this is so because of a true theory and fortuitously canceling idealizations, or due to a fortuitous combination of false theory and false idealizations. For the engineer, the problem seems rather different. Experiment for (...) the engineer reveals the closeness of predictive fit that can be achieved by theory and idealization for a particular case. If the closeness of fit is good enough for some practical purpose, the job is done. If not, or there are reasons to consider variation, then the engineer needs to know how well the experimentally determined closeness of fit will extrapolate to new cases. This paper focuses on engineering measures of closeness of fit and the projectibility of those measures to new cases. (shrink)

Assuming an essential difference between scientific data and phenomena, this paper argues for the view that we have to understand how empirical findings get transformed into scientific phenomena. The work of scientists is seen as largely consisting in constructing these phenomena which are then utilized in more abstract theories. It is claimed that these matters are of importance for discussions of theory choice and progress in science. A case study is presented as a starting point: paleomagnetism and the use of (...) paleomagnetic data in early discussions of continental drift. Some general features of this study are presented in formalized language. It is suggested that the presentation given is particularly suited for a semantic conception of theories. Even though the construction of scientific phenomena is the main topic of this paper, the view presented here is more adapted to realism than social constructivism. (shrink)

The fine-tuning argument can be used to support the Many Universe hypothesis. The Inverse Gambler’s Fallacy objection seeks to undercut the support for the Many Universe hypothesis. The objection is that although the evidence that there is life somewhere confirms Many Universes, the specific evidence that there is life in this universe does not. I will argue that the Inverse Gambler’s Fallacy is not committed by the fine-tuning argument. The key issue is the procedure by which the universe with life (...) is selected for observation. Once we take account of the procedure, we find that the support for the Many Universe hypothesis remains. (shrink)

This is a very selective survey of developments in epistemology, concentrating on work from the past twenty years that is of interest to philosophers of science. The selection is organized around interesting connections between distinct themes. I first connect issues about skepticism to issues about the reliability of belief-acquiring processes. Next I connect discussions of the defeasibility of reasons for belief to accounts of the theory-independence of evidence. Then I connect doubts about Bayesian epistemology to issues about the content of (...) perception. The last detailed connection is between considerations of the finiteness of cognition and epistemic virtues. To connect the connections I end by briefly discussing the pressure that consideration of social roles in the transmission of belief puts on the purposes of epistemology. (shrink)

This paper rejects a traditional epistemic interpretation of conditional probability. Suppose some chance process produces outcomes X, Y,..., with probabilities P(X), P(Y),... If later observation reveals that outcome Y has in fact been achieved, then the probability of outcome X cannot normally be revised to P(X|Y) ['P&Y)/P(Y)]. This can only be done in exceptional circumstances - when more than just knowledge of Y-ness has been attained. The primary reason for this is that the weight of a piece of evidence varies (...) with the means by which it is provided, so knowledge of Y-ness does not have uniform impact on the probability of X. A better updating of the probability of X is provided by P(X|Y*), where Y* is not an outcome of the chance process being observed, but the sentence 'the outcome Y has been observed', an 'outcome' of the subsequent observation process. This alternative formula is widely endorsed in practice, but not well recognized in theory, where the oversight has generated some unsatisfactory consequences. (shrink)

It is widely believed that many of the competing accounts of scientific explanation have ramifications which are relevant to the scientific realism debate. I claim that the two issues are orthogonal. For definiteness, I consider Cartwright's argument that causal explanations secure belief in theoretical entities. In Section I, van Fraassen's anti-realism is reviewed; I argue that this anti-realism is, prima facie, consistent with a causal account of explanation. Section II reviews Cartwright's arguments. In Section III, it is argued that causal (...) explanations do not license the sort of inferences to theoretical entities that would embarass the anti-realist. Section IV examines the epistemic commitments involved in accepting a causal explanation. Section V presents my conclusions: contra Cartwright, the anti-realist may incorporate a causal account of explanation into his vision of science in an entirely natural way. (shrink)

In recent years philosophers of science have turned away from positivist programs for explicating scientific rationality through detailed accounts of scientific procedure and turned toward large-scale accounts of scientific change. One important motivation for this was better fit with the history of science. Paying particular attention to the large-scale theories of Lakatos and Laudan I argue that the history of science is no better accommodated by the new large-scale theories than it was by the earlier positivist philosophies of science; both (...) are, in their different ways, parochial to our conception of rationality. I further argue that the goal of scientific methodology is not explaining the past but promoting good scientific practice, and on this the large-scale methodologies have no obvious a priori advantages over the positivist methodologies they have tried to replace. (shrink)

In the 1960s molecular population geneticists used Monte Carlo experiments to evaluate particular diffusion equation models. In this paper I examine the nature of this comparative evaluation and argue for three claims: first, Monte Carlo experiments are genuine experiments: second, Monte Carlo experiments can provide an important meansfor evaluating the adequacy of highly idealized theoretical models; and, third, the evaluation of the computational adequacy of a diffusion model with Monte Carlo experiments is significantlydifferent from the evaluation of the emperical adequacy (...) of the same diffusion model. (shrink)

This paper discusses the nature and the status of inference to the best explanation. We outline the foundational role given IBE by its defenders and the arguments of critics who deny it any place at all ; argue that, on the two main conceptions of explanation, IBE cannot be a foundational inference rule ; sketch an account of IBE that makes it contextual and dependent on substantive empirical assumptions, much as simplicity seems to be ; show how that account avoids (...) the critics ' complaints and leaves IBE an important role ; and sketch how our account can clarify debates over IBE in arguments for scientific realism. (shrink)

This paper is a critique of a project, outlined by Laudan et al. (1986) recently in this journal, for empirically testing philosophical models of change in science by comparing them against the historical record of actual scientific practice. While the basic idea of testing such models of change in the arena of science is itself an appealing one, serious questions can be raised about the suitability of seeking confirmation or disconfirmation for large numbers of specific theses drawn from a massive (...) list of claims abstracted from the writings of a few philosophers of science. The present paper discusses what one might reasonably expect from a model of change in science and then compares some clusters of theses from Laudan et al. with developments in recent theoretical physics. The results suggest that such straightforward testing of theses may be largely inconclusive. (shrink)

A theory of evidential probability is developed from two assumptions:(1) the evidential probability of a proposition is its probability conditional on the total evidence;(2) one's total evidence is one's total knowledge. Evidential probability is distinguished from both subjective and objective probability. Loss as well as gain of evidence is permitted. Evidential probability is embedded within epistemic logic by means of possible worlds semantics for modal logic; this allows a natural theory of higher-order probability to be developed. In particular, it is (...) emphasized that it is sometimes uncertain which propositions are part of one's total evidence; some surprising implications of this fact are drawn out. (shrink)

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

Contrary to formal theories of induction, I argue that there are no universal inductive inference schemas. The inductive inferences of science are grounded in matters of fact that hold only in particular domains, so that all inductive inference is local. Some are so localized as to defy familiar characterization. Since inductive inference schemas are underwritten by facts, we can assess and control the inductive risk taken in an induction by investigating the warrant for its underwriting facts. In learning more facts, (...) we extend our inductive reach by supplying more localized inductive inference schemes. Since a material theory no longer separates the factual and schematic parts of an induction, it proves not to be vulnerable to Hume's problem of the justification of induction. (shrink)

Confirmation is commonly identified with positive relevance, E being said to confirm H if and only if E increases the probability of H. Today, analyses of this general kind are usually Bayesian ones that take the relevant probabilities to be subjective. I argue that these subjective Bayesian analyses are irremediably flawed. In their place I propose a relevance analysis that makes confirmation objective and which, I show, avoids the flaws of the subjective analyses. What I am proposing is in some (...) ways a return to Carnap's conception of confirmation, though there are also important differences between my analysis and his. My analysis includes new accounts of what evidence is and of the indexicality of confirmation claims. Finally, I defend my analysis against Achinstein's criticisms of the relevance concept of confirmation. (shrink)

If two theory formulations are merely different expressions of the same theory, then any problem of choosing between them cannot be due to the underdetermination of theories by data. So one might suspect that we need to be able to tell distinct theories from mere alternate formulations before we can say anything substantive about underdetermination, that we need to solve the problem of identical rivals before addressing the problem of underdetermination. Here I consider two possible solutions: Quine proposes that we (...) call two theories identical if they are equivalent under a reconstrual of predicates, but this would mishandle important cases. Another proposal is to defer to the particular judgements of actual scientists. Consideration of an historical episodethe alleged equivalence of wave and matrix mechanicsshows that this second proposal also fails. Nevertheless, I suggest, the original suspicion is wrong; there are ways to enquire into underdetermination without having solved the problem of identical rivals. (shrink)

We describe the three place relation of contrastive knowledge, which holds between a person, a target proposition, and a contrasting proposition. The person knows that p rather than that q. We argue for three claims about this relation. (a) Many common sense and philosophical ascriptions of knowledge can be understood in terms of it. (b) Its application is subject to fewer complications than non-contrastive knowledge is. (c) It applies over a wide range of human and nonhuman cases.

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

Naive deductive accounts of confirmation have the undesirable consequence that if E confirms H, then E also confirms the conjunction H & X, for any X—even if X is utterly irrelevant to H (and E). Bayesian accounts of confirmation also have this property (in the case of deductive evidence). Several Bayesians have attempted to soften the impact of this fact by arguing that—according to Bayesian accounts of confirmation— E will confirm the conjunction H & X less strongly than E confirms (...) H (again, in the case of deductive evidence). I argue that existing Bayesian “resolutions” of this problem are inadequate in several important respects. In the end, I suggest a new‐and‐improved Bayesian account (and understanding) of the problem of irrelevant conjunction. (shrink)

It is commonly acknowledged that, in order to test a theoretical hypothesis, one must, in Duhem' s phrase, rely on a "theoretical scaffolding" to connect the hypothesis with something measurable. Hypothesis-confirmation, on this view, becomes a three-place relation: evidence E will confirm hypothesis H only relative to some such scaffolding B. Thus the two leading logical approaches to qualitative confirmation--the hypothetico-deductive (H-D) account and Clark Glymour' s bootstrap account--analyze confirmation in relative terms. But this raises questions about the philosophical interpretation (...) of the technical conditions these accounts describe. What does it mean to say that E confirms H "relative to B"? How should we interpret the relation we are trying to analyze? (shrink)

As a working hypothesis for philosophy of science, the unity of science thesis has been decisively challenged in all its standard formulations; it cannot be assumed that the sciences presuppose an orderly world, that they are united by the goal of systematically describing and explaining this order, or that they rely on distinctively scientific methodologies which, properly applied, produce domain-specific results that converge on a single coherent and comprehensive system of knowledge. I first delineate the scope of arguments against global (...) unity theses. However implausible old-style global unity theses may now seem, I argue that unifying strategies of a more local and contingent nature do play an important role in scientific inquiry. This is particularly clear in archaeology where, to establish evidential claims of any kind, practitioners must exploit a range of inter-field and inter-theory connections. At the same time, the robustness of these evidential claims depends on significant disunity between the sciences from which archaeologists draw background assumptions and auxiliary hypotheses. This juxtaposition of unity with disunity poses a challenge to standard positions in the debate about scientific unity. (shrink)

With the notable exception of David Lewis, most of those writing on the Sleeping Beauty problem have argued that 1/3 is the correct answer. Terence Horgan has provided the clearest account of why, contrary to Lewis, Beauty has evidence against the proposition that the coin comes up heads when she awakens on Monday. In this paper, I argue that Horgan’s proposal fails because it neglects important facts about epistemic probability.

This paper offers an answer to Glymour's ‘old evidence’ problem for Bayesian confirmation theory, and assesses some of the objections, in particular those recently aired by Chihara, that have been brought against that answer. The paper argues that these objections are easily dissolved, and goes on to show how the answer it proposes yields an intuitively satisfactory analysis of a problem recently discussed by Maher. Garber's, Niiniluoto's and others’ quite different answer to Glymour's problem is considered and rejected, and the (...) paper concludes with some brief reflections on the prediction/accommodation issue. (shrink)

(2000). CASSIRER, SCHLICK AND ‘STRUCTURAL’ REALISM: THE PHILOSOPHY OF THE EXACT SCIENCES IN THE BACKGROUND TO EARLY LOGICAL EMPIRICISM. British Journal for the History of Philosophy: Vol. 8, No. 1, pp. 71-106.

This paper examines the problem of extending the programme of mathematical constructivism to applied mathematics. I am not concerned with the question of whether conventional mathematical physics makes essential use of the principle of excluded middle, but rather with the more fundamental question of whether the concept of physical infinity is constructively intelligible. I consider two kinds of physical infinity: a countably infinite constellation of stars and the infinitely divisible space-time continuum. I argue (contrary to Hellman) that these do not. (...) pose any insuperable problem for constructivism, and that constructivism may have a useful new perspective to offer on physics. (shrink)

In ethical discourse, it is common practice to distinguish between normative commitments and descriptive commitments. Normative commitments reflect what a person ought to be committed to, whereas descriptive commitments reflect what a person actually is committed to. While the normative/descriptive distinction is widely accepted as a way of talking about ethical commitments, philosophers have missed this distinction in discussing ontological commitments. In this paper, I distinguish between descriptive ontological commitments and normative ontological commitments and discuss several significant benefits of recognizing (...) this distinction. I argue that just as the normative/descriptive distinction is important for fruitful ethical discourse, so too is it important for fruitful discourse concerning our ontological commitments. And, it constitutes a significant step towards resolving some prominent debates concerning our ontological commitments. (shrink)

Can scientific evidence outstretch what scientists have mentally entertained, or could ever entertain? This article focuses on the plausibility and consequences of an affirmative answer in a special case. Specifically, it discusses how we may treat automated scientific data-gathering systems—especially AI systems used to make predictions or to generate novel theories—from the point of view of confirmation theory. It uses AlphaFold2 as a case study.

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)