1 snap and span barry smith and pierre grenon university at buffalo and ifomis.de university of...
Post on 19-Dec-2015
213 views
TRANSCRIPT
![Page 1: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/1.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/2.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/3.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/4.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/5.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/6.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/7.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/8.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/9.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/10.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/11.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/12.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/13.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/14.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/15.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/16.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/17.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/18.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/19.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/20.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/21.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/22.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/23.jpg)
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 24: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/24.jpg)
24
How do you know whether an entity is SNAP or SPAN?
![Page 25: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/25.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/26.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/27.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/28.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/29.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/30.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/31.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/32.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/33.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/34.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/35.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/36.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/37.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/38.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/39.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/40.jpg)
40
![Page 41: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/41.jpg)
41
![Page 42: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/42.jpg)
42
SNAP
![Page 43: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/43.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/44.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/45.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/46.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/47.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/48.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/49.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/50.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/51.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/52.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/53.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/54.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/55.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/56.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/57.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/58.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/59.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/60.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/61.jpg)
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](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/62.jpg)
62
GeO
![Page 63: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/63.jpg)
63
SNAP GeO
![Page 64: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/64.jpg)
64
SPAN GeO
![Page 65: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/65.jpg)
65
FIELD GeO
![Page 66: 1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d3f5503460f94a18e82/html5/thumbnails/66.jpg)
66
problem cases
traffic jamforest fire
hurricane Mariawaves
shadows