1 snap and span barry smith and pierre grenon university at buffalo and ifomis.de university of...

66
1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

Post on 19-Dec-2015

213 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

1

SNAP and SPANBarry Smith and Pierre Grenon

University at Buffaloand

ifomis.deUniversity of Leipzig

Page 2: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

2

Fourdimensionalism

– time is just another dimension, analogous to the three spatial dimensions

– only processes exist– substances are analyzed away as

worms/fibers within the four-dimensional process plenum

Page 3: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

3

There are no substances

Bill Clinton does not existRather: there exists within the

four-dimensional plenum a continuous succession of processes which are similar in Billclintonizing way

Page 4: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

4

Parts of processes (1)

c

c: boundary

a

a

a: scattered part

b

b: temporal slice

Page 5: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

5

Parts of processes (2)

a

a: sub-process

b

b: phase

Page 6: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

6

There is no change

That the water boils means: Not: the water is colder at one

time and hotter at another timeRather: that one phase of the

boiling process is cold and another hot

as one part of a colored ribbon is red and another blue

Page 7: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

7

The Parable of Little Tommy’s Christmas Present

Page 8: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

8

Reductionism

1. a sort of adolescent rebellion

2. a product of physics envy3. we must simplify reality for

the sake of the software

Page 9: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

9

Confession

Some of my best friends are fourdimensionalists

Fourdimensionalism is right in everything it saysBut incomplete

Page 10: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

10

Realist Perspectivalism

There is a multiplicity of ontological perspectives on reality, all equally veridical = transparent to reality

e.g. perspectives at different granularities

Page 11: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

11

Need for different perspectives

Not one ontology, but a multiplicity of complementary ontologies

Cf. Quantum mechanics: particle vs. wave ontologies

Page 12: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

12

Two Orthogonal, Complementary

Perspectives

SNAP and SPAN

Page 13: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

13

Substances and processes exist in time in different

ways

substance

t i m

e

process

Page 14: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

14

Snapshot Video ontology ontology

substance

t i m

e

process

Page 15: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

15

SNAP and SPAN

Substances and processesContinuants and occurrents

In preparing an inventory of realitywe keep track of these two different categories of entities in two different ways

Page 16: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

16

SNAP and SPAN

stocks and flowscommodities and services

product and process

anatomy and physiology

Page 17: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

17

SNAP and SPAN

lobster and growthnation and history

population and migrationocean and tide

Page 18: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

18

SNAP and SPAN

SNAP entities- have continuous existence in time- preserve their identity through change- exist in toto if they exist at all

SPAN entities- have temporal parts- unfold themselves phase by phase- exist only in their phases/stages

Page 19: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

19

SNAP vs. SPAN

1. SNAP: a SNAPshot ontology of endurants existing at a time

2. SPAN: a four-dimensionalist ontology of processes

Page 20: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

20

SNAP vs. SPAN

Substances vs. their lives

Page 21: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

21

You are a substance

Your life is a process

You are 3-dimensionalYour life is 4-dimensional

Page 22: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

22

Change

Adding SNAP to the fourdimensionalist perspective makes it possible to recognize the existence of change

(SNAP entities are that which endure, providing identity through change)

SNAP also provides a perspective point from which SPAN processes can be apprehended as changes

Page 23: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

23

Substances do not have temporal parts

The first 5-minute phase of my existence is not a temporal part of me It is a temporal part of that complex process which is my life

Page 25: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

25

Three kinds of SNAP entities

1. Substances2. SPQR… entities3. Spatial regions, contexts,

niches, environments

Page 26: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

26

SPQR… entities

States, powers, qualities, roles …

Page 27: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

27

Other SPQR… entities:

functions, dispositions, plans, shapes

SPQR… entities are all dependent on substances

relations

Page 28: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

28

Spatial regions, niches, environments

Organisms evolve into environments

Island biogeography

Atomic physicsCell biology

Page 29: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

29

each SNAP section through reality

includes everything which existsat the corresponding now

Page 30: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

