(2013). Rational argument, rational inference. Argument & Computation: Vol. 4, Formal Models of Reasoning in Cognitive Psychology, pp. 21-35. doi: 10.1080/19462166.2012.689327.

We investigate the general properties of general Bayesian learning, where “general Bayesian learning” means inferring a state from another that is regarded as evidence, and where the inference is conditionalizing the evidence using the conditional expectation determined by a reference probability measure representing the background subjective degrees of belief of a Bayesian Agent performing the inference. States are linear functionals that encode probability measures by assigning expectation values to random variables via integrating them with respect to the probability measure. If (...) a state can be learned from another this way, then it is said to be Bayes accessible from the evidence. It is shown that the Bayes accessibility relation is reflexive, antisymmetric and non-transitive. If every state is Bayes accessible from some other defined on the same set of random variables, then the set of states is called weakly Bayes connected. It is shown that the set of states is not weakly Bayes connected if the probability space is standard. The set of states is called weakly Bayes connectable if, given any state, the probability space can be extended in such a way that the given state becomes Bayes accessible from some other state in the extended space. It is shown that probability spaces are weakly Bayes connectable. Since conditioning using the theory of conditional expectations includes both Bayes’ rule and Jeffrey conditionalization as special cases, the results presented generalize substantially some results obtained earlier for Jeffrey conditionalization. (shrink)

We continue the investigations initiated in the recent papers where Bayes logics have been introduced to study the general laws of Bayesian belief revision. In Bayesian belief revision a Bayesian agent revises his prior belief by conditionalizing the prior on some evidence using the Bayes rule. In this paper we take the more general Jeffrey formula as a conditioning device and study the corresponding modal logics that we call Jeffrey logics, focusing mainly on the countable case. The containment relations among (...) these modal logics are determined and it is shown that the logic of Bayes and Jeffrey updating are very close. It is shown that the modal logic of belief revision determined by probabilities on a finite or countably infinite set of elementary propositions is not finitely axiomatizable. The significance of this result is that it clearly indicates that axiomatic approaches to belief revision might be severely limited. (shrink)

Recent work on conditional reasoning argues that denying the antecedent [DA] and affirming the consequent [AC] are defeasible but cogent patterns of argument, either because they are effective, rational, albeit heuristic applications of Bayesian probability, or because they are licensed by the principle of total evidence. Against this, we show that on any prevailing interpretation of indicative conditionals the premises of DA and AC arguments do not license their conclusions without additional assumptions. The cogency of DA and AC inferences rather (...) depends on contingent factors extrinsic to, and independent of, what is asserted by DA and AC arguments. arguments do not license their conclusions without additional assumptions. The cogency of DA and AC inferences rather depends on contingent factors extrinsic to, and independent of, what is asserted by DA and AC arguments. (shrink)

This paper offers a probabilistic treatment of the conditions for argument cogency as endorsed in informal logic: acceptability, relevance, and sufficiency. Treating a natural language argument as a reason-claim-complex, our analysis identifies content features of defeasible argument on which the RSA conditions depend, namely: change in the commitment to the reason, the reason’s sensitivity and selectivity to the claim, one’s prior commitment to the claim, and the contextually determined thresholds of acceptability for reasons and for claims. Results contrast with, and (...) may indeed serve to correct, the informal understanding and applications of the RSA criteria concerning their conceptual dependence, their function as update-thresholds, and their status as obligatory rather than permissive norms, but also show how these formal and informal normative approachs can in fact align. (shrink)

The propensity interpretation of probability was introduced by Popper ([1957]), but has subsequently been developed in different ways by quite a number of philosophers of science. This paper does not attempt a complete survey, but discusses a number of different versions of the theory, thereby giving some idea of the varieties of propensity. Propensity theories are classified into (i) long-run and (ii) single-case. The paper argues for a long-run version of the propensity theory, but this is contrasted with two single-case (...) propensity theories, one due to Miller and the later Popper, and the other to Fetzer. The three approaches are compared by examining how they deal with a key problem for the propensity approach, namely the relationship between propensity and causality and Humphreys' paradox. (shrink)

