Vagueness and Credence

Slides:



Advertisements
Similar presentations
Reasons for (prior) belief in Bayesian epistemology
Advertisements

Constructing the World Week 3 David Chalmers. Varieties of Scrutability (1) Sentences, Propositions, Thoughts (2) Empirical, Conditional, A Priori, Generalized.
Value Incommensurability and Vagueness Two items are incommensurable in value iff neither is better than the other nor are they equally good. The Small-Improvement.
Tarski’s T-scheme: S is true iff s. To be substituted with a sentence To be substituted with a name of the same sentence Tarski: A necessary condition.
The Liar and Dialetheism The Liar, the Strengthened Liar Dialetheism: Motivations and Problems Keith Allen Office Hour: Weds (D/140)
Personal Identity. CAUSAL EFFICACY OF CONTENT Breaking Glass o.
Chapter 5 When premises are unacceptable: Premises are not acceptable or unacceptable in many ways, and we are going to look at five general ways. (1)The.
CLASSICAL LOGIC and FUZZY LOGIC. CLASSICAL LOGIC In classical logic, a simple proposition P is a linguistic, or declarative, statement contained within.
Modality Possible Worlds. Possibility and Necessity Triangles have three sides. The Wassermans have two kids.
Today’s Topics Introduction to Predicate Logic Venn Diagrams Categorical Syllogisms Venn Diagram tests for validity Rule tests for validity.
Introduction to Ethics Lecture 6 Ayer and Emotivism By David Kelsey.
Analysis of Diagnostic Essay: The Deductive Argument English 102 Argumentation.
Philosophy 120 Symbolic Logic I H. Hamner Hill CSTL-CLA.SEMO.EDU/HHILL/PL120.
Metaethics and ethical language Michael Lacewing Michael Lacewing
Me Talk Good One Day When Language and Logic Fail to Coincide.
Many Valued Logic (MVL) By: Shay Erov - 01/11/2007.
A Unified Theory of Granularity, Vagueness and Approximation Thomas Bittner and Barry Smith Northwestern University NCGIA and SUNY Buffalo.
Proving the implications of the truth functional notions  How to prove claims that are the implications of the truth functional notions  Remember that.
Granular Partitions and Vagueness Thomas Bittner and Barry Smith Northwestern University NCGIA and SUNY Buffalo.
Granular Partitions and Vagueness Thomas Bittner and Barry Smith Northwestern University NCGIA and SUNY Buffalo.
CSCE 315: Programming Studio Artificial Intelligence.
Lecture 2: The nature and value of knowledge. Two kinds of knowledge Both philosophy and common sense draw a distinction between knowing how, and knowing.
Kripke: Outline…, continued Till now: L is a FOL with totally defined (presumably nonsemantical) predicates over some domain (that contains sentences codes).
1 Knowledge Based Systems (CM0377) Lecture 4 (Last modified 5th February 2001)
Reasoning & Problem Solving Lecture 7 Clear Thinking and Clear Writing By David Kelsey.
Critical Reasoning Week 5: Class 1. Chapter 1: Introduction to Critical Thinking  Critical Thinking Standards  Barriers to Critical Thinking  Characteristics.
Entity Theories of Meaning. Meaning Talk Theory should make sense of meaning talk Theory should make sense of meaning talk What sorts of things do we.
PHIL012 Class Notes 1/15/2001. Outline Announcements, web page Review Homework Problems (1-7) Set Theory Review & Problem 8 (if time) Assignment for Wednesday.
Chapter 2: The Directive Function of Language. Directive Language (p. 13) What directive language is Commands and Questions –Commands tell you to do or.
Critical Thinking Lecture 7 Clear Thinking and Clear Writing By David Kelsey.
An Unnoticed Challenge to Compositionality: The Trouble Vagueness Makes for Semantics Stephen Schiffer NYU SPEC6 2013, St. Petersburg.
Chapter 1: The Foundations: Logic and Proofs
5 mark question feedback... JTB account is only a definition of propositional knowledge. Explain precisely what it is about the JTB account that Gettier.
About Math and related topics About Math 1. The Unreasonable Effectiveness The Unreasonable Effectiveness of Mathematics in the Natural Sciences by Eugene.
Critical Thinking Lecture 7 Clear Thinking and Clear Writing By David Kelsey.
Knowledge LO: To understand the distinction between three different types of knowledge. To learn some basic epistemological distinctions. To understand.
AS Ethics Utilitarianism Title: - Preference Utilitarianism To begin… What is meant by preference? L/O: To understand Preference Utilitarianism.
Lecture 2 Discrete Mathematics 9/3/ Introduction What is Discrete Mathematics? Discrete Mathematics concerns processes that consist of a sequence.
Which of Mill’s methods does research through controlled experimentation closely resemble?
Wishful Thinker Critical Thinker I need to feel powerful, important and safe. I believe things that make me feel comfortable. I believe things that make.
Lecture 6 Modality: Possible worlds
Propositional Logic.
Lecture 2 The Language of S5
Omnipotence and other puzzles
Utilitarianism PSIR308.
Critical Thinking Lecture 7 Clear Thinking and Clear Writing
Paradoxes 2nd Term 2017 Dr. Michael Johnson
Verificationism on religious language
Today’s Topics Introduction to Predicate Logic Venn Diagrams
Chapter 1 The Foundations: Logic and Proofs
Objective I will know the difference between a knowledge question and a knowledge claim.
Semantics In propositional logic, we associate atoms with propositions about the world. We specify the semantics of our logic, giving it a “meaning”. Such.
Principles of Computing – UFCFA3-30-1
CLASSICAL LOGIC and FUZZY LOGIC
Today’s Outline Discussion of Exercise VI on page 39.
Chapter 1: The Informative Function of Language
Recap Task Complete the summary sheet to recap the various arguments and ideas of cognitive ethical language:
Reading Nonfiction.
Clarification of signs
Unit 1/#3 8/16 Put phones in wall organizer
Pronouns A word that takes the place of one or more than one noun. They show number and gender.
01 4 Ethical Language 4.1 Meta-Ethics.
1. A VAGUE CONCEPT: BALDNESS
Sentence Parts & Types.
Chapter 4: Designing Studies
Sentence Parts & Types.
Introducing Arguments
How to Think Logically.
Copyright © 2018 C. Wade Naney
basic probability and bayes' rule
Presentation transcript:

Vagueness and Credence Anna Mahtani, LSE

Orthodox Bayesianism Cryou(P) = v, … Your belief state is represented by a single credence function, that assigns a number to every proposition that you can entertain

SARDINES: My neighbour has at least one tin of sardines in her cupboard Cryou(SARDINES) = ?

Imprecise Probabilism Cryou1(P) = v, … Cryou2(P) = w, … … Your belief state is represented by a set of credence functions, each of which assign a number to every proposition that you can entertain

100c 0c Hot Not Hot 100c is hot (P1)… … If xc is hot, then x-0.001c is hot (P2 – tolerance principle)… … 0c is hot (C)

100c 0c

100c 0c Hot1 Not Hot1

100c 0c Hot2 Not Hot2

100c 0c “The tea is hot” – supertrue “The tea is hot” – superfalse “The tea is hot” – indeterminate (neither supertrue nor superfalse)

Cryou(SARDINES) = v, …

Cr1you(SARDINES) = 0.234 …

Cr2you(SARDINES) = 0.233 …

Definition of a vague term Has borderline cases (and clear cases) Lacks sharp boundaries Susceptible to a sorites paradox

   100c 0c Hot Not Hot 100c is hot (P1)… … If xc is hot, then x-0.001c is hot (P2 – tolerance principle)… … 0c is hot (C)  Has borderline cases (and clear cases)  Lacks sharp boundaries Susceptible to a sorites paradox 

Is “Cr” vague?

“… is hot”

“… has a credence in … of …” (you (now), SARDINES, 0.001) (you (now), SARDINES, 0.253) (you (now), SARDINES, 0.254) (you (now), SARDINES, 0.999) (you (now), HEADS, 0.4999) (you (now), HEADS, 0.5) (you (now), HEADS, 0.5001)

