Coherence is a key concept in many accounts of epistemic justification within ‘traditional’ analytic epistemology. Within formal epistemology, too, there is a substantial body of research on coherence measures. However, there has been surprisingly little interaction between the two bodies of literature. The reason is that the existing formal literature on coherence measure operates with a notion of belief system that is very different from—what we argue is—a natural Bayesian formalisation of the concept of belief system from traditional epistemology. Therefore, (...) formal epistemology has so far only been concerned with one particular—arguably not even very natural—way of formalising coherence of belief systems; it has by no means refuted the viability of coherentism. In contrast to the existing literature, we formalise belief systems as families of assignments of (conditional) degrees of belief (which may be compatible with several subjective probability measures). Within this framework, we propose a Bayesian formalisation of the thrust of BonJour’s coherence concept in The structure of empirical knowledge (Harvard University Press, Cambridge, 1985), using a combination of Bayesian confirmation theory and basic graph theory. In excursions, we introduce graded notions for both logical and probabilistic consistency of belief systems—the latter being based on certain geometrical structures induced by probabilistic belief systems. For illustration, we reconsider BonJour’s “ravens” challenge (op. cit., p. 95f.). Finally, potential objections to our proposed formal coherence notion are explored. (shrink)

Some hold that beliefs arising out of certain sources such as perceptual experience enjoy a kind of entitlement—as one is entitled to believe what is thereby presented as true, at least unless further evidence undermines that entitlement. This is commonly understood to require that default epistemic entitlement is a non-evidential kind of epistemic warrant. Our project here is to challenge this common, non-evidential, conception of epistemic entitlement. We will argue that although there are indeed basic beliefs with default entitlement status, (...) typically the kind of default entitlement they possess is primarily a matter of the evidential support that accrues to them, both synchronically and diachronically, from wider mental states beyond the specific sensory-perceptual experiences that spawn them. We will call this status evidentially embedded epistemic entitlement—as distinct from entitlement as commonly understood in the literature, which we will call evidentially insular. Epistemic entitlement normally is characterized in the manner set forth in the first paragraph above, viz., as a form of default epistemic warrant that a given belief possesses independently of any other beliefs. We suggest that not all evidential support is managed at the level of belief. Thus, leaves room for the possibility of an epistemically embedded kind of entitlement. Here we develop the needed conception of entitlement drawing on Henderson and Horgan’s ideas of a kind of “iceberg epistemology.”. (shrink)

The paper exposes the philosophical and mathematical flaws in an attempt to settle the continuum problem by a new class of axioms based on probabilistic reasoning. I also examine the larger proposal behind this approach, namely the introduction of new primitive notions that would supersede the set theoretic foundation of mathematics.

Contribution to a symposium on Alan Chalmer's The Scientist’s Atom and the Philosopher’s Stone: How Science Succeeded and Philosophy Failed to Gain Knowledge of Atoms (Springer, Dordrecht, 2009).

Richard Swinburne’s argument in The Existence of God discusses many probabilities, ultimately concluding that God probably exists. Swinburne gives exact values to almost none of these probabilities. I attempted to assign values to the probabilities that met that weak condition that they could be correct. In this paper, I first present a brief outline of Swinburne’s argument in The Existence of God. I then present the problems I encountered in Swinburne’s argument, specifically problems that interfered with my attempt to arrive (...) at values for the probabilities discussed by Swinburne. Finally, I suggest that Swinburne’s argument would be more persuasive if he assigned exact values to his probabilities. (shrink)