Popper's writings cover a remarkably wide range of subjects. The spectrum runs from Plato's theory of politics to the foundations of quantum mechanics. Yet even amidst this variety the philosophy of probability occupies a prominent place. David Miller once pointed out to me that more than half of Popper's The Logic of Scientific Discovery is taken up with discussions of probability. I checked this claim using the 1972 6th revised impression of The Logic of Scientific Discovery , and found that (...) of the approximately 450 pages of text, approximately 250 are to do with probability. Thus Miller's claim is amply justified. It seems indeed that the philosophy of probability was one of Popper's favourite subjects, and, as we shall see, Popper certainly enriched the field with several striking innovations. In this area, as in others, Popper held very definite views, and criticized his opponents in no uncertain terms. Popper was an objectivist and anti-Bayesian, and his criticisms were directed against subjectivism and Bayesianism. (shrink)

It is sometimes thought that randomized study group allocation is uniquely proficient at producing comparison groups that are evenly balanced for all confounding causes. Philosophers have argued that in real randomized controlled trials this balance assumption typically fails. But is the balance assumption an important ideal? I run a thought experiment, the CONFOUND study, to answer this question. I then suggest a new account of causal inference in ideal and real comparative group studies that helps clarify the roles of confounding (...) variables and randomization. 1Confounders and Causes2The Balance Assumption3The CONFOUND Study 3.1CONFOUND 13.2CONFOUND 24Disjunction C and the Ideal Study 4.1The ultimate ‘other cause’: C4.2The ideal comparative group study4.3Required conditions for causal inference5Confounders as Causes, Confounders as Correlates6Summary. (shrink)

Does confirmation holism imply meaning holism? A plausible and novel argument, all of whose premises enjoy significant support among contemporary philosophers, links the two theses. This article presents this argument and diagnoses it with a weakness. The weakness illustrates a general difficulty with drawing morals for the nature of ordinary thought and language from claims about the nature of science. The diagnosis is instructive: It suggests more fruitful relations between theories of scientific theory confirmation and semantic theories of our everyday (...) thoughts and statements. (shrink)

