A Unified Theory of Granularity, Vagueness and Approximation

35
A Unified Theory of Granularity, Vagueness and Approximation Thomas Bittner and Barry Smith Northwestern University NCGIA and SUNY Buffalo

description

A Unified Theory of Granularity, Vagueness and Approximation. Thomas Bittner and Barry Smith Northwestern University NCGIA and SUNY Buffalo. Overview. Introduction Vagueness and truth Granular partitions and context Vagueness and granular partitions Boundaries and contexts Approximation - PowerPoint PPT Presentation

Transcript of A Unified Theory of Granularity, Vagueness and Approximation

Page 1: A Unified Theory of Granularity, Vagueness and Approximation

A Unified Theory of Granularity, Vagueness and Approximation

Thomas Bittner and Barry Smith

Northwestern University

NCGIA and SUNY Buffalo

Page 2: A Unified Theory of Granularity, Vagueness and Approximation

Overview

1. Introduction

2. Vagueness and truth

3. Granular partitions and context

4. Vagueness and granular partitions

5. Boundaries and contexts

6. Approximation

7. Conclusions

Page 3: A Unified Theory of Granularity, Vagueness and Approximation

Judging subject

Semantic theorist

Partition theoristwants to determine the truth of J by using partition theory

wants to determine the truth of J by using reference semantics

J = ‘We will cross the boundary of Mount Everest within the next hour’

Three people and a mountain

Page 4: A Unified Theory of Granularity, Vagueness and Approximation

Vagueness

Where is the boundary of Everest?

Boundary is subject to vagueness

The boundary of Everest IS vague: broad or fuzzy boundary

Vague objects and boundariesas ontological primitives

Vagueness is a semantic propertyThere is a multitude of equally good crisp candidates of reference

Extend semantics: supervaluation

Page 5: A Unified Theory of Granularity, Vagueness and Approximation

Supervaluation (Fine 1975)

• Extension of reference semantics to vagueness

• Takes multiplicity of candidate referents of vague names into account

• S = ‘X is a part of Mount Everest’

– Truth value of S is determined for all candidate referents of ‘Mount Everest’

– S is supertrue if it is true for all candidates– S is superfalse if it is true for no candidate

– S is indeterminate otherwise

Page 6: A Unified Theory of Granularity, Vagueness and Approximation

Vagueness and truth

S = ‘We will cross the boundary of Everest within the next hour’

S is superfalse

S is indeterminate

S is supertrue

Page 7: A Unified Theory of Granularity, Vagueness and Approximation

Vagueness and truth

S = ‘We will cross the boundary of Everest within the next hour’

S is supertrue

?

?

?

Page 8: A Unified Theory of Granularity, Vagueness and Approximation

Sentences vs. Judgments (Smith & Brogaard 2001)

Sentence: ‘There is no beer in the glass.’

Drunkard:Hygiene inspector:

Judgments = Sentence + Context

(super) trueThe glass does not contain (drinkable amounts of) beer

(super) falseThe glass contains tinyamounts of beer, microbes, mold, …

Page 9: A Unified Theory of Granularity, Vagueness and Approximation

Granular partitions a formally tractable proxy for the notion of

context

Page 10: A Unified Theory of Granularity, Vagueness and Approximation

Theory of granular partitions

• There is a projective relation between cognitive subjects and reality

Major assumptions:

• Humans ‘see’ reality through a grid

• The ‘grid’ is usually not regular and raster shaped

Page 11: A Unified Theory of Granularity, Vagueness and Approximation

Projection of cells

Wyoming

Idaho

Montana

Cell structure North AmericaProjection

Page 12: A Unified Theory of Granularity, Vagueness and Approximation

• no counties • no county boundaries

Part of the surface of the Earth photographed from space

Projection establishes fiat boundaries

Cell structure

Map =Representationof cell structure

County boundaries in reality

P

Page 13: A Unified Theory of Granularity, Vagueness and Approximation

Partitions and contextJ = (‘There is no beer in the glass’, Partition)

Glass

Beer

Glass

Beer

probe

Cell ‘Beer’ does projectCell ‘Beer’ does not project

J is true in this context J is false in this context

Page 14: A Unified Theory of Granularity, Vagueness and Approximation

Judgments about mereological structure

J = (‘X is part of Y’, Pt) = true

Y

X

YX

U V

VU

Labeling ofnames in S onto cells in Pt

projection

Page 15: A Unified Theory of Granularity, Vagueness and Approximation

Vagueness and granular partitions

Page 16: A Unified Theory of Granularity, Vagueness and Approximation

Crisp and vague projection

…Montana

crisp

Himalayas

EverestvagueP1

Pn

Vague reference is always reference to fiat boundaries!

Page 17: A Unified Theory of Granularity, Vagueness and Approximation

Vague judgments about mereological structure

J = (‘XV is part of Y’, PtV) = supertrue

Y

X

Labeling ofnames in S onto cells in Pt

P1

Pn

