Introduction: Belief vs Degrees of Belief

Similar documents
Believing Epistemic Contradictions

Evidential Support and Instrumental Rationality

Belief, Reason & Logic*

NICHOLAS J.J. SMITH. Let s begin with the storage hypothesis, which is introduced as follows: 1

the aim is to specify the structure of the world in the form of certain basic truths from which all truths can be derived. (xviii)

Ramsey s belief > action > truth theory.

MULTI-PEER DISAGREEMENT AND THE PREFACE PARADOX. Kenneth Boyce and Allan Hazlett

Detachment, Probability, and Maximum Likelihood

RALPH WEDGWOOD. Pascal Engel and I are in agreement about a number of crucial points:

Is Truth the Primary Epistemic Goal? Joseph Barnes

Substantive Theories of Epistemic Justification: An Exploration of Formal Coherence Requirements

Jeffrey, Richard, Subjective Probability: The Real Thing, Cambridge University Press, 2004, 140 pp, $21.99 (pbk), ISBN

Hanti Lin. Contact Information Phone: +1 (412) Academic Positions

Realism and instrumentalism

Epistemic utility theory

Programme. Sven Rosenkranz: Agnosticism and Epistemic Norms. Alexandra Zinke: Varieties of Suspension

Intro. The need for a philosophical vocabulary

Imprint A PREFACE PARADOX FOR INTENTION. Simon Goldstein. volume 16, no. 14. july, Rutgers University. Philosophers

Can the lottery paradox be solved by identifying epistemic justification with epistemic permissibility? Benjamin Kiesewetter