30

Many SNAP Ontologies

t1

t3

t2

here time exists outside the ontology, as an index or time-stamp

Page 31: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

31

The SPAN Ontology

t i m e

Page 32: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

32

here time exists as part of the domain of the ontology

The SPAN ontology

Page 33: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

33

SNAP ontology

many sharp boundaries

SPAN ontologymany smeered boundaries

Page 34: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

34

SNAP entities

provide the principles of individuation/segmentation for SPAN

entities

No change without some THING or QUALITY which changes

identity-based change research

Page 35: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

35

Ontology of War

need both continuants (army, battle-group , materiel, morale, readiness, battlespace …)

and occurrents (manoeuvre, campaign, supply, trajectory, death …)

Page 36: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

36t i m e

invasion

Battalion moves from A to B

Page 37: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

37

Each is a window on that dimension of reality which is visible through the given ontology (… Patrick Hayes …)

SNAP and SPAN ontologies are partial only

(Realist perspectivalism)

Page 38: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

38

SNAP: Entities existing in toto at a time

Page 39: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

39

Three kinds of SNAP entities

1. Substances2. SPQR… entities3. Spatial regions,

Contexts, Niches

Page 40: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

40

Page 41: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

41

Page 42: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

42

SNAP

Page 43: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

43

SPAN: Entities extended in time

SPANEntity extended in time

Portion of Spacetime

Fiat part of process *First phase of a clinical trial

Spacetime worm of 3 + Tdimensions

occupied by life of organism

Temporal interval *projection of organism’s life

onto temporal dimension

Aggregate of processes *Clinical trial

Process[±Relational]

Circulation of blood,secretion of hormones,course of disease, life

Processual Entity[Exists in space and time, unfolds

in time phase by phase]

Temporal boundary ofprocess *

onset of disease, death

Page 44: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

44

SPAN: Entities extended in time

Page 45: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

45

SPAN: Entities extended in time

Page 46: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

46

3-dimensional and 4-dimensional environments

Lobsters have evolved into environments marked by cyclical patterns of temperature change

Page 47: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

47

Relations between SNAP and SPAN

SNAP-entities participate in processes; they have lives, histories.

Page 48: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

48

SPQR… entities and their SPAN realizations

the expression of a functionthe exercise of a rolethe execution of a planthe realization of a dispositionthe application of a therapythe course of a disease

Page 49: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

49

SPQR… entities and their SPAN realizations

functionroleplandispositiontherapydisease

SNAP

Page 50: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

50

SPQR… entities and their SPAN realizations

expression exercise execution realization applicationcourse

SPAN

Page 51: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

51

instruction and operationscore and performance

Page 52: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

52

SNAP entities

provide the principles of individuation for SPAN entities

Page 53: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

53

Participation

x

y

substances x, y participate in process B

time

Bx

y

SNAP-ti.

time

SPAN

B

Page 54: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

54

Movement

from location

x

ends

begins

mov

emen

t

to location

y

Page 55: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

55

Creation

t1

R

SNAP-t1

t2>t1

R

SNAP-t2

process P initiates a,a's birth at t2 a's life overlaps process P

Page 56: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

56

Granularity

spatial region substance

parts of substances are always substances

Page 57: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

57

Granularity

spatial region substance

parts of spatial regions are always spatial regions

Page 58: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

58

Granularity

process

parts of processes are always processes

Page 59: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

59

MORAL

Relations crossing the SNAP/SPAN border are

never part-relations

Page 60: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

60

Relations crossing the SNAP/SPAN border are never part-relations

John’s lifesubstance John

physiological processes

sustaining in existence

Page 61: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

61

An adequate ontology of geography has to have three components:

SNAP GeO

SPAN GeO

FIELD GeO

Page 62: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

62

GeO

Page 63: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

63

SNAP GeO

Page 64: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

64

SPAN GeO

Page 65: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

65

FIELD GeO

Page 66: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig

66

problem cases

traffic jamforest fire

hurricane Mariawaves

shadows