YX )()(

),...,()( 11

YPnXPn

YPXP

Page 18: A Unified Theory of Granularity, Vagueness and Approximation

Vagueness and truth

J = (‘We will cross the boundary of Everest within the next hour’, Pt)

?

?

?

Whether or not indeterminacy can arise depends on the projection of the boundaries!

Page 19: A Unified Theory of Granularity, Vagueness and Approximation

Boundaries and contexts

Page 20: A Unified Theory of Granularity, Vagueness and Approximation

Boundaries and contexts

We distinguish:

contexts in which our use of a vague term brings:

1. a single crisp fiat boundary

2. a multiplicity of crisp fiat boundaries

into existence

Page 21: A Unified Theory of Granularity, Vagueness and Approximation

The single crisp boundary case

J = (‘This is the boundary of Mount Everest’, Pt)

• The judging subject must have the authority (the partitioning power) to impose this boundary

e.g., she is a member of some government agency

Vagueness is resolved. J has a determinate truth value

Page 22: A Unified Theory of Granularity, Vagueness and Approximation

The multiple boundary case

The subject (restaurant owner) judges:J = (‘The boundary of the smoking zone goes here’, Pt)while vaguely pointing across the room.

Vague projection brings a multitude of boundary candidates into existence

Truth-value indeterminacy can potentially arise

To show: naturally occurring contexts are such that truth-value indeterminacy does not arise.

Page 23: A Unified Theory of Granularity, Vagueness and Approximation

The multiple boundary case

Claim:

The judgment can be uttered only in contexts

(1) Where it is precise enough to be (super)true

(2) but: not precise enough for indeterminacy to arise

The subject (restaurant owner) judges:J = (‘The boundary of the smoking zone goes here’, Pt)while vaguely pointing across the room.

Page 24: A Unified Theory of Granularity, Vagueness and Approximation

The multiple boundary case

Context 1:

To advise the staff where to put the ashtrays

The projection must be just precise enough to determineon which table to put an ashtray

The subject (restaurant owner) judges:J = (‘The boundary of the smoking zone goes here’, Pt)while vaguely pointing across the room.

No truth-value indeterminacy

Context 2:

To describe where nicotinemolecules are

truth-value indeterminacy can potentially occur

But: nobody can seriously utter such a judgment in naturally occurring contexts

Page 25: A Unified Theory of Granularity, Vagueness and Approximation

Approximation;or

how to make vague reference in a determinate fashion

Page 26: A Unified Theory of Granularity, Vagueness and Approximation

Boundaries limiting vagueness

S = ‘We will cross the boundary of Everest within the next hour’

in one hour,interior boundary

Exterior b.now

candidate i

candidate k

direction of travel

core

Where-the-boundary-candidates are

Two partitions:

(1) a vague partition

Carving out candidatereferents for the vague name ‘Everest’

(2) a partition projecting along the way ahead

Limits admissible candidate referents for ‘Everest’

Page 27: A Unified Theory of Granularity, Vagueness and Approximation

Approximating judgments

S = ‘We will cross the boundary of Everest within the next hour’

J = (S, PtV, PtR)

in one hour,interior boundary

Exterior b.now

candidate icandidate k

direction of travel

core

Where-the-boundary-candidates are

Truth of J depends on the relationshipsbetween PtV and PtR

Page 28: A Unified Theory of Granularity, Vagueness and Approximation

Truth of approximating judgments

An approximating judgment J = (S, PtV, PtR) is:

Supertrue: all candidate referents projected onto by PtV are within the limits given by PtR

Superfalse: no candidate referent projected onto by PtV is within the limits given by PtR

Indeterminate: some candidate referents projected onto by PtV are within the limits given by PtR and others are not.

Page 29: A Unified Theory of Granularity, Vagueness and Approximation

Truth-value indeterminacy of approximating judgments …

?

… does not actually occur in naturally occurring contexts

Page 30: A Unified Theory of Granularity, Vagueness and Approximation

Truth value indeterminacy ??Why can ‘We will cross the boundary of Everest within the next hour’ not be judged in these contexts ?

?

?

Judger has the freedomto choose appropriatedelimiting boundaries.

Why should she use ridiculous ones which do not make sense ?

Why should she use ones subject to indeterminacy ?

?

Page 31: A Unified Theory of Granularity, Vagueness and Approximation

Higher order vagueness

Boundaries that delimit vagueness of reference

What if these boundaries are subject to vagueness themselves?

Higher-order vagueness

S = ‘We will cross the boundary of Everest within the next hour or so’

Page 32: A Unified Theory of Granularity, Vagueness and Approximation

Higher order vagueness

To show:

Higher order vagueness does not cause truth-valueindeterminacy in naturally occurring contexts

S = ‘We will cross the boundary of Everest within the next hour or so’

(1) those which re-use existing boundaries

(2) those which create new fiat boundaries

Two classes of contexts:

Page 33: A Unified Theory of Granularity, Vagueness and Approximation

Re-using existing boundaries

J = (‘The area ofbad weather extends over parts of Wyoming,Montana, Idaho, andUtah’, PtV, PtR)

The re-used boundaries are crisp.

No truth value indeterminacy

Page 34: A Unified Theory of Granularity, Vagueness and Approximation

Create new fiat boundaries

exterior candidate

boundary

core

interior boundary

exterior boundary

S = ‘We will cross the boundary of Everest within the next hour or so’

Multiplicity ofcandidatereferents

Judging subject mustchoose limiting boundariesmuch crisper than the degree of vagueness theylimit

Page 35: A Unified Theory of Granularity, Vagueness and Approximation

Conclusions

• Theory of granular partitions provides a tool to understand granularity, vagueness, indeterminacy and the relationships between them

• Context is critical when analyzing truth-values of judgments

• In naturally occurring contexts truth-value indeterminacy does not occur

• Formalism – see paper

• Partition-theoretic solution to the Sorites paradoxes – see paper