Theories of rational decision making often abstract away from computational and other resource limitations faced by real agents. An alternative approach known as resource rationality puts such matters front and center, grounding choice and decision in the rational use of finite resources. Anticipated by earlier work in economics and in computer science, this approach has recently seen rapid development and application in the cognitive sciences. Here, the theory of rationality plays a dual role, both as a framework for normative assessment (...) and as a source of scientific hypotheses about how mental processes in fact work. The latter project, often called rational analysis, depends for its success on a fine-grained characterization of the computational problem facing a decision maker, which may in turn depend on realistic assumptions about what the relevant agent is like. As a consequence, resource rationality involves a delicate, but often fruitful interplay between the normative and the descriptive. (shrink)

This dissertation proposes and defends a hybrid view I call Hybrid Impermissivism, which combines the following two theses: Moderate Uniqueness and Credal Permissivism. Moderate Uniqueness says that no evidence could justify both believing a proposition and its negation. However, on Moderate Uniqueness, evidence could justify both believing and suspending judgement on a proposition (hence the adjective “Moderate”). And Credal Permissivism says that more than one credal attitude could be justified on the evidence. Hybrid Impermissisim is developed into a precise theory (...) by using normative bridge principles on how rational belief and credence ought to interact. My overall conclusion is that Hybrid Impermissivism is a coherent, plausible, and conciliatory position and provides a correct characterisation of the requirements of evidence on doxastic attitudes . (shrink)

Evidential support is often equated with confirmation, where evidence supports hypothesis H if and only if it increases the probability of H. This article argues against this received view. As the author shows, support is a comparative notion in the sense that increase-in-probability is not. A piece of evidence can confirm H, but it can confirm alternatives to H to the same or greater degree; and in such cases, it is at best misleading to conclude that the evidence supports H. (...) The author puts forward an alternative view that defines support in terms of measures of degree of confirmation. The proposed view is both sufficiently comparative and able to accommodate the increase-in-probability aspect of support. The author concludes that the proposed measure-theoretic approach to support provides a superior alternative to the standard confirmatory approach. (shrink)

Why is it good to be less, rather than more incoherent? Julia Staffel, in her excellent book “Unsettled Thoughts,” answers this question by showing that if your credences are incoherent, then there is some way of nudging them toward coherence that is guaranteed to make them more accurate and reduce the extent to which they are Dutch-bookable. This seems to show that such a nudge toward coherence makes them better fit to play their key epistemic and practical roles: representing the (...) world and guiding action. In this paper, I argue that Staffel’s strategy needs a small tweak. While she identifies appropriate measures of epistemic value, she does not identify appropriate measures of practical value. Staffel measures practical value using Dutchbookability scores. But credences have practical value in virtue of recommending actions that produce as much utility as possible. And while susceptibility to a Dutch book is a surefire sign that one’s credences are needlessly bad at this task, one’s degree of Dutch-bookability is not itself a good measure of how well they recommend practically valuable actions. Strictly proper scoring rules, I argue, are the right tools for measuring both epistemic and practical value. I show that we can rerun Staffel’s strategy swapping in strictly proper scoring rules for Dutch-bookability measures. So long as one’s epistemic scoring rule and practical scoring rule are “sufficiently similar,” there is some way of nudging incoherent credences toward coherence that is guaranteed to yield more of both types of value. (shrink)

This paper defends a novel sceptical response to the fine-tuning argument for the existence of God (FTA). According to this response, even if FTA can establish, what I call, the confirmation proposition: ‘fine-tuning confirms the God hypothesis’, there is no reason to think that a strengthening of FTA can establish the evidence-favouring proposition: ‘fine-tuning favours the God hypothesis over its competitors’. My argument is that, any criteria for the explanation of fine-tuning that permit us to take the God hypothesis seriously (...) ought to make us sceptical that fine-tuning favours the God hypothesis over its competitors. As taking the God hypothesis seriously requires us to give a fair hearing to all sorts of non-theistic explanations, including the so-called weird sorts of atheism. (shrink)

We explore the grammar of Bayesian confirmation by focusing on some likelihood principles, including the Weak Law of Likelihood. We show that none of the likelihood principles proposed so far is satisfied by all incremental measures of confirmation, and we argue that some of these measures indeed obey new, prima facie strange, antilikelihood principles. To prove this, we introduce a new measure that violates the Weak Law of Likelihood while satisfying a strong antilikelihood condition. We conclude by hinting at some (...) relevant links between the likelihood principles considered here and other properties of Bayesian confirmation recently explored in the literature. (shrink)

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

