1 Mont Blanc, Lake Constance and Sakhalin Island: Gaps, Gluts and Vagueness Smith and Brogaard: “A Unified Theory of Truth and Reference” Varzi: “Vagueness.

Slides:



Advertisements
Similar presentations
A Semantic Model for Vague Quantifiers Combining Fuzzy Theory and Supervaluation Theory Ka Fat CHOW The Hong Kong Polytechnic University The title of.
Advertisements

School of something FACULTY OF OTHER School of Computing FACULTY OF ENGINEERING Formalising a basic hydro-ontology David Mallenby Knowledge Representation.
1 Semantik für Realisten Die Welt ist alles was der Fall ist. Das, was nicht der Fall ist, gehört nicht zur Welt.
Theories of Knowledge Knowledge is Justified-True-Belief Person, S, knows a proposition, y, iff: Y is true; S believes y; Y is justified for S. (Note:
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.
Fuzzy Sets and Fuzzy Logic
1 Introduction to Prolog References: – – Bratko, I., Prolog Programming.
Kaplan’s Theory of Indexicals
Chapter 1 Critical Thinking.
Section 2.2 You Are What You Eat Mind as Body 1 Empiricism Empiricism claims that the only source of knowledge about the external world is sense experience.
Basic Structures: Sets, Functions, Sequences, Sums, and Matrices
Science-Based Discussion Of Free Will Synopsis: Free Will: The capacity of mental intent to influence physical behavior. Classical mechanics makes a person’s.
Statistical Issues in Research Planning and Evaluation
What is Theory?. Theory is NOT: Correlation Description Interpretation Absence of data Ideology.
Partitions. Theory of granular partitions There is a projective relation between cognitive subjects and reality Major assumptions: Humans ‘see’ reality.
1 Barry Smith Department of Philosophy (Buffalo) Institute for Formal Ontology and Medical Information Science (Leipzig) ontology.buffalo.edu ifomis.de.
1 Mont Blanc, Lake Constance and Sakhalin Island: Gaps, Gluts and Vagueness Smith and Brogaard: “A Unified Theory of Truth and Reference” Varzi: “Vagueness.
CAS LX 502 Semantics 1b. The Truth Ch. 1.
1 A Unified Theory of Vagueness and Granularity Barry Smith
1 The Ontology of Measurement Barry Smith ONTOLOGIST.cOm.
1 The Ontology of Measurement Barry Smith ONTOLOGIST.cOm.
1 A Simple Partition A partition can be more or less refined.
Me Talk Good One Day When Language and Logic Fail to Coincide.
1 A Unified Theory of Vagueness and Granularity Barry Smith
1 The Theory of Granular Partitions: A New Paradigm for Ontology Barry Smith Department of Philosophy University at Buffalo
A taxonomy of granular partitions Thomas Bittner and Barry Smith Northwestern University, NCGIA and SUNY Buffalo.
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.
Let remember from the previous lesson what is Knowledge representation
A Simple Partition 5 A partition can be more or less refined.
A taxonomy of granular partitions 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.
Meaning and Language Part 1.
Granular Partitions and Vagueness Thomas Bittner and Barry Smith Northwestern University NCGIA and SUNY Buffalo.
Thesis Statements (Or as I like to say, “What’s your point?”)
Copyright © Cengage Learning. All rights reserved. 1 Functions and Limits.
The Linguistic Turn To what extent is knowledge in the use of language rather than what language is about? MRes Philosophy of Knowledge: Day 2 - Session.
ToK - Truth Does truth matter?.
The answer really annoys me for 3 reasons: 1.I think the statement is arrogant. It doesn’t take into account any definitions of God but solely focuses.
Domain testing Tor Stålhane. Domain testing revisited We have earlier looked at domain testing as a simple strategy for selecting test cases. We will.
KNOWLEDGE What is it? How does it differ from belief? What is the relationship between knowledge and truth? These are the concerns of epistemology How.
Fuzzy Logic. Lecture Outline Fuzzy Systems Fuzzy Sets Membership Functions Fuzzy Operators Fuzzy Set Characteristics Fuzziness and Probability.
Math 3121 Abstract Algebra I Section 0: Sets. The axiomatic approach to Mathematics The notion of definition - from the text: "It is impossible to define.
MIDTERM EXAMINATION THE MIDTERM EXAMINATION WILL BE ON FRIDAY, MAY 2, IN THIS CLASSROOM, STARTING AT 1:00 P.M. BRING A BLUE BOOK. THE EXAM WILL COVER:
Advanced Topics in Propositional Logic Chapter 17 Language, Proof and Logic.
Hypotheses tests for means
Albert Gatt LIN3021 Formal Semantics Lecture 4. In this lecture Compositionality in Natural Langauge revisited: The role of types The typed lambda calculus.
The Problem of Knowledge 1 Pages 3-9. Table of Contents Quotes p. 3 Quotes Introduction p. 4 Introduction Common sense p. 4-7 Common sense Certainty p.
Section 2.1. Section Summary Definition of sets Describing Sets Roster Method Set-Builder Notation Some Important Sets in Mathematics Empty Set and Universal.
Critical Thinking. Critical thinkers use reasons to back up their claims. What is a claim? ◦ A claim is a statement that is either true or false. It must.
Copyright © 2009 Pearson Education, Inc. Chapter 19 Confidence Intervals for Proportions.
Cultural Relativism and Cultural Values A Brief Study.
The Greatest Mistake: A Case for the Failure of Hegel’s Idealism.
The Rules of Sociological Method, Durkheim (1895) Tamara Sole Clark Backus HOL 8100 Organizational Culture.
When things become undecidably complex. Within linear, one- dimensional thinking.
1 VT. 2 Barry Smith Department of Philosophy (Buffalo) Institute for Formal Ontology and Medical Information Science (Leipzig) ontology.buffalo.edu ifomis.de.
Bell work   Answer the following questions:   How is an airplane flight simulator a kind of model?   What are some advantages to training pilots.
Showing Up Accompanying SES; Strategies for Process Reflection and Guided Practice for Engaging Emotionally Charged Situations Like ACPE Certification.
Knowledge LO: To understand the distinction between three different types of knowledge. To learn some basic epistemological distinctions. To understand.
PHILOSOPHY OF LANGUAGE Some topics and historical issues of the 20 th century.
Copyright © Cengage Learning. All rights reserved. 1 Functions and Limits.
PRESUPPOSITION PRESENTED BY: SUHAEMI.
Have you ever tried to observe or study something that you could not see?
Copyright © 2010, 2007, 2004 Pearson Education, Inc. Chapter 21 More About Tests and Intervals.
BOOLEAN INFORMATION RETRIEVAL 1Adrienn Skrop. Boolean Information Retrieval  The Boolean model of IR (BIR) is a classical IR model and, at the same time,
Dummett about realism and anti-realism
Quantum mechanics from classical statistics
Searle, Minds, Brains and Science Chapter 6
Geography Vocabulary Border: imaginary lines created on a map to separate countries, states, cities, etc. Boundary: a physical (natural) feature that.
Presentation transcript:

1 Mont Blanc, Lake Constance and Sakhalin Island: Gaps, Gluts and Vagueness Smith and Brogaard: “A Unified Theory of Truth and Reference” Varzi: “Vagueness in Geography”

2 Setting into Relief You use the name ‘Mont Blanc’ to refer to a certain mountain You see Mont Blanc from a distance In either case your attentions serve to foreground a certain portion of reality

3 Foreground/Background

4 The theory of partitions is a theory of foregrounding, of setting into relief

5 –judging –theorizing –classifying –mapping –naming –perceiving Partitions in Language, etc. } Foregrounding occurs in:

6 The Problem of the Many There is no single answer to the question as to what it is to which the term ‘Mont Blanc’ refers. Many parcels of reality are equally deserving of the name ‘Mont Blanc’ – Think of its foothills and glaciers, and the fragments of moistened rock gradually peeling away from its exterior; think of all the rabbits crawling over its surface

7 Mont Blanc from Lake Annecy

8 The world itself is not vague Rather, many of the terms we use to refer to objects in reality are such that, when we use these terms, we stand to the corresponding parcels of reality in a relation that is one-to- many rather than one-to-one. Something similar applies also when we perceive objects in reality.

9 Many but almost one Lewis: There are always outlying particles, questionable parts of things, not definitely included and not definitely not included. So there are always many aggregates, differing by a little bit here and a little bit there, with equal claim to be the thing. We have many things or we have none, but anyway not the thing we thought we had.

10 Granularity Cognitive acts of Setting into Relief: the Source of Partitions Partititions: the Source of Granularity Granularity: the Source of Vagueness

11 Tracing Over When you think of John cooking in the kitchen, then the cells in John’s arm and the fly next to his ear belong to the portion of the world that does not fall under the beam of your referential searchlight. They are traced over.

12 Beverly Hills The way you partition (carve up) the world when you think of John cannot be understood along any simple geographical lines. It is not as if one connected, compact (hole-free) portion of reality is set into relief in relation to its surroundings, as Beverly Hills is set into relief within the wider surrounding territory of Los Angeles County.

13 Granularity the source of vagueness This is because your partition does not recognize parts beneath a certain size. This is why your partition is compatible with a range of possible views as to the ultimate constituents of the objects included in its foreground domain

14 Granularity the source of vagueness It is the coarse-grainedness of our partitions which allows us to ignore questions as to the lower-level constituents of the objects foregrounded by our uses of singular terms. This in its turn is what allows such objects to be specified vaguely Our attentions are focused on those matters which lie above whatever is the pertinent granularity threshold.

15 Interlude on Fiat Vagueness

16 Vagueness in the Fiat Realm

17 Crispness in the Fiat Realm – some types of partitions determine their own fiat objects

18 Montana

19 Baarle

20 Baarle

21 Population Density by Census Tract

22 End of Interlude

23 In what follows we are interested in partitions relating to bona fide objects – to objects which were there before we came along

24 Ground Cover

25 Mont Blanc from Chatel

26 Mont Blanc (Tricot)

27 Mont Blanc is one mountain Max Egenhofer is one person – these are both supertrue Mont Blanc is one mountain