GRW Theory postulates a stochastic mechanism assuring that every so often the wave function of a quantum system is `hit', which leaves it in a localised state. How are we to interpret the probabilities built into this mechanism? GRW theory is a firmly realist proposal and it is therefore clear that these probabilities are objective probabilities (i.e. chances). A discussion of the major theories of chance leads us to the conclusion that GRW probabilities can be understood only as either single (...) case propensities or Humean objective chances. Although single case propensities have some intuitive appeal in the context of GRW theory, on balance it seems that Humean objective chances are preferable on conceptual grounds because single case propensities suffer from various well know problems such as unlimited frequency tolerance and lack of a rationalisation of the principal principle. (shrink)

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

The central problem with Bayesian philosophy of science is that it cannot take account of the relevance of simplicity and unification to confirmation, induction, and scientific inference. The standard Bayesian folklore about factoring simplicity into the priors, and convergence theorems as a way of grounding their objectivity are some of the myths that Earman's book does not address adequately. 1Review of John Earman: Bayes or Bust?, Cambridge, MA. MIT Press, 1992, £33.75cloth.

Wayne (1995) critiques the Bayesian explication of the confirmational significance of evidential diversity (CSED) offered by Horwich (1982). Presently, I argue that Wayne’s reconstruction of Horwich’s account of CSED is uncharitable. As a result, Wayne’s criticisms ultimately present no real problem for Horwich. I try to provide a more faithful and charitable rendition of Horwich’s account of CSED. Unfortunately, even when Horwich’s approach is charitably reconstructed, it is still not completely satisfying.

Hempel first introduced the paradox of confirmation in (Hempel 1937). Since then, a very extensive literature on the paradox has evolved (Vranas 2004). Much of this literature can be seen as responding to Hempel’s subsequent discussions and analyses of the paradox in (Hempel 1945). Recently, it was noted that Hempel’s intuitive (and plausible) resolution of the paradox was inconsistent with his official theory of confirmation (Fitelson & Hawthorne 2006). In this article, we will try to explain how this inconsistency affects (...) the historical dialectic about the paradox and how it illuminates the nature of confirmation. In the end, we will argue that Hempel’s intuitions about the paradox of confirmation were (basically) correct, and that it is his theory that should be rejected, in favor of a (broadly) Bayesian account of confirmation. (shrink)

Likelihoodists and Bayesians seem to have a fundamental disagreement about the proper probabilistic explication of relational (or contrastive) conceptions of evidential support (or confirmation). In this paper, I will survey some recent arguments and results in this area, with an eye toward pinpointing the nexus of the dispute. This will lead, first, to an important shift in the way the debate has been couched, and, second, to an alternative explication of relational support, which is in some sense a "middle way" (...) between Likelihoodism and Bayesianism. In the process, I will propose some new work for an old probability puzzle: the "Monty Hall" problem. (shrink)

In applying Bayes’s theorem to the history of science, Bayesians sometimes assume – often without argument – that they can safely ignore very implausible theories. This assumption is false, both in that it can seriously distort the history of science as well as the mathematics and the applicability of Bayes’s theorem. There are intuitively very plausible counter-examples. In fact, one can ignore very implausible or unknown theories only if at least one of two conditions is satisfied: (i) one is certain (...) that there are no unknown theories which explain the phenomenon in question, or (ii) the likelihood of at least one of the known theories used in the calculation of the posterior is reasonably large. Often in the history of science, a very surprising phenomenon is observed, and neither of these criteria is satisfied. (shrink)

has proposed an interesting and novel Bayesian analysis of the Quine-Duhem (Q–D) problem (i.e., the problem of auxiliary hypotheses). Strevens's analysis involves the use of a simplifying idealization concerning the original Q–D problem. We will show that this idealization is far stronger than it might appear. Indeed, we argue that Strevens's idealization oversimplifies the Q–D problem, and we propose a diagnosis of the source(s) of the oversimplification. Some background on Quine–Duhem Strevens's simplifying idealization Indications that (I) oversimplifies Q–D Strevens's argument (...) for the legitimacy of (I). (shrink)

outlined. This account is partly inspired by the work of C.S. Peirce. When we want to consider how degree of confirmation varies with changing I show that a large class of quantitative Bayesian measures of con-.

This paper critically analyzes Sherrilyn Roush's (Tracking truth: knowledge, evidence and science, 2005) definition of evidence and especially her powerful defence that in the ideal, a claim should be probable to be evidence for anything. We suggest that Roush treats not one sense of 'evidence' but three: relevance, leveraging and grounds for knowledge; and that different parts of her argument fare differently with respect to different senses. For relevance, we argue that probable evidence is sufficient but not necessary for Roush's (...) own two criteria of evidence to be met. With respect to grounds for knowledge, we agree that high probability evidence is indeed ideal for the central reason Roush gives: When believing a hypothesis on the basis of e it is desirable that e be probable. But we maintain that her further argument that Bayesians need probable evidence to warrant the method they recommend for belief revision rests on a mistaken interpretation of Bayesian conditionalization. Moreover, we argue that attempts to reconcile Roush's arguments with Bayesianism fail. For leveraging, which we agree is a matter of great importance, the requirement that evidence be probable suffices for leveraging to the probability of the hypothesis if either one of Roush's two criteria for evidence are met. Insisting on both then seems excessive. To finish, we show how evidence, as Roush defines it, can fail to track the hypothesis. This can remedied by adding a requirement that evidence be probable, suggesting another rationale for taking probable evidence as ideal—but only for a grounds-for-knowledge sense of evidence. (shrink)

If knowledge is the norm of practical reasoning, then we should be able to alter people's behavior by affecting their knowledge as well as by affecting their beliefs. Thus, as Roy Sorensen (2010) suggests, we should expect to find people telling lies that target knowledge rather than just lies that target beliefs. In this paper, however, I argue that Sorensen's discovery of “knowledge-lies” does not support the claim that knowledge is the norm of practical reasoning. First, I use a Bayesian (...) framework to show that in each of Sorensen's examples, knowledge-lies alter people's behavior by affecting their beliefs. Second, I show that while we can imagine lies that target knowledge without targeting beliefs, they cannot alter people's behavior. In other words, knowledge-lies actually work (i.e., manipulate behavior) by targeting beliefs or they do not work at all. (shrink)

We provide a Bayesian justification of the idea that, under certain conditions, the absence of an argument in favour of the truth of a hypothesis H constitutes a good argument against the truth of H.

According to the Bayesian paradigm in the psychology of reasoning, the norms by which everyday human cognition is best evaluated are probabilistic rather than logical in character. Recently, the Bayesian paradigm has been applied to the domain of argumentation, where the fundamental norms are traditionally assumed to be logical. Here, we present a major generalisation of extant Bayesian approaches to argumentation that utilizes a new class of Bayesian learning methods that are better suited to modelling dynamic and conditional inferences than (...) standard Bayesian conditionalization, is able to characterise the special value of logically valid argument schemes in uncertain reasoning contexts, greatly extends the range of inferences and argumentative phenomena that can be adequately described in a Bayesian framework, and undermines some influential theoretical motivations for dual function models of human cognition. We conclude that the probabilistic norms given by the Bayesian approach to rationality are not necessarily at odds with the norms given by classical logic. Rather, the Bayesian theory of argumentation can be seen as justifying and enriching the argumentative norms of classical logic. (shrink)

Say that an agent is "epistemically humble" if she is less than certain that her opinions will converge to the truth, given an appropriate stream of evidence. Is such humility rationally permissible? According to the orgulity argument : the answer is "yes" but long-run convergence-to-the-truth theorems force Bayesians to answer "no." That argument has no force against Bayesians who reject countable additivity as a requirement of rationality. Such Bayesians are free to count even extreme humility as rationally permissible.

I argue that any broadly dispositional analysis of probability will either fail to give an adequate explication of probability, or else will fail to provide an explication that can be gainfully employed elsewhere (for instance, in empirical science or in the regulation of credence). The diversity and number of arguments suggests that there is little prospect of any successful analysis along these lines.

The concept of randomness has been unjustly neglected in recent philosophical literature, and when philosophers have thought about it, they have usually acquiesced in views about the concept that are fundamentally flawed. After indicating the ways in which these accounts are flawed, I propose that randomness is to be understood as a special case of the epistemic concept of the unpredictability of a process. This proposal arguably captures the intuitive desiderata for the concept of randomness; at least it should suggest (...) that the commonly accepted accounts cannot be the whole story and more philosophical attention needs to be paid. 1. Randomness in science1.1Random systems1.2Random behaviour1.3Random sampling1.4Caprice, arbitrariness and noise2. Concepts of randomness2.1Von Mises/church/martin-löf randomness2.2KCS-randomness3. Randomness is unpredictability: preliminaries3.1Process and product randomness3.2Randomness is indeterminism?4. Predictability4.1Epistemic constraints on prediction4.2Computational constraints on prediction4.3Pragmatic constraints on prediction4.4Prediction defined5. Unpredictability6. Randomness is unpredictability6.1Clarification of the definition of randomness6.2Randomness and probability6.3Subjectivity and context sensitivity of randomness7. Evaluating the analysis[R]andomness … is going to be a concept which is relative to our body of knowledge, which will somehow reflect what we know and what we don't know. Henry E. Kyburg, Jr ([1974], p. 217)Phenomena that we cannot predict must be judged random. Patrick Suppes ([1984], p. 32). (shrink)

In this article, the author focuses on Philip Kitcher's and Alvin Goldman's economic models of the social character of scientific knowledge production. After introducing some relevant methodological issues in the social sciences and characterizing Kitcher's and Goldman's models, the author goes on to show that special problems arise directly from the concept of an agent invoked in the models. The author argues that the two distinct concepts of agents, borrowed from economics and cognitive psychology, are inconsistent. Finally, the author discusses (...) some of the normative implications that arise from adopting economic concepts of agents in the study of science. (shrink)

Scientific researchers welcome disagreement as a way of furthering epistemic aims. Religious communities, by contrast, tend to regard it as a potential threat to their beliefs. But I argue that religious disagreement can help achieve religious epistemic aims. I do not argue this by comparing science and religion, however. For scientific hypotheses are ideally held with a scholarly neutrality, and my aim is to persuade those who arecommittedto religious beliefs that religious disagreement can be epistemically beneficial for them too.

The main question of this paper is: how do we manage to know what our own degrees of belief are? Section 1 briefly reviews and criticizes the traditional functionalist view, a view notably associated with David Lewis and sometimes called the theory-theory. I use this criticism to motivate the approach I want to promote. Section 2, the bulk of the paper, examines and begins to develop the view that we have a special kind of introspective access to our degrees of (...) belief. I give an initial assessment of the view by examining its compatibility with leading theories of introspection. And I identify a challenge for the view, and explain why I'm optimistic that the view can overcome it. (shrink)

Various scientific theories stand in a reductive relation to each other. In a recent article, we have argued that a generalized version of the Nagel-Schaffner model (GNS) is the right account of this relation. In this article, we present a Bayesian analysis of how GNS impacts on confirmation. We formalize the relation between the reducing and the reduced theory before and after the reduction using Bayesian networks, and thereby show that, post-reduction, the two theories are confirmatory of each other. We (...) then ask when a purported reduction should be accepted on epistemic grounds. To do so, we compare the prior and posterior probabilities of the conjunction of both theories before and after the reduction and ask how well each is confirmed by the available evidence. (shrink)

No scientific conclusion follows automatically from a statistically non-significant result, yet people routinely use non-significant results to guide conclusions about the status of theories (or the effectiveness of practices). To know whether a non-significant result counts against a theory, or if it just indicates data insensitivity, researchers must use one of: power, intervals (such as confidence or credibility intervals), or else an indicator of the relative evidence for one theory over another, such as a Bayes factor. I argue Bayes factors (...) allow theory to be linked to data in a way that overcomes the weaknesses of the other approaches. Specifically, Bayes factors use the data themselves to determine their sensitivity in distinguishing theories (unlike power), and they make use of those aspects of a theory’s predictions that are often easiest to specify (unlike power and intervals, which require specifying the minimal interesting value in order to address theory). Bayes factors provide a coherent approach to determining whether non-significant results support a null hypothesis over a theory, or whether the data are just insensitive. They allow accepting and rejecting the null hypothesis to be put on an equal footing. Concrete examples are provided to indicate the range of application of a simple online Bayes calculator, which reveal both the strengths and weaknesses of Bayes factors. (shrink)

According to an influential Enlightenment ideal, one shouldn't rely epistemically on other people's say-so, at least not if one is in a position to evaluate the relevant evidence for oneself. However, in much recent work in social epistemology, we are urged to dispense with this ideal, which is seen as stemming from a misguided focus on isolated individuals to the exclusion of groups and communities. In this paper, I argue that that an emphasis on the social nature of inquiry should (...) not lead us to entirely abandon the Enlightenment ideal of epistemically autonomous agents. Specifically, I suggest that it is an appropriate ideal for those who serve as experts in a given epistemic community, and develop a notion of expert acceptance to make sense of this. I go on to show that, all other things being equal, this kind of epistemic autonomy among experts makes their joint testimony more reliable, which in turn brings epistemic benefits both to laypeople and to experts in other fields. (shrink)

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

John Norton has proposed a position of “material induction” that denies the existence of a universal inductive inference schema behind scientific reasoning. In this vein, Norton has recently presented a “dome scenario” based on Newtonian physics that, in his understanding, is at variance with Bayesianism. The present note points out that a closer analysis of the dome scenario reveals incompatibilities with material inductivism itself.

It has been argued in Dawid that physicists at times generate substantial trust in an empirically unconfirmed theory based on observations that lie beyond the theory’s intended domain. A crucial role in the reconstruction of this argument of “non-empirical confirmation” is played by limitations to scientific underdetermination. The present paper discusses the question as to how generic the role of limitations to scientific underdetermination really is. It is argued that assessing such limitations is essential for generating trust in any theory’s (...) predictions, be it empirically confirmed or not. The emerging view suggests that empirical and non-empirical confirmation are more closely related to each other than one may expect at first glance. (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)

In a recent paper Samir Okasha has suggested an application of Arrow’s impossibility theorem to theory choice. When epistemic virtues are interpreted as ‘voters’ in charge of ranking competing theories, and there are more than two theories at stake, the final ordering is bound to coincide with the one proposed by one of the voters, provided a number of seemingly reasonable conditions are in place. In a similar spirit, Jacob Stegenga has shown that Arrow’s theorem applies to the amalgamation of (...) evidence; the ‘voters’ here are the different sources of evidence. As with Okasha’s proposal, it is not clear how to avoid Arrow’s pessimistic conclusion.In this paper we develop a novel argument that purports to show that, in typical examples, Arrow’s result does not obtain when dealing with evidence amalgamation. The reason is that we cannot escape the well-known Duhem problem: the evidence actually confirms complex conjunctions that include various auxiliary hypotheses. We argue that confirmational holism induces us to restrict the domain of a reasonable amalgamation function, thus violating one of Arrow’s conditions. The upshot is that we are now able to see the Duhem problem under a different, positive light – namely, as a phenomenon that makes the aggregation of the evidence possible in the first place, when there are at least three options on the table. (shrink)

I develop a strategy for representing epistemic states and epistemic changes that seeks to be sensitive to the difference between voluntary and involuntary aspects of our epistemic life, as well as to the role of pragmatic factors in epistemology. The model relies on a particular understanding of the distinction between full belief and acceptance , which makes room for the idea that our reasoning on both practical and theoretical matters typically proceeds in a contextual way. Within this framework, I discuss (...) how agents can rationally shift their credal probability functions so as to consciously modify some of their contextual acceptances; the present account also allows us to represent how the very set of contexts evolves. Voluntary credal shifts, in turn, might provoke changes in the agent’s beliefs, but I show that this is actually a side effect of performing multiple adjustments in the total lot of the agent’s acceptance sets. In this way we obtain a model that preserves many pre-theoretical intuitions about what counts as adequate rationality constraints on our actual practices—and hence about what counts as an adequate, normative epistemological perspective. (shrink)

The epistemic probability of A given B is the degree to which B evidentially supports A, or makes A plausible. This paper is a first step in answering the question of what determines the values of epistemic probabilities. I break this question into two parts: the structural question and the substantive question. Just as an object’s weight is determined by its mass and gravitational acceleration, some probabilities are determined by other, more basic ones. The structural question asks what probabilities are (...) not determined in this way—these are the basic probabilities which determine values for all other probabilities. The substantive question asks how the values of these basic probabilities are determined. I defend an answer to the structural question on which basic probabilities are the probabilities of atomic propositions conditional on potential direct explanations. I defend this against the view, implicit in orthodox mathematical treatments of probability, that basic probabilities are the unconditional probabilities of complete worlds. I then apply my answer to the structural question to clear up common confusions in expositions of Bayesianism and shed light on the “problem of the priors.”. (shrink)

Diversity of evidence is widely claimed to be crucial for evidence amalgamation to have distinctive epistemic merits. Bayesian epistemologists capture this idea in the variety-of-evidence thesis: ceteris paribus, the strength of confirmation of a hypothesis by an evidential set increases with the diversity of the evidential elements in that set. Yet, formal exploration of this thesis has shown that it fails to be generally true. This article demonstrates that the thesis fails in even more circumstances than recent results would lead (...) us to expect. Most importantly, it can fail whatever the chance that the evidential sources are unreliable. Our results hold for two types of degrees of variety: reliability independence and testable aspect independence. We conclude that the variety-of-evidence thesis can, at best, be interpreted as an exception-prone rule of thumb. (shrink)

The corpus of physical theory is a paradigm of knowledge. The evolution of modern physical theory constitutes the clearest exemplar of the growth of knowledge. If the development of physical theory does not constitute an example of progress and growth in what we know about the Universe nothing does. So anyone interested in the theory of knowledge must be interested consequently in the evolution and content of physical theory. Crucial to the conception of physics as a paradigm of knowledge is (...) the way in which physical theory provides explanations of a vast diversity of natural phenomena on the basis of a very few fundamental principles. A central problem for the epistemologist is therefore what is theoretical explanation in physics? Here we can get good insight from what Redhead has said. Indeed one could agree with almost everything Redhead says and simply endorse much of his careful and extensive defence of the covering law account of explanation in the physical sciences at least as an ideal. However I shall, I fear, try the reader's patience by extending some of the considerations he introduced and raising those issues where we disagree, especially in the important area of statistical explanation. (shrink)

We present a framework that provides a logic for science by generalizing the notion of logical (Tarskian) consequence. This framework will introduce hierarchies of logical consequences, the first level of each of which is identified with deduction. We argue for identification of the second level of the hierarchies with inductive inference. The notion of induction presented here has some resonance with Popper's notion of scientific discovery by refutation. Our framework rests on the assumption of a restricted class of structures in (...) contrast to the permissibility of classical first-order logic. We make a distinction between deductive and inductive inference via the notions of compactness and weak compactness. Connections with the arithmetical hierarchy and formal learning theory are explored. For the latter, we argue against the identification of inductive inference with the notion of learnable in the limit. Several results highlighting desirable properties of these hierarchies of generalized logical consequence are also presented. (shrink)

We recast subjective probabilities by rejecting behaviourist accounts of belief by explicitly distinguishing between judgements of uncertainty and expressions of those judgements. We argue that this entails rejecting that orderings of uncertainty be complete. This in turn leads naturally to several generalizations of the probability calculus. We define probability-like functions over incomplete algebras that reflect a subject’s incomplete judgements of uncertainty. These functions can be further generalized to inner and outer measures that reflect approximate elicitations.