Is “Cr” vague? Has borderline cases (and clear cases) Lacks sharp boundaries Susceptible to a sorites paradox

“… has a credence in … of …” (you (now), SARDINES, 0.001) (you (now), SARDINES, 0.253) (you (now), SARDINES, 0.254) (you (now), SARDINES, 0.999) (you (now), HEADS, 0.4999) (you (now), HEADS, 0.5) (you (now), HEADS, 0.4999)

 Is “Cr” vague? Has borderline cases (and clear cases) Lacks sharp boundaries Susceptible to a sorites paradox

“… has a credence in … of …” (you (now), SARDINES, 0.001) (you (now), SARDINES, 0.253) (you (now), SARDINES, 0.254) (you (now), SARDINES, 0.999) (you (now), HEADS, 0.4999) (you (now), HEADS, 0.5) (you (now), HEADS, 0.4999)

 ? Is “Cr” vague? Has borderline cases (and clear cases) Lacks sharp boundaries Susceptible to a sorites paradox We need a clear case where the predicate applies, a clear case where it doesn’t, and a tolerance principle that leads us from one to the other.

“… has a credence in … of …” (you (now), SARDINES, 0.001) (you (now), SARDINES, 0.253) (you (now), SARDINES, 0.254) (you (now), SARDINES, 0.999) (you (now), HEADS, 0.4999) (you (now), HEADS, 0.5) (you (now), HEADS, 0.4999)

 ?  Is “Cr” vague? Has borderline cases (and clear cases) Lacks sharp boundaries  Susceptible to a sorites paradox

An analogy: resting heart rate The basal or resting heart rate (HRrest) is defined as the heart rate when a person is awake, in a neutrally temperate environment, and has not been subject to any recent exertion or stimulation, such as stress or surprise. Wikipedia page on ‘Heart Rate’

? ?  Is “… has a resting heart rate of …” vague? Has borderline cases (and clear cases) ? ? Lacks sharp boundaries  Susceptible to a sorites paradox

“… has a resting heart rate of …” (me (now), 29bpm) (me (now), 79) (me (now), 81) (me (now), 160bpm)

? ?  Is “… has a resting heart rate of …” vague? Has borderline cases (and clear cases) ? ? Lacks sharp boundaries  Susceptible to a sorites paradox

Nihilism: you have no resting heart rate Epistemic view: you have a precise, unique resting heart rate, but we cannot know what it is. Supervaluationism: there are many precisifications of the language, and each includes a precisification of “resting heart rate”. Each precisification of “resting heart rate” assigns a number to every living animal (at a time). A sentence involving the expression “resting heart rate” is (super) true/false iff it is true/false under every precisification.

Cryou(SARDINES) = v, …

Cr1you(SARDINES) = 0.234 …

How are the two accounts different? Supervaluationism VERSUS Imprecise Probabilism

Supervaluationism Each precisification contains a precisifications of “credence” – which assigns precise credences to everyone at all times. It also contains precisifications of all other expressions. Precisification of the language 1 Precisification of the language 2 …

“Cr10, you(SARDINES) = 0.345 “Cr10, me(SARDINES) = 0.346 You now Precisification of the language 1 me now Precisification of the language 2 …

Imprecise Probabilism Crm Crn … Cra Crx Crb Cry … … Me now You now You tomorrow

Complex sentences about credences Your credence (now) in SARDINES is lower than mine (now).

“Cr10, you(SARDINES) = 0.345 “Cr10, me(SARDINES) = 0.346 You now Precisification of the language 1 me now Precisification of the language 2 … “Your credence (now) in SARDINES is lower than mine (now)"

Crm Crn … Cra Crx Crb Cry … … Me now You now You tomorrow “Your credence (now) in SARDINES is lower than mine (now)"

Complex sentences about credences Your credence (now) in SARDINES is lower than mine (now) Your credence in SARDINES tomorrow is higher than your credence in SARDINES today How should you update your credal state on learning that E? Your new credal state should be your old credal state conditionalized on E