This book critically examines Freud's own detailed arguments for his major explanatory and therapeutic principles, the current neorevisionist versions of psychoanalysis, and the hermeneuticists' reconstruction of Freud's theory and therapy as an alternative to what they claim was a “scientistic” misconstrual of the psychoanalytic enterprise. The clinical case for Freud's cornerstone theory of repression – the claim that psychic conflict plays a causal role in producing neuroses, dreams, and bungled actions – turns out to be ill-founded for two main reasons: (...) Even if clinical data were valid, the method of free association has failed to support the psychoanalytic theory of unconscious motivation; Clinical data tend in any case to be artifacts of the analyst's self-fulfilling expectations, thus losing much of their evidential value. The hypothesis that psychoanalytic treatment is in reality a placebo poses a serious challenge to the assumption that insight is a key causal factor when therapy is successful. This challenge has yet to be met by psychoanalysts. Similar conclusions undermine the neorevisionist versions of psychoanalysis. The most influential hermeneuticists, on the other hand, are shown to have imposed an alien philosophy on psychoanalysis, partly through their reliance on gross misconceptions of the natural sciences. Karl Popper's criticism of the Freudian corpus as empirically untestable has misjudged its evidential weaknesses, which are more subtle. If there exists empirical evidence for the principal psychoanalytic doctrines, it cannot be obtained without well-designed extraclinical studies of a kind that have for the most part yet to be attempted. (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.

The probabilistic corroboration of two or more hypotheses or series of observations may be performed additively or multiplicatively . For additive corroboration (e.g. by Laplace's rule of succession), stochastic independence is needed. Inferences, based on overwhelming numbers of observations without unexplained counterinstances permit hyperinduction , whereby extremely high probabilities, bordering on certainty for all practical purposes may be achieved. For multiplicative corroboration, the error probabilities (1 - Pr) of two (or more) hypotheses are multiplied. The probabilities, obtained by reconverting the (...) product, are valid for both of the hypotheses and indicate the gain by corroboration.. This method is mathematically correct, no probabilities > 1 can result (as in some conventional methods) and high probabilities with fewer observations may be obtained, however, semantical independence is a prerequisite. The combined method consists of (1) the additive computation of the error probabilities (1 - Pr) of two or more single hypotheses, whereby arbitrariness is avoided or at least reduced and (2) the multiplicative procedure . The high reliability of Empirical Counterfactual Statements is explained by the possibility of multiplicative corroboration of "all-no" statements due to their strict semantical independence. (shrink)

Contemporary cognitive neuropsychology attempts to infer unobserved features of normal human cognition, or ‘cognitive architecture’, from experiments with normals and with brain-damaged subjects in whom certain normal cognitive capacities are altered, diminished, or absent. Fundamental methodological issues about the enterprise of cognitive neuropsychology concern the characterization of methods by which features of normal cognitive architecture can be identified from such data, the assumptions upon which the reliability of such methods are premised, and the limits of such methods—even granting their assumptions—in (...) resolving uncertainties about that architecture. With some idealization, the question of the capacities of various experimental designs in cognitive neuropsychology to uncover cognitive architecture can be reduced to comparatively simple questions about the prior assumptions investigators are willing to make. This paper presents some of simplest of those reductions. (shrink)

How good is an explanation and when is one explanation better than another? In this paper, I address these questions by exploring probabilistic measures of explanatory power in order to defend a particular Bayesian account of explanatory goodness. Critical to this discussion is a distinction between weak and strong measures of explanatory power due to Good (Br J Philos Sci 19:123–143, 1968). In particular, I argue that if one is interested in the overall goodness of an explanation, an appropriate balance (...) needs to be struck between the weak explanatory power and the complexity of a hypothesis. In light of this, I provide a new defence of a strong measure proposed by Good by providing new derivations of it, comparing it with other measures and exploring its connection with information, confirmation and explanatory virtues. Furthermore, Good really presented a family of strong measures, whereas I draw on a complexity criterion that favours a specific measure and hence provides a more precise way to quantify explanatory goodness. (shrink)

Christensen [Philosophy of Science, 50: 471–481, 1983] and [Philosophy of Science, 57: 644–662, 1990] provides two sets of counter-examples to the versions of bootstrap confirmation for standard first-order languages presented in Glymour [Theory and Evidence, Princeton University Press, Princeton, 1980] and [Philosophy of Science, 50: 626–629, 1983]. This paper responds to the counter-examples of Christensen [Philosophy of Science, 50: 471–481, 1983] by utilizing a new notion of content introduced in Gemes [Journal of Philosophical Logic, 26, 449–476, 1997]. It is claimed (...) that this response is better motivated and more effective than that presented in Glymour [Philosophy of Science, 50: 626–629, 1983]. It is then argued that while this response meets some of the counter-examples of Christensen [Philosophy of Science, 57: 644–662, 1990] two of those counter-examples, though not unanswerable, suggest the need for a substantial reformulation of the formal versions of bootstrapping. The essay proceeds with such a reformulation, arguing that this new formulation better fits the philosophical insights that originally motivated bootstrapping than do Glymour’s earlier formulations. In the concluding sections some alternative solutions to the problem posed by the Christensen counter-examples are discussed. (shrink)

This paper briefly recounts the importance of the notion of natural axiomatizations for explicating hypothetico‐deductivism, empirical significance, theoretical reduction, and organic fertility. Problems for the account of natural axiomatizations developed by John Watkins in Science and Scepticism and the revised account developed by Elie Zahar are demonstrated. It is then shown that Watkins's account can be salvaged from various counter‐examples in a principled way by adding the demand that every axiom of a natural axiomatization should be part of the content (...) of the theory being axiomatized. The crucial point here is that content cannot simply be identified with the set of logical consequences of a theory, but must be restricted to a proper subset of the consequence set. It is concluded that the revised Watkins account has certain advantages over the account of natural axiomatizations offered in Gemes. (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)

(2013). Is scientific theory change similar to early cognitive development? Gopnik on science and childhood. Philosophical Psychology: Vol. 26, No. 1, pp. 109-128. doi: 10.1080/09515089.2011.625114.

Two long-standing arguments in cognitive science invoke the assumption that holistic inference is computationally infeasible. The first is Fodor’s skeptical argument toward computational modeling of ordinary inductive reasoning. The second advocates modular computational mechanisms of the kind posited by Cosmides, Tooby and Sperber. Based on advances in machine learning related to Bayes nets, as well as investigations into the structure of scientific and ordinary information, I maintain neither argument establishes its architectural conclusion. Similar considerations also undermine Fodor’s decades-long diagnosis of (...) artificial intelligence research as confounded by an inability to circumscribe the amount of information relevant to inferential processes. This diagnosis is particularly inapposite with respect to Bayes nets, since one of their strengths as machine learning systems has been their capacity to reason probabilistically about large data sets whose size overwhelms the capacities of individual human reasoners. A general moral follows from these criticisms: Insights into artificial and human cognitive systems are likely to be cultivated by focusing greater attention on the structure and density of connections among items of information that are available to them. (shrink)

The idea that there might be multiple universes with different parameters of nature is often considered an attractive response to the finding that various parameters appear to be delicately fine-tuned for life. The present paper investigates whether the appeal to fine-tuning can legitimately be combined with an appeal to independent empirical evidence for other universes or whether, as suggested by Cory Juhl, combining such appeals inevitably results in illegitimate double counting of the finding that the parameters are right for life. (...) In doing so, the paper takes into account the fact that the parameters' life-friendliness is old evidence for us, which makes Bayesianism's problem of old evidence relevant to Bayesian analysis of its evidential impact. Ultimately, the verdict reached is that the warning of double counting is helpful, but that double counting can in principle be avoided. The paper highlights remaining independent challenges against the fine-tuning argument for the multiverse. (shrink)

An account of physical explanation derived from the instance view of scientific explanation is outlined, and it is shown that this account does not cover explanations by theories which contain theoretical functions. An alternative account, also derived from the instance view, is proposed on the basis of Sneed's account of theories. It is shown that this account does cover theoretical explanations. Finally, it is shown that this account can accommodate explananda that record errors of measurement.

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)

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)

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)