28 Standard Supertruth they are true no matter which of the many aggregates of matter you assign as precisified referent

29 Standard Supervaluationism A sentence is supertrue if and only if it is true under all such precisifications. A sentence is superfalse if and only if it is true under all such precisifications. A sentence which is true under some ways of precisifying and false under others is said to fall down a supervaluational truth-value gap. Its truth-value is indeterminate.

30 Example of Gaps On Standard Supervaluationism Rabbits are part of Mont Blanc falls down a supertruth-value gap

31 Different Contexts In a perceptual context it is supertrue that these rabbits are part of Mont Blanc In a (normal) context of explicit assertion it is superfalse that these rabbits are part of Mont Blanc In a real estate context in a hunting community it might be supertrue that these rabbits are part of that mountain

32 So are there any contexts with gaps?

33 Supervaluationism Contextualized Supervaluations depend on contexts We pay attention in different ways and to different things in different contexts The range of available precisified referents and the degree and the type of vagueness by which referring terms are affected will be dependent on context.

34 Some sentences are unjudgeable The umbrella in your cocktail is part of your meal The neutrino passing through your gullet is part of your body. President Chirac’s hat is part of France John is exactly bald. The Morning Star is not a star The Morning Star does not have magic powers and neither does the Evening Star

35 No gaps The everyday judgments made in everyday contexts do not fall down supervaluational truth-value gaps because the sentences which might serve as vehicles for such judgments are in normal contexts not judgeable (philosophers do not live in normal contexts)

36 Gaps and Gluts Consider: Rabbits are part of Mont Blanc in a normal context inhabited by you or me Compare: Sakhalin Island is both Japanese and not Japanese Just as sentences with truth-value gaps are unjudgeable, so also are sentences with truth-value gluts.

38 Contextualized Supervaluationism A judgment p is supertrue if and only if: (T1) it successfully imposes in its context C a partition of reality assigning to its constituent singular terms corresponding families of precisified aggregates, and (T2) the corresponding families of aggregates are such that, however we select individual fi from the many Fi, ‘P(f1, …, fn)’ is true.

39 Supertruth and superfalsehood are not symmetrical: A judgment p is superfalse if and only if either: (F0) it fails to impose in its context C a partition of reality in which families of aggregates corresponding to its constituent singular referring terms are recognized,

40 Falsehood or both: (F1) the judgment successfully imposes in its context C a partition of reality assigning to its constituent singular terms corresponding families of precisified aggregates, and (F2) the corresponding families of aggregates are such that, however we select therefrom, p is false. In case (F0), p fails to reach the starting gate for purposes of supervaluation

41 Lake Constance No international treaty establishes where the borders of Switzerland, Germany, and Austria in or around Lake Constance lie. Switzerland takes the view that the border runs through the middle of the Lake. Austria takes the view that all three countries have shared sovereignty over the whole Lake. Germany takes the view that Germany takes no view on the matter.

42 Lake Constance

43 Lake Constance (D, CH, A) Switzerland Austria Germany

44 That Water is in Switzerland You point to a certain kilometer-wide volume of water in the center of the Lake, and you assert: [Q] That water is in Switzerland. Does [Q] assert a truth on some precisifications and a falsehood on others?

45 That Water is in Switzerland No. By criterion (F0) above, [Q] is simply (super)false. Whoever uses [Q] to make a judgment in the context of currently operative international law is making the same sort of radical mistake as is someone who judges that Karol Wojty » a is more intelligent than the Pope.

46 Reaching the Starting Gate In both cases reality is not such as to sustain a partition of the needed sort. The relevant judgment does not even reach the starting gate as concerns our ability to evaluate its truth and falsehood via assignments of specific portions of reality to its constituent singular terms.

47 John is bald This slurry is part of Mont Blanc Geraldine died before midnight John is bald It is part of what we mean when we say that John is, as far as baldness is concerned, a borderline case that ‘John is bald’ is unjudgeable.

48 Partitions do not care Our ordinary judgments, including our ordinary scientific judgments, have determinate truth-values because the partitions they impose upon reality do not care about the small (molecule-sized differences between different precisified referents).

49 No Gaps ‘Bald’, ‘cat’, ‘mountain’, ‘island,’ ‘lake’, are all vague But corresponding (normal) judgments nonetheless have determinate truth-values.

50 Partitions and Time Sequences of partitions can be used to represent histories

51 History (Time)

52 Chess

56 Consistency of Partitions Two partitions are consistent when there is some third partition which extends them both.

57 Union fails 3 We do not have: If A and B are partitions, then there is some third partition C of which they are both sub- partitions Call this the Axiom of Consistency

58 Granularity and QM The Axiom of Consistency holds for all coarse- grained partitions (called by physicists ‘quasi- classical’) For partitions of too fine a grain we may have the partition-theoretic equivalent of L(x, P) and L(x, not-P) Roland Omnès, The Interpretation of Quantum Mechanics (Princeton 1994)

59 Distributivity Distributive partitions satisfy: if object x is a part of object y, where y is located at a complex z, then x is also located at that complex All spatial partitions are distributive A set is a simple example of a non-distributive partition