“Cr0, you(/E) = v “Cr1, you() = v You now Precisification of the language 1 You after learning E Precisification of the language 2 … Your new credal state is your old credal state conditionalized on E

Cra Crx Crb Cry … … You now You after learning E Your new credal state is your old credal state conditionalized on E

Cra Crp Crb Crq … … You now Me now Your credence (now) in SARDINES is lower than mine (now)

Complex Sentences about Credences For the supervaluationist, the truth conditions for these claims follow naturally from the account. For the imprecise probabilist, an account can be given of these sorts of claims, but it needs to be bolted on.

Decision Theory

SARDINES NOT SARDINES Go to neighbour’s to ask to borrow sardines 9 Don’t go to neighbour’s to ask to borrow sardines 5

SARDINES Cr (SARDINES) = 0.5 NOT SARDINES Cr(SARDINES) = 0.5 Go to neighbour’s to ask to borrow sardines 9 Don’t go to neighbour’s to ask to borrow sardines 5 Expected utility of going to neighbours = (9)(0.5) + (0)(0.5) = 4.5 Expected utility of not going to neighbours = (5)(0.5) + (5)(0.5) = 5 Maximise expected utility by not going to neighbours

SARDINES Cr (SARDINES) = (0.2 – 0.8) NOT SARDINES Cr(SARDINES) = (0.2 – 0.8) Go to neighbour’s to ask to borrow sardines 9 Don’t go to neighbour’s to ask to borrow sardines 5 CAPRICE: choose any action which maximises expected utility relative to some credence function in your set. MAXIMIN: choose the action with the greatest minimum expected utility (leads to “ambiguity aversion” behaviour)

Supervaluationism We can stick with the standard rule – an act is rational iff it maximises expected utility If it is true that an action is rational under some precisifications but not under others, then it may be indeterminate (neither super-true nor super-false) whether an action is rational. Sometimes no available action will be determinately rational.

SARDINES Cr1(SARDINES) = 0.2 Cr2(SARDINES) = 0.201 … Crn (SARDINES) = 0.8 NOT SARDINES Cr1(NOT SARDINES) = 0.8 Cr2(NOT SARDINES) = 0.799 Crn (NOT SARDINES) = 0.2 Go to neighbour’s to ask to borrow sardines 9 Don’t go to neighbour’s to ask to borrow sardines 5 “It is rational to go to the neighbour’s” “It is rational not go to the neighbour’s” Indeterminate

Question for the supervaluationist: Should the decision theory be given in the object language, or in the metalanguage?

100c 0c The tea is hot This sentence is in the object language. It gets precisified The sentence “the tea is hot” is supertrue iff it is true under every precisification. This sentence is in the metalanguage. It doesn’t get precisified.

Question for the supervaluationist: Should the decision theory be given in the object language, or in the metalanguage? An action is rational iff it maximises expected utility This sentence is in the object language. An action is rational iff it is true under at least one precisification that it maximises expected utility These sentences are in the meta language An action is rational iff it maximises the minimum expected utility assigned to it by the precisifications

Question for the supervaluationist: Should the decision theory be given in the object language, or in the metalanguage? If it is given in the object language, then we restrict the possible decision rules. If it is given in the metalanguage, then we can get any of the imprecise probabilist’s decision rules. But would this be a new thing for the supervaluationist? Unclear – we already need to account for verbal behaviour.

Higher-Order Vagueness

100c 0c

100c 0c “The tea is hot” – supertrue “The tea is hot” – superfalse “The tea is hot” – indeterminate (neither supertrue nor superfalse)

100c 0c “The tea is hot” – supertrue “The tea is hot” – superfalse “The tea is hot” – indeterminate (neither supertrue nor superfalse) Supervaluationists’ response (Keefe): The metalanguage is vague. And we can give an account of the vagueness of the metalanguage just as we did of the vagueness of the object language.

Crm Crn … Cra Crx Crb Cry … … Me now You now You tomorrow

Summary We need an account of vagueness in any case. If that account is supervaluationism, then is there still a need for the imprecise probabilist account? Differences: Claims about relations between credence functions Decision Theory Higher-Order Vagueness