First, a brief historical trace of the developments in confirmation theory leading up to Goodman's infamous "grue" paradox is presented. Then, Goodman's argument is analyzed from both Hempelian and Bayesian perspectives. A guiding analogy is drawn between certain arguments against classical deductive logic, and Goodman's "grue" argument against classical inductive logic. The upshot of this analogy is that the "New Riddle" is not as vexing as many commentators have claimed. Specifically, the analogy reveals an intimate connection between Goodman's problem, and (...) the "problem of old evidence". Several other novel aspects of Goodman's argument are also discussed. (shrink)

When can macroscopic data about a system be used to set parameters in a microfoundational simulation? We examine the epistemic viability of tweaking parameter values to generate a better fit between the outcome of a simulation and the available observational data. We restrict our focus to microfoundational simulations—those simulations that attempt to replicate the macrobehavior of a target system by modeling interactions between microentities. We argue that tweaking can be effective but that there are two central risks. First, tweaking risks (...) overfitting the simulation to the data and thus compromising predictive accuracy; and second, it risks compromising the microfoundationality of the simulation. We evaluate standard responses to tweaking and propose strategies to guard against these risks. (shrink)

In the first paper, I discussed the basic claims of Bayesianism (that degrees of belief are important, that they obey the axioms of probability theory, and that they are rationally updated by either standard or Jeffrey conditionalization) and the arguments that are often used to support them. In this paper, I will discuss some applications these ideas have had in confirmation theory, epistemol- ogy, and statistics, and criticisms of these applications.