Reason and Explanation: A Defense of Explanatory Coherentism. BY TED POSTON (Basingstoke,

Varieties of Apriority

From Necessary Truth to Necessary Existence

On the Expected Utility Objection to the Dutch Book Argument for Probabilism

Postulates for conditional belief revision

Against Coherence: Truth, Probability, and Justification. Erik J. Olsson. Oxford: Oxford University Press, Pp. xiii, 232.

Degrees of Belief II

Primitive Concepts. David J. Chalmers

(4) There is an event x such that x is a speaking by Rachel and x is eloquent.

A number of epistemologists have defended

JELIA Justification Logic. Sergei Artemov. The City University of New York

Philosophy 125 Day 1: Overview

Keywords precise, imprecise, sharp, mushy, credence, subjective, probability, reflection, Bayesian, epistemology

THE ROLE OF COHERENCE OF EVIDENCE IN THE NON- DYNAMIC MODEL OF CONFIRMATION TOMOJI SHOGENJI

Probabilism, Representation Theorems, and Whether Deliberation Crowds Out Prediction

Scientific Realism and Empiricism

Choosing Rationally and Choosing Correctly *

Conditionals II: no truth conditions?

2 Lecture Summary Belief change concerns itself with modelling the way in which entities (or agents) maintain beliefs about their environment and how

KNOWLEDGE ON AFFECTIVE TRUST. Arnon Keren

What is a counterexample?

Bayesian Probability

Buck-Passers Negative Thesis

Are There Reasons to Be Rational?

Expressing Credences. Daniel Rothschild All Souls College, Oxford OX1 4AL

Accuracy and epistemic conservatism

Why Have Consistent and Closed Beliefs, or, for that Matter, Probabilistically Coherent Credences? *

Review of Constructive Empiricism: Epistemology and the Philosophy of Science

Is the law of excluded middle a law of logic?

Philosophical Perspectives, 16, Language and Mind, 2002 THE AIM OF BELIEF 1. Ralph Wedgwood Merton College, Oxford

Copyright 2015 by KAD International All rights reserved. Published in the Ghana

Moral Objectivism. RUSSELL CORNETT University of Calgary

Structural realism and metametaphysics

Verificationism. PHIL September 27, 2011

How to Mistake a Trivial Fact About Probability For a. Substantive Fact About Justified Belief

PRAGMATIC ENCROACHMENT AND EPISTEMIC VALUE. Pascal Engel University of Geneva

World without Design: The Ontological Consequences of Natural- ism , by Michael C. Rea.

RATIONALITY AND SELF-CONFIDENCE Frank Arntzenius, Rutgers University

Right-Making, Reference, and Reduction

ON CAUSAL AND CONSTRUCTIVE MODELLING OF BELIEF CHANGE

Ayer on the criterion of verifiability

Revelation, Humility, and the Structure of the World. David J. Chalmers

Epistemic Utility and Norms for Credences

Etchemendy, Tarski, and Logical Consequence 1 Jared Bates, University of Missouri Southwest Philosophy Review 15 (1999):

Puzzles of attitude ascriptions

Rationality & Second-Order Preferences

Philosophy 125 Day 12: Overview

Moral Argumentation from a Rhetorical Point of View

Class #14: October 13 Gödel s Platonism

Instrumental Normativity: In Defense of the Transmission Principle Benjamin Kiesewetter

Unit VI: Davidson and the interpretational approach to thought and language

Wright on response-dependence and self-knowledge

What is Good Reasoning?

Deontological Perspectivism: A Reply to Lockie Hamid Vahid, Institute for Research in Fundamental Sciences, Tehran

Nominalism III: Austere Nominalism 1. Philosophy 125 Day 7: Overview. Nominalism IV: Austere Nominalism 2

Action in Special Contexts

Logic is the study of the quality of arguments. An argument consists of a set of

The Rightness Error: An Evaluation of Normative Ethics in the Absence of Moral Realism

Broad on Theological Arguments. I. The Ontological Argument

Lehrer Meets Ranking Theory

ON QUINE, ANALYTICITY, AND MEANING Wylie Breckenridge

Review of David J. Chalmers Constructing the World (OUP 2012) David Chalmers burst onto the philosophical scene in the mid-1990s with his work on

Logic: inductive. Draft: April 29, Logic is the study of the quality of arguments. An argument consists of a set of premises P1,

Philosophy 148 Announcements & Such. Inverse Probability and Bayes s Theorem II. Inverse Probability and Bayes s Theorem III

Levi and the Lottery. Olsson, Erik J. Published in: Knowledge and Inquiry: Essays on the Pragmatism of Isaac Levi. Link to publication

What should I believe? What should I believe when people disagree with me?

Naturalized Epistemology. 1. What is naturalized Epistemology? Quine PY4613

Philosophy 125 Day 21: Overview

Formalizing a Deductively Open Belief Space

Matthew Parrott. In order for me become aware of another person's psychological states, I must observe her

Can Rationality Be Naturalistically Explained? Jeffrey Dunn. Abstract: Dan Chiappe and John Vervaeke (1997) conclude their article, Fodor,

Oxford Scholarship Online Abstracts and Keywords

Partial Belief, Partial Intention

ILLOCUTIONARY ORIGINS OF FAMILIAR LOGICAL OPERATORS

WHAT IF BIZET AND VERDI HAD BEEN COMPATRIOTS?

KANT, MORAL DUTY AND THE DEMANDS OF PURE PRACTICAL REASON. The law is reason unaffected by desire.

Susan Vineberg. Ph.D. University of California, Berkeley, Logic and the Methodology of Science, 1992.

Constructing the World, Lecture 4 Revisability and Conceptual Change: Carnap vs. Quine David Chalmers

Moral Relativism and Conceptual Analysis. David J. Chalmers

Testimony and Moral Understanding Anthony T. Flood, Ph.D. Introduction

Ludwig Feuerbach The Essence of Christianity (excerpts) 1 PHIL101 Prof. Oakes updated: 10/23/13 9:10 AM. Section III: How do I know? Reading III.

Transcription:

Introduction: Belief vs Degrees of Belief Hannes Leitgeb LMU Munich October 2014

My three lectures will be devoted to answering this question: How does rational (all-or-nothing) belief relate to degrees of belief?

But first I will prepare the ground by considering some preliminary questions: What is belief? How can we talk about belief? What should belief be like?

Plan: 1 The Nature of Belief 2 Concepts of Belief 3 Emptiness, Reduction/Elimination, Independence 4 Norms on Belief 5 Bridge Principles for Rational Belief and Degrees of Belief

The Nature of Belief Assumption 1: Belief is a propositional attitude of cognitive agents: an agent s belief that X is a mental state that has as its content the proposition that X.

The Nature of Belief Assumption 1: Belief is a propositional attitude of cognitive agents: an agent s belief that X is a mental state that has as its content the proposition that X. But what kind of propositional attitude is it? Belief is usually explained functionally and with the help of normative terms: the propositional attitude the function of which is to reach the goal... and to satisfy the norms... and to realize the valuable state...,... or to achieve all that at least to great extent and in normal circumstances. (cf. Lewis 1966, 1972)

The epistemic functional role of belief: Assumption 2: Belief is an agent s representation of what the world is like; it aims at the truth. Lecture 2!

The epistemic functional role of belief: Assumption 2: Belief is an agent s representation of what the world is like; it aims at the truth. Lecture 2! The pragmatic functional role of belief: Assumption 3: In combination with an agent s desires (and subject to a ceteris paribus clause), belief should commit an agent to rational action. Lecture 3!

The functional role of beliefs vis-à-vis beliefs: Assumption 4: An agent s beliefs are subject to an ideal of integration. Other things equal one should be able to agglomerate one s various beliefs into a larger, overall view; and this larger view should satisfy demands for consistency and coherence (Bratman 1999, p. 17). Lectures 1 3!

The functional role of beliefs vis-à-vis beliefs: Assumption 4: An agent s beliefs are subject to an ideal of integration. Other things equal one should be able to agglomerate one s various beliefs into a larger, overall view; and this larger view should satisfy demands for consistency and coherence (Bratman 1999, p. 17). Lectures 1 3! Another, especially salient, pragmatic functional role of beliefs: Assumption 5: If an agent is capable of linguistic discourse, then what is expressed by the agent s assertions should be her beliefs: an agent ought to assert that X only if she believes that X. Lecture 3!

In the literature on belief vs degrees of belief, there is a constant temptation to drop some of the above as being constitutive of belief. E.g.: Acceptance vs belief Lecture 3!

In the literature on belief vs degrees of belief, there is a constant temptation to drop some of the above as being constitutive of belief. E.g.: Acceptance vs belief Lecture 3! For me, none of the above will be negotiable. This said, my theory will also have to give up on certain assumptions on belief: Assumption [NOT SATISFIED]: Reasonable belief is, in an important way, context independent: at any one time a reasonable agent normally either believes something (to degree n) or does not believe it (to that degree). She does not at the same time believe that p relative to one context but not relative to another (Bratman 1999, p. 18)

Concepts of Belief Assumption 6: Belief can be ascribed by means of different concepts, including a categorical (classificatory ) concept of belief and a numerical (degree of ) belief concept. (There are more options: e.g, belief on an interval scale cf. Spohn 2012.)

These two concepts of belief occupy different scales of measurement and belong to different intellectual traditions. All-or-nothing belief of agent a: a believes that X, or a disbelieves that X (that is, believes that X), or a suspends judgment on X (that is, neither believes nor disbelieves it). Epistemology, philosophy of mind. Cognitive psychology. AI. Logic. Degree of belief of agent a: a believes that X to a degree of P(X) (i.e., with P(X) 100 percent). Subjective probability theory. Decision theory. Economics. Bayesian epistemology / philosophy of science / psychology...

E.g., a subjective probability measure P:!! "! #! %&'()! %&*(! %&%*+! %&%,+! %! %&%%%%-! %&%'..(! %&%%)! $!

E.g., a subjective probability measure P:!! "! #! %&'()! %&*(! %&%*+! %&%,+! %! %&%%%%-! %&%'..(! %&%%)! $! P conditionalized! on C:! "! #! %! %! %! %&'()! %! %&%%*! %! %&+! $!

Bayesianism is omnipresent in many areas these days, and often it competes with the more traditional (logic-based) approaches:

Our Assumption 1 5 from before can be understood as assumptions on categorical belief or as assumptions on numerical belief. The two of them are in the same business. If the two concepts of belief are so similar in terms of their defining features: Do they also denote the same propositional attitude?

Emptiness, Reduction/Elimination, Independence Actually, there are three options here: OPTION (i): At least one of the two concepts of belief is empty. Belief is the propositional attitude the function of which is... Will the uniqueness condition fail? Unlikely (cf. Lewis 1970). Will the existence condition fail? Unlikely (contra Churchland 1981).

Emptiness, Reduction/Elimination, Independence Actually, there are three options here: OPTION (i): At least one of the two concepts of belief is empty. Belief is the propositional attitude the function of which is... Will the uniqueness condition fail? Unlikely (cf. Lewis 1970). Will the existence condition fail? Unlikely (contra Churchland 1981). Assumption 7: Both the categorical concept of belief and the degree of belief concept refer.

OPTION (ii): Both concepts of belief refer, and to the same phenomenon. Carnap (1950) on classificatory vs quantitative concepts: Among the kinds of concept used in science, three are of special importance. We call them classificatory, comparative, and quantitative concepts... In prescientific thinking classificatory concepts are used most frequently. In the course of the development of science they are replaced in scientific formulations more and more by concepts of the other two kinds, although they remain always useful for the formulation of observational results. (pp. 8f) Classificatory concepts are the simplest and least effective kind of concept. Comparative concepts are more powerful, and quantitative concepts still more; that is to say, they enable us to give a more precise description of a concrete situation and, more important, to formulate more comprehensive general laws. (p. 12) In many cases a quantitative concept corresponds to a classificatory concept. Thus temperature corresponds to the property Warm; and the concept of a distance of less than five miles corresponds to the relation of proximity. (p. 9)

This suggests a reduction (not an elimination) of the classificatory concept: proximity is nothing but distance of less than five miles belief is nothing but high enough degree of belief (or the like)

This suggests a reduction (not an elimination) of the classificatory concept: proximity is nothing but distance of less than five miles belief is nothing but high enough degree of belief (or the like) Richard Jeffrey (1970, pp. 171f) took this one step further: By belief I mean the thing that goes along with valuation in decision-making: degree-of-belief, or subjective probability, or personal probability, or grade of credence. I do not care what you call it because I can tell you what it is, and how to measure it, within limits... Nor am I disturbed by the fact that our ordinary notion of belief is only vestigially present in the notion of degree of belief. I am inclined to think Ramsey sucked the marrow out of the ordinary notion, and used it to nourish a more adequate view. This eliminativist position is much more radical and much less plausible than the reductionist one. (Heavy burden of proof!)

OPTION (iii): Both concepts of belief refer, but not to the same phenomenon. This is certainly conceivable (see, e.g., Ross and Schroeder, forthcoming). Here is my own dual process take on this ontological independence option:!!!!!!perception! Conscious!! Simple!! Linguistic! Belief:! X" Y" X"!Y" C! o! h! e! r! e! n! c! e! Degrees!of!Belief:! P(X)!=!0.7! P( X)!=!0.3! P(Y)!=!0.5! " Unconscious!! Complex!! Only!Partially!Linguistic! Maintenance! Desire! Maintenance!!!!!!!!!!Action!

Norms on Belief Epistemic norms guide belief to truth. Pragmatic norms guide belief (and desire) to rational action. Coherence norms: beliefs ought to relate to each other so that they aim at the truth and facilitate rational action. It is the coherence norms that will take center stage in my three lectures. They tell us what one ought to believe given certain belief circumstances. Equivalently: what a perfectly rational agent must believe given certain belief circumstances.

Assumption 4 : An agent s all-or-nothing beliefs are subject to an ideal of integration. Other things equal one should be able to agglomerate one s various all-or-nothing beliefs into a larger, overall view; and this larger view should satisfy demands for consistency and coherence. Assumption 4 : An agent s degrees of beliefs are subject to an ideal of integration. Other things equal one should be able to agglomerate one s various degrees of beliefs into a larger, overall view; and this larger view should satisfy demands for consistency and coherence. Assumption 4 : An agent s beliefs and degrees of belief are subject to an ideal of integration. Other things equal one should be able to agglomerate one s various all-or-nothing beliefs and degrees of belief into a larger, overall view; and this larger view should satisfy demands for consistency and coherence. With OPTION (ii), Assumption 4 is about coherence between concepts. With OPTION (iii), Assumption 4 is about coherence between mental states.

I will specify Assumptions 4 on coherence for beliefs and Assumption 4 on coherence for degrees of belief conservatively: Assumption 8: The coherence norms on all-or-nothing belief are precisely what the canonical literature on the logic of belief takes them to be: (i) Synchronically, the set of beliefs of a perfectly rational agent is closed under logic (cf. Hintikka 1962). (ii) Diachronically, belief change of a perfectly rational agent is governed by the axioms of belief revision (cf. AGM 1985). (In parts of the lectures, I will actually be able to derive Assumption 8.) Assumption 9: The coherence norms on degrees of belief are precisely what the canonical Bayesian literature takes them to be: (i) Synchronically, the degree of belief assignment of a perfectly rational agent satisfies the axioms of probability. (ii) Diachronically, degree of belief change of a perfectly rational agent is given by conditionalization.

Remark: Without logical closure, pressure rises for belief to be reduced or eliminated. For without logical closure, belief is no longer that simple (so why not go for the numerical concept from the start?), OPTION (iii) of an independent belief system becomes implausible. On the next slide I will give you an example: belief revision without closure under conjunction is hard!

P1 If the degrees of belief that the agent assigns to two propositions are identical, then either the agent believes both of them or neither of them. For all X,Y : if P t (X) = P t (Y ) then Bel t (X) iff Bel t (Y ). P2 If the agent already believes X, then updating on the piece of evidence X does not change her system of (all-or-nothing) beliefs at all. For all X: if the evidence that the agent obtains between t and t > t is the proposition X, but it holds already that Bel t (X), then for all Y : Bel t (Y ) iff Bel t (Y ). P3 The agent s learning is captured probabilistically by conditionalization. For all X (with P t (X) > 0): if the evidence that the agent obtains between t and t > t is the proposition X, then for all Y : P t (Y ) = P t (Y X).

P1 If the degrees of belief that the agent assigns to two propositions are identical, then either the agent believes both of them or neither of them. For all X,Y : if P t (X) = P t (Y ) then Bel t (X) iff Bel t (Y ). P2 If the agent already believes X, then updating on the piece of evidence X does not change her system of (all-or-nothing) beliefs at all. For all X: if the evidence that the agent obtains between t and t > t is the proposition X, but it holds already that Bel t (X), then for all Y : Bel t (Y ) iff Bel t (Y ). P3 The agent s learning is captured probabilistically by conditionalization. For all X (with P t (X) > 0): if the evidence that the agent obtains between t and t > t is the proposition X, then for all Y : P t (Y ) = P t (Y X). C The agent s all-or-nothing beliefs are closed under conjunction: If Bel t (X) and Bel t (Y ), then Bel t (X Y ).

Bridge Principles for Rational Belief and Degrees of Belief How shall we specify Assumption 4 on the coherence between belief and degrees of belief? Most of the more traditional proposals belong to one of the following categories: (1) The Certainty Proposal (e.g., Gärdenfors 1986): Bel(X) iff P(X) = 1. (contra Ass. 3?) (2) The Lockean Thesis (e.g., Kyburg 1961, Foley 1993): Bel(X) iff P(X) > r. (contra Ass. 4?) (3) Decision-Theoretic Accounts (e.g., Hempel 1962, Levi 1967, Kaplan 1996): Bel(X) iff P({w}) u(bel X,w) is so-and-so. (contra Ass. x?) w W (4) The Nihilistic Proposal (e.g., Wolfgang Spohn?)

Many people are working on this topic, or on related ones, right now, and they are having new ideas: Hanti Lin and Kevin Kelly (2012a, 2012b), Branden Fitelson (monograph!), Richard Pettigrew (see e.g. his M-Phi blog entry) the Amsterdam Group (a lot in the making!),.

References: The Review Paradox. A Note on the Diachronic Costs of Not Closing Rational Belief Under Conjunction, to appear in Nous. I used parts of the monograph on The Stability of Belief that I am writing. Soon a draft will appear at https://lmu-munich.academia.edu/hannesleitgeb