This paper examines the preference-based approach to the identification of beliefs. It focuses on the main problem to which this approach is exposed, namely that of state-dependent utility. First, the problem is illustrated in full detail. Four types of state-dependent utility issues are distinguished. Second, a comprehensive strategy for identifying beliefs under state-dependent utility is presented and discussed. For the problem to be solved following this strategy, however, preferences need to extend beyond choices. We claim that this a necessary feature (...) of any complete solution to the problem of state-dependent utility. We also argue that this is the main conceptual lesson to draw from it. We show that this lesson is of interest to both economists and philosophers. (shrink)

Subjective probability plays an increasingly important role in many fields concerned with human cognition and behavior. Yet there have been significant criticisms of the idea that probabilities could actually be represented in the mind. This paper presents and elaborates a view of subjective probability as a kind of sampling propensity associated with internally represented generative models. The resulting view answers to some of the most well known criticisms of subjective probability, and is also supported by empirical work in neuroscience and (...) behavioral psychology. The repercussions of the view for how we conceive of many ordinary instances of subjective probability, and how it relates to more traditional conceptions of subjective probability, are discussed in some detail. (shrink)

There are some candidates that have been thought to measure the degree to which evidence incrementally confirms a hypothesis. This paper provides an argument for one candidate—the log-likelihood ratio measure. For this purpose, I will suggest a plausible requirement that I call the Requirement of Collaboration. And then, it will be shown that, of various candidates, only the log-likelihood ratio measure \(l\) satisfies this requirement. Using this result, Jeffrey conditionalization will be reformulated so as to disclose explicitly what determines new (...) credences after experience. (shrink)

This paper aims to make explicit the methodological conditions that should be satisfied for the Bayesian model to be used as a normative model of human probability judgment. After noticing the lack of a clear definition of Bayesianism in the psychological literature and the lack of justification for using it, a classic definition of subjective Bayesianism is recalled, based on the following three criteria: an epistemic criterion, a static coherence criterion and a dynamic coherence criterion. Then it is shown that (...) the adoption of this framework has two kinds of implications. The first one regards the methodology of the experimental study of probability judgment. The Bayesian framework creates pragmatic constraints on the methodology that are linked to the interpretation of, and the belief in, the information presented, or referred to, by an experimenter in order for it to be the basis of a probability judgment by individual participants. It is shown that these constraints have not been satisfied in the past, and the question of whether they can be satisfied in principle is raised and answered negatively. The second kind of implications consists of two limitations in the scope of the Bayesian model. They regard (1) the background of revision (the Bayesian model considers only revising situations but not updating situations), and (2) the notorious case of the null priors. In both cases Lewis’ rule is an appropriate alternative to Bayes’ rule, but its use faces the same operational difficulties. (shrink)

Starting from the sixties of the past century theory change has become a main concern of philosophy of science. Two of the best known formal accounts of theory change are the post-Popperian theories of verisimilitude (PPV for short) and the AGM theory of belief change (AGM for short). In this paper, we will investigate the conceptual relations between PPV and AGM and, in particular, we will ask whether the AGM rules for theory change are effective means for approaching the truth, (...) i.e., for achieving the cognitive aim of science pointed out by PPV. First, the key ideas of PPV and AGM and their application to a particular kind of propositional theories - the so called "conjunctive propositions" - will be illustrated. Afterwards, we will prove that, as far as conjunctive propositions are concerned, AGM belief change is an effective tool for approaching the truth. (shrink)

Both the quantity of information and the informational content of a signal are defined in the context of signaling games. Informational content is a generalization of standard philosophical notions of propositional content. It is shown how signals that initially carry no information may spontaneously acquire informational content by evolutionary or learning dynamics. It is shown how information can flow through signaling chains or signaling networks.

Severity of Test (SoT) is an alternative to Popper's logical falsification that solves a number of problems of the logical view. It was presented by Popper himself in 1963. SoT is a less sophisticated probabilistic model of hypothesis testing than Oaksford & Chater's (O&C's) information gain model, but it has a number of striking similarities. Moreover, it captures the intuition of everyday hypothesis testing.

Crupi et al. (2008) offer a confirmation-theoretic, Bayesian account of the conjunction fallacy—an error in reasoning that occurs when subjects judge that Pr( h 1 & h 2 | e ) > Pr( h 1 | e ). They introduce three formal conditions that are satisfied by classical conjunction fallacy cases, and they show that these same conditions imply that h 1 & h 2 is confirmed by e to a greater extent than is h 1 alone. Consequently, they suggest (...) that people are tracking this confirmation relation when they commit conjunction fallacies. I offer three experiments testing the merits of Crupi et al.’s account specifically and confirmation-theoretic accounts of the conjunction fallacy more generally. The results of Experiment 1 show that, although Crupi et al.’s conditions do seem to be causally linked to the conjunction fallacy, they are not necessary for it; there exist cases that do not meet their three conditions in which subjects still tend to commit the fallacy. The results of Experiments 2 and 3 show that Crupi et al.’s conditions, and those offered by other confirmation-theoretic accounts of the fallacy, are not sufficient for the fallacy either; there exist cases that meet all three of CFT’s conditions in which subjects do not tend to commit the fallacy. Additionally, these latter experiments show that such confirmation-theoretic conditions are at best only weakly causally relevant to the presence of the conjunction fallacy. Given these findings, CFT’s account specifically, and any general confirmation-theoretic account more broadly, falls short of offering a satisfying explanation of the presence of the conjunction fallacy. (shrink)

Jeffrey updating is a natural extension of Bayesian updating to cases where the evidence is uncertain. But, the resulting degrees of belief appear to be sensitive to the order in which the uncertain evidence is acquired, a rather un-Bayesian looking effect. This order dependence results from the way in which basic Jeffrey updating is usually extended to sequences of updates. The usual extension seems very natural, but there are other plausible ways to extend Bayesian updating that maintain order-independence. I will (...) explore three models of sequential updating, the usual extension and two alternatives. I will show that the alternative updating schemes derive from extensions of the usual rigidity requirement, which is at the heart of Jeffrey updating. Finally, I will establish necessary and sufficient conditions for order-independent updating, and show that extended rigidity is closely related to these conditions. (shrink)

This paper attempts to define Exploratory Data Analysis (EDA) more precisely than usual, and to produce the beginnings of a philosophy of this topical and somewhat novel branch of statistics. A data set is, roughly speaking, a collection of k-tuples for some k. In both descriptive statistics and in EDA, these k-tuples, or functions of them, are represented in a manner matched to human and computer abilities with a view to finding patterns that are not "kinkera". A kinkus is a (...) pattern that has a negligible probability of being even partly potentially explicable. A potentially explicable pattern is one for which there probably exists a hypothesis of adequate "explicativity", which is another technical probabilistic concept. A pattern can be judged to be probably potentially explicable even if we cannot find an explanation. The theory of probability understood here is one of partially ordered (interval-valued), subjective (personal) probabilities. Among other topics relevant to a philosophy of EDA are the "reduction" of data; Francis Bacon's philosophy of science; the automatic formulation of hypotheses; successive deepening of hypotheses; neurophysiology; and rationality of type II. (shrink)

Epistemologists and philosophers of science have often attempted to express formally the impact of a piece of evidence on the credibility of a hypothesis. In this paper we will focus on the Bayesian approach to evidential support. We will propose a new formal treatment of the notion of degree of confirmation and we will argue that it overcomes some limitations of the currently available approaches on two grounds: (i) a theoretical analysis of the confirmation relation seen as an extension of (...) logical deduction and (ii) an empirical comparison of competing measures in an experimental inquiry concerning inductive reasoning in a probabilistic setting. (shrink)

A theory of information is developed in which the informational content of a signal (structure, event) can be specified. This content is expressed by a sentence describing the condition at a source on which the properties of a signal depend in some lawful way. Information, as so defined, though perfectly objective, has the kind of semantic property (intentionality) that seems to be needed for an analysis of cognition. Perceptual knowledge is an information-dependent internal state with a content corresponding to the (...) information producing it. This picture of knowledge captures most of what makes knowledge an important cpistcmological notion. It also avoids many of the problems infecting traditional justificational accounts of knowledge (knowledge as [justified, true belief those (unlike knowledge) having a content that can be either true or false (e.g., belief) – are described in terms of the way internal (presumably neural) structures acquire during learning a certain information-carrying role. The content of these structures (whether true or false) is identified with the kind of information they were developed to carry. (shrink)

I examine the concept of granting for the sake of the argument in the context of explanatory reasoning. I discuss a situation where S wishes to argue for H1 as a true explanation of evidence E and also decides to grant, for the sake of the argument, that H2 is an explanation of E. S must then argue that H1 and H2 jointly explain E. When H1 and H2 compete for the force of E, it is usually a bad idea (...) for S to grant H2 for the sake of the argument. If H1 and H2 are not positively dependent otherwise, there is a key argumentative move that he will have to make anyway in order to retain a place at the table for H1 at all—namely, arguing that the probability of E given H2 alone is low. Some philosophers of religion have suggested that S can grant that science has successfully provided natural explanations for entities previously ascribed to God, while not admitting that theism has lost any probability. This move involves saying that the scientific explanations themselves are dependent on God. I argue that this “granting” move is not an obvious success and that the theist who grants these scientific successes may have to grant that theism has lost probability. (shrink)

Richard Jeffrey’s “Conditioning, Kinematics, and Exchangeability” is one of the foundational documents of probability kinematics. However, the section entitled “Successive Updating” contains a subtle error regarding the applicability of updating by so-called relevance quotients in order to ensure the commutativity of successive probability kinematical revisions. Upon becoming aware of this error, Jeffrey formulated the appropriate remedy, but he never discussed the issue in print. To head off any confusion, it seems worthwhile to alert readers of Jeffrey’s “Conditioning, Kinematics, and Exchangeability” (...) to the aforementioned error and to document his remedy, placing it in the context of both earlier and subsequent work on commuting probability kinematical revisions.1. (shrink)

Confirmation is a graded notion: evidence can confirm a hypothesis to a greater or lesser degree. There has been debate about how to measure degree of confirmation. Starting from the observation that we would like evidence to be a discriminating indicator of truth, we conduct computer simulations to determine how well the various known measures of confirmation predict the extent to which a given piece of evidence fulfills that role, given a hypothesis of interest. The outcomes show that some measures (...) are markedly better indicators of truth than others. (shrink)

Hacking’s Law of Likelihood says—paraphrasing—that data support hypothesis H1 over hypothesis H2 whenever the likelihood ratio for H1 over H2 exceeds 1. But Hacking later noted a seemingly fatal flaw in the LR itself: it cannot be interpreted as the degree of “evidential significance” across applications. I agree with Hacking about the problem, but I do not believe the condition is incurable. I argue here that the LR can be properly calibrated with respect to the underlying evidence, and I sketch (...) the rudiments of a methodology for so doing. (shrink)

The lore is that standard information theory provides an analysis of information quantity, but not of information content. I argue this lore is incorrect, and there is an adequate informational semantics latent in standard theory. The roots of this notion of content can be traced to the secret parallel development of an information theory equivalent to Shannon’s by Turing at Bletchley Park, and it has been suggested independently in recent work by Skyrms and Bullinaria and Levy. This paper explicitly articulates (...) the semantics latent in information theory and defends it as an adequate theory of information content, or natural meaning. I argue that this theory suggests a new perspective on the classic misrepresentation worry for correlation-based semantics. (shrink)

This paper has the aim of making Johannes von Kries’s masterpiece, Die Principien der Wahrscheinlichkeitsrechnung of 1886, a little more accessible to the modern reader in three modest ways: first, it discusses the historical background to the book ; next, it summarizes the basic elements of von Kries’s approach ; and finally, it examines the so-called “principle of cogent reason” with which von Kries’s name is often identified in the English literature.

Probability ratio and likelihood ratio measures of inductive support and related notions have appeared as theoretical tools for probabilistic approaches in the philosophy of science, the psychology of reasoning, and artificial intelligence. In an effort of conceptual clarification, several authors have pursued axiomatic foundations for these two families of measures. Such results have been criticized, however, as relying on unduly demanding or poorly motivated mathematical assumptions. We provide two novel theorems showing that probability ratio and likelihood ratio measures can be (...) axiomatized in a way that overcomes these difficulties. (shrink)

The conjunction fallacy has been a key topic in debates on the rationality of human reasoning and its limitations. Despite extensive inquiry, however, the attempt of providing a satisfactory account of the phenomenon has proven challenging. Here, we elaborate the suggestion (first discussed by Sides et al., 2001) that in standard conjunction problems the fallacious probability judgments experimentally observed are typically guided by sound assessments of confirmation relations, meant in terms of contemporary Bayesian confirmation theory. Our main formal result is (...) a confirmation-theoretic account of the conjuntion fallacy which is proven robust (i.e., not depending on various alternative ways of measuring degrees of confirmation). The proposed analysis is shown distinct from contentions that the conjunction effect is in fact not a fallacy and is compared with major competing explanations of the phenomenon, including earlier references to a confirmation-theoretic account. (shrink)

This essay addresses the methodology of philosophy of science and illustrates how formal and empirical methods can be fruitfully combined. Special emphasis is given to the application of experimental methods to confirmation theory and to recent work on the conjunction fallacy, a key topic in the rationality debate arising from research in cognitive psychology. Several other issue can be studied in this way. In the concluding section, a brief outline is provided of three further examples.

Can some evidence confirm a conjunction of two hypotheses more than it confirms either of the hypotheses separately? We show that it can, moreover under conditions that are the same for ten different measures of confirmation. Further we demonstrate that it is even possible for the conjunction of two disconfirmed hypotheses to be confirmed by the same evidence.

Many people believe that there is a Dutch Book argument establishing that the principle of countable additivity is a condition of coherence. De Finetti himself did not, but for reasons that are at first sight perplexing. I show that he rejected countable additivity, and hence the Dutch Book argument for it, because countable additivity conflicted with intuitive principles about the scope of authentic consistency constraints. These he often claimed were logical in nature, but he never attempted to relate this idea (...) to deductive logic and its own concept of consistency. This I do, showing that at one level the definitions of deductive and probabilistic consistency are identical, differing only in the nature of the constraints imposed. In the probabilistic case I believe that R.T. Cox's ‘scale-free’ axioms for subjective probability are the most suitable candidates. 1 Introduction 2 Coherence and Consistency 3 The Infinite Fair Lottery 4 The Puzzle Resolved—But Replaced by Another 5 Countable Additivity, Conglomerability and Dutch Books 6 The Probability Axioms and Cox's Theorem 7 Truth and Probability 8 Conclusion: ‘Logical Omniscience’ CiteULike Connotea Del.icio.us What's this? (shrink)

The so-called "non-commutativity" of probability kinematics has caused much unjustified concern. When identical learning is properly represented, namely, by identical Bayes factors rather than identical posterior probabilities, then sequential probability-kinematical revisions behave just as they should. Our analysis is based on a variant of Field's reformulation of probability kinematics, divested of its (inessential) physicalist gloss.

Recently, natural language pragmatics started to make use of decision-, game-, and information theoretical tools to determine the usefulness of questions and assertions in a quantitative way. In the first part of this paper several of these notions are related with each other. It is shown that under particular natural assumptions the utility of questions and answers reduces to their informativity, and that the ordering relation induced by utility sometimes even reduces to the logical relation of entailment. The second part (...) of the paper shows how different proposals (using either protocols or likelihood functions) to measure the relevance/utility of non-partitional questions come down to the same thing. (shrink)

Rational analysis (Anderson 1990, 1991a) is an empiricalprogram of attempting to explain why the cognitive system isadaptive, with respect to its goals and the structure of itsenvironment. We argue that rational analysis has two importantimplications for philosophical debate concerning rationality. First,rational analysis provides a model for the relationship betweenformal principles of rationality (such as probability or decisiontheory) and everyday rationality, in the sense of successfulthought and action in daily life. Second, applying the program ofrational analysis to research on human reasoning (...) leads to a radicalreinterpretation of empirical results which are typically viewed asdemonstrating human irrationality. (shrink)

Cimpian et al. observed that we accept generic statements of the form ‘Gs are f’ on relatively weak evidence, but that if we are unfamiliar with group G and we learn a generic statement about it, we still treat it inferentially in a much stronger way: all Gs are f. This paper makes use of notions like ‘representativeness’, ‘contingency’ and ‘relative difference’ from psychology to provide a uniform semantics of generics that explains why people accept generics based on weak evidence. (...) The spirit of the approach has much in common with Leslie’s cognition-based ideas about generics, but the semantics will be grounded on a strengthening of Cohen’s relative readings of generic sentences. In contrast to Leslie and Cohen, we propose a uniform semantic analysis of generics. The basic intuition is that a generic of the form ‘Gs are f’ is true because f is typical for G, which means that f is valuably associated with G. We will make use of Kahneman and Tversky’s Heuristics and Biases approach, according to which people tend to confuse questions about probability with questions about representativeness, to explain pragmatically why people treat many generic statements inferentially in a much stronger way. (shrink)

This paper raises a principled objection against the idea that Bayesian confirmation theory can be used to explain the conjunction fallacy. The paper demonstrates that confirmation-based explanations are limited in scope and can only be applied to cases of the fallacy of a certain restricted kind. In particular; confirmation-based explanations cannot account for the inverse conjunction fallacy, a more recently discovered form of the conjunction fallacy. Once the problem has been set out, the paper explores four different ways for the (...) confirmation theorist to come to terms with the problem, and argues that none of them are successful